наука о способах доказательств и опровержений, совокупность научных теорий, рассматривающих определенные способы доказательств и опровержений. Логика объединяет стремление к каталогизации таких способов рассуждений, которые от истинных посылок приводят к истинным следствиям.