В любой из нескольких областей изучения, которые рассматривают использование знаков, например, в лингвистике , логике , математике , семантике , семиотике и философии языка , намерение — это любое свойство или качество , обозначенное словом , фразой или другим символом . [1] В случае слова определение слова часто подразумевает намерение. Например, намерения слова « растение» включают такие свойства, как «состоящее из целлюлозы (не всегда верно)», «живой» и «организм» и другие. Понимание — это совокупность всех таких намерений.
Значение слова можно рассматривать как связь между идеей, которую означает слово , и физической формой слова . Швейцарский лингвист Фердинанд де Соссюр (1857–1913) противопоставляет три концепции:
Без интенции какого-либо рода слово не имеет значения. [2] Например, термины rantans или brillig не имеют интенции и, следовательно, не имеют значения. Такие термины могут быть наводящими на размышления, но термин может быть наводящим на размышления , не будучи осмысленным. Например, ran tan — это архаичное звукоподражание для хаотического шума или дина и может навести носителей английского языка на мысль о дин или бессмысленном шуме, а brillig , хотя и придуманное Льюисом Кэрроллом, может наводить на мысль о «блестящем» или «холодном». Такие термины, как можно утверждать, всегда интенциональны, поскольку они коннотируют свойство «бессмысленный термин», но это лишь кажущийся парадокс и не является контрпримером к утверждению, что без интенции слово не имеет значения. Часть его интенции заключается в том, что у него нет экстенсионала . Интенсионал аналогичен означаемому в соссюровской системе, экстенсионалу — референту.
В философских рассуждениях о дуализме и монизме отмечается, что мысли обладают интенсиональностью, а физические объекты — нет (SE Palmer, 1999), но имеют протяженность в пространстве и времени.
Форма утверждения — это просто форма, полученная путем заполнения пробелов в предложении, где встречается одно или несколько выражений с расширениями, например: «Быстрый коричневый ___ перепрыгнул через спину ленивого ___». Примером формы является утверждение, полученное путем заполнения пробелов.
Интенсиональная форма утверждения — это форма утверждения с по крайней мере одним экземпляром, такая, что подстановка в нее со-объёмных выражений не всегда сохраняет логическое значение . Интенсиональное утверждение — это утверждение, которое является экземпляром интенсиональной формы утверждения. Здесь со-объёмные выражения — это выражения с тем же самым экстенсионалом . [ требуется цитата ]
То есть, форма утверждения является интенсиональной, если она имеет в качестве одного из своих экземпляров утверждение, для которого есть два коэкстенсивных выражения (в соответствующем языке), так что одно из них встречается в утверждении, и если другое помещается на его место (единообразно, так что оно заменяет предыдущее выражение везде, где оно встречается в утверждении), результатом является (другое) утверждение с другим логическим значением. Интенсиональное утверждение, таким образом, является экземпляром такой формы; оно имеет ту же форму, что и утверждение, в котором замена коэкстенсивных терминов не сохраняет логическое значение.
Чтобы увидеть, что они интенсиональны, сделайте следующие замены: (1) «Марк Твен» → «Автор «Мнений о кукурузной лепёшке»»; (2) «Аристотель» → «наставник Александра Македонского»; (3) можно считать интенсиональным, учитывая, что «имел сестру» → «имел брата или сестру с двумя X-хромосомами».
Интенсиональные утверждения, приведенные выше, включают выражения типа «знает», «возможно» и «рад». Такие выражения всегда или почти всегда производят интенсиональные утверждения при добавлении (каким-то понятным образом) к экстенсиональному утверждению, и поэтому их (или более сложные выражения, такие как «Возможно, что») иногда называют интенсиональными операторами . Большой класс интенсиональных утверждений, но далеко не все, можно обнаружить по тому факту, что они содержат интенсиональные операторы.
Экстенсиональное утверждение — это неинтенсиональное утверждение. Подстановка в него коэкстенсиональных выражений всегда сохраняет логическое значение. Язык является интенсиональным, если он содержит интенсиональные утверждения, и экстенсиональным в противном случае. Все естественные языки являются интенсиональными. [ 3] Единственными экстенсиональными языками являются искусственно созданные языки, используемые в математической логике или для других специальных целей, а также небольшие фрагменты естественных языков.
Обратите внимание, что если в (1) вместо «Марк Твен» поставить «Сэмюэл Клеменс», результат будет таким же истинным, как и исходное утверждение. Должно быть ясно, что независимо от того, что ставится вместо «Марк Твен», пока это единичный термин, указывающий на одного и того же человека, утверждение останется истинным. Аналогично, мы можем поставить вместо предиката любой другой предикат, принадлежащий Марку Твену и только Марку Твену, не меняя логического значения. Для (2) аналогичным образом рассмотрим следующие замены: «Аристотель» → «Наставник Александра Великого»; «Аристотель» → «Автор «Предыдущей аналитики»»; «имел сестру» → «имел брата, чье тело было способно производить яйцеклетки»; «имел сестру» → «имел родителя, у которого был ребенок женского пола».