Логика краткая биография(статья) в Большом энциклопедическом электронном словаре

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

В других словарях:
Логика - Энциклопедический словарь Брокгауза и Ефрона
Логика - Толковый словарь живого великорусского языка В. И. Даля
Логика - Ефремова Т. Ф. Новый словарь русского языка
Логика - Словарь иностранных слов
Логика - Толковый словарь русского языка С. Ожегова
Логика - Ожегов С. И., Шведова Н. Ю. Толковый словарь русского языка
Логика - Толковый словарь русского языка. Под ред. Д. Н. Ушакова ...