|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Предметная область | Предметная область (далее П), область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под контекстом здесь может пониматься отдельное рассуждение или выражающая его фраза, или совокупность фраз, фрагмент научной теории или теория в целом. Например, в теории чисел П служит натуральный ряд (множество целых неотрицательных чисел), в математическом анализе - множество действительных чисел, в ботанике - множество всех растений (точнее, растительных видов), а в исчислении предикатов или логике классов - любая фиксированная непустая область. П, называется также универсальным множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся ее дополнением. Общепринятое представление о П именно как о фиксированной области объекта (согласно которому, например, в теории чисел дополнением к множеству четных чисел служит множество нечетных чисел, а вовсе не "множество всех мыслимых объектов, не являющихся четными числами", в каковое должен был бы входить, например, и данный экземпляр энциклопедии, и вообще "все на свете", кроме четных чисел) идет от Дж. Венна; оно сменило господствовавшую до того (исходившую от Г. Фреге) концепцию "универсальной" П, приводящую к парадоксам.
Лит. см. при ст. Логика предикатов, Аксиоматическая теория множеств.
|
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
