Современная энциклопедия - логика

ЛОГИКА (греческое logike), наука> о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель>. Различают индуктивную и дедуктивную логику, а в последней классическую, интуиционистскую, конструктивную, модальную и др.

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