непротиворечивость

  • 61Вторая теорема Геделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …

    Википедия

  • 62Вторая теорема Гёделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …

    Википедия

  • 63Неполнота математики — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …

    Википедия

  • 64Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …

    Википедия

  • 65Васюков, Владимир Леонидович — (р. 02.11.1948) спец. по логике; д р филос. наук, вед. н. с. Род. в г. Рига (Латвия). Окончил физ. ф т Львовского гос. ун та (1972). С 1980 по 1990 н. с. вычислительного центра Львовского политехн. ин та, в 1991 1995 ст. н. с. Обществ, ик та… …

    Большая биографическая энциклопедия

  • 66Геометрия — (греч. geometria, от ge Земля и metreo мерю)         раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре.          Происхождение термина «Г. , что… …

    Большая советская энциклопедия

  • 67Парадокс — (от греч. parádoxes неожиданный, странный)         неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» …

    Большая советская энциклопедия

  • 68Секвенций исчисление — (позднелатинское sequentia последовательность, следствие)         секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… …

    Большая советская энциклопедия

  • 69БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Получил образование в Оксфордском университете, где вскоре после окончания в 1870 был избран членом совета Мертон колледжа. В… …

    История Философии: Энциклопедия

  • 70БРЭДЛИ — (Bradly) Фрэнсис Герберт (1846 1924) британский философ, представитель абсолютного идеализма, теоретик консерватизма. Основные работы: «Принципы логики» (1883); «Видимость и действительность» (1893); «Ессе об истине и реальности» (1914) и др. В… …

    Новейший философский словарь

  • 71ИДЕАЛЬНЫЙ ТИП —         упрощенная схематич. концептуализация социальных феноменов (социальных связей, процессов, институтов, групп и т.д.), применяемая в качестве инструмента научного исследования в социальных науках. Термин “И.т.” впервые был использован нем.… …

    Энциклопедия культурологии

  • 72ТОТАЛИТАРНАЯ КУЛЬТУРА —         официальная культура тоталитарных режимов, исторически сложившихся в 20 30 е и 40 50 е гг. (Россия/СССР, Италия, Германия, Китай, Сев. Корея, Вьетнам; в меньшей степени это относится к странам, где тоталитарный режим носил более умеренные …

    Энциклопедия культурологии

  • 73ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… …

    Философская энциклопедия

  • 74МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… …

    Философская энциклопедия

  • 75МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …

    Философская энциклопедия

  • 76НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… …

    Философская энциклопедия

  • 77ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …

    Философская энциклопедия

  • 78ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …

    Философская энциклопедия

  • 79АКСИОМАТИЧЕСКИЙ МЕТОД —         способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством… …

    Философская энциклопедия

  • 80НЕЗАВИСИМОСТЬ —         в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… …

    Философская энциклопедия