Я пытался уловить еще некоторые идеи о разнице между интенсионалом и экстенсионалом.
Я начал читать эту статью Мелвина Фиттинга об интенсиональной логике. Это кажется интересным, но мне все еще нужно пролить свет на некоторые сомнения, которые у меня есть.
В статье говорится:
Контексты, в которых имеет значение только протяженность, естественно называются экстенсиональными, тогда как контексты, в которых протяженности недостаточно, называются интенсиональными. Математика, как правило, экстенсиональна на всем протяжении........"Известно, что..." является типичным интенсиональным контекстом......... Другие примеры интенсиональных контекстов: "считается, что...", «надо, чтобы...», «познавательно, что…», «говорят, что…», «удивительно, что…» и т. д. Как правило, интенсиональный контекст можно распознать по нарушению замещаемости равенства при наивном применении.
Я действительно не понимаю причину, замещение «почему» не работает в интенсиональном контексте.
Фитинг, Мелвин, «Интенсиональная логика», Стэнфордская философская энциклопедия (лето 2015 г.), Эдвард Н. Залта (редактор), URL = https://plato.stanford.edu/archives/sum2015/entries/logic-intensional / .
В качестве быстрого отступления/введения этот ответ может быть лучше подан как ответ на вопрос «что означает« интенсиональный контекст »в философии языка?» потому что я рассматриваю не только главный вопрос о замещаемости. Однако из-за комментария, который вы сделали по вопросу о модальности и количестве планет, мне кажется, что более широкое объяснение этой темы — это то, что вы действительно ищете, или, по крайней мере, оно поможет прояснить вашу путаницу. по теме.
Интенсиональные контексты возникают, когда у вас есть так называемый «интенсиональный переходный глагол», действующий в предложении. Переходный глагол — это глагол, который переносит действие с одного предмета на другой, например «нести» переносит действие с подлежащего, того, что несет, на предмет, который несут. Непереходный глагол – это противоположный глагол, не передающий действие. Примером может служить «сон», как и в «Я сплю», где ясно, что нет объекта, на который передается действие «спит».
Три критерия, которые делают переходный глагол интенсиональным, изложены в статье Стэнфордской энциклопедии философии (SEP) «Интенсиональные переходные глаголы» (в цитате «VP» означает глагольную фразу ), и для возникновения интенсионального контекста необходимо достаточно для выполнения хотя бы одного из следующих критериев:
(i) замена одного выражения другим, кореферентным с ним, в дополнении глагола может изменить истинностное значение предложения, в котором встречается ВП;
(ii) ВП допускает специальное «неспецифическое» прочтение, если оно содержит квантификатор или квантификатор определенного типа;
(iii) нормальные экзистенциальные обязательства имен и экзистенциальных кванторов в дополнении приостанавливаются, даже когда вложенное предложение не содержит отрицаний.
(i) можно резюмировать как утверждение, что переходный глагол является интенсиональным, если замена кореферентной фразы в глагольной фразе может изменить истинностное значение предложения. Обратите внимание на фразы «может измениться» и «имеет возможность измениться»; не обязательно, чтобы значение истинности действительно менялось, а только то, что оно может. (ii) можно резюмировать как утверждение, что переходный глагол является интенсиональным, если он допускает то, что называется различием de dicto / de re (это также называют «реляционной/понятийной двусмысленностью»). (iii) можно резюмировать как утверждение, что объект глагольной фразы не обязательно должен существовать, чтобы предложение было истинным.
Пример, который статья использует для критерия (i), находится между Лоис Лейн и Кларком Кентом/Суперменом. Всем, кто читает комиксы, ясно, что Кларк Кент и Супермен — один и тот же человек. Однако Лоис Лейн, любовный интерес Кларка Кента, не знает, что это один и тот же человек. Затем мы можем проанализировать эти четыре предложения, помня о том, во что верит Лоис Лейн:
(1а) «Кларк Кент умеет летать».
(1b) «Супермен может летать».
(2а) «Лоис Лейн считает, что Кларк Кент может летать».
(2b) «Лоис Лейн считает, что Супермен может летать».
Мы видим, что (1а) и (1б) оба истинны, и они истинны в экстенсиональном контексте. Мы знаем, что человек, к которому относятся и «Кларк Кент», и «Супермен», может летать. Однако когда мы говорим об убеждении кого-то, то переходим в интенсиональный контекст. Хотя (1а) верно, (2а) ложно, потому что мы знаем, что Лоис Лейн не верит, что в Кларке Кенте есть что-то особенное; она считает его кротким и послушным, без сверхчеловеческих способностей. (2b), однако, верно, и мы знаем это, потому что Лоис Лейн видела, как Супермен летал, он даже нес ее, пока он летал. В (1a) и (1b) мы имеем пример замены кореференциального терма, и замена сохраняет истинностное значение. Это означает, что согласно нашему критерию (i), (1a) и (1b) не являются интенсионально-переходными глагольными словосочетаниями. В случае (2а) и (2b) подстановка не сохраняет истинностного значения, потому что мы имеем дело с убеждением Лоис Лейн , и, следовательно, мы можем с помощью критерия (i) приписать «убеждению» свойство быть интенсиональным. переходный глагол. Общепринятой терминологией для обозначения этих типов предложений является «референциально непрозрачная среда» .
Другие, исторически важные (всю эту тему можно рассматривать как восходящую к Загадке Фреге и последующему развитию философии языка и аналитической философии ), примеры объектов, которые могли бы вписаться в этот пример, — это Геспер и Фосфор , а также Цицерон и Туллий. . Люди могут верить во что-то Цицерону, в то же время веря в полную противоположность Талли, даже если они одно целое. Исторически люди так же верили в Венеру.
Мы установили, что «верит» является интенсионально-переходным глаголом на основании того, что он подпадает под критерий (i). Другие глаголы или глагольные фразы, подпадающие под критерий (i), включают: «думает», «осознает», «чувствует, как будто» и т. д. Важно отметить, что эти, а также будущие примеры глаголов, которые соответствуют другие критерии, в основном, являются примерами глаголов пропозиционального отношения . Статья SEP «Отчеты о пропозициональном отношении» определяет их как таковые:
Отчеты об отношении к высказываниям касаются когнитивных отношений людей к предложениям. Обычно мы делаем такие отчеты, произнося предложения, сообщающие о пропозициональном отношении, такие как «Джилл считает, что Джек сломал свою корону», используя глагол пропозиционального отношения, такой как «верит», «надеется» и «знает», за которым следует предложение, которое включает полное предложение, выражающее предложение (что-предложение).
Пример для критерия (ii) требует сначала определения различия de dicto / de re . Эти два термина соответственно означают «о том, что сказано» и «о вещи».
Исторически сложилось так, что первое серьезное обсуждение этого различия произошло в статье Куайна 1956 года «Квантификаторы и пропозициональные отношения» . Эта статья обязательна к прочтению, если вы хотите больше узнать об этих темах, но сначала она требует понимания логики предикатов. На что указал Куайн, так это на то, что в некоторых отчетах о пропозициональных установках возникает двусмысленность. Рассмотрим это предложение:
(3) Алиса желает кошку.
Это предложение двусмысленно в том смысле, что допускает два разных прочтения:
(3a) Алиса желает кошку, подойдет любая.
(3b) Существует какой-то кот, и Алиса желает, чтобы этот кот был ее.
(3a) называется чтением de dicto , а (3b) — de re . Основная двусмысленность (3) состоит в том, что «кошка» может иметь два значения: она может означать какую-то конкретную вещь, которая также является кошкой, или может означать любую старую кошку. (3a) описывается как de dicto , чтобы показать, что Алиса желает самого предложения или «того, что сказано»: она просто хочет иметь кошку. (3b) описывается как de re , потому что Алиса говорит о конкретном предмете , к которому относится фраза «кошка».
Еще один важный пример различия, вытекающего из этого примера:
(4) Алиса желает самого умного кота в помете.
Это предложение дает два прочтения:
(4a) Алиса желает самого умного кота в помете, каким бы отдельным котом он ни оказался.
(4b) Алиса желает Бенни, который оказался самым умным котом в помете.
В этом примере желания Алисы можно очень легко разделить на de dicto и de re . В (4а) она мечтает о том коте, который соответствует описанию «самый умный в помете», что, конечно, является de dicto . Предположительно, она хотела бы провести какой-то тест на кошачий интеллект, прежде чем решить, какую кошку завести для себя. В (4b) у нас есть Алиса, желающая, чтобы она могла владеть Бенни, и Бенни так уж получилось, что он самый умный кот в помете, что, конечно, де ре . В данном случае «самый умный кот в помете» — это кореферентная фраза с «Бенни», и это полная степень, в которой Алиса использует ее (это означает, что она не использует ее в качестве критерия, какого кота она хочет,
Куайн использует известное теперь примерное предложение:
(5) Ральф считает, что есть шпион.
что дает нам два прочтения
(5a) Есть кто-то, кого Ральф считает шпионом.
(5b) Ральф считает, что существует кто-то, кто является шпионом, кем бы он ни был.
Обратите внимание, что в этом примере я поменял порядок: (5a) теперь является примером de re , а (5b) — de dicto. Это было сделано, чтобы соответствовать примерам Куайна, которые я сейчас процитирую (я изменил числа, чтобы они соответствовали мой пример):
Оба могут быть двусмысленно сформулированы как «Ральф считает, что кто-то является шпионом», но они могут быть однозначно сформулированы соответственно как «Есть кто-то, кого Ральф считает шпионом» и «Ральф считает, что есть шпионы». Разница огромна; действительно, если Ральф похож на большинство из нас, [(5b)] истинно, а [(5a)] ложно.
Другими словами, в (5b) Ральф полагает, что шпионаж — это реальная вещь и что есть люди, которые в нем участвуют, а в (5а) он имеет в виду, что есть человек, которому Ральф по той или иной причине считает, что на самом деле занимается шпионажем.
Наконец, вы затронули тему модальных утверждений в своих комментариях. Крипке использует количество планет в качестве примера этого различия в своей статье «Справочник говорящих и семантическая ссылка» (уместно отметить, что она была первоначально опубликована в 1977 году):
«Число планет обязательно нечетное» может означать две вещи, в зависимости от того, интерпретируется ли оно de dicto или de re. Если интерпретировать его de dicto, то он утверждает, что утверждение о нечетности числа планет является необходимой истиной — что-то, что я считаю ложным (планет могло быть восемь). Если интерпретировать его de re, то он утверждает, что фактическое число планет (девять) обладает свойством необходимой нечетности (эссенциалисты вроде меня считают это истинным).
Ирония этого примера не должна ускользнуть от внимания тех, кто знает, что Плутон больше не считается планетой и, следовательно, число планет равно восьми, что обязательно является четным числом.
Как и раньше, такие слова, как «верит» и «думает», могут привести к интенсиональному контексту через критерий (ii), но у нас также есть такие глаголы, как «желает» и «хочет» среди многих, многих других. Важно отметить, конечно, что модальный оператор «необходимо» также допускает это различие.
Если отвлечься от истории, главный аргумент Куайна в статье, ссылка на которую приведена выше, заключается в том, что квантификация в модальных контекстах бессмысленна и не может быть сделана логически. Эта статья вызвала массовые дебаты в философии языка по этой теме, которую лучше всего резюмировать в начале статьи Крипке «Неограниченный экспорт и некоторые морали для философии языка» .
К счастью, наш критерий (iii) самый простой из всех. Есть определенные переходные глаголы, которые являются интенсиональными, потому что нет «экзистенциального обязательства» объекта глагола, что означает, что мы не требуем, чтобы этот объект действительно существовал.
Рассмотрим эти два предложения:
(6а) Я хочу единорога.
(6b) У меня есть единорог.
(6а) является интенсиональным, поскольку истинность этого утверждения не зависит от того, существует ли на самом деле объект глагола, единорог (также обратите внимание, что он подпадает под критерий (ii), но сейчас это не важно). (6b) не является интенсиональным, потому что для того, чтобы это предложение было истинным, рассматриваемый единорог должен действительно существовать. (6а) может быть истинным или ложным, в зависимости от того, как я отношусь к единорогам, но в любом случае это не зависит от того, существуют ли единороги на самом деле. Таким образом, (6а) интенсиональна, а (6б) нет.
Другие глаголы, соответствующие нашему критерию (iii), включают: «искать» (в статье SEP приводится пример источника вечной молодости, считать, что «Понсе де Леон ищет источник вечной молодости» верно независимо от того, существует ли источник вечной молодости) и «раскрасить» (я могу нарисовать единорога независимо от того, существует он или нет), среди прочего. Большинство глаголов, рассмотренных ранее, также применимы: «Я верю в призраков» может быть верным независимо от того, существуют призраки или нет.
Мауро АЛЛЕГРАНСА
Габриэле Скарлатти
Габриэле Скарлатти
Мауро АЛЛЕГРАНСА
Не здесь
Не здесь
Габриэле Скарлатти
Габриэле Скарлатти
Не здесь