ЛОГИКА — наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логики, а в последней — классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др.
(Советский энциклопедический словарь, 1980)
В этом разделе:
- Книга Льюиса Кэрролла «Символическая логика»
- Таблица простых категорических силлогизмов формальной логики
- Статья о сравнении формальной логики и математической
- «Брамалип и все остальные»
- Дополнение 1. Таблицы истинных силлогизмов в системах Льюиса Кэрролла, Аристотеля и математической логики
- Дополнение 2. Даты становления математической логики
- Эйлеровы круги
Логика (Логический словарь-справочник под редакцией Н.Кондакова)
Долго сомневалась — помещать эту статью или нет. Слишком уж явное свидетельство «тех времен», слишком сильно идеологизирована. Вы спросите: «Как можно идеологизировать логику?» Прочитайте — узнаете.
