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

  • 61 ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… …

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

  • 62 МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …

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

  • 63 НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …

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

  • 64 ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …

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

  • 65 ПРОСТРАНСТВО — фундаментальное (наряду с временем) понятие человеческого мышления, отображающее множественный характер существования мира, его неоднородность. Множество предметов, объектов, данных в человеческом восприятии одновременно, формирует сложный… …

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

  • 66 МНОЖЕСТВ ТЕОРИЯ —         математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… …

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

  • 67 НЕЗАВИСИМОСТЬ —         в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… …

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

  • 68 ЭВКЛИД — Ε в к л и д (Εὐκλείδης), – др. греч. математик, живший ок. 3 в. до н.э. в Александрии. Помимо этого, ничего достоверного о жизни Э. не известно. Э. знаменит как автор Начал – первого дошедшего до нас теоретич. сочинения по математике. По словам… …

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

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

    Википедия

  • 70 самоочевидный — несомненный, бесспорный, очевидный; не вызывающий сомнений, ясный, шитый белыми нитками, прямой, явный, однозначный, аксиоматический, верный, безусловный, лежит на поверхности, ярко выраженный, не оставляющий сомнений, недвусмысленный, заведомый …

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

  • 71 ПРИКЛАДНАЯ ЛОГИКА —     ПРИКЛАДНАЯ ЛОГИКА логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность …

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

  • 72 аксиома — ы ж. axiome m., нем. Axiom <, гр. axiôma. 1547. Лексис.1. Отправное положение какой л. науки, принимаемое без доказательств. Сл. 18. Логическия и Онтологическия аксиомы. Брян. 1799 4. || чаще мн. Непреложные правила какой л. науки, искусства;… …

    Исторический словарь галлицизмов русского языка

  • 73 ДЕДУКЦИЯ — (от лат. deductio выведение) вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы,… …

    Большой Энциклопедический словарь

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

    Словарь терминов логики

  • 75 Павлов, Сергей Афанасьевич — (р. 05.12.1946) спец. в обл. логики; канд. филос. наук. Род. во Львове. Окончил физ. ф т Киевского гос. ун та (1970). С 1990 работает в ИФ РАН: инженер, м.н.с, в наст. вр. н. с. сектора логики. С 1997 является также рук. отдела информац.… …

    Большая биографическая энциклопедия

  • 76 Садовский, Вадим Николаевич — (р. 15.03.1934) спец. по филос. и методол. науки; д р филос. наук, проф. Действ. чл. Междунар. академии наук информации, информац. процессов и технологий (1996). Род. в Оренбурге. Окончил филос. ф т МГУ (1956), асп. по кафедре филос. МОПИ (1960) …

    Большая биографическая энциклопедия

  • 77 Аксиома — (греч. axíōma удостоенное, принятое положение, от axióō считаю достойным)         положение некоторой данной теории, которое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе… …

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

  • 78 Аксиоматическая теория множеств —         формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …

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

  • 79 Дедукция — (от лат. deductio выведение)         переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к …

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

  • 80 Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …

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