ЛОГИКА НЕКЛАССИЧЕСКАЯ

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

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

Л. Брауэр (1881–1961) подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880–1940).

В 1912 г. К. И. Льюис (1883–1964) обратил внимание на парадоксы импликации, характерные для формального аналога условного высказывания в классической логике – импликации материальной. В дальнейшем он разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика.

Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип). В 20-е годы XX в. Я. Лукасевичем (1878–1956) и Э. Постом (1897–1954) были построены многозначные логики, допускающие более двух истинностных значений.

На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в современной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.

В середине 20-х годов появилась первая работа Э. Малли по деонтической логике, исследующей логические связи нормативных высказываний. К этому же времени относится первая попытка Э. Гуссерля (1859–1938) развить оценок логику.

В 30-е годы Д. фон Нейманом (1903–1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики.

Особенно интенсивно Л. н. продолжала расширяться после второй мировой войны. С. Яськовским (1906–1965) была построена «логика дискуссии», явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали Н. А. Васильев и Я. Лукасевич; с работ А. Н. Прайора началось развитие логики времени; С. Халлденом и Г. X. фон Вригтом (р. 1916) были предложены развитые логические теории сравнительных оценок (предпочтений логика); Г. X. фон Вригтом построены логика изменения и логика действия; А. Берксом – логика причинности и т. д.

Экстенсивный рост Л. н. не завершился и сейчас. В последние десятилетия существенно упрочились ее основы и усовершенствовались ее методы. Это касается прежде всего модальной логики и теории логического следования.

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

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

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