Область дискурса
- Область дискурса представляет собой набор сущностей с определенными переменными, представляющими интерес при формальном рассмотрении.
- Область дискурса обычно определяется на предварительном этапе, чтобы избежать уточнения диапазона переменных каждый раз.
- Логики проводят различие между областью науки и универсумом дискурса формализации науки.
- Примеры областей дискурса включают множество действительных чисел и множество натуральных чисел.
- Термин “универсум дискурса” относится к совокупности объектов, обсуждаемых в рамках определенного дискурса.
- В теоретико-модельной семантике универсум дискурса является набором сущностей, на которых основана модель.
- Концептуальная вселенная дискурса приписывается Огастесу Де Моргану и впервые была использована Джорджем Булем.
- В каждом дискурсе существует предполагаемый или явно выраженный предел, в пределах которого ограничены субъекты его действия.
- Универсум дискурса является конечным субъектом дискурса и может быть назван полем, в пределах которого находятся все объекты нашего дискурса.
Полный текст статьи: