аксиоматический
81Интерпретация (объяснение) — Интерпретация (лат. interpretatio), истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей ‒ это «перевод» «специальных» выражений, в которых… …
82Квантовая теория поля — Квантовая теория поля квантовая теория систем с бесконечным числом степеней свободы (полей физических (См. Поля физические)). К. т. п., возникшая как обобщение квантовой механики (См. Квантовая механика) в связи с проблемой описания… …
83Логицизм — направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках… …
84Логический закон — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… …
85Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …
86Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая …
87Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …
88Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …
89Минимальная логика — логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …
90Модель (в науке) — Модель (франц. modèle, итал. modello, от лат. modulus мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого либо… …