PhilosophyDay

3.3.1 Физикалистский анализ Рудольфа Карнапа

Другая философия / Аналитическая философия / 3.  Программа логического позитивизма (логического эмпиризма) / 3.3 Основные положения физикализма в Венском кружке / 3.3.1 Физикалистский анализ Рудольфа Карнапа

Страница 15

все три предложения истинны. Мы видим, что адекватность требует от нас писать на месте аргумента «большой» вместо «большевизна» или «свойства быть большим» или «класса больших вещей»; и сходным образом мы пишем «лошадь» вместо «лошадность» или «класс лошадей».

Это указывает на то, что мы можем приписывать предикатам десигнаты, не употребляя ни термин «свойство», ни термин «класс». (Вопрос о том, является ли десигнат, например, большой, свойством или классом не имеет непосредственного отношения к употреблению нами отношения обозначения, однако конечно же, имеет ответ — зависящий попросту от того, является ли данный язык экстенсиональным, или насколько он экстенсионален. То же самое касается вопроса о том, являются ли десигнаты предложений (sententional designata) истинностными значениями или чем-то иным.)

На основе «обозначения» («designation») (D2) Карнап определяет термин «синонимичный» («synonymos»). Таким образом термин «синонимичный» как в более узком, так и в более широком смысле в соответствии с более узкой или более широкой областью применения, выбранной для термина «обозначение».

D

12-2.

ui

в Sm синонимично

uj

в Sn = Df ui

обозначает в Sm ту же самую сущность, что и uj

в Sn.

Таким образом, констатирует Карнап, отношение синонимии не ограничивается выражениями одной системы. Большинство семантических отношений можно применить к выражениям различных систем

, даже к тем, которые для простоты определяем относительно одной системы.

L

-семантика.

L-семантика занимается исследованием проблем логической истины

(«L-истинно»), логической выводимости(«L-импликация») и связанных с ними понятий (L-понятий). При этом предполагается, что логика, в смысле теории логической выводимости и тем самым логической истины является отдельной частью семантики. Проблема определения L-понятий не только для отдельных систем (особенная L-семантика), но и для системы вообще (общая L-семантика) пока еще не нашла удовлетворительного решения.

Логические и дескриптивные знаки.

В своем исследовании природы логической дедукции и логической истины Карнап исходит из убеждения, что логика является отдельной частью семантики, а потому понятия логической выводимости и логической истины являются семантическими понятиями. Они относятся к особенному виду семантических понятий, которые Карнап называет L-понятиями. Для логической истины он использует термин « L-истинно», для логческой выводимости – « L-импликация». Если даны правила семантической системы S

и тем самым понятие истины в S

, то L-понятия также определены в известном смысле; тем не менее задача их определения на базе радикальных понятий (а именно, «обозначение» и «истинно») встречается с определенными трудностями.

Прежде всего Карнап проводит различие между двумя видами выражений, которые он называет дескриптивными

и логическими

выражениями. При этом он отмечает, что имеется тесная связь между понятиями «дескриптивный» и «логический» и L-понятиями. Понятия «дескриптивный» и «логический» играют огромную роль в логическом анализе языка; однако для них также не известно удовлетворительного точного определения в общей семантике. К дескриптивным знакам

обычно относят имена отдельных предметов в мире, т.е. отдельных вещей или частей вещей или события (например, «Наполеон», «озеро Мичиган», «Французская революция»), знаки, обозначающие эмпирические свойства, включая виды субстанций, и отношения вещей, мест, событий и т.д. (например, «черный», «собака», «гражданин»), эмпирические функции вещей, точки и т.д. (например, «вес», «эпоха», «температура», «цена»). Примером логических знаковявляются сентенциальные связки («~», «Ú» и т.д.), знак оператора общности («каждый»), знак отношения включения элемента в класс («e», «есть какой-то»), дополнительные знаки (скобки и точка, обычно используемые в символической логике), знак логической необходимости в (не-экстенсиональной) системе модальностей («N»). Кроме того, логическими считаются все те знаки, которые определимы при помощи перечисленных выше логических знаков, например, знак оператора существования («$», или «некоторый»), знаки для универсального и нулевого класса всех типов, знак тождества («=», «является тем же самым, что и»), все знаки системы Уайтхеда и Рассела и практически все иные системы символической логики, все знаки математики (включая арифметику, анализ реальных чисел, инфинетезимальное исчисление, но не геометрию) со значением, которое они имеют, когда применяются в науке, все логические модальности (например, «строгая импликация» Льюиса). Определенный знак считается дескриптивным, если его дефиниенс содержит дескриптивный знак; в противном случае он считается логическим знаком. Выражение называется дескриптивным, если оно содержит дескриптивный знак; в противном случае оно является логическим.