аксиоматический

  • 81 Интерпретация (объяснение) — Интерпретация (лат. interpretatio), истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей ‒ это «перевод» «специальных» выражений, в которых… …

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

  • 82 Квантовая теория поля —          Квантовая теория поля квантовая теория систем с бесконечным числом степеней свободы (полей физических (См. Поля физические)). К. т. п., возникшая как обобщение квантовой механики (См. Квантовая механика) в связи с проблемой описания… …

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

  • 83 Логицизм —         направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках… …

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

  • 84 Логический закон —         общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… …

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

  • 85 Логическое исчисление —         Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …

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

  • 86 Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …

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

  • 87 Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …

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

  • 88 Метатеория — (от Мета...)         теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …

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

  • 89 Минимальная логика —         логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …

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

  • 90 Модель (в науке) — Модель (франц. modèle, итал. modello, от лат. modulus мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого либо… …

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

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

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

  • 92 Определение (объяснение значения) — Определение, дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия; этот термин (понятие) называется определяемым (лат. definiendum, сокращенно Dfd), а… …

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

  • 93 Определение через абстракцию —         способ описания (выделения, «абстрагирования») не воспринимаемых чувственно («абстрактных») свойств предметов путём задания на предметной области некоторого отношения типа равенства (См. Равенство) (тождества (См. Тождество),… …

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

  • 94 Полнота —         свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств.          Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… …

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

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

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

  • 96 Прагматика — (от греч. prágma, родительный падеж prágmatos дело, действие)         раздел (точнее, аспект) семиотики (См. Семиотика), посвященный рассмотрению и изучению отношения субъектов, воспринимающих и использующих какую либо знаковую систему (её… …

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

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

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

  • 98 Теория — (греч. theoría, от theoréo рассматриваю, исследую)         в широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма… …

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

  • 99 Тождество —         основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.          В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… …

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

  • 100 Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …

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