Аналитическая философия

Истоки формирования аналитической философии. Программа логического атомизма. Философия лингвистического анализа. Реабилитация метафизической проблематики. Неопрагматистская критика эмпиризма и холистический тезис. Аналитическая философия сознания.

Рубрика Философия
Вид учебное пособие
Язык русский
Дата добавления 04.06.2009
Размер файла 1,4 M

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

2.2.5 Логические фикции и аксиома сводимости

В Principia Mathematica, труде, в котором Рассел совместно с Уайтхедом попытались последовательно развить предпосылки логицизма, теория типов, аксиома бесконечности и рассматриваемая ниже аксиома сводимости включаются в число логических предложений. Однако здесь возникает проблема, связанная со статусом данных положений. Характеристика различных уровней бытия, предложенная теорией типов, или аксиома бесконечности, характеризующая совокупность предметов в мире, выходит за рамки аналитического знания. Разрабатывая теорию типов, Рассел говорит о недопустимости определенной комбинации символов в языке логики. Однако то, что он имеет в виду, выходит за рамки символической комбинаторики, поскольку сами по себе символы основания для такого запрета не дают. Ограничения возможны только тогда, когда в расчет принимается определенная интенция значения. Стало быть, теория типов основана на онтологической предпосылке о допустимых видах значений и существенно от нее зависит.

Формулируя теорию типов, Рассел говорит о классах, но это не означает, что он допускает их реальное существование, поскольку это возрождало бы иерархическую структуру бытия в смысле Платона, и даже превосходило бы предложенное последним удвоение реальности, так как предполагало бы ее умножение ad infinitum соответственно умножению различных типов знаков. Кроме того, с реальностью классов связан ряд следствий, принять которые Расселу мешает установка на здравый смысл. Согласно способу построения классов из любой совокупности n предметов можно образовать 2n классов. Например, взяв совокупность из трех предметов a, b, c, можно образовать восемь классов. Это следующие классы: нулевой класс, классы {a}, {b} и {c}; затем, {bc}, {ca}, {ab}, {abc}. Рассмотрим теперь совокупность всех вещей, существующих в мире. Очевидно, что число классов, образованных из этих вещей, будет больше числа их самих, поскольку 2n всегда больше, чем n. Теперь, если мы принимаем реальность классов, получается парадоксальный вывод. Оказывается, что число всех действительно существующих вещей меньше, чем их имеется на самом деле. Рассел не принимает этого парадоксального вывода, выходя из положения тем, что дифференцирует понятие существования соответственно типам значений. Говорить о существовании индивидов - это совершенно иное, чем говорить о существовании составленных из них классов. Последнее есть лишь faзon de parler, от которого при желании всегда можно избавиться. Здесь возникает концепция неполных символов, рассматривающая классы как логические фикции. Надлежащая трактовка классов должна исключить их из перечня самостоятельных сущностей, а то, что мы рассматриваем как обозначение классов, должно быть сведено к обозначению сущностей, не вызывающих сомнений в своем существовании.

Осуществляя подобную редукцию, Рассел отталкивается от того, что класс может быть однозначно задан как система значений некоторой высказывательной функции, а стало быть, все, что можно сказать о классах, с успехом переводимо на язык функций: «Вы хотите сказать о пропозициональной функции, что она иногда является истинной. Это то же самое, как если о классе говорят, что он имеет члены. Вы хотите сказать, что это истинно в точности для 100 значений переменных. Последнее одинаково с тем, когда о классе говорят, что он имеет сто членов. Все то, что вы хотите сказать о классах, одинаково с тем, что вы хотите сказать о пропозициональных функциях, исключая случайные и неуместные лингвистические формы» Рассел Б. Философия логического атомизма. С.91.. Так утверждение, что класс спутников Марса включает два элемента, заменимо на утверждение о том, что пропозициональная функция `спутник Марса (х)' истинна ровно при двух значениях переменной.

При замене классов на функции возникают некоторые проблемы, краткую экспозицию которых мы сейчас представим. Один и тот же класс можно задать с помощью различных функций. Например, класс людей будет задавать и функция “бесперое, двуногое (х)” и “политическое животное (х)”. Такие функции (т.е. функции, которые удовлетворяет одинаковый набор аргументов), Рассел называет формально эквивалентными. А раз эти функции специфицируют один и тот же класс предметов, то в некоторых контекстах их можно заменить друг на друга, причем истинность целого не изменится, как, например, в “Сократ является бесперым и двуногим”. Такие контексты Рассел называет экстенсиональными. Эти контексты не допускают двусмысленностей; входящие в них функции вполне можно рассматривать вместо классов. Причем все, что можно сказать о какой-либо функции, будет приложимо и к функции, формально ей эквивалентной. Значит, любое высказывание о классе можно заменить высказыванием об одной из формально эквивалентных функций, однозначно этот класс специфицирующей. Однако здесь возникает проблема. Дело в том, что не всегда то, что можно сказать об одной формально эквивалентной функции, будет приложимо к другой. Примером такого неэкстенсионального контекста может служить высказывание “Платон утверждал, что бесперость и двуногость однозначно определяют человека”. В него входит функция `двуногое и бесперое (х)', но попытка заменить ее на функцию `политическое животное (х)' сделает высказывание ложным. Следовательно, не все, что можно сказать об одной функции, приложимо к другой. Однако Рассел считает, что можно сконструировать такую формально эквивалентную функцию, которая удовлетворяла бы требуемому свойству. Другими словами, и для `бесперое, двуногое (х)' и для `политическое животное (х)', существует формально эквивалентная функция, которая однозначно определяет класс людей и при этом является экстенсиональной. В общем случае, если имеется высказывание, изменяющее свое истинностное значение при замене одной формально эквивалентной функции на другую, всегда можно сконструировать функцию формально, эквивалентную исходным функциям, которая будет экстенсиональной. С ее помощью и можно любое высказывание о классе преобразовать в высказывание о функции.

Единственное ограничение, накладываемое Расселом на образование такой функции, связано с требованием теории типов. Она должна указывать предикативное свойство соответствующего класса. Различие между предикативными и непредикативными свойствами можно проиллюстрировать следующим примером. Рассмотрим свойство быть человеком и свойство иметь все свойства человека. И то и другое относятся к одному и тому же классу предметов, но в отличие от первого, второе свойство имеет в виду и само себя. Так как если мы утверждаем, что Сократ имеет все свойства человека, то наряду с приписыванием ему свойств быть двуногим и бесперым, быть политическим животным и т.д. мы приписываем ему и свойство иметь все свойства человека. Непредикативное свойство самореферентно, т.е. указывает и на само себя. Соответственно, функция, выражающая самореферентное свойство, будет применяться сама к себе, что, как было показано выше, приводит к парадоксу. С точки зрения Рассела, функции, выражающие непредикатитвные свойства, должны относиться к более высокому типу, чем функции, выражающие предикативные свойства, несмотря на то, что они специфицируют один тот же класс. Таким образом, функции, как и классы, должны рассматриваться в строгой иерархии, которая конструируется Расселом в разветвленной теории типов.

Утверждение о существовании формально эквивалентной предикативной функции, которая может заменить класс во всех контекстах, доказать конструктивными средствами невозможно. Поэтому Рассел принимает его как аксиому, так называемую аксиому сводимости, которая формулируется следующим образом: «Существует такая формально эквивалентная предикативная функция , что для всякого x аргумент x удовлетворяет функцию f тогда и только тогда, когда он удовлетворяет функцию ». Символически: () (x) (fx!x),

где `' знак тождества, а `!' в выражении `!x' указывает на предикативность функции .

2.2.6 Примитивные значения и теория дескрипций

Рассмотрение отношений, чисел и классов демонстрирует один важный принцип, который практикует Рассел. Логический анализ воспринимается им как метод, который устанавливает критерий того, что может рассматриваться как реально существующее, а что нет. Например, отношения, которые нельзя редуцировать к свойствам, реальны, а числа и классы - нет, поскольку вторые суть фикции, так как редуцируемы к пропозициональным функциям, а первые суть фикции фикций, так как редуцируемы к классам. Основная проблема, обнаруживаемая данным анализом, связана с использованием определенных выразительных средств. Дело в том, что язык, повседневно используемый для выражения мыслей, скрывает их действительную структуру. Задача философского исследования - выявить эту структуру и зафиксировать с помощью искусственного языка, который был бы свободен от двусмысленностей языка естественного. Искусственный язык должен способствовать освобождению выражений науки от компонентов, имеющих фиктивное значение. Особый смысл в таком исследовании приобретает логика, формальные методы которой и позволяют разработать такой язык. Последующее расширение границ и методов формального анализа ставится Расселом в зависимость от того, что рассматривать в качестве допустимых типов значения.

Обнаружение средствами логического анализа фикций ставит перед Расселом проблему того, что можно считать примитивным, далее нередуцируемым значением и что должен представлять собой символ, такому значению удовлетворяющий. При всей неопределенности понятия примитивного значения, независимо от того, затребовано это понятие сугубо логическими потребностями или же нет, у Рассела оно связано с принимаемыми теоретико-познавательными установками, и в частности с разрабатываемым им разделением знания на два разнородных типа: во-первых, знание по знакомству; во-вторых, знание по описанию. Концепция двух типов знания лежит в основании второй из указанных выше детерминаций творчества Рассела и также оказывает значительное влияние на интерпретацию логических идей, но характеризует уже не онтологическое содержание развиваемой им логики, а ее теоретико-познавательное значение. В основании любого знания, считает Рассел, лежит непосредственное знакомство с объектом: «Мы говорим, что знакомы с чем-либо, если нам это непосредственно известно, - без посредства умозаключений и без какого бы то ни было знания суждений (истины)» Рассел Б. Проблемы философии. - СПб: Изд.П.П.Сойкина, 1914. - С.35.. Любое другое знание может рассматриваться только в качестве опосредованного логическими структурами мышления, интегрирующего языковые средства, либо в качестве выводного знания, либо в качестве указания на фиксированные свойства, включенные в структуру описания предмета. В последнем случае «мы знаем описание, и мы знаем, что есть какой-то предмет, точно соответствующий этому описанию, но сам этот предмет нам непосредственно не известен. В этом случае мы говорим, что наше знание предмета есть знание предмета по описанию» Там же.. Рассел не считает описание какой-то новой познавательной процедурой, отличной от тех, что предлагали традиционные теории познания. Оно не есть новый логический элемент наряду с понятием, суждением и умозаключением. «Знание вещей по описанию всегда предполагает в качестве своего источника некоторое знание истинных суждений», таким образом, «все наше знание, как знание вещей, так и знание суждений (истины), строится на знании-знакомстве, как на своем фундаменте» Там же. С.36.. Рассел отводит логике роль своеобразной редукционной процедуры, связанной с аналитическим смыслом самого философствования, поскольку «основной принцип в анализе положений, содержащих описание, гласит: каждое предложение, которое мы можем понять, должно состоять лишь из составных частей, нам непосредственно знакомых» Там же. С.44..

Таким образом, конституенты выражений должны сводиться к элементарным символам, значение которых нам непосредственно знакомо. Что же можно рассматривать в качестве примитивных, неопределяемых далее значений? Представленный выше анализ показывает, что к таковым относятся отношения, а стало быть, и свойства, которые всегда редуцируемы к отношениям. И те и другие Рассел обозначает как универсалии, и в качестве выражения последних служат пропозициональные функции. Примитивными значениями будут в таком случае универсалии учитель, ученик, любить, красное и т.д. Соответственно допустимы выражающие их пропозициональные функции `учитель (x,y)', `ученик (x,y)', `любит (x,y)', `красное (x)' и т.д.

Анализ пропозициональных функций, представляющих один из необходимых компонентов высказывания, выводит на дальнейшее исследование. Для образования целостного высказывания функции необходимо дополнить выражениями, занимающими аргументные места, чьим предметным значением являются индивиды. На эту роль могут претендовать те символы, которые указывают на самостоятельные предметы и которые, как и универсалии, известны нам непосредственно. Однако роль такого указания могут выполнять два различных, как считает Рассел, типа символов: собственные имена и описания (дескрипции). Основное различие между ними в том, что понимание собственного имени зависит от непосредственного знакомства с объектом, тогда как описание мы понимаем, зная значение конституент, из которых оно состоит. Примерами первых можно считать то, что в повседневном языке обычно понимается под собственными именами, скажем, `Сократ' или `Вальтер Скотт' Данный пример требует уточнения, поскольку ни с Сократом, ни с Вальтером Скоттом мы не имеем непосредственного знакомства в собственном смысле данного слова, эти имена требуют дальнейшего анализа, но для простоты изложения мы будем рассматривать их здесь как собственные. Ниже мы вернемся к этому вопросу в связи с аналогичной проблемой у Витгенштейна.; примерами вторых - такие выражения, как `учитель Платона', `автор Веверлея' и т.д. Заметим, что различие, проводимое Расселом, отличается от соответствующего подхода Г.Фреге, который и те и другие выражения считал именами, указывающими на один и тот же предмет посредством различного смысла. Рассел стремится избавиться от такой сомнительной сущности, как смысл, которому Фреге придает субстанциальное содержание. Поэтому он считает, что непосредственное знакомство с предметом должно отличаться от его описания. Критерием здесь должна служить комплексность описания, поскольку смысл, согласно Расселу, усваивается из комбинации знаков, обладающих примитивным значением, тогда как понимание последних обретается только в непосредственном знакомстве с тем, что они обозначают. Мы понимаем выражения `автор Веверлея' или `нынешний король Франции', даже не имея представления о том человеке, на которого они могут указывать, но значение собственного имени в этом смысле понять нельзя, его можно усвоить только при непосредственном знакомстве. Этот критерий проявляется при рассмотрении определенных контекстов, где собственные имена и дескрипции функционируют по-разному.

В качестве иллюстрации рассмотрим применение этой теории к анализу контекстов существования. Возьмем предложение, где существование комбинируется с собственным именем, например “Сократ существует”. С точки зрения Рассела, это предложение, как и любое подобное ему, является бессмысленным, поскольку функция собственных имен заключается в непосредственном указании или знании через знакомство, а существование полностью выражается квантором. Квантор же применим только к переменной некоторой пропозициональной функции. А так как `Сократ' - это не переменная, а константа, непосредственно указывающая на объект, то значением данного выражения не может являться истина или ложь; оно в буквальном смысле бессмысленно. Действительное имя самим своим фактом уже говорит о существовании предмета, который оно называет. Поэтому в контекстах существования осмысленно могут встречаться только описательные имена. Предложение “Учитель Платона существует”, например, в отличие от приведенного выше, вполне осмысленно, несмотря на то, что они на первый взгляд имеют одинаковую структуру. О чем же говорит последнее предложение? С точки зрения Рассела, в нем утверждаются две вещи: 1) имеется по крайней мере один учитель Платона, 2) имеется не более одного учителя Платона, поскольку при невыполнимости хотя бы одного из этих условий оно было бы ложным. Структура дескрипции, таким образом, включает пропозициональную функцию, где к переменной как раз и применим квантор существования. Символически это выражается следующим образом:

(x)(fx (y)(fy x=y))

Теперь сравним приведенный пример с предложением “Сократ - учитель Платона”. Структура этого предложения включает уже три значимых элемента: 1) имеется по крайней мере один учитель Платона, 2) имеется не более одного учителя Платона, 3) этот человек есть не кто иной, как Сократ. Символически:

(x)(fx (y)(fy x=y)) fa

Действительно, отрицая любой из этих трех элементов мы вынуждены были бы признать ложность целого. Значимые элементы первого предложения полностью совпадают с двумя первыми элементами второго предложения, а значит, второе предложение уже подразумевает первое в том смысле, что предложение “Учитель Платона существует” логически следует из предложения “Сократ - учитель Платона”. Таким образом, использование определенных дескрипций уже предполагает существование соответствующего объекта.

Создавая оригинальную логическую концепцию существования, основанную на анализе терминов, Рассел применяет ее к решению ряда проблем, например к проблеме функционирования фиктивных имен (т.е. выражений, которым не соответствует никакой реальный объект, но которые по видимости указывают на таковой), скажем `Пегас', `Одиссей' и т.д. Выражения подобного рода, несмотря на то, что в предложениях они на первый взгляд выполняют функцию имен, очевидно, не являются таковыми, поскольку не указывают ни на какой реальный предмет, т.е. не выполняют функцию знакомства. Согласно Расселу они являются скрытыми дескрипциями, которым обыденное употребление придает видимость действительных имен. Как дескрипции, хотя и скрытые, они должны удовлетворять соответствующей структуре. Следовательно, высказывание о несуществующем объекте всегда будет ложным, поскольку в структуру дескрипции включено утверждение о существовании объекта.

Или возьмем в качестве примера выражение “Нынешний король Франции лыс”. Принимая логический закон исключенного третьего, мы должны были бы заключить, что истинно или это высказывание, или высказывание “Нынешний король Франции не лыс”; но и то и другое очевидно неверно, и дело здесь не в смысле выражения `нынешний король Франции'. Проблема в самом выражении, которое не является именем, а представляет собой дескрипцию, предполагающую, что ее предмет существует. Поскольку это предположение ложно, ложными будут и первое и второе высказывание. В символическом выражении, где первое высказывание записывается как

(x)(fx (y)(fy x=y)) fa, а второе как

(x)(fx (y)(fy x=y)) fa,

это видно непосредственно, поскольку ложным является член логического умножения `(x)fx', выявленный в процессе анализа дескрипции.

Подобный анализ затрагивает не только существование, он применим ко всем контекстам, в которые входят описания. Для иллюстрации обратимся еще к одному примеру Рассела. Возьмем высказывание “Георг IV хотел знать, является ли Вальтер Скотт автором Веверлея”. Здесь необходимо заметить, что если бы способ функционирования имени и дескрипции совпадал, то все высказывание преобразовывалось бы в стремление подтвердить частный случай закона тождества, а именно: “Георг IV хотел знать, является ли Вальтер Скотт Вальтером Скоттом”, что очевидно не совпадает с первоначальным утверждением. Вряд ли царственная особа сомневалась во всеобщности логических законов. Если же принять, что два имени различаются по смыслу, то придется признать, что в высказывании идет речь о тождественности смысла двух имен и Георга VI интересовала лингвистическая проблема. Последняя точка зрения приемлема для Г.Фреге, который любого человека стремится сделать лингвистом, но не приемлема для Рассела, считающего, что такие сущности, как смыслы, не имеют реального существования. Да и вообще, в таких предложениях, поскольку мы хотим узнать нечто о действительности, речь идет не о смысле символов. Эти два выражения различны по сути. Рассел считает, что Георг IV хотел знать, совпадает ли значение имени Скотт, с которым он знаком непосредственно, с аргументом, удовлетворяющим функцию, присутствующую в дескрипции. Анализ демонстрирует, что Георг IV не сомневался в законе тождества и не стремился выяснить лингвистический вопрос, но решал реальную познавательную проблему.

Теория дескрипций позволяет иначе, чем Фреге, решить проблему тождества. Когда мы говорим, что “Вечерняя звезда есть Утренняя звезда”, речь, по мнению Рассела, идет не о равенстве смыслов двух выражений, указывающих на один и тот же объект. На объект могут указывать только имена и ввиду однозначной соотнесенности имени и объекта, устанавливаемой в отношении непосредственного знакомства, два действительных имени не могут указывать на один и тот же объект. При уравнивании выражений речь может идти только о неполных символах, дескрипциях. Так, в “Вечерняя звезда есть Утренняя звезда” устанавливается равенство аргументов, удовлетворяющих функции `Вечерняя звезда (x)' и `Утренняя звезда (x)'. В данном случае выражение равенства должно прочитываться так: “Тот x, который удовлетворяет функцию `Вечерняя звезда (x)', удовлетворяет функцию `Утренняя звезда (x)'”. В общем случае структура тождества выражений выглядит следующим образом:

(x) fx = (x) gx,

где символ `(x)' прочитывается как `тот x, который…'. Анализ дескрипций показывает, что равенство относится не к именам, а к переменным.

Применение теории дескрипций к контекстам существования, косвенного вхождения выражений, тождества, т.е. к тем случаям, которые мотивируют у Г.Фреге введение смысла, показывает, что от него можно избавиться. Необходимость в такой особой сущности, как смысл, исчезает. Логический анализ дескрипций демонстрирует, что многим выражениям естественного языка весьма далеко от той точности, которую требуют предложения науки. То, что на первый взгляд кажется простым, на самом деле является сложным, требующим анализа выражением. Творчество Рассела как раз и определяет стремление построить язык, допускающий полный анализ, вплоть до примитивных символов с примитивными значениями, относительно функционирования которых не возникало бы никаких вопросов.

Пример с теорией дескрипций демонстрирует, что для Рассела логический анализ - это метод редукции к непосредственным данным. Результат в данном случае предопределен принимаемой эпистемологией, в зависимость от которой ставится логическая форма языкового выражения.

2.2.7 Эпистемологическая функция суждения

Итак, редукционная процедура, по мысли Рассела, должна всегда заканчиваться некоторым не редуцируемым остатком, который и будет представлять собой совокупность примитивных значений. Чем является эта совокупность, каждый раз решается по-разному и зависит от логической структуры анализируемого выражения. Как мы видели, проще всего дело обстоит с выражениями, содержащими лишь такие знаки, которые имеют эмпирическое значение. Здесь знание по знакомству в общем согласуется с традиционным английским эмпиризмом. Сложнее решить вопрос со значениями выражений чистой логики, которые, даже имея эмпирическую реализацию, все-таки не сводятся к эмпирическому содержанию. Решению последнего вопроса служит разрабатываемая Расселом теория истины, объясняющая не только априорный характер положений логики, но и возможность перехода от знания знакомства к знанию по описанию. В данном случае теоретико-познавательные предпосылки имеют еще больший смысл, поскольку истина является ведущей темой логики. Для Рассела обоснованная теория логики равнозначна обоснованной теории истины. Если же учесть, что пропозициональная функция есть предметно-истинностная функция, где элемент `предметно' объясняется с помощью теории определенных дескрипций, то остается вопрос о том, как конституируется истинностное значение.

Когерентная теория истины, практикуемая неогегельянцами, не подходит для решения поставленной задачи. Непосредственное усмотрение истины как свойства абсолюта, предлагаемое, например, Брэдли, предполагает, что в основании суждений (т.е. знания по описанию) также лежит отношение знакомства, правда, имеющее характер интеллектуального созерцания. В условиях принимаемого Расселом онтологического базиса (плюрализм и внешние отношения) теория такого типа не в состоянии объяснить возможность лжи, поскольку непосредственное отношение к объекту лишено ошибки. Разрабатываемая им корреспондентская теория истины должна удовлетворять следующим принципам: «I. Наша теория истины должна допускать ее противоположность ошибку; II. Кажется совершенно очевидным, что если бы не было убеждений, то не могло бы быть ни лжи, ни истины в том смысле, в котором истина коррелятивна лжи. Истина и ложь - свойства убеждений и утверждений; и поэтому чисто материальный мир, так как он не содержит ни убеждений, ни утверждений, не может включать в себя ни истины, ни лжи; III. Истинность и ложность убеждения зависит всегда от того, что лежит вне самого убеждения, хотя истинность и ложность - свойство убеждения, но эти свойства зависят от отношения убеждения к другим вещам, а не от какого-то внутреннего качества убеждения» Там же. С.89..

По мысли Рассела, отношение убеждения к реальности совершенно иное, нежели отношение непосредственного знакомства, хотя последнее и лежит в основании первого. Это связано прежде всего с тем, что убеждение в отношении одних и тех же элементов конституирует два истинностных значения, а именно `истина' и `ложь', что было бы невозможно, если бы убеждение было непосредственным отношением к реальности, как считали неогегельянцы, связывая истину и ложь с интеллектуальным созерцанием. Любое созерцание, как непосредственное отношение познающего разума к познаваемому, при объяснении возможности лжи придает последней объективный характер предмета, данного в созерцании, чего не учитывают представители абсолютного идеализма. Субстанциальность лжи кажется еще менее вероятной, чем субстанциальность истины. С точки зрения Рассела, «отношение, устанавливаемое суждением или убеждением, должно, если мы хотим найти место и для лжи, происходит между большим количеством терминов, чем два. Когда Отелло убежден, что Дездемона любит Кассио, то перед нами не единый предмет, `любовь Дездемоны к Кассио' или `что Дездемона любит Кассио', ибо это устанавливало бы возможность объективной лжи, существующей независимо от всякой мысли. И легче принять во внимание возможность лжи, если мы признаем суждение отношением, в котором принимают участие как сознание, так и ряд предметов; этим я хочу сказать, что и Дездемона, и любовь, и Кассио, все это должно быть терминами отношения, существующего, когда Отелло убежден, что Дездемона любит Кассио. И таким образом, это отношение - отношение четырех терминов, ибо и Отелло является одним из терминов отношения» Там же. С.92..

Все дело в том, что помимо предметов, данных посредством знакомства, в процедуре суждения участвует еще и познающий разум, образующий субъективную сторону суждения. Деятельность субъекта сводится к процедуре упорядочивания конституент, расположение которых может соответствовать или же не соответствовать их порядку в объективном факте. Именно возможность упорядочивания образует основание возможности истинности и ложности. «Если убеждение истинно, то существует еще одно сложное единство, в котором отношение, бывшее одним из объектов убеждения, соотносит остальные объекты. Таким образом, если Отелло истинно убежден, что Дездемона любит Кассио, то существует сложное единство `Любовь Дездемоны к Кассио', состоящее исключительно из объектов убеждения, в том же порядке, в котором они были и в убеждении, и отношение, которое было раньше одним из объектов, теперь выступает в роли цемента, связывающего воедино остальные объекты убеждения. С другой стороны, если убеждение ложно, то нет этого сложного единства, состоящего лишь из объектов убеждения. Если Отелло ложно убежден в том, что Дездемона любит Кассио, то нет тогда сложного единства `Любви Дездемоны к Кассио'. Таким образом, убеждение истинно, если оно соответствует определенному сложному комплексу, и ложно, если оно ему не соответствует. Предположим для простоты, что предметом убеждения являются два термина и одно отношение и что эти термины расположены в определенном порядке `смыслом' отношения, мы получим истинное убеждение в том случае, если два термина в этом порядке объединяются отношением в сложное целое; в противном случае наше убеждение - ложное. Это устанавливает определение истины и лжи, которое мы искали. Суждение или убеждение - сложное единство, в которое входит сознание в качестве одной из составных частей; если остальные составные части, взятые в том порядке, в котором они состоят в убеждении, образуют сложное единство, то тогда убеждение истинно, если же нет, оно - ложное» Там же. С.94.. Порядок конституент убеждения образует его логическую форму; именно посредством последней познающий разум связан с действительностью, именно за счет нее осуществляется корреспондентная связь суждения и факта.

2.2.8 Логические объекты

Из предыдущего вытекает серьезная проблема, связанная с характером самой логической формы. Структуру суждения Рассел сводит исключительно к совокупности непосредственно известных конституент и упорядочивающей деятельности познающего разума, но где тогда находит свое место логическая форма? Если бы она была связана только с деятельностью познающего разума, то следовало бы признать, что структура суждения, а значит, и структура соответствующего ему факта зависит исключительно от субъективных условий протекания процессов мышления. Рассел отказывается принять последнее, поскольку в этом случае логика утрачивала бы притязание на универсальность и всеобщность своих положений. Но если признать, что логическая форма имеет объективный характер, тогда ее следует рассматривать как одну из конституент убеждения, известную через отношение непосредственного знакомства. Здесь как раз и возникает представление о том, что логическая форма является специфическим объектом и должна рассматриваться в качестве примитивного значения особого типа.

Общие положения теории знания-знакомства конкретизируется Расселом в отношении логической формы в одной из работ по теории познания, которая, правда, после критики Витгенштейна так и осталась неопубликованной и лишь недавно увидела свет. В ней, сохраняя фундаментальное различие двух типов знания, Рассел дает классификацию различных видов знакомства. В частности, он пишет: «Первая классификация согласуется с логическим характером объекта, а именно, согласно тому, является ли он (а) индивидом, (в) универсалией или (с) формальным объектом, т.е. чисто логическим» Russell B. Theory of Knowledge: The 1913 Manuscript // The Collected Papers of Bertrand Russell. - London: Allen & Unwin, 1984. - P.100.. Формальный или логический объект, выступающий в качестве конституенты высказывания, как раз и представляет собой логическую форму, знакомство с которой для конструкции суждения, если его истинностное значение должно иметь объективный характер, столь же необходимо, как и знакомство с иными типами примитивных значений. Выражение “Дездемона любит Кассио”, помимо конституент `Дездемона', `любит' и `Кассио', должно содержать еще и возможность упорядочивания их особым образом, которая не сводится ни к одной из приведенных конституент и может быть выражена в чистом виде как `xRy' (где R -- символ для отношения, а x и y -- аргументные места, на которые можно подставить его члены).

Рассмотрение логической формы в качестве особой конституенты позволяет решить проблему понимания описаний, объективный коррелят которых нам неизвестен, т.е. в отсутствие сведений о факте, который подтверждал бы или опровергал их истинность. Вполне достаточно непосредственного знакомства с конституентами, чтобы решить вопрос о возможности их комбинации определенным способом. «Если мы знакомы с а с подобием и с b, мы можем понять утверждение “а подобно b”, даже если мы не можем непосредственно сравнить их и `увидеть их подобие'. Но это не было бы возможно, если бы мы не знали, как они должны быть сопоставлены, т.е., если бы мы не были знакомы с формой двухместного комплекса. Таким образом, всякий `ментальный синтез', как он может быть назван, затрагивает знакомство с логической формой» Ibid. P.101.. Символическое выражение суждения представляет собой комплексный знак, состоящий из простых конституент, имеющих примитивное значение, в качестве которых выступают: во-первых, имена собственные; во-вторых, знаки отношений и свойств; в-третьих, формы. Предложение “Дездемона любит Кассио” представляет собой комплекс [a, b, R, xRy], где `a' соответствует Дездемоне, `b' - Кассио, `R' - отношению любить, а `xRy' - логической форме, упорядочивающей элементы отношения. Таким образом, предложение - это комплекс (или класс) плюс порядок. Правда, здесь возникает одна проблема. Выражения `aRb' и `bRa' имеют одну и ту же логическую форму xRy, но могут иметь различные значения истинности. Так, с точки зрения приводимого примера первое выражение ложно, тогда как второе - истинно. Следовательно, помимо знакомства с перечисленными конституентами, необходимо что-то еще, что конституировало бы различия в самом порядке используемой формы. Рассел считает, что `aRb' и `bRa' отличаются еще и тем, что в первом случае мы посредством R переходим от a к b, а во втором от b к a. Различие в переходе он называет смыслом отношения R. Здесь можно указать на возникающее затруднение, поскольку в самой форме xRy этот смысл не содержится, а знакомство с отношением R как эмпирическое действие не допускает наличия такой сущности, как смысл, от которой Рассел отказывается, критикуя, в частности, Фреге. Такое понимание отношения, по-видимому, допускает определенную психологизацию, так как зависит от субъективных условий определения порядка отношения.

Однако сама возможность сопоставления объектов познающим разумом мотивирует необходимость принятия такой особой сущности как логическая форма, даже несмотря на то, что ее анализ сугубо логическими средствами может быть различным и даже неправильным. Рассел пишет по этому поводу: «Совершенно неясно, что представляет собой правильное логическое рассмотрение формы, но чем бы ни было это рассмотрение, ясно, что мы знакомы (возможно, в расширительном смысле слова `знакомство') с чем-то столь абстрактным, как чистая форма, поскольку иначе мы не могли бы осмысленно использовать такое слово, как `отношение'» Ibid. P.98.. В этом смысле логический анализ зависит от эпистемологического интереса, поскольку определение предметного содержания формальной логики связано с выявлением особого типа логических объектов. Этот же эпистемологический интерес позволяет Расселу обосновать априорный характер логики. Логика невыводима из эмпирических данных, поскольку оперирует объектами иной природы, с которыми познающий разум знаком непосредственно.

Руководствуясь потребностями теории познания, Рассел указывает на несводимость простых высказываний к эмпирическим данным, допуская знакомство с их логической формой. Аналогичная ситуация возникает и относительно сложных высказываний, в которых упорядочиваются уже не эмпирические данные, но логические формы простых высказываний. Возможность сопоставления последних требует принятия еще одного типа логических объектов, также данных в отношении непосредственного знакомства и характеризующих структуру сложных высказываний, определяя их понимание. Как пишет Рассел, «помимо форм атомарных комплексов существует много других логических объектов, которые вовлечены в образование неатомарных комплексов. Такие слова, как или, не, все, некоторые, явно затрагивают логические понятия; и поскольку мы можем осмысленно использовать эти слова, мы должны быть знакомы с соответствующими логическими объектами» Ibid. P.99.. Например, высказывание “Дездемона любит Отелло и не любит Кассио” включает логические союзы, соответствующие логическому умножению и отрицанию, характеризующие отношения между атомарными комплексами. Если атомарные комплексы обозначить как `p' и `q', то форма данного молекулярного комплекса будет выглядеть как `p q'. С точки зрения Рассела, логическим союзам также должны соответствовать примитивные значения, логические объекты.

Введение логических объектов расширяет онтологическую основу формальной логики, которая становится знанием об особом типе предметов. И в этом отношении, несмотря на специфический характер предметной области, логика представляет собой науку, подобную всем другим наукам. Дело философии вписать ее в доктринальные рамки научного знания. Ясно, что для Рассела этот процесс существенно зависит от принимаемой им онтологической концепции, которая придает положениям логики субстанциальный характер, и теоретико-познавательных предпосылок, заставляющих рассматривать содержание формальной системы в перспективе действительного мира. Принимая в расчет сказанное выше, существенной корректировки требует следующее утверждение Рассела: «Философию, сторонником которой я являюсь, можно назвать логическим атомизмом или абсолютным плюрализмом, поскольку, утверждая, что существует много вещей, она вместе с тем отрицает существование целого, состоящего из этих вещей. Таким образом, философские высказывания касаются не совокупности вещей в целом, но каждой вещи в отдельности; и они должны затрагивать не только каждую вещь, но такие свойства всех вещей, которые не зависят от их случайной природы и от счастливой случайности существования, но которые истинны в любом возможном мире, независимо от тех фактов, которые можно обнаружить только при помощи наших органов чувств» Russell B. Misticism and logic. P.111.. В условиях, когда моделирующие отношения структур описания, на экспликацию которых претендует формальная логика, ставятся в зависимость от онтологических и теоретико-познавательных предпосылок, буквальное понимание приведенного утверждения было бы неверным; наоборот, специфика взглядов Рассела требует учитывать и совокупность рассматриваемых вещей, и специфическую природу и иерархическую структуру примитивных значений, и зависимость анализа выражения от действительного существования предмета описания.

2.3 Философия языка "Трактата": логика языка versus логика мышления

Логико-философский трактат создавался с 1914 по 1918 год. Его созданию сопутствовали обстоятельства, о которых нельзя не упомянуть, поскольку они, вероятно, сказались на содержании. Летом 1914 года началась Первая мировая война, и Витгенштейн добровольцем вступил в австро-венгерскую армию. Большую часть времени он провел на Восточном фронте. В 1918 году его перебросили на Южный фронт, где после развала австро-венгерской армии он был взят в плен итальянцами. Почти год Витгенштейн провел в плену, большую часть времени в лагере в Монте-Касино (Южная Италия). Здесь он и закончил ЛФТ. На протяжении всего пребывания на фронте, несмотря на экстремальные условия, Витгенштейн вел философский дневник. Афоризмы ЛФТ представляют собой выборку из этих дневниковых записей. Часть дневниковых записей, не вошедших в основное произведение, сохранилась и может использоваться для интерпретации ЛФТ наряду с основным текстом. Добавим, что первое издание ЛФТ относится к 1921 году Подробные сведения об истории создания и публикации ЛФТ можно найти в статье: Wright G.H.von The Origin of Wittgenstein's Tractatus -- Wittgenstein L. Prototractatus. P.2-34..

Для общей оценки основного произведения раннего Витгенштейна воспользуемся расхожим мнением, что если бы философская деятельность Витгенштейна ограничилась ЛФТ, эта книга все равно составила бы мировую славу ее автору. Это предположение невозможно ни подтвердить, ни опровергнуть. Можно лишь констатировать, что по степени влияния редкое философское произведение, написанное в XX веке, может составить конкуренцию этой книге. В ней Витгенштейн рассматривает практически все вопросы, относимые к компетенции философии, и дает им оригинальное решение, во многом определившее специфику современной философии. Можно сказать, что именно в этом произведении был выражен лингвистический поворот, у Фреге и Рассела лишь намеченный, в рамках которого действуют философы-аналитики. Но у самого Витгенштейна этот поворот мотивирован не просто потребностями логического анализа. Он укоренен в стремлении выразить мистическое чувство жизни, превосходящее возможности языка.

Когда-то Гегель говорил, что предисловия пишутся после того, как автору окончательно ясным стал замысел, воплощенный в главной части. Поэтому основной текст должен, в свою очередь, рассматриваться как введение к введению. Если исходить из этого принципа, то единство понимания зависит от взаимных импликаций задач, сформулированных в предисловии, и их реализации в основном тексте. Утверждение Гегеля в полной мере относится к ЛФТ О том, что Витгенштейн рассматривал предисловие не просто как формальный элемент в своей работе, говорит его письмо к К.Огдену, переводчику, подготовившему первое издание ЛФТ на английском языке: «Я полагаю, нет нужды упоминать, что мое предисловие должно быть напечатано непосредственно перед главным текстом, а не как в издании Оствальда, где между предисловием и книгой вставлено введение Рассела» (Wittgenstein L. Letters to C.K.Ogden. - Oxford, Basil Blaсkwell, 1973. - P.21)., где лишь в предисловии единственный раз во всей книге Витгенштейн дает общую формулировку замысла, но сам этот замысел вне контекста реализации во многом остается непонятным. Однако предисловие дает хорошую возможность оценить, в каком направлении движется автор. Центральная часть предисловия в четырех предложениях фактически содержит весь замысел книги:

«Книга излагает философские проблемы и показывает, как я полагаю, что постановка этих проблем основывается на неправильном понимании логики нашего языка. Весь смысл книги можно сформулировать приблизительно в следующих словах: то, что вообще может быть сказано, может быть сказано ясно, а о чем невозможно говорить, о том следует молчать.

Стало быть, книга хочет провести границу мышлению, или скорее не мышлению, а выражению мыслей, ибо, чтобы провести границу мышлению, мы должны были бы мыслить по обе стороны этой границы (следовательно, мы должны были бы быть способными мыслить то, что не может быть мыслимо).

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

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

Как видно из предисловия, такой ход не удовлетворяет Витгенштейна, поскольку в этом случае немыслимое в некотором смысле становится мыслимым, выразимым, пусть даже оно и вводится с помощью постулата в качестве вещи самой по себе. Можно, конечно, поставить вопрос о возможности самих способностей, радикализируя критическую установку Канта, но подобный подход грозит перспективой ухода в дурную бесконечность. Критика критического подхода в свою очередь сама может потребовать критики и т.д. Поэтому вопрос о действительном установлении границы требует изменения перспективы, что связано уже не с исследованием познавательных способностей, а с исследованием тех средств, в которых эти способности могут быть выражены. В этом заключается лингвистический поворот, который, учитывая классическую критическую позицию, можно было бы назвать критической установкой второй степени, ориентированной на «установление границ выражения мысли». Адаптируя подход Канта, Витгенштейну можно было бы приписать вопрос: «Что я могу выразить из того, что я знаю?» Этот вопрос, однако, не следует понимать в том смысле, что я нечто знаю, а потом пытаюсь это нечто выразить. Вопросы «Что я могу знать?» и «Что я могу выразить?» фактически слиты здесь до неразличимости, поскольку я могу выразить только то, что знаю, а могу знать только то, что способен выразить. Таким образом, задача ЛФТ очерчивается стремлением выяснить условия априорной возможности языка. В подготовительных материалах так и говорится: «Вся моя задача заключается в объяснении сущности предложения» Витгенштейн Л. Дневники 1914-1916. Пер. В.А.Суровцева. Томск, "Водолей", 1998. С.57.. Вопрос о возможности предложения образует фон всех тем, затрагиваемых Витгенштейном На важность этого вопроса указывает, в частности, то, что в рукописи ЛФТ был озаглавлен Der Satz (Предложение) и получил свое настоящее название незадолго перед публикацией по совету Дж.Э.Мура (см.: Бартли У.У. Витгенштейн. С.169).. Здесь уже непосредственно просматривается связь с Кантом, который главной темой Критики чистого разума сделал вопрос об условиях возможности суждения Основываясь на формальном сходстве вопросов у Канта и Витгенштейна, выраженных в форме «Как возможен Х», Э.Стениус (Wittgenstein's Tractatus, P.220), а следом за ним и другие авторы (см., например Гарвер Н. Витгенштейн и критическая традиция // Логос. 1994. №6), охарактеризовали позицию ЛФТ как «трансцендентальный лингвизм». Здесь, однако, нельзя не согласиться с У.Бартли (Витгенштейн. С.170) в том, что «далеко не каждый вопрос, выраженный в форме «Как возможен Х», кантианский по своему происхождению».. Однако этим сходство и ограничивается. Аналогия между тем, как трансцендентальная логика, опираясь на трансцендентальный анализ опыта, решает проблему функционирования априорно-синтетических суждений, и тем, как формальная логика, опираясь на логический анализ языка, решает проблему функционирования предложений, представляется спорной Подобная аналогия проводится, например, в: Pears D. Wittgenstein. - Fontana/Collins, 1971.. Здесь не должно вводить в заблуждение то, что Витгенштейн иногда пользуется кантианской терминологией. Его цель и метод не имеют ничего общего с традиционной критической философией.

Для установления различий прежде всего необходимо выяснить, какое место в ЛФТ отводится формальной логике. Лучше всего охарактеризовать соотношение логической теории и языка позволит сравнение позиции ЛФТ с позицией Рассела, который был первым, а, судя по мнению Витгенштейна, возможно, и единственным компетентным читателем. По просьбе автора он написал введение к первому изданию его работы, где наряду с разъяснением ряда технических деталей содержится общая оценка задачи. Витгенштейн отрицательно отнесся к тексту своего английского друга, считая его поверхностным и неправильно трактующим задачу книги Ознакомившись с рукописью Введения, Витгенштейн писал Расселу: «Я совершенно не согласен с многим из того, что в ней написано: как с тем, где ты меня критикуешь, так и с тем, где ты просто пытаешься разъяснить мои взгляды» (ПР, С.157)..


Подобные документы

  • Аналитическая философия - одно из влиятельных направлений современной западной философии, в центре внимания которого находятся анализ языка, понимаемый как ключ к философскому исследованию мышления и знания. Периоды развития "аналитической" философии.

    статья [31,4 K], добавлен 19.01.2010

  • История зарождения и течения аналитической философии. Ее главные признаки: лингвистический редукционизм, "семантический акцент", "методологический уклон". Содержание "Философских исследований" Витгенштейна - основоположника теории логического атомизма.

    лекция [19,1 K], добавлен 04.11.2010

  • История возникновения аналитической философии. Неореализм и лингвистический анализ. Характеристика позиции Бертрана Рассела как научного здравого смысла, логический анализ в философии. От "Логико-философского трактата" к "Философским исследованиям".

    реферат [60,3 K], добавлен 26.06.2013

  • Исторические источники аналитической философии науки. "Лингвистический поворот" в философии. Краткая история развития логического позитивизма. Характеристика главных особенностей принципа верификации. Модель развития научного знания по Томасу Куну.

    реферат [23,7 K], добавлен 15.07.2014

  • История последовательного развития античной философии. Философия эллинизма: школы киников, скептиков, стоиков и эпикурейцев. Идеи атомизма в философии Эпикура. Нравственная философия, основанная на вере в жизнь, в возможности общества и человека.

    контрольная работа [26,2 K], добавлен 25.02.2010

  • Интеллектуализм, религия и возникновение философии. Философия эпохи Возрождения, от Декарта до Канта (XVII-XVIII вв.), от Гегеля до Ницше (XIX в.). Феноменология, герменевтика и аналитическая философия. Постмодернизм против философии Нового времени.

    реферат [53,5 K], добавлен 11.01.2010

  • Античная философия. Проблематика и содержание учений. Средневековая философия. Особенности средневековой философии. Спекулятивная философия, или теология. Практическая философия. Философия нового времени (от Декарта до Гегеля). Философия XIX века.

    реферат [25,6 K], добавлен 02.05.2007

  • Первый период в истории западной философии – античная философия. Особенности древнегреческой философии. Школа материалистического атомизма, стоицизм. Древнеримская философия: эклектизм, скептицизм, стоический платонизм. Периоды средневековой философии.

    реферат [27,2 K], добавлен 10.09.2009

  • Истоки "космической философии" восходят к творчеству Радищева и Галича, достигая своей метафизической завершенности в философии всеединства Соловьева. Теория супраморализма-религиозно-мистическое учение о воскрешении предков. Учение о монизме материи.

    реферат [35,0 K], добавлен 13.11.2008

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

    презентация [306,5 K], добавлен 26.09.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.