аксиоматический метод
91Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… …
92Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… …
93Прагматика — (от греч. prágma, родительный падеж prágmatos дело, действие) раздел (точнее, аспект) семиотики (См. Семиотика), посвященный рассмотрению и изучению отношения субъектов, воспринимающих и использующих какую либо знаковую систему (её… …
94Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… …
95Теория — (греч. theoría, от theoréo рассматриваю, исследую) в широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма… …
96Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …
97Число — I Число важнейшее математическое понятие. Возникнув в простейшем виде ещё в первобытном обществе, понятие Ч. изменялось на протяжении веков, постепенно обогащаясь содержанием по мере расширения сферы человеческой деятельности и связанного …
98Бурбаки — Никола (Bourbaki Nicolas), собирательный псевдоним, под которым группа математиков во Франции выступает с попыткой осуществить идею, исходящую от Д. Гильберта обозреть различные математические теории с позиций формального аксиоматического …
99Интерпретация — I Интерпретация (лат. interpretatio) истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей это «перевод» «специальных» выражений, в… …
100Независимость — I Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы …