Энциклопедический словарь
"Логика"

Главная - Энциклопедический словарь - буква Л - Логика

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Логика

будет выглядеть так: Что такое Логика

Энциклопедический словарь"Логика"

Энциклопедический словарь
"Логика"