Намерение - Intension

В лингвистика, логика, философия, и другие поля, интенция есть ли свойство или же качественный связанный по слово, фраза, или другой символ.[1] В случае слова слово определение часто подразумевает намерение. Например, значения слова растение включать такие свойства, как "состоит из целлюлоза "," живой "и" организм "и др. A понимание представляет собой собрание всех таких намерений.

Термин «интенсификация» и «расширение "были представлены Рудольф Карнап.[2]

Обзор

Значение слова можно рассматривать как связь между идея слово означает и физическая форма слова. Швейцарский лингвист Фердинанд де Соссюр (1857–1913) противопоставляет три концепции:

  1. то означающее - «звуковой образ» или цепочка буквы на странице, которую можно распознать как форму знак
  2. то означенный - смысл, концепция или же идея что знак выражает или вызывает
  3. то референт - Настоящий вещь или набор вещей, к которым относится знак. Видеть Диадические знаки и Ссылка (семантика).

Без какого-либо интенсива слово не имеет значения.[3] Например, условия rantans или же блестящий не имеют смысла и, следовательно, смысла. Такие термины могут наводить на размышления, но термин может быть наводящий на размышления не имея смысла. Например, побежал загар является архаичным звукоподражанием для хаотического шума или гудения и может предложить говорящим по-английски гудение или бессмысленный шум, и блестящий хотя составлен Льюис Кэрролл может наводить на мысль о «блестящем» или «холодном». Можно утверждать, что такие термины всегда интенсиональны, поскольку они обозначают свойство «бессмысленный термин», но это всего лишь кажущийся парадокс и не является контрпримером к утверждению, что без интенсионала слово не имеет значения. Частично его намерение состоит в том, что в нем нет расширение. Намерение аналогично означаемому в системе Соссюра, расширению референта.

В философских рассуждениях о дуализм против монизм отмечается, что мысли обладают интенсиональностью, а физические объекты - нет (S. E. Palmer, 1999), а имеют протяженность в пространстве и времени.

Формы заявлений

Форма оператора - это просто форма, полученная путем помещения пробелов в предложение, в котором встречается одно или несколько выражений с расширениями, например, «Быстрый коричневый ___ перепрыгнул через спину ленивого ___». Экземпляр формы - это утверждение, полученное путем заполнения пробелов.

Форма внутреннего заявления

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

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

Примеры

  1. Всем, кто читал Гекльберри Финн знает, что это написал Марк Твен.
  2. Возможно, что Аристотель не был наставником Александра Великого.
  3. Аристотель был доволен, что у него есть сестра.

Чтобы увидеть, что они интенсиональны, сделайте следующие замены: (1) «Марк Твен» → «Автор« Мнения кукурузного понуса »»; (2) «Аристотель» → «наставник Александра Великого»; (3) можно рассматривать как интенсиональный, учитывая, что «имел сестру» → «имел брата или сестру».

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

Форма расширенного заявления

An экстенсиональный утверждение - это не интенсиональное утверждение. Подстановка в него кратких выражений всегда сохраняет логическую ценность. Язык интенсионален, если он содержит интенсиональные утверждения, и экстенсиональный в противном случае. Все естественные языки интенсиональны.[4] Единственные экстенсиональные языки - это искусственно созданные языки, используемые в математическая логика или для других специальных целей и небольших фрагментов естественных языков.

Примеры

  1. Марк Твен написал Гекльберри Финн.
  2. У Аристотеля была сестра.

Обратите внимание, что если «Сэмюэл Клеменс» поместить в (1) вместо «Марка Твена», результат будет таким же верным, как и исходное утверждение. Должно быть ясно, что независимо от того, что написано для "Марка Твена", пока это единичный термин, обозначающий одного и того же человека, утверждение остается верным. Точно так же мы можем заменить предикат любой другой предикат, принадлежащий Марку Твену и только Марку Твену, без изменения логического значения. Для (2) также рассмотрим следующие замены: «Аристотель» → «Наставник Александра Великого»; «Аристотель» → «Автор« Априорной аналитики »»; «имел сестру» → «имел брата или сестру с двумя Х-хромосомами»; «имел сестру» → «имел одного родителя, у которого не был мальчик».

Значимость

Интенсивным языкам нельзя дать адекватную семантика с точки зрения расширений выражений в них, поскольку самих расширений недостаточно для определения логического значения. (Если бы они это сделали, то нельзя было бы изменить логическое значение, подставляя коэквивалентные выражения.) С другой стороны, в первой половине 20-го века единственные известные системы формальной семантики работали, присваивая расширения выражениям и используя Тарский -стилевое определение истинности высказываний, построенных на примитивных выражениях анализируемого языка. Следовательно, эти семантические методы были совершенно неадекватны для понимания семантики любого, кроме нескольких небольших искусственных языков или искаженных фрагментов естественных языков.

Эта ситуация изменилась в 1960-х годах с изобретением семантики возможного мира или «интенсиональной» семантики, основная форма которой связана с Саул Крипке. Хотя это позволило улучшить семантическое моделирование естественных языков, многое еще предстоит сделать.

Смотрите также

Примечания

  1. ^ Энтони Флю (1979). Философский словарь. п. 117.
  2. ^ Примерка, Мелвин. «Интенсиональная логика». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  3. ^ Патнэм, Хилари (1973). «Значение и ссылка». Журнал Философии. 70 (19): 699–711. Дои:10.2307/2025079. JSTOR  2025079.
  4. ^ Карнап, Рудольф (апрель 1955 г.). «Значение и синонимия в естественных языках». Философские исследования. 6 (3): 33–47. Дои:10.1007 / BF02330951. ISSN  0031-8116.

Рекомендации

внешняя ссылка