Формирование символической логики. Логика классическая и неклассическая. Во второй половине XIX в

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений метода­ми исчисления с использованием формализованных языков получил название математической, или символической, логики3.

Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.д.). Большое внимание уделяется разработке многозначной логики, в которой помимо при­нятых в традиционной логике двух значений истинности — «истин­но» и «ложно» — допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («ней-

¹ Авторы книги были членами религиозной корпорации, обосновавшейся в мо­настыре Пор-Рояль

Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце XIX-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще остается центром современной логики, она продолжает традиции аристотелевской логики, используя при этом современный математический путь.

В первой половине XX в. классическая логика подверглась критике, после чего возникло большое количество новых направлений, которые и получили название неклассической логики. Ее главное отличие от классической логики состоит в том, что она сформировалась не как единое целое, а стала представлять собой различные теории

1) многозначная логика

2) интуиционистская логика.

3) релевантная логика

Не нашли, что искали? Воспользуйтесь поиском: