Область дискурса - Domain of discourse

Символ множества предметной области дискурса

В формальных наук , в области дискурса , также называется универсум дискурса , универсального набора , или просто Вселенной , является набор сущностей , над которыми некоторые переменные , представляющие интерес в какой - то формальной может варьироваться лечения.

Обзор

Область дискурса обычно определяется в предварительных обсуждениях, так что нет необходимости в дальнейшей трактовке каждый раз указывать диапазон релевантных переменных. Многие логики проводят различие, иногда лишь неявно, между областью науки и универсумом дискурса формализации науки .

Примеры

Например, в интерпретации из логики первого порядка , область дискурса множество лиц , над которыми квантификаторы диапазона. Утверждение, такое как x ( x 2 ≠ 2) , неоднозначно, если не была идентифицирована ни одна область дискурса. В одной интерпретации областью дискурса может быть набор действительных чисел ; в другой интерпретации это может быть набор натуральных чисел . Если предметом обсуждения является множество действительных чисел, предложение неверно, с x = 2 в качестве контрпримера; если область определения - это набор натуральных чисел, утверждение верно, поскольку 2 не является квадратом любого натурального числа.

Вселенная дискурса

Термин «универсум дискурса» обычно относится к совокупности объектов, обсуждаемых в конкретном дискурсе . В теоретико-модельной семантике универсум дискурса - это набор сущностей, на которых основана модель. Концептуальную вселенную дискурса обычно приписывают Августу Де Моргану (1846 г.), но это имя впервые использовал Джордж Буль (1854 г.) на стр. 42 его « Законов мышления» . Определение Буля цитируется ниже. Эта концепция, вероятно, независимо открытая Бульем в 1847 году, сыграла решающую роль в его философии логики, особенно в его принципе холистической референции .

Определение Буля 1854 года

В каждом дискурсе, будь то ум, говорящий со своими собственными мыслями, или индивид в его общении с другими, существует предполагаемый или выраженный предел, в пределах которого заключены субъекты его действия. Самый свободный дискурс - это дискурс, в котором слова, которые мы используем, понимаются в самом широком смысле, и для них пределы дискурса совпадают с ограничениями самой вселенной. Но чаще мы ограничиваемся менее обширным полем. Иногда, рассуждая о людях, мы подразумеваем (не выражая ограничений), что мы говорим о людях только при определенных обстоятельствах и условиях, как о цивилизованных людях, или о людях, живущих энергией, или о людях, находящихся в каком-либо другом состоянии. или отношение. Итак, какой бы протяженностью ни было поле, в котором находятся все объекты нашего дискурса, это поле можно правильно назвать универсумом дискурса. Более того, эта вселенная дискурса является в самом строгом смысле конечным предметом дискурса.

-  Джордж Буль , Законы мысли. 1854/2003. п. 42.

Смотрите также

Рекомендации