НЕДОНС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 — в Великобритании. Филос. и социологич. взгляды Н. эклектически соединяют тенденции стихийного, естеств.-науч. материализма со взглядами логич. позитивизма. Н. считал, что критерием истинности т. н. протокольных (исходных) предложений науки, избираемых учёными по соглашению, является в конечном счёте непротиворечивость их др. утверждениям данной науки. Видя в установлении единства знаний важнейшую задачу философии науки, Н. полагал, что его можно достичь с помощью «унифицированного языка науки», опирающегося на языки физики и математики (точка зрения т. н. радикального физикализма). Вместе с Карнапом был одним из авторов и гл. редактором «Междунар. эн-
Дата добавления: 2015-08-18; просмотров: 48 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| НАЦИЯ 417 | | | НЕДОНСЕЛЬ |