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