Страница 29 из 440
НЕЙРАТ (Neurath) Огто (10 декабря 1892, Вена — 22 декабря 1945, Оксфорд, Англия) — австрийский философ, социолог и экономист; видный представитель логического лояяш- вмзма, был одним из организаторов и лидеров Венского кружка. Нейрат был убежденным антифашистом и демократом, принимал участие в революционных событиях в 1918—23 в Австрии и Германии. После захвата Австрии гитлеровской Германией переехал в Голландию, а оттуда в 1940 — в Англию, где до конца жизни преподавал в Оксфордском университете. Лекции Нейрагга («Das Problem des Lusoiiaximums», 1912) о концептуальной критике идеи максимального удовольствия посути предвосхитили развитие аналитической этики веер. 20 в. В1915 появиласьстатья Нейрата, посвященная альтернативным гипотезам, системам гипотез (на примере физической оптики), которая представляла собой интересный анализ исторического развития соперничающих теорий света, их нереализованных возможностей и случайного выживания теорий в науке. В работе «Zur Classification von Hypothesensystemen» (1916) Нейрат рассмотрел несоответствия различных попыток классифицировать системы гипотез и впервые заявил о том, что одной из задач научной философии является разработка метатеории. Одна из наиболее значительных статей Нейрата, посвященная анализу «Метафизических размышлений» Р. Декарта, содержит простое и ясное описание процесса рационального принятия решений, используемого нами и в теоретической, и в практической жизни, а также предостережение против псевдорационализма, которым так легко обмануться, когда недооценивается неполнота и неточность нашего знания. В статьях Нейрата о физикализме намечен поворот «частного» феноменализма карнаповской реконструкции мира как мира науки и повседневности к «общественному» вещному языку коммуникационной технологии и социальных взаимоотношений. Заметное влияние на развитие доктрины логического позитивизма оказала дискуссия между Нейратом и Карнапом о природе протокольных предложений — эмпирического базиса науки. Нейрат считал, что протокольные предложения не обладают преимуществами по сравнению с др. видами предложений. Критерием истинности является не абсолютная достоверность протокольных предложений, а в конечном счете непротиворечивость утверждений науки; любое предложение (не противоречащее другим предложениям данной науки), в зависимости от задач исследования, может быть выбрано ученым (по соглашению с др. учеными) в качестве протокольного. При этом вопрос о том, как приходят ученые к указанному соглашению, является их личным делом и не имеет отношения к логике и философии. Работы Нейрата нач. 1930-х гг. (см., напр., «Protokolsaetze», 1932— 33) об основаниях знания, отчетах о наблюдениях, протокольных предложениях разрабатывали когерентную теорию истины в ее эпистемологической и социоисторической форме, обосновывали неизбежную ошибочность идеи «прото-
48
НЕКЛАССИЧЕСКИЕ ЛОГИКИ кольных предложений», что стимулировано позднее работы У Куайна и Т. Куна. Критика Нейратом первого издания книга К. Поппера «Логика исследования» (Pseudorationalismus der Falsification, 1935) более чем на 25 лет предвосхитила все дискуссии между Лакатосом, Фейерабендом, Грюнбаумом и Куном по проблеме фальсификации, указав на эпистемологические трудности их «парадигм» и «исследовательских программ», а также других способов описания структуры и развития науки. Считая установление единства знаний важнейшей задачей философии науки, Нейрат вместе с Карнапом стал одним из авторов и главным редактором издания «International Encyclopedia of Unified Science» (1938—40). Одна из основных философских идей Нейрата состояла в обосновании возможности единого унифицированного языка науки, опирающегося на язык физики и математики и способного обеспечить единство научного знания (точка зрения т. н. радикального физикализма). С помощью такого языка можно установить логические связи между науками, выработать общую методологию, проанализировать основные понятия и разработать классификацию наук. Основное внимание Нейрат уделил переводу на такой язык положений психологии и социологии. Предметом психологии, по Нейрату, должно быть изучение поведения отдельных людей, «...которое можно интерсубъективно описать на языке физики» (Le developpement du circle de Vie
НЕКЛАССИЧЕСКИЕ ЛОГИКИ - широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логюш высказывании и логики ткоюсатов. Предпосылки для неклассической логики были высказаны еще до того, как стали проводиться систематические исследования по логике высказываний (Э. Пост, 1921). В 1908 выходит статья Л. Брауэра с вызывающим названием: «О недостоверности логических принципов», где дается критика классических законов исключенного третьего Av-A (см. Исключенного третьего закон) и снятия двойного отрицания -т-А з А. Это был ответ Брауэра на обнаружение парадоксов в теории множеств. В 1910 одновременно и независимо друг от друга русский логик Я. А> Васильев и польский логик A Лу- касевтч подвергли критике неяротиворечии закон -(Ал-А), став в этом смысле предшественниками параяепроттворечм- вои логики. В1929—30 идеи Брауэра были реализованы Ь Гли- венко и А Рейтингом, которые аксиоматизировали интуиционистскую логику, а еще ранее А. Я. Колмогоров (1925) в продолжение начатой Брауэром критики классической логики обратил внимание на аксиому А з (-А з В) как не имеющую интуитивного основания. В результате появилась аксиоматизация импликативно-негативного фрагмента минимальной логики. В 1920 в законченном виде появляется трехзначная логика Лукасевича (см. Многозначные логики), которая возникла в результате опровержения философской концепции логического фатализма посредством отбрасывания принципа двузначности (бивалентности). В этой логике не имеют места ни закон исключенного третьего, ни закон непротиворечия, ни закон сокращения (А з (А з В)) з (А з В). В1912 американский логик JL Я. Льюис строит новую теорию логического следования взамен теории материальной (классической) импликации. Исходным мотивом Льюиса было избавиться от так называемых парадоксов материальной импликации: А з (В з А), А з (-А з В) и др. В результате вводится новая импликация «-»», названная им «строгой». Поскольку Льюис считал, что логическое следование тесно связано с понятиями необходимости и возможности, то вводятся также модальные операторы с аналогичным названием. Уже в 1918 Льюисом была сформулирована первая модальная система, названная им впоследствии S3. Однако оказалось, что строгая импликация Льюиса не менее «парадоксальна», чем материальная, поскольку имеют место следующие законы: А -> (В -» В), (Ал-А) -> В, т. е. истина следует из чего угодно и из лжи следует все, что угодно. Следствием отказа от этих законов явилась логика следования Е (Ackerma