Новая философская энциклопедия. Том третий Н—С
Шрифт:
46
НЕЗАВИСИМОСТЬ тив культуры вообще». Культура строится на отказе от влечений. В 4-м разделе Фрейд детально разбирает ограничения, накладываемые культурой на сексуальное влечение, в 5-м переходит к центральной для книги теме агрессивного или деструктивного влечения. Homo homini lupus est (человек человеку волк) — об этом говорит вся история. Попытки преодолеть агрессивность путем отмены частной собственности Фрейд считает «безудержной иллюзией». Культура дает известную безопасность человеку, но взамен требует отказа от сексуального и агрессивного влечений. В 6-м и 7-м разделах Фрейд обсуждает собственно психоаналитическую проблематику: те изменения в метапсихологии, которые вытекают из признания самостоятельного агрессивного инстинкта. Он замечает, что гипотеза об «инстинкте смерти», или деструктивности, столкнулась с сопротивлением даже в психоаналитических кругах, но утверждает, что «агрессивное стремление является у человека самостоятельной инстинктивной предрасположенностью». Культура оказывается «полем битвы» двух инстинктов — инстинкта жизни (Эроса) и инстинкта смерти (Танатоса). Первый инстинкт способствует соединению людей во все более широкие союзы, второй способствует их разрушению. «Эта борьба — сущность и содержание жизни вообще, а потому культурное развитие можно было бы просто обозначить как борьбу человеческого рода за выживание». На уровне индивидуальной психики Фрейд относит к вытесненной агрессивности такие явления, как невротические страх и вина. «Сверх-#> получает свою энергию от такого вытеснения, и «каждая составная часть агрессивности, которой отказано в удовлетворении, перехватывается Свещ-Яи увеличивает его агрессию против Я>. В заключительном, 8-м, разделе Фрейд возвращается к вопросам философии культуры, утверждая, что индивидуальное развитие повторяет развитие культуры, причем в обоих случаях мы имеем дело с законами, господствующими во всей живой природе. Культурный процесс представляет собой определенную модификацию жизни, но в нем обнаруживается та же борьба инстинктов жизни и смерти. Аналогии между индивидуальным развитием и развитием общества обосновываются Фрейдом с помощью ламаркистской теории наследования благоприобретенных признаков и учения о повторении в онтогенезе филогенеза. Он высказывает гипотезу, согласно которой существует некое социальное «Сверх-#>, которое также находится в развитии — имеются различия между «культурными Сверх -Я» различных эпох. В связи с этим им ставится вопрос: «Если развитие культуры имеет столь значительное сходство с развитием индивида и работает с помощью тех же
НЕДОНСЕЛЬ (Nedoncelle) Морис (30 октября 1905, Рубеке — 1976, Страсбург) — французский философ-персоналист, католический священник; доктор гуманитарных наук (1942), доктор теологии (1946), профессор (с 1945), декан ( 1956—65) теологического факультета Страсбургского католического университета. Главные темы его творчества — личность, общность человеческих сознаний, любовь, художественное творчество, Бог. Личность для Недонселя — это подлинное существование, которое никогда не достигает завершенного состояния; личность сама себя создает, творит себя и в этом смысле свободна. Однако личность обретает собственное существование только в «другом» и благодаря «другому»; «ты» — это исток «я», а не его граница; каждый имеет цель в себе и в то же время во всех других. Взаимность сознании и любовь как самое существенное в личности и личностях являются наиболее адекватными характеристиками человека, достигшего личностного существования. Вместе с тем личность по природе своей прича^тна Богу, при этом любовь к Богу и любовь к людям тесно связаны между собой: человеческие отношения включают в себя любовь к Богу и отношение к Богу включает в себя отношение к человеку; Бог нуждается в человеке так же, как человек нуждается в Боге. Анализируя личность, Недонсель стремится учитывать роль науки, морали и искусства в ее становлении и существовании. В отличие от Э. Мунье, придававшего большое значение социальным и политическимусловиямчеловеческогосуществования,Недон- сель строит свою концепцию вне политики и классовых антагонизмов. Особое место он отводит искусству, художественному творчеству, поскольку самовыражение человека в искусстве он считает высшей формой человеческой активности. Художник видит мир в Боге и намеревается реализовать Бога в мире; суть усилий художника состоит в том, чтобы дополнить жизнь человека тем, чего ему недостает,— Абсолютом. Соч.: Conscience et logos. Horisons et methodes d'une philosophie personnaliste. P., 1961; La personne humaine et la nature. P., 1943; Explorations personnalistes. P., 1970; Introduction a l'esthetique. P., 1957. И. С. Вдовина
НЕЗАВИСИМОСТЬ — категория бытия и познания, означающая наличие у объектов и систем собственного начала, не определяемого их внешним окружением и не зависящего от бытия других объектов и систем. Наличие самоценности объектов и систем определяет их специфику и образует необходимое условие разнообразия в мире. Представления о независимости играли существенную роль в становлении классической механики как первой естественнонаучной теории. Независимость входит в механику в процессе задания начальных условий: при анализе поведения системы (совокупности) тел начальное состояние каждой из них не зависит и не определяется состояниями других тел. Тем самым независимость в механике выражает сам факт наличного бытия объектов и систем вне зависимости от существования других объектов и систем. Происхождение этих сущностей механику не интересует. Независимо «возникшие» объ-
47
НЕЙРАТ екты и системы могут взаимодействовать друг с другом, могут находиться в весьма жестких и однозначно определяемых взаимоотношениях, но сам факт их бытия независим от бытия других подобных объектов. Так понимаемая независимость имеет весьма широкие приложения. Напр., в логике и математике вводятся представления о независимости аксиом в формализованных системах и независимых переменных в структуре уравнений. Существенные преобразования в представлениях о независимости произошли в ходе становления теоретико-вероятностных методов исследования, в ходе раскрытия природы статистических закономерностей. В механике независимостьхарак- теризовала л ишь само происхождение объектов, но взаимоотношения между объектами и их поведение определялись жестким, однозначным образом внешним окружением, внешними воздействиями других объектов. Теоретико-вероятностный взгляд на бытие означает, что уже в своем поведении объекты и системы не всецело зависят от внешних условий и воздействии. Объекты и системы характеризуются внутренней динамикой, внутренними степенями свободы, что означает, что их поведение включает в себя процессы самодетерминации. Представления о независимости соотносятся с любой областью исследований, с любой областью бытия. Они играют громадную роль в познании живых систем. Рассматривая проблемы биокибернетики в связи с фундаментальными работами И. И. Шмальгаузена в этой области, А. И. Берг и А. А. Ляпунов отмечали: «Независимость — это такое же фундаментальное явление природы, как и наличие взаимозависимости» (Берг А. И,, Ляпунов А. А. Предисловие.— В кн.: Шмальгаузен И. И. Кибернетические вопросы биологии. Новосибирск, 1968, с. 10). Несмотря на столь основополагающую роль независимости, проявляется она всегда в сопряжении с зависимостью, с наличием разнообразных и устойчивых связей в реальном мире. Абсолютно независимые сущности невозможно познавать. Разнообразие реального мира представлено неисчерпаемым множеством систем, которые образуются благодаря наличию устойчивых взаимосвязей между составляющими ах элементами. Образование структур из некоторых элементов можно рассматривать как ограничение их независимости. Представления об индивидуализированных независимых частицах (объектах) являются весьма бедными. Одна независимость породить разнообразие мира не в состоянии. Конструктивно независимость проявляет себя лишь в сочетании с зависимостью. Независимость выражает подвижное, мобильное начало мира, а зависимость — устойчивое, неизменное. Независимость выражает отчужденность объектов и систем, а действие зависимости преодолевает эту отчужденность на основе раскрытия более глубоких свойств этих объектов и систем. Реальные системы и объекты представляют собой конкретные формы синтеза независимости и связности, конкретные формы их организации. В истории общества остро вставали вопросы политической независимости. Провозглашалось, что именно независимость (суверенитет) в ее наиболее полном выражении представляет необходимую предпосылку развития государств, наций и регионов. Идея независимости содействовала во многих случаях мобилизации внутренних сил и ресурсов, направленной на развитие соответствующих национально-территориальных образований. Эта идея нередко приобретала такую силу, что приводила к национально-ссвобсдательным войнам. Идея независимости породила многие новые государства. Вместе с тем стремление к полной, ничем не ограниченной независимости в современном мире ведет к самоизоляции и резко ограничивает возможности материального и духовного развития общественных субъектов. Прогрессивное развитие общественных структур становится невозможным вне развития целого. Мир, его государства и регионы в своем развитии стали взаимозависимыми. Идея политической независимости всовре- менном мире оправданна, если она служит как интересам наций и государств, так и глобальным целям человечества. Ю. A Сачков
НЕЙРАТ (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 Vienne et l'avenir de l'empirisme logique. P., 1935, p. 6). Рассуждения о психике, о «чужом сознании» и т. п. Нейрат относил к разряду метафизических и ненаучных. Такая концепция привела
НЕКЛАССИЧЕСКИЕ ЛОГИКИ - широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логюш высказывании и логики ткоюсатов. Предпосылки для неклассической логики были высказаны еще до того, как стали проводиться систематические исследования по логике высказываний (Э. Пост, 1921). В 1908 выходит статья Л. Брауэра с вызывающим названием: «О недостоверности логических принципов», где дается критика классических законов исключенного третьего Av-A (см. Исключенного третьего закон) и снятия двойного отрицания -т-А з А. Это был ответ Брауэра на обнаружение парадоксов в теории множеств. В 1910 одновременно и независимо друг от друга русский логик Я. А> Васильев и польский логик A Лу- касевтч подвергли критике неяротиворечии закон -(Ал-А), став в этом смысле предшественниками параяепроттворечм- вои логики. В1929—30 идеи Брауэра были реализованы Ь\ Гли- венко и А Рейтингом, которые аксиоматизировали интуиционистскую логику, а еще ранее А. Я. Колмогоров (1925) в продолжение начатой Брауэром критики классической логики обратил внимание на аксиому А з (-А з В) как не имеющую интуитивного основания. В результате появилась аксиоматизация импликативно-негативного фрагмента минимальной логики. В 1920 в законченном виде появляется трехзначная логика Лукасевича (см. Многозначные логики), которая возникла в результате опровержения философской концепции логического фатализма посредством отбрасывания принципа двузначности (бивалентности). В этой логике не имеют места ни закон исключенного третьего, ни закон непротиворечия, ни закон сокращения (А з (А з В)) з (А з В). В1912 американский логик JL Я. Льюис строит новую теорию логического следования взамен теории материальной (классической) импликации. Исходным мотивом Льюиса было избавиться от так называемых парадоксов материальной импликации: А з (В з А), А з (-А з В) и др. В результате вводится новая импликация «-»», названная им «строгой». Поскольку Льюис считал, что логическое следование тесно связано с понятиями необходимости и возможности, то вводятся также модальные операторы с аналогичным названием. Уже в 1918 Льюисом была сформулирована первая модальная система, названная им впоследствии S3. Однако оказалось, что строгая импликация Льюиса не менее «парадоксальна», чем материальная, поскольку имеют место следующие законы: А -> (В -» В), (Ал-А) -> В, т. е. истина следует из чего угодно и из лжи следует все, что угодно. Следствием отказа от этих законов явилась логика следования Е (Ackermann, 1956), а еще ранее в результате обнаружения ослабленной формы дедук-
49
НЕКЛАССИЧЕСКИЕ ЛОГИКИ ции теоремы появилась релевантная импликация (Church, 1951). Формулировка критерия релевантности (Belnap, 1960, Донченко, 1963) определила бесконечный класс законов классической логики, неприемлемых для релевантных логик. Наконец, с появлением и развитием квантовой физики подвергся критике закон тождества А => А, поскольку, согласно Э. Шрёдингеру, этот закон в общем случае не имеет места для микрообъектов. Такие логики получили название «логики Шрёдингера». Т о., указанные выше неклассические логики появились в результате критики тех или иных законов классической (аристотелевской) логики, и в итоге напрашивался вывод, что логика не основывается ни на каких принципах или законах. Совершенно иной подход к построению неклассических логик продемонстрировал А. Н. Прайор, который в результате логического анализа и реконструкции «главенствующего аргумента» (kyrieyon) Диодора Крона впервые ввел в логику временные операторы и построил первые системы временной логики, причем в качестве основы берется вся классическая пропозициональная логика С2 и уже к ней добавляются аксиомы, определяющие вновь введенные операторы. Подобным образом строятся деонтические логики, эпистемичес- кие, императивные и многие другие, поскольку возможности изобретения все новых операторов, добавляемых к С2, неограниченны. Т о., имеем два основных подхода к конструированию неклассических логик: 1) ограничение (сужение) С2 посредством отбрасывания каких-либо законов классической логики; 2) расширение С2 посредством добавления новых логических связок. В редакционной статье первого номера бразильского журнала «The Journal of Non-Classical Logic» (1982) именно эти два подхода и выделены. Точно такое же разделение на два основных класса принято и в «Handbook of Philosophical Logic», где во 2-й том вошли неклассические логики, расширяющие С2, а в третий том — неклассические логики, сужающие С2 (здесь они названы «альтернативными» к С2). Но такое деление не является исчерпывающим, поскольку существуют неклассические логики, не принадлежащие ни к одному из этих двух классов, напр. комбинаторная логика, инфинитар- ные логики, системы Лесневского и т. д. Однако возникают более существенные трудности при допущении дихотомии, указанной пунктами 1) и 2). Оказалось, что модальные логические системы строгой импликации Льюиса и Лэнгфорда (1932) можно строить как расширение С2, добавив к последней аксиомы, определяющие модальные операторы (Гедель, 1933). То же самое можно сделать с абсолютным большинством многозначных логик. Напр., ко- нечнозначные логики Лукасевича, Бочвара, Поста и т. д. есть расширение С2 (Аншаков и Рычков, 1984). Более того, существует погружающая операция, которая переводит (вкладывает) С2 в интуиционистскую логику H (Гливенко, 1929). Это означает, что последняя богаче С2, хотя на первый взгляд яапяется подсистемой С2. Но Гёдель показал (1933), что H есть расширение С2, если в качестве логических связок последней взять конъюнкцию и отрицание. Более того, существуют подсистемы С2, слабее Н, но в которые переводится С2. На самом деле, перевод одной логики в другую довольно-таки распространенное явление и в последние годы стала разрабатываться теория такого феномена: Wfojcicki (1988), F p- stein (1990). В свою очередь заметим, что целый ряд неклассических логик содержит фрагмент (или фрагменты), изоморфный С2. Таково, напр., большинство конечнозначных логик. Тогда можно предположить, что С2 переводится в некоторую логику L, если L содержит фрагмент, изоморфный С2. Отсюда следует возможность аксиоматизации L как расширения С2. Вот некоторые достаточно известные неклассические логики: интуиционистская и конструктивная, суперинтуиционистские (промежуточные), подсистемы классической логики (ВСК, BCI и т. д.), многозначная, модальная, доказуемостные логики, временная, модально-временные логики, релевантная и следования, контрфакгуалы и кондиционалы, паранепротиворечивая логика, логика комбинаторная и лямбда исчисления, квантовая, эпистемическая, деонтическая, императивная, немотон- ная логика, свободные логики, логика вопросов (эротетическая логика), интенсиональная, индуктивная логика, вероятностная логика, нечеткие (нечеткозначные логики), логика подтверждений и порождения гипотез, логика решений, динамическая логика, логика программ, онтология Лесневского, силлогистика и др. (см. также Философская логика). На современном этапе развития логики многие из указанных направлений представляют разделы логики символической и давно потеряли какие-либо следы своего философского происхождения. Бесконечное разнообразие неклассических логик (существуют континуумы логик определенного класса, напр. континуум суперинтуиционистских логик), а также критика и возможная элиминация любого закона логики и результаты, связанные с переводом одних логик в другие,— все это поставило сложнейшую проблему выработки, по возможности, единого подхода к такому явлению, как «мир логии». Укажем основные подходы (работы), четко обозначенные в последнее время: 1) алгебраический — логика есть часть универсальной алгебры (W. J. Block & D. Pigozzi, 1989); 2) семантический подход (R. L. Epstein, 1990); 3) теоретико-доказательный (D. M. Gabbay, 1996); 4) классификация логик посредством конечных булевых решеток, элементами которых являются различные логические исчисления (А. С. Карпенко, 1997). Все эти подходы, конечно, имеют те или иные ограничения, поэтому сейчас обсуждается вопрос о построении универсальной логики (J.-Y Beziau и др.). Итог развития неклассических логик тот же самый, что для символической логики и философской логики, а именно — постановка к кон. 20 в. вопроса о том, что такое логика. Лит.: Аншаков О. М., Рычков С. В. Об одном способе формализации и классификации многозначных логик.— В кн.: Семиотика и информатика, вып. 23; Васильев Н. А. Воображаемая логика. Избранные труды. М, 1989; Гливенко В. О. некоторых аспектах логики Брауэра.— В кн.: Труды научно-исследовательского семинара Логического центра Института философии РАН. М, 1998; Исследования по неклассическим логикам. М, 1989; Карпенко А. С. Классификация пропозициональных логик.— В кн.: Логические исследования, вып. 4. М., 1997; Он же. Библиотечно-библиографичсская классификация литературы по логике.— В кн.: Труды научно-исследо вательского семинара логического центра Института философии
РАН. М., 1997; Колмогоров А. Н. О принципе tertium non datur— В кн.: Он же. Избранные труды. Математика и механика. М., 1985; Blok W. J., Pigozzi D. Algebraizable logics.— Memoirs of the American Mathematical Society. N. Y, 1989, v. 396; Brouwer L. E. J. The unreliability of the logical principles. — Brouwer L. E. J. The collected works. Dordrecht, 1975; da Costa N. CA., Krause D. Schrodinger logics.— «Stu- dia logica», 1994, v. 53; Epstein R. L. The semantic foundations of logic, v. 1: Prepositional Logic. Dordrecht, 1990; Gabbay D. M. Labelled deductive systems, v. 1. Oxf., 1996; Haack S. Deviant logic: Some philosophical issues. L., 1974 (здесь предпринята первая попытка определения ста-
50
«НЕМЕЦКАЯ ИДЕОЛОГИЯ» туса неклассической логики); Haack S. Deviant logic, fuzzy logic: Beyond the formalism. Chi., 1996; Handbook of philosophical logic, v. II: Extensions of classical logic. Dordrecht, 1981; Handbook of philosophical logic, v. Ill: Alternatives in classical logic. Dordrecht, 1986; Lewis СI. Implication and the algebra of logic?— «Mind», 1912, v. 21; Lukasiewicz J. On the principle of contradiction in Aristotle.— «Review of Metaphysics», 1971, v. 24; Lukasiewicz /. О logice trojwartosciowey— «Ruch Filo- zoliczny», 1920, t. 5 (Англ. пер.: On three-valued logic — Lukasiewicz J- Selected works. Warsz., 1970; Non-cassical logics and their applications to fuzzy subsets: A handbook of the mathematical foundation of fuzzy set theory. Dordrecht, 1995; Rasiowa H. An algebraic approach to non-classical logics,—Warsz., 1974; Thisilewwaite P. B. McRobbie M. A., Meyer R. K. Automated theorem proving for non-classical logics.— Research Notes in Theoretical Computer Science. N. Y, 1987; Wojcicki R. Theory of logical calculi: Basic theory of consequence operations. Dordrecht, 1988; Q- Bibliography of mathematical logic, v. II: Non-classical logics. В., 1987. A. С Карпенко