Список вопросов базы знаний

Силлогизмы второй фигуры служат для опровержения ложных обобщений

Силлогизмы с выделяющими суждениями подчиняются лишь некоторым общим правилам силлогизма и специальным правилам фигур

Средний термин включается в заключение

Существует два вида соритов: конструктивный и деструктивный

Терминами силлогизма являются S, Р и М

Энтимема относится к эллиптическим высказываниям

Эпихейрема - вид сложносокращенного силлогизма, обе посылки которого представляют собой сокращенные простые категорические силлогизмы

Большая посылка утверждающе-отрицающего модуса должна быть строго разделительным суждением

В отрицающем модусе условно-категорического суждения категорическая посылка отрицает истинность следствия условной посылки

В простой конструктивной дилемме условные посылки содержат 2 основания, из которых вытекает одно и то же следствие

В разделительно-категорическом умозаключении одна посылка является дизъюнктивным суждением

В сложной деструктивной дилемме условные посылки содержат одно основание, из которого вытекают два возможных следствия

В умозаключении по аналогии вывод направлен от частного к частному

В умозаключениях по логическому квадрату S встает на место P, а P - на место S

В чисто условном умозаключении обе посылки являются условными суждениями

Если формула алгебры логики не является тождественно-истинной, значит, умозаключение неправильно

Заключением умозаключения называют исходные суждения, из которых выводится новое суждение

Логической формой получения выводных знаний является суждение

Обращение и превращение суждений относятся к числу непосредственных умозаключений

Понятие формальной правильности рассуждения относится лишь к конкретному содержанию того или иного суждения

Противопоставление предикату представляет собой соединение превращения с обращением

Умозаключение - форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение

Условно-категорические умозаключения называются леммами

Частноотрицательное суждение О подлежит обращению

Алетическая логика исследует логические связи высказываний, включающих такие понятия как "полагает", "знает", "доказуемо", "неразрешимо"

В форме императивов обычно выражается вид норм, именуемый командами или предписаниями

Деонтическая логика изучает свойства норм и способы их употребления и выражения в рассуждениях

Деонтическая модальность выражается в терминах необходимости-случайности, либо возможности-невозможности

Деонтическая сбалансированность означает, что в системе регулируются все предусмотренные в данной предметной области действия, и в ней нет нерегулируемых действий

Достоверность относится к такой модальной характеристике суждения, которая изменяется по степеням

Истинность и ложность фактически случайных суждений определяется конкретными эмпирическими условиями

Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора

К логически истинным относят суждения, выражающие законы логики

Логика времени начала складываться в античности

Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и исчезновение

Модальные сложные суждения - суждения, выражающие характер связи между субъектом и предикатом с помощью модальных понятий или модальных операторов:

Основной функцией суждения является отражение связей между предметом и его признаком:

Оценочные понятия "лучше", "хуже", "равноценно" являются абсолютными

Понятия "обязательно", "запрещено" и "разрешено" являются взаимно определимыми и могут быть выражены друг через друга

Проблематические суждения характеризуют наличие или отсутствие у предмета некоторого свойства

Фактически необходимыми являются суждения, в которых содержится информация о законах науки

"Ни одно S не есть P" является символическим выражением общеотрицательного суждения

Несравнимые суждения имеют общие пропозициональные переменные

Побудительное предложение является суждением

Предложение "Кто считается основателем науки логики?" является суждением

Противоречащие суждения могут быть одновременно истинными

Суждение "Иванов выполнил задание быстрее Петрова" относится к экзистенциальным

Суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса, называется общим

Суждение, выражающее принадлежность предмету некоторого признака, называется утвердительным

Суждение, состоящее из двух простых суждений, связанных логической связкой "если ..., то ...", называется условным