- дедуктивно-аксиоматический
-
дедуктивно-аксиоматический
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
ДЕТЕКТИВ — жанр, специфический для массовой литературы и кинематографа ХХ в. Основоположники Д. Эдгар По и Уилки Коллинз, но подлинное рождение этого жанра имело место в рассказах Конан Дойля о Шерлоке Холмсе. Почему Д. именно в ХХ в. получил такое… … Энциклопедия культурологии
ЭЛЕЙСКАЯ ШКОЛА — др. греч. филос. школа кон. 6 5 вв. до н. э., в которую входили Парменид, его ученик Зенон Элейский (оба изг. Элея в Юж. Италии) и Мелисс Самосский. В учении Э. ш. заметно влияние идей Ксено фана и ранних пифагорейцев. Общим для элеатов… … Философская энциклопедия
ЭЛЕЙСКАЯ ШКОЛА — ЭЛЕЙСКАЯ ШКОЛА, одна из основных раннегреческих философских школ (кон. 6 1 я пол. 5 в. до н. э.); традиция метафизического монизма, объединяющая Парменида, Зенона Элейского и Мелисса (принадлежность Ксенофана к Элейской школе сомнительна,… … Античная философия
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
НЕЗАВИСИМОСТЬ — в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Дедукция — (от лат. deductio выведение) переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия