Лолита Макеева - Язык, онтология и реализм

Хотя в другом месте Даммит высказывается иначе: «Феноменалисты традиционно не возражали против двузначности для высказываний о материальных объектах, а иногда даже открыто принимали ее. Тем не менее я счел нужным отнести их к антиреалистам на том основании, что их учение устраняет какие-либо рациональные основания для принятия двузначности для подобных высказываний и, будь они последовательными, они отвергли бы ее» [Dummett, 1996, p. 467].

Так, Беркли пишет: «Что существует большое разнообразие духов различных порядков и дарований, способности которых и по числу, и по размеру далеко превосходят те, которыми творец моего бытия наделил меня, — этого я не вижу оснований отрицать. И притязать с моей стороны определять по моей собственной, малой, ограниченной и тесной области восприятий, какие идеи неисчерпаемая сила верховного духа может запечатлеть в этих духах, было бы, конечно, величайшим безумием и дерзостью, ибо может существовать, насколько я в состоянии судить об этом, бесчисленное множество родов или ощущений, столь же отличных один от другого и от всего воспринимаемого мной, как цвета отличаются от звуков» [Беркли, 1978, с. 208].

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

Тогда как ложным считается только то высказывание, применение к которому (принимаемого) оператора отрицания давало бы истинное высказывание.

Поэтому неслучайно, что исследование споров по поводу реальности прошлого и будущего составляет ключевую тему в философии Даммита.

Так, например, интенсионал термина «золото» формулируется в виде дескрипции «тяжелый, неокисляющийся, твердый металл желтого цвета, растворимый в царской водке» или в виде любой другой аналогичной дескрипции.

Другие философы (С. Крипке, Д. Каплан) получили такой же результат для имен собственных, индексальных выражений и т. п.

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

Крипке отнес к категории жестких десигнаторов и имена собственные. Это означает, что связь между именами и их носителями носит необходимый, «жесткий» характер и не может измениться при изменении обстоятельств их употребления. Эти выражения, словно бирки, «пришпиливаются» к объектам, на которые они указывают. В отличие от них определенные дескрипции не являются жесткими десигнаторами, поскольку их референция определяется контекстом их употребления. Согласно известному примеру Крипке, имя «Фалес» и дескрипция «греческий философ, полагавший, что все есть вода», считаются, в соответствии с теми сведениями, которыми мы в настоящий момент обладаем, имеющими референцию к одному и тому же человеку, но если в ходе исторических изысканий вдруг выяснится, что Фалес, о котором упоминали Аристотель и Геродот, никогда не считал, что все есть вода, а этого мнения придерживался другой греческий философ-отшельник, о котором не знали ни Аристотель, ни Геродот, то совершенно очевидно, считает Крипке, что референция рассматриваемой дескрипции изменится, тогда как имя «Фалес» сохранится за тем, кому оно было дано при рождении. Более того, этот пример показывает, что дескрипция «греческий философ, полагавший, что все есть вода» (как, впрочем, и любая другая дескрипция) не может идентифицировать того, к кому следует применить имя «Фалес», даже если мы привыкли связывать ее с данным именем. Это означает, что свойства или характеристики, которыми, как нам представляется, должен обладать носитель имени, вовсе не определяют референцию данного имени и даже не составляют его смысла, ибо имена, согласно Крипке, имеют референцию, но лишены смысла.

Благодаря этому обстоятельству рассматриваемую концепцию называют также «каузальной теорией референции».

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

Это выражение является названием работы Т. Нагеля, посвященной проблемам объективности и реализма, «The View from Nowhere».

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

Согласно теореме Левенгейма — Сколема, если какая-либо теория, сформулированная в логике предикатов первого порядка, выполнима на некоторой бесконечной области, т. е. имеет бесконечную модель, то она выполнима и на конечной или счетной области. Эта теорема является довольно парадоксальным результатом. Допустим, если мы хотим задать систему аксиом, которые в качестве модели имели бы множество действительных чисел, которое, как известно, не является счетным, то, согласно теореме Левенгейма — Сколема, какую бы совокупность аксиом мы ни сформулировали, если она выполняется для действительных чисел, то она будет выполняться и для натуральных чисел. Это означает, что «посредством аксиом рассматриваемого типа невозможно отличить несчетную область от счетной или конечной» [Новиков, 1973, с. 182].