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