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

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

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