непротиворечивость
111ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …
112когерентная теория истины — КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ (от лат. cohaerentia сцепление, связь) концепция, сводящая проблему истинности к критерию самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной …
113корреспондентная теория истины — КОРРЕСПОНДЕНТНАЯ ТЕОРИЯ ИСТИНЫ (от англ. correspondence соответствие) теория, истолковывающая истинность некоторой мысли как соответствие ее своему предмету или реальности. Истолкование истины как соответствия мысли… …
114логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …
115множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… …
116Принципы математики — «ПРИНЦИПЫ МАТЕМАТИКИ» («PRINCIPIA MATHEMATICA») трехтомный труд о логике и основаниях математики, написанный А.Н. Уайтхедом и Б. Расселом и опубликованный в 1910, 1912 и 1913 (около 2000 с). Целью этой работы было показать, что, используя …
117Генцен, Герхард — Герхард Генцен нем. Gerhard Karl Erich Gentzen Дата рождения: 24 ноября 1909(1909 11 24) …
118БРЭДЛИ Фрэнсис Герберт (1846- 1924) — британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В Оксфорде Б. посвятил себя целиком… …
119Кант Иммануил — Жизненный путь и сочинения Канта Иммануил Кант родился в Кенигсберге (ныне Калининград) в Восточной Пруссии в 1724 г. Отец был шорником, а мать домохозяйкой, шестеро их детей не дожили до зрелого возраста. Кант всегда вспоминал родителей с… …
120Гильберт Давид — Программа Гильберта и теоремы Гёделя Фреге, Пеано и Рассел, подобно Платону, верили в объективность мира математических соотношений, открываемых, а не изобретаемых учеными. Давид Гильберт, основатель формалистической школы, говорил, что… …