Формальная логика

Формальная логика

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

В этом разделе:

  1. Книга Льюиса Кэрролла «Символическая логика»
  2. Таблица простых категорических силлогизмов формальной логики
  3. Статья о сравнении формальной логики и математической
  4. Эйлеровы круги

Логика (Логический словарь-справочник под редакцией Н.Кондакова)

Долго сомневалась — помещать эту статью или нет. Слишком уж явное свидетельство «тех времен», слишком сильно идеологизирована. Вы спросите: «Как можно идеологизировать логику?» Прочитайте — узнаете.

Hosted by uCoz