дедуктивно-аксиоматический

дедуктивно-аксиоматический
дедуктивно-аксиоматический

Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. . 1998.

Игры ⚽ Нужен реферат?

Смотреть что такое "дедуктивно-аксиоматический" в других словарях:

  • АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см …   Философская энциклопедия

  • ДЕТЕКТИВ — жанр, специфический для массовой литературы и кинематографа ХХ в. Основоположники Д. Эдгар По и Уилки Коллинз, но подлинное рождение этого жанра имело место в рассказах Конан Дойля о Шерлоке Холмсе. Почему Д. именно в ХХ в. получил такое… …   Энциклопедия культурологии

  • ЭЛЕЙСКАЯ ШКОЛА —         др. греч. филос. школа кон. 6 5 вв. до н. э., в которую входили Парменид, его ученик Зенон Элейский (оба изг. Элея в Юж. Италии) и Мелисс Самосский. В учении Э. ш. заметно влияние идей Ксено фана и ранних пифагорейцев. Общим для элеатов… …   Философская энциклопедия

  • ЭЛЕЙСКАЯ ШКОЛА —     ЭЛЕЙСКАЯ ШКОЛА, одна из основных раннегреческих философских школ (кон. 6 1 я пол. 5 в. до н. э.); традиция метафизического монизма, объединяющая Парменида, Зенона Элейского и Мелисса (принадлежность Ксенофана к Элейской школе сомнительна,… …   Античная философия

  • ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… …   Философская энциклопедия

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

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

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

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

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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»