Чтение онлайн

на главную - закладки

Жанры

Язык, онтология и реализм
Шрифт:

Отметим еще один важный аспект «образной» теории Витгенштейна. Для того чтобы что-то стало образом, совсем необязательно существование того, изображением чего оно является. Так, картина, изображающая единорога, является образом, хотя единорогов не существует. Нечто тогда является образом, когда изображаемое им (составной объект или положение вещей) могло бы существовать, а значит, могло бы быть помыслено и выражено в языке. В отношении предложений отсюда следует, что они являются образами, если изображаемое ими положение дел или факт является возможным. Этот аспект, как мы увидим далее, имеет важные следствия для теории значения Витгенштейна. Поскольку «то, что образ изображает, есть его смысл» (2.221), смыслом предложения оказывается изображаемое им возможное положение вещей.

Витгенштейн признает только две категории значащих языковых выражений: предложения и имена. Предложение — это сложный «пропозициональный» знак, который можно разложить на более простые составляющие, а имя — простой знак, который далее не разложим и выявляется при «полном» анализе элементарных предложений. Витгенштейн принимает предложенное Фреге различение значения и смысла, однако у него они оказываются присущими разным категориям языковых выражений. Так, имя обладает значением, но не имеет смысла, а у предложения есть смысл, но нет значения. Значением имени является обозначаемый им объект, который трактуется как нечто метафизически простое, представляющее собой предел анализа, т. е. подлинный логический атом. Имя не сообщает об объекте никакой информации, а

лишь указывает на него. Согласно «Трактату», каждое имя именует точно один объект. Семантическая роль имени состоит в том, чтобы замещать именуемый объект в предложении. Таким образом, в трактовке значения имен Витгенштейн, как и Рассел, придерживается денотативной теории. Однако основными единицами языка он считает элементарные предложения, поскольку только они позволяют что-то сказать, имена же лишь «показывают» обозначаемый ими объект. Поэтому по его определению язык есть совокупность предложений. Элементарные предложения изображают возможные (иначе говоря, мыслимые [36] ) факты или положения дел, которые и считаются их смыслом. Факты могут быть описаны, но не поименованы. Предложение не может считаться именем факта хотя бы по той причине, что каждому факту соответствуют по крайней мере два предложения — истинное и ложное.

36

«Мысль содержит возможность того положения вещей, которое в ней мыслится. То, что мыслимо, также возможно» (3.02).

Значение имени устанавливается конвенционально при соотнесении его с объектом, который оно обозначает. Знание значения имени предполагает знание его носителя. Чтобы имя имело значение, должен существовать объект, обозначаемый этим именем. Существование же положения вещей, имеющего структуру, изображаемую в предложении, необязательно. Даже если оно не существует, предложение имеет смысл. Мы можем понимать предложения (знать их смысл), которые мы никогда прежде не слышали, поскольку мы можем помыслить изображенные в них возможные положения вещей. Стало быть, для того чтобы понимать предложение, нужно знать, что имело бы место, если бы предложение было истинным [37] , иначе говоря, нужно знать условия истинности данного предложения. Если Рассел считал, что «значением» предложения является сложная сущность, а именно комплекс, состоящий из онтологических «атомов», то Витгенштейн отказывается от такой трактовки. Чтобы предложение было осмысленным, оно не должно выражать некоторую сущность, и его понимание не связано с постижением этой сущности. Это, безусловно, было шагом вперед и в трактовке значения предложения, и в понимании отношения между предложениями и репрезентируемой ими реальностью. Хотя эта идея была высказана в свое время Фреге, свое классическое выражение она получила в «Трактате» Витгенштейна. В дальнейшем ей предстояло сыграть очень важную роль в развитии философии языка и, в частности, в создании так называемой истинностно-условной семантики.

37

«Понять предложение — значит знать, что имеет место, когда оно истинно. (Следовательно, можно его понимать, не зная, истинно оно или нет.) Предложение понято, если поняты его составные части» (4.024).

Тенденция к более «простой» онтологии наблюдается и в истолковании Витгенштейном отношений и логических связей, обычно представляемых в языке реляционными предикатами и логическими операторами (или связками). Как уже отмечалось, для Витгенштейна отношения не являются онтологическими сущностями, а потому они не могут быть обозначены, к ним нельзя прикрепить ярлык. В отличие от «а» и «b», «R» в выражении «aRb» не является именем чего-либо. Оно символизирует определенное взаиморасположение объектов в некоторой конфигурации. Поэтому, хотя в обыденных (неидеальных) языках используются реляционные предикаты, в языке, применяемом для описания онтологии, их быть не должно. Это означает, что элементарные предложения не могут содержать реляционных предикатов, и конфигурация поименованных объектов символизируется в них самой их формой [38] . То же самое можно сказать и о логических операторах, с помощью которых из элементарных предложений образуются более сложные, «молекулярные», предложения. Им не соответствуют никакие абстрактные сущности или объекты в мире, связывающие атомарные факты в сложные конфигурации (например, отрицательные или общие факты, существование которых признавал Рассел). Для Витгенштейна все факты являются атомарными. Это связано с тем, что атомарные предложения «включают все содержание», а предложения, образованные из атомарных предложений, «есть лишь развитие этого содержание» [Wittgenstein, 1929, p. 163], поэтому в молекулярных предложениях нет ничего помимо того, что содержится в их атомах, и истинность, и ложность этих молекулярных предложений можно объяснить исключительно в терминах истинности и ложности элементарных предложений.

38

Хотя устранение реляционных предикатов освобождает от необходимости гипостазирования отношений как особых онтологических сущностей, но в то же время это ведет и к некоторым затруднениям. В частности, как отмечает Кюнг, становится непонятно, как можно в таком случае различать разные отношения: ведь если факты представляют собой конфигурации не имеющих содержания, «бесцветных», объектов в логическом пространстве, то как выразить специфику разных отношений? [Кюнг, 1999, c. 110–111].

В вопросе истины Витгенштейн, подобно Расселу, придерживается корреспондентной теории, правда, здесь требуются некоторые уточнения. Признавая, что любой образ может быть истинным или ложным в зависимости от его соответствия или несоответствия реальности, Витгенштейн основное внимание уделяет предложениям. Элементарное предложение является истинным, если и только если оно соответствует существующему атомарному факту. Это соответствие имеет место в том случае, когда объекты, поименованные в предложении, действительно сочетаются таким образом, как это представлено в сцеплении имен в предложении. Что касается молекулярных предложений, то, по мнению Витгенштейна, истинность любого такого предложения является функцией от истинности составляющих его атомарных предложений. Например, отрицательное предложение является истинным, если и только если предложение, отрицанием которого оно является, ложно, т. е. если не существует соответствующего факта. Истинность отрицательного предложения состоит, таким образом, в его несоответствии существующим фактам [39] .

39

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

Таким образом, в представлении Витгенштейна язык является почти «зеркальным» образом мира: каждое имя обозначает один-единственный

простой объект, а совокупность истинных предложений в точности воспроизводит все существующие в мире положения вещей. Отсюда следует, что «границы моего языка означают границы моего мира» (5.6). Но поскольку предложения языка служат образами не только действительных, но и возможных фактов (т. е. могут быть не только истинными, но и ложными), язык — это «модель» и действительного, и «возможного» миров. Область же возможных положений вещей (как существующих, так и несуществующих) определяется логическим пространством. Но что имеет в виду Витгенштейн, говоря о «логическом пространстве», «логической форме» и т. п., что вообще он понимает под логикой? Настало время рассмотреть этот вопрос.

Исследование природы логики является ключевой темой «Трактата», что следует уже из самого его названия. Витгенштейн, безусловно, считает логику, созданную усилиями Фреге и Рассела, важным достижением по сравнению с традиционной логикой и во многом опирается на нее в своем исследовании. Вместе с тем, с его точки зрения, основной прогресс в ее развитии коснулся техники логического анализа, а не истолкования ее природы. Но Витгенштейна интересует именно вопрос о природе логического, и здесь он выступает против того, что он называет «старым пониманием логики» (6.125), к сторонникам которого он причисляет и Фреге с Расселом. В основе этой «старой» трактовки лежит представление о том, что логика — это одна из наук, отличающаяся лишь максимальной общностью своих законов. Логические законы опосредуют любые демонстративные выводы [40] , и в этом смысле являются универсально применимыми. Именно благодаря общности ее фундаментальных законов логика обеспечивает формы и структуры, охватывающие все науки. Основные законы, выступающие в качестве аксиом в логической системе, обладают самоочевидностью, но при этом они вовсе не лишены содержания.

40

Это «опосредование» понимается следующим образом. Возьмем, к примеру, умозаключение «Все коровы суть млекопитающие. Все млекопитающие суть теплокровные животные. Следовательно, все коровы суть теплокровные животные». Для обоснования его правильности сначала в логике доказывается общая теорема: для всех а, b и с, если все а суть b, то если все b суть с, то все а суть с. Затем демонстрируется, как с помощью трех подстановок (вместо «а», «b» и «с» терминов «коровы», «млекопитающие» и «теплокровные животные» соответственно) и двух применений правила вывода modus ponens мы получаем нужное заключение.

Витгенштейн же отвергает и общезначимость, и самоочевидность в качестве критериев логического. Для него логика не может быть наукой, поскольку она служит предпосылкой любой науки. Она не исследует законы какого-либо процесса или явления, поэтому вместо логических законов Витгенштейн говорит о «логических предложениях», ибо слово «закон», по его мнению, здесь лишь вводит в заблуждение. Логические предложения не имеют содержания и ничего не говорят о мире (пусть даже о его наиболее общих фундаментальных чертах). Согласно Витгенштейну, существенным для них является лишь то, что они представляют собой тавтологии. Как известно, тавтологии образуются при определенных способах соединения предложений друг с другом, и главная их особенность состоит в том, что они гарантированно являются истинными — независимо от истинноcтных значений составляющих их предложений. Для Витгенштейна это означает, что тавтологии сами себя «показывают». В тех же случаях, когда их распознание затруднено, можно применить чисто «механическое средство» в виде метода построения таблиц истинности или какого-либо логического доказательства. В любом случае истинность тавтологии устанавливается путем анализа ее структуры. Это означает, что «специфическим признаком логических предложений является то, что их истинность узнается из символа самого по себе» (6.113)и не требует какого бы то ни было обращения к опыту, т. е. они являются аналитическими и априорными истинами.

Поскольку, согласно Витгенштейну, логические предложения являются тавтологиями, их функция состоит в том, что они «демонстрируют логические свойства предложений, связывая их в ничего не говорящие предложения» (6.121). К числу наиболее важных логических свойств предложений относится их способность образовывать друг с другом такие логические связи, которые позволяют выводить одни предложения из других. Поэтому «тот факт, что истинность одного предложения следует из истинности других предложений, мы усматриваем из структуры предложений» (5.131), т. е. любой логический вывод имеет основание в структуре или форме предложений. Он не нуждается ни в каких опосредующих «законах логики» и носит такой же непосредственный характер, как modus ponens [41] . Поэтому любое предложение логики является «формой доказательства» [42] , а стало быть, выражает логическую необходимость. Все предложения логики имеют равный статус (6.127), среди них нельзя выделить основные или производные. Более того, мы вполне можем обходиться без логических предложений, поскольку демонстрируемые ими формальные свойства других предложений мы можем узнавать «простым наблюдением» (6.122). Согласно Витгенштейну, в каждой символической системе есть что-то произвольное (относящееся к принимаемым нами конвенциям) и что-то такое, что выражает природу символизма и к чему имеет отношение логика, поэтому «если мы знаем логический синтаксис какого-либо знакового языка, то нам уже даны все предложения логики» (6.124). К тому же для Витгенштейна предложения логики не только отражают способ конструирования символических систем, но и задают «строительные леса» мира, поэтому «логика не теория, а отражение мира» (6.13).

41

«Каждое предложение логики есть изображенный в знаках modus ponens» (6.1264).

42

«Если, например, два предложения „p“ и „q“, связанные как „pq“, дают тавтологию, то ясно что q следует из (6.1221).

Надо признать, что мир предстает довольно необычным в таком «отражении». Поскольку истинность атомарного предложения не зависит от истинности других предложений (а определяется существованием соответствующего атомарного факта), мы не можем на основе истинности одного атомарного предложения заключить об истинности другого атомарного предложения. Отсюда Витгенштейн делает вывод о том, что «из существования или несуществования какого-либо одного атомарного факта нельзя заключить о существовании или несуществовании другого атомарного факта» (2.062), т. е. все атомарные факты оказываются независимыми друг от друга. Каждый атомарный факт случаен в том смысле, что объектам, составляющим субстанцию мира, «случилось» иметь такую конфигурацию. Если конфигурации, присутствующие в действительном мире, случайны, то совокупность всех возможных конфигураций, согласно Витгенштейну, определяет область необходимого и совпадает с логическим пространством. Необходимость в мире Витгенштейна является только логической, другие необходимые связи (например, причинно-следственные) в нем отсутствуют. Эту логическую необходимость и выражают тавтологии, которые одновременно являются аналитическими и априорными истинами.

Поделиться:
Популярные книги

Попаданка в академии драконов 4

Свадьбина Любовь
4. Попаданка в академии драконов
Любовные романы:
любовно-фантастические романы
7.47
рейтинг книги
Попаданка в академии драконов 4

Свет Черной Звезды

Звездная Елена
6. Катриона
Любовные романы:
любовно-фантастические романы
5.50
рейтинг книги
Свет Черной Звезды

Эволюционер из трущоб. Том 3

Панарин Антон
3. Эволюционер из трущоб
Фантастика:
попаданцы
аниме
фэнтези
фантастика: прочее
6.00
рейтинг книги
Эволюционер из трущоб. Том 3

Наследие Маозари 8

Панежин Евгений
8. Наследие Маозари
Фантастика:
боевая фантастика
космическая фантастика
попаданцы
постапокалипсис
рпг
фэнтези
эпическая фантастика
5.00
рейтинг книги
Наследие Маозари 8

Вечный. Книга I

Рокотов Алексей
1. Вечный
Фантастика:
боевая фантастика
попаданцы
рпг
5.00
рейтинг книги
Вечный. Книга I

Город Богов 3

Парсиев Дмитрий
3. Профсоюз водителей грузовых драконов
Фантастика:
юмористическое фэнтези
городское фэнтези
попаданцы
5.00
рейтинг книги
Город Богов 3

Ваше Сиятельство 5

Моури Эрли
5. Ваше Сиятельство
Фантастика:
городское фэнтези
аниме
5.00
рейтинг книги
Ваше Сиятельство 5

Охотник на демонов

Шелег Дмитрий Витальевич
2. Живой лёд
Фантастика:
боевая фантастика
5.83
рейтинг книги
Охотник на демонов

Эволюционер из трущоб

Панарин Антон
1. Эволюционер из трущоб
Фантастика:
попаданцы
аниме
фэнтези
фантастика: прочее
5.00
рейтинг книги
Эволюционер из трущоб

Попаданка в Измену или замуж за дракона

Жарова Анита
Любовные романы:
любовно-фантастические романы
6.25
рейтинг книги
Попаданка в Измену или замуж за дракона

Эволюционер из трущоб. Том 9

Панарин Антон
9. Эволюционер из трущоб
Фантастика:
попаданцы
аниме
фэнтези
фантастика: прочее
5.00
рейтинг книги
Эволюционер из трущоб. Том 9

Измена. Тайный наследник. Том 2

Лаврова Алиса
2. Тайный наследник
Фантастика:
фэнтези
5.00
рейтинг книги
Измена. Тайный наследник. Том 2

Отличница для ректора. Запретная магия

Воронцова Александра
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
Отличница для ректора. Запретная магия

Ученик. Второй пояс

Игнатов Михаил Павлович
9. Путь
Фантастика:
фэнтези
боевая фантастика
5.67
рейтинг книги
Ученик. Второй пояс