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