Деление Логическое — - логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посредством операции Д. л. раскрывается объем того или иного понятия, выясняется, из каких...

Высказывание (предложение) Контрфактическое — (от лат. contra - против, factum - событие) - сложное высказывание, в котором с помощью союза "если бы..., то бы..." объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно-сослагательного...

Возможность Логическая — - одна из модальных характеристик высказывания, наряду с "необходимостью", "невозможностью" и "случайностью"; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом "возможно, что A" (A -...

Двойного Отрицания Закон — см.: Закон двойного отрицания.

Гёделя Теорема — - важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гёдель доказал теорему о неполноте: если система Z...

Высказывание Категорическое — - высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и разделительным высказываниям. В традиционной логике...

Возможность Логическая — - одна из модальных характеристик высказывания, наряду с "необходимостью", "невозможностью" и "случайностью"; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом "возможно, что A" (A -...

Вероятностная Логика — - разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или...

Деонтическая Логика — (от греч. deon - долг, правильность), или: Логика норм, нормативная л о г и к а, - раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Анализируя рассуждения, посылками или заключениями которых служат...

Возможность Логическая — - одна из модальных характеристик высказывания, наряду с "необходимостью", "невозможностью" и "случайностью"; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом "возможно, что A" (A -...