НЕДЕЛЬКОВИЧ 419

НЕДОНСTЛЬ(Nedoncelle) Морис Гюстав (р. 30.10. 1905, Рубе), франц. философ-идеалист, католич. свя­щенник. Один из гл. представителей персонализма. В основе концепции Н. лежит понятие взаимности, обоюдности — необходимой связи между сознанием «Я» и сознанием «Другого». Диада, возникающая из взаимозависимости «Я» и «Ты», делает возможным, по Н., появление личности, подтверждает её реальность. Полное завершение личности происходит при обраще­нии к богу, с к-рым она связана но своей природе, ибо бытие личности, по Н., есть результат «человеческо-божественной обоюдности». Только бог может уничто­жить дуализм природы и личности и устранить внутр. противоречия разума.

• Vers ime Philosophie de l'amour et de Ja personne, P., 1957; La personne luimaine et la nature, P., 1963; Explorations personna-listes, P., 1970.

• Совр. религ.-филос. течения в капиталистич. странах, М., 1962, с. 131—36; В д о в и н а И. С., Франц. персонализм, М., 1977.

НЕЗАВИСИМОСТЬ влогике и м а т е м а т и-к е, невыводимость (недоказуемость) предложения нек-рой теории (или выражающей его формулы соот­ветствующего исчисления) и его отрицания из данной со­вокупности предложений (конъюнкции формул), напр. из данной системы аксиом. Доказательство Н. сводит­ся к доказательству непротиворечивости (совместимости) двух систем предложений (формул): данной системы и данного предложения (формулы) — с одной стороны, и данной системы и отрицания данного предложения (формулы) — с другой. Если непротиворечивая систе­ма аксиом дедуктивно полна (см. Полнота в логике), то присоединение к ней в качестве аксиомы любого не­выводимого из неё предложения приводит к противо­речию. Когда речь идёт о содержательно формулируе­мых предложениях, то выводимость понимается интуи­тивно (в соответствии с законами логики); в исчисле­ниях в качестве таких законов фиксируются определ. правила вывода, также подразделяемые на независи­мые (исходные) и производные.

Аналогично определённой выше дедуктивной Н. го­ворят о Н. функциональной (Н. выразит. средств): по­нятие (термин) независимо от данной совокупности понятий (терминов), если оно не может быть опреде­лено через них (при фиксированных правилах опреде­ления, относительно к-рых имеет смысл ставить вопрос о Н.). Совокупность предложений (формул) или понятий (терминов) наз. независимой (или неизбыточной, ми­нимальной), если каждое из них независимо от осталь­ных. Исторически первыми доказательствами Н. были доказательства Н. пятого постулата Евклида о парал­лельных, установившие относит. непротиворечивость неевклидовой геометрии Лобачевского — Бойаи. Ряд важных результатов о Н. получен для различных сис­тем логики и аксиоматич. теории множеств.

• см. к ст. Аксиоматический метод.

НЕЙРАТ(Neurath) oтто (10.12.1882, Вена,— 22.12. 1945, Оксфорд), австр. философ, социолог и экономист. Один из организаторов и лидеров Венского круж­ка. В 1934—40 жил в Голландии, с 1941 — в Велико­британии. Филос. и социологич. взгляды Н. эклекти­чески соединяют тенденции стихийного, естеств.-науч. материализма со взглядами логич. позитивизма. Н. считал, что критерием истинности т. н. протокольных (исходных) предложений науки, избираемых учёными по соглашению, является в конечном счёте непротиво­речивость их др. утверждениям данной науки. Видя в установлении единства знаний важнейшую задачу философии науки, Н. полагал, что его можно достичь с помощью «унифицированного языка науки», опираю­щегося на языки физики и математики (точка зрения т. н. радикального физикализма). Вместе с Карнапом был одним из авторов и гл. редактором «Междунар. эн-