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

  • 81ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… …

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

  • 82ПРОТИВОРЕЧИЯ ЗАКОН — 1) Один из осн. принципов логич. рассуждения, согласно к рому никакое предложение не может быть одновременно истинным и ложным (или: не могут быть одновременно истинными нек рое предложение и его отрицание). 2) Тождественно истинная (см.… …

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

  • 83ФОРМАЛИЗМ в математике — одно из осн. направлений в основаниях математики (и логики), к рое в качестве гл. задачи в области обоснования математики считает доказательство непротиворечивости отд. математич. теорий и – в идеале – всей математики в целом. Задача эта… …

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

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

    Математическая энциклопедия

  • 85АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… …

    Математическая энциклопедия

  • 86ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …

    Математическая энциклопедия

  • 87ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …

    Математическая энциклопедия

  • 88ПОГРУЖАЮЩАЯ ОПЕРАЦИЯ — в математической логике операция, переводящая выражения одного логико математич. языка в выражения другого с сохранением тех или иных дедуктивных свойств. П. о. широко используются для установления взаимосвязи между различными логич. теориями,… …

    Математическая энциклопедия

  • 89Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ …

    Википедия

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

    Википедия

  • 91Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …

    Википедия

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

    Википедия

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

    Википедия

  • 94Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …

    Википедия

  • 95Критика атеизма — Основная статья: Атеизм Содержание 1 Атеизм как неверие в существование богов 2 Атеизм как вера, религия …

    Википедия

  • 96Метаматематика — Метаматематика  раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …

    Википедия

  • 97АТЕИЗМ — (от греч. άθεος, безбожный)  неверие в существование каких либо сверхъестественных сил или существ (например, бога, богов, дьявола, духов, ангелов и тому подобное) или отрицание их существования, а также связанное с этим отрицание… …

    Википедия

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

    Википедия

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

    Википедия

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

    Википедия