Расширение (семантика) - Extension (semantics)
В любом из нескольких исследований, посвященных использованию приметы - например, в лингвистика, логика, математика, семантика, и семиотика - расширение концепции, идеи или знак состоит из вещей, к которым он применяется, в отличие от понимание или же интенция, который очень грубо состоит из идей, свойств или соответствующих знаков, которые подразумеваются или предполагаются рассматриваемым понятием.
В философском семантика или философия языка, «расширение» концепции или выражения - это набор вещей, к которым оно распространяется или применяется, если это вид концепции или выражения, которым может удовлетворять отдельный объект. Понятия и выражения такого рода монадический или "одноместные" понятия и выражения.
Таким образом, расширение слова «собака» - это набор всех (прошлых, настоящих и будущих) собак в мире: этот набор включает Fido, Rover, Лесси, Рекс и так далее. Расширение фразы «читатель Википедии» включает каждого человека, который когда-либо читал Википедию, включая ты.
Расширение всего высказывания, в отличие от слова или фразы, определяется (поскольку Готтлоб Фреге "s"О смысле и референции ") как его значение истины. Таким образом, расширение «Лесси знаменита» является логическим значением «истина», поскольку Лесси известна.
Некоторые концепции и выражения таковы, что они не применяются к объектам по отдельности, а скорее служат для связи объектов с объектами. Например, слова «до» и «после» не применимы к объектам по отдельности - нет смысла говорить «Джим до» или «Джим после» - но к одной вещи по отношению к другой, как в «The свадьба до приема »и« Прием после свадьбы ». Такие «реляционные» или «полиадические» («многоместные») концепции и выражения имеют для своего расширения набор всех последовательностей объектов, которые удовлетворяют рассматриваемому понятию или выражению. Таким образом, расширение «до» - это набор всех (упорядоченных) пар объектов, из которых первая находится перед второй.
Математика
В математика, «расширение» математической концепции это набор что указано . (Этот набор может быть пусто, в настоящее время. )
Например, расширение функция это набор заказанные пары которые объединяют аргументы и значения функции; другими словами, график функции. Расширение объекта в абстрактная алгебра, например группа, это базовый набор объекта. Продолжением набора является сам набор. То, что набор может уловить идею расширения чего-либо, - это идея, лежащая в основе аксиома протяженности в аксиоматическая теория множеств.
Такое расширение так постоянно используется в современной математике, основанной на теория множеств что это можно назвать неявным предположением. Типичное математическое усилие развивается из наблюдаемого математический объект требуя описания, задача состоит в том, чтобы найти характеристика для которого объект становится расширением.
Информатика
В Информатика, немного база данных в учебниках термин «интенсификация» используется для обозначения схема базы данных, и "расширение" для обозначения конкретных экземпляры базы данных.
Метафизические последствия
Продолжаются споры в метафизика о том, существуют ли, помимо актуальных, существующие вещи, неактуальные или несуществующие. Если есть - если, например, есть возможные, но неактуальные собаки (собаки каких-то неактуальных, но возможных видов, возможно) или несуществующие существа (например, Шерлок Холмс, возможно) - то эти вещи также могут фигурировать в расширениях. различных понятий и выражений. Если нет, то в расширении концепции или выражения могут быть только существующие, актуальные вещи. Обратите внимание, что «фактический» может не означать то же, что «существующий». Возможно, существуют вещи, которые просто возможны, но не актуальны. (Может быть, они существуют в других вселенных, и эти вселенные другие »возможные миры «… Возможные альтернативы реальному миру.) Возможно, некоторых реальных вещей не существует» (Шерлок Холмс кажется действительный пример вымышленного персонажа; можно подумать, что есть много других персонажей Артур Конан Дойл мог бы изобрел, хотя на самом деле он изобрел Холмса.)
Аналогичная проблема возникает для объектов, которых больше нет. Расширение термина «Сократ», например, кажется (в настоящее время) несуществующим объектом. Бесплатная логика это одна из попыток избежать некоторых из этих проблем.
Общая семантика
Некоторые фундаментальные формулировки в области общая семантика в значительной степени полагаться на оценку расширения за интенция. См., Например, расширение, а экстенсивные устройства.
Смотрите также
- Перечислительное определение
- Расширенное определение
- Экстенсиональная логика
- Обобщение
- Смысл и ссылка
- Семантическое свойство
- Различие типа и токена