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

  • 101Логика предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 102Математическое моделирование — Математическая модель это математическое представление реальности[1]. Математическое моделирование процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат, по сути… …

    Википедия

  • 103Предикатная логика — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 104Проблемы Гилберта — Проблемы Гильберта список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Тогда эти проблемы (охватывающие основания математики, алгебру, теорию чисел,… …

    Википедия

  • 105Семьи — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия

  • 106Семья языков — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия

  • 107Семья языковая — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия

  • 108Языковая семья — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия

  • 109Языковая таксонимия — Языковая систематика вспомогательная дисциплина, помогающая упорядочивать изучаемые лингвистикой объекты языки, диалекты и группы языков. Результат такого упорядочивания также называется систематикой языков. В основе систематики языков лежит… …

    Википедия

  • 110логичность — последовательность, связность, связь, стройность; разумность, неслучайность, непротиворечивость, обоснованность, логика, закономерность, закон. Ant. нелогичность, непоследовательность, алогичность Словарь русских синонимов. логичность 1.… …

    Словарь синонимов

  • 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Гильберт Давид — Программа Гильберта и теоремы Гёделя     Фреге, Пеано и Рассел, подобно Платону, верили в объективность мира математических соотношений, открываемых, а не изобретаемых учеными. Давид Гильберт, основатель формалистической школы, говорил, что… …

    Западная философия от истоков до наших дней