Шпаргалка по логике - [4]

К их числу можно отнести следующие направления:

1) многозначная логика. Она начала складываться в 20-х гг. XX в. В классической логике присутствовал один особенный принцип, на основании которого все высказывания либо истинны, либо ложны. Данный принцип назывался принципом двузначности. В противопоставление данному принципу были выведены многозначные системы. В них вместе с истинными и логическими суждениями допускаются и неопределенные суждения. Данный принцип был известен еще Аристотелю, который не считал его лучшим. Данный подход Аристотеля еще в древности вызывал споры. В более позднее время принцип двузначности также оспаривался многими логиками. Но только в современной логике стало возможным использовать сомнения в универсальности принципа двузначности в форме логических систем. Независимо друг от друга первые многозначные логики были построены польским логиком Я. Лукасевичем и американским логиком Э. Постом. Лукасевичем была предложена трехзначная логика, которая основана на предположении, что высказывания бывают истинными, ложными и неопределенными. В отличие от него, Пост формально подходил к многозначной логике;

2) интуиционистская логика. В 1908 г. классические законы исключенного третьего, двойного отрицания и косвенного доказательства были подвержены сомнению голландским математиком и логиком Л. Брауэром. В результате чего возникла интуиционистская логика, которая, естественно, не содержала данных законов. Брауэр полагал, что, возникнув в рассуждениях о конечном множестве объектов, закон исключенного третьего впоследствии был распространен на бесконечные множества, в результате чего проверить, обладают ли все предметы определенным свойством или нет, не представляется возможным;

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

Классическая логика была подвержена критике еще и за то, что не дает никакого описания логического следования. Логическое следование – это отношение, которое существует между утверждением и выводимыми из него заключениями. Выводимое следствие должно быть связано с тем, из чего оно выводится. Наиболее полное развитие данное положение получило в релевантной логике.

7. МНОГОЗНАЧНАЯ ЛОГИКА

Принцип двузначности был известен еще Аристотелю, который не считал его, однако, универсальным и не распространял его действия на высказывания о будущем. Аристотелю казалось, что высказывания о будущих случайных событиях, наступление которых зависит от человека, не являются ни истинными, ни ложными. Они не подчиняются принципу двузначности. Прошлое и настоящее определены однозначно и не подвержены изменению. Будущее же в определенной мере свободно для изменения и выбора.

Подход Аристотеля уже в древности вызывал ожесточенные споры. Его высоко оценивал Эпикур, который допускал существование случайных событий. Другой древнегреческий логик Хрисипп, категорически отрицавший случайное, с Аристотелем не соглашался. Он считал принцип двузначности одним из основных положений не только всей логики, но и философии.

В более позднее время положение, что всякое высказывание либо истинно, либо ложно, оспаривалось многими логиками и по множеству причин. В частности, указывалось на неприменимость данного принципа к высказываниям о неустойчивых, переходных состояниях, о несуществующих объектах, об объектах, недоступных наблюдению.

Но только в современной логике оказалось возможным реализовать сомнения в универсальности принципа двузначности в форме логических систем. Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г.

Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и неопределенными.

К последним были отнесены высказывания наподобие: «Студенты летом поедут в отпуск». Событие, описываемое данным высказыванием, сейчас никак не определено – ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.

Все законы трехзначной логики Лукасевича оказались также и законами классической логики, однако обратное утверждение смысла не имело. Ряд классических законов в трехзначной логике отсутствовал. Среди них были закон противоречия, закон исключенного третьего, закон косвенного доказательства и ряд других.

В отличие от Лукасевича, Э. Пост подходил к построению многозначной логики чисто формально. Допустим, 1 обозначает истину, а 0 – ложь. Естественно допустить, что числа между единицей и нулем обозначают степени истины. О

В то же время, чтобы построение логической системы 1 перестало быть чисто техническим упражнением, а сама система – сугубо формальной конструкцией, необходимо придать символам данной системы определенный логический смысл и содержательно ясную интерпретацию. Вопрос о такой интерпретации – самая сложная и спорная проблема многозначных логик. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи.