УНИВЕРСУМ

(лат. Universum, summa rerum), филос. термин, обозначающий всю объективную реальность во времени и в пространстве. В зависимости от того, что подразумевается под «всей реальностью», понятия «мир» и «У.» могут не совпадать. Напр., атомисты говорили об У. как множестве пребывающих и разрушающихся миров, возникающих из движения материи, полагая это множество миров неисчислимым; Платон отождествлял У. с видимым миром, отрицая суждение атомистов о множественности миров (см. Соч., т. 3, ч. 1, М., 1971, с. 497-98). В новое время,  начиная с Лейбница, утвердился взгляд на У. как на «множество всех возможных миров», из к-рых только один - наш мир - реален, а остальные мыслимы как логически возможные, т. е. непротиворечивым образом представляющие возможные факты или связи вещей. Именно с этим толкованием У. связано понятие об «описаниях состояния» (как возможных мирах) в логич. семантике и модальной логике. Мысль об У. как связном «единстве многого» порождала многочисл. филос. попытки систематики У.- исчерпывающего мысленного отображения этого единства в форме того или иного учения о мире как целом, построенного на основе общей системы принципов. Однако такая задача остаётся «...на все времена делом невозможным» (Энгельс Ф., см. Маркс К. и Энгельс Ф., Соч., т. 20, с. 36) не только в силу бесконечности У. и соответственно неисчерпаемости познания, но и в силу неоднородности У.- его составленности из миров с разными законами и разной качеств. природы (будь то мир звёздного неба, мир обществ. отношений или мир элементарных частиц). В совр. науч. мышлении понятие У. всё чаще приобретает смысл фиксированной системы (или систем) объектов, к к-рым относятся утверждения (высказывания) к.-л. теории. Именно поэтому говорят об универсуме рассуждения - логич. абстракции, выражающей мир мыслимых объектов, единство многого, поскольку типы изучаемых в к.-л. теории объектов могут быть различны в зависимости от допускаемых средств и задач исследования. Эта логич. абстракция только отчасти обобщает филос. идею У. К элементам У. рассуждения прежде всего относят индивиды, т. е. элементарные объекты изучаемой области, а, кроме того, если требуется, все их виды и роды (множества индивидов). Напр., натуральные числа, их отношения и числовые функции (абстракции разных порядков) могут составлять единый У. рассуждения. Такое широкое понимание У. вместе с утверждением, что всякое множество является элементом нек-рого У., приводит к утверждению о бесконечности множеств объектов. Др. аспект анализа идей, связанных с У., - различение стандартного и нестандартного, конструктивного и неконструктивного У., а также онтологич. и гносеологич. У. рассуждения (отнесение последнего непосредственно к теории, а первого - к возможным моделям этой теории).