(греч. logike), наука о способах доказательств и опровержений; совокупность науч. теорий, рассматривающих определ. способы доказательств и опровержений. Основателем Л. считается Аристотель. Различают индуктивную и дедуктивную Л., а в последней - классич., интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений,к-рые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логич. исчислений. Особую роль в ускорении науч.-техн. прогресса играют приложения Л. в вычислит. математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.