Наука - логика | |||||||
Традиционная логика (основные разделы – силлогистика Аристотеля и логика стоиков)
Классическая математическая логика. Разделы: - исчисление предикатов (Г.Фреге) - исчисление высказываний - «алгебра логики» (Дж.Булль) - нормативная логика - пропозициональная | Нетрадиционная логика
Неклассическая математическая логика. Разделы: - теория логического следования - модальная логика (К.Льюис, Я. Лукасевич) - интуинистская логика - «семантика возможных миров» (Якко Хинтикка) - временная логика - релевантная логика - ситуационная логика |
После возникновения логики в Древней Греции в ней не происходило никаких значительных изменения вплоть до XVII в. В XVII в. Немецкий философ Г.В. Лейбниц предлагает и основывает систему математической логики. По существу, предлагается неформализованные высказывания естественного языка выражать формальными языком математики. А главной математической функцией становится оператор логического следования. Идея Лейбница получила широчайшее распространение и дала толчок развитию логики как науки.
Математическая логика после Лейбница довольно скоро вошла в кризисное состояние. Связано это с тем, что как оказалось в научных теориях весьма распространены такие способы использования языка, которые не поддаются формализации. Кроме того, в самой структуре научного знания содержатся связи, несовпадающие следствию в математических функциях. Т.о., возникает необходимость отказа от строгой математизации наук и составления специальной теории, объясняющей предпосылки научного знания и мотивы действий ученых.
Особую значимость приобретает анализ неформальной коммуникации в научном сообществе, особенностей обыденного мышления, которое во многом определяет конечный вид и характер человеческого знания. Так возникает теория аргументации. Учитывая сказанное, можно провести первое различие между понятиями строгого научного доказательства и аргументации, которая носит неформальный характер убеждения. Такое развитие логической теории делает актуальным античную установку на постижение сущности logosа.