Область дискурса - Domain of discourse
 | Эта статья нужны дополнительные цитаты для проверка. (Сентябрь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
в формальные науки, то область дискурса, также называемый вселенная дискурса, универсальный набор, или просто вселенная, это набор субъектов, над которыми определенные переменные представляет интерес в некоторых формальный лечение может варьироваться.
Обзор
Область дискурса обычно определяется в предварительных обсуждениях, так что нет необходимости в дальнейшей трактовке каждый раз указывать диапазон соответствующих переменных.[1] Многие логики различают, иногда неявно, между область науки и универсум дискурса формализации науки.[2]
Примеры
Например, в интерпретация из логика первого порядка, сфера дискурса - это совокупность индивидов, над которыми кванторы классифицировать. Такое предложение, как ∀Икс (Икс2 ≠ 2) является неоднозначным, если не идентифицирована область дискурса. В одной интерпретации сфера дискурса может быть набором действительные числа; в другой интерпретации это может быть набор натуральные числа. Если область дискурса - это множество действительных чисел, предложение неверно, с Икс = √2 как контрпример; если область значений - это набор натуральных чисел, предложение верно, поскольку 2 не является квадратом любого натурального числа.
Вселенная дискурса
Термин «универсум дискурса» обычно относится к совокупности объектов, обсуждаемых в конкретном дискурс. В теоретико-модельная семантика, универсум дискурса - это набор сущностей, на которых основана модель. Концепция вселенная дискурса обычно приписывается Огастес Де Морган (1846 г.), но впервые это название было использовано Джордж Буль (1854) на странице 42 его Законы мысли. Определение Буля цитируется ниже. Эта концепция, вероятно, независимо открытая Бульем в 1847 году, сыграла решающую роль в его философии логики, особенно в его принципе логики. целостная ссылка.
Определение Буля 1854 года
В каждом дискурсе, будь то ум, говорящий со своими собственными мыслями, или индивид в его общении с другими, существует предполагаемый или выраженный предел, в пределах которого ограничиваются субъекты его действия. Самый свободный дискурс - это дискурс, в котором слова, которые мы используем, понимаются в самом широком смысле, и для них границы дискурса совпадают с ограничениями самой вселенной. Но чаще мы ограничиваемся менее обширным полем. Иногда, рассуждая о людях, мы подразумеваем (не выражая ограничений), что мы говорим о людях только при определенных обстоятельствах и условиях, как о цивилизованных людях, или о людях, живущих энергией, или о людях при каких-либо других условиях. или отношение. Итак, какой бы протяженностью ни было поле, в котором находятся все объекты нашего дискурса, это поле можно правильно назвать универсумом дискурса. Более того, этот универсум дискурса является в самом строгом смысле конечным предметом дискурса.
— Джордж Буль, Законы мысли. 1854/2003. п. 42.[3]
Смотрите также
- Область функции
- Теория предметной области
- Квантификатор (логика)
- Интерпретация (логика)
- Термин алгебра
- Вселенная (математика)
Рекомендации
- ^ Коркоран, Джон. Вселенная дискурса. Кембриджский философский словарь, Cambridge University Press, 1995, стр. 941.
- ^ Хосе Мигель Сагуилло, Области наук, универсум дискурса и омега-аргументы, История и философия логики, т. 20 (1999), стр. 267–280.
- ^ Факсимиле издания 1854 г., с предисловием Дж. Коркорана. Буффало: Книги Прометея (2003). Отзыв Джеймса ван Эвра в Философия в обзоре 24 (2004): 167–169.