Область дискурса - Domain of discourse
В формальных наук , в области дискурса , также называется универсум дискурса , универсального набора , или просто Вселенной , является набор сущностей , над которыми некоторые переменные , представляющие интерес в какой - то формальной может варьироваться лечения.
Обзор
Область дискурса обычно определяется в предварительных обсуждениях, так что нет необходимости в дальнейшей трактовке каждый раз указывать диапазон релевантных переменных. Многие логики проводят различие, иногда лишь неявно, между областью науки и универсумом дискурса формализации науки .
Примеры
Например, в интерпретации из логики первого порядка , область дискурса множество лиц , над которыми квантификаторы диапазона. Утверждение, такое как ∀ x ( x 2 ≠ 2) , неоднозначно, если не была идентифицирована ни одна область дискурса. В одной интерпретации областью дискурса может быть набор действительных чисел ; в другой интерпретации это может быть набор натуральных чисел . Если предметом обсуждения является множество действительных чисел, предложение неверно, с x = √ 2 в качестве контрпримера; если область определения - это набор натуральных чисел, утверждение верно, поскольку 2 не является квадратом любого натурального числа.
Вселенная дискурса
Термин «универсум дискурса» обычно относится к совокупности объектов, обсуждаемых в конкретном дискурсе . В теоретико-модельной семантике универсум дискурса - это набор сущностей, на которых основана модель. Концептуальную вселенную дискурса обычно приписывают Августу Де Моргану (1846 г.), но это имя впервые использовал Джордж Буль (1854 г.) на стр. 42 его « Законов мышления» . Определение Буля цитируется ниже. Эта концепция, вероятно, независимо открытая Бульем в 1847 году, сыграла решающую роль в его философии логики, особенно в его принципе холистической референции .
Определение Буля 1854 года
В каждом дискурсе, будь то ум, говорящий со своими собственными мыслями, или индивид в его общении с другими, существует предполагаемый или выраженный предел, в пределах которого заключены субъекты его действия. Самый свободный дискурс - это дискурс, в котором слова, которые мы используем, понимаются в самом широком смысле, и для них пределы дискурса совпадают с ограничениями самой вселенной. Но чаще мы ограничиваемся менее обширным полем. Иногда, рассуждая о людях, мы подразумеваем (не выражая ограничений), что мы говорим о людях только при определенных обстоятельствах и условиях, как о цивилизованных людях, или о людях, живущих энергией, или о людях, находящихся в каком-либо другом состоянии. или отношение. Итак, какой бы протяженностью ни было поле, в котором находятся все объекты нашего дискурса, это поле можно правильно назвать универсумом дискурса. Более того, эта вселенная дискурса является в самом строгом смысле конечным предметом дискурса.
- Джордж Буль , Законы мысли. 1854/2003. п. 42.
Смотрите также
- Область функции
- Теория предметной области
- Квантификатор (логика)
- Интерпретация (логика)
- Термин алгебра
- Вселенная (математика)