Логическая форма умозаключения

Полный список ответов по логике

Умозаключение – это форма мышления, в которой из нескольких суждений называем посылками вытекает новое суждение называемое заключением или выводами:
1) Непосредственные - вывод делается из одного посыла
2) Опосредованные-вывод делается из нескольких посылов.

Вопрос как логическая форма

Полный список ответов по логике

Вопрос — это выраженная в вопросительном предложении мысль, направленная на уточнение или дополнение исходного, или базисного знания.

Ответ — новое суждение, уточняющее или дополняющее в соответствии с поставленным вопросом исходное знание.

Виды вопросов: Исследовательские – направлены на получение нового знания и Информационные – имеют своей целью приобретение и передачу уже имеющегося знания. Категориальные – вопросы включающие в себя слова «что?», «где?», «когда?» и Пропозициональные – вопросы, направленные на подтверждение или отрицание уже имеющейся информации.

Логические операции с простыми суждениями

Полный список ответов по логике

Обращение – преобразование простого суждения при котором S и Р меняются местами. Все акулы являются рыбами – Некоторые рыбы являются акулами.
Общеутвердительные А – А (равнозначность) (Менделеев – создатель периодической системы) и в I (подчинение).
Частноутвердительные I – в I (пересечение) (некоторые школьники – это спортсмены) и в А (подчинение) (Все акулы – рыбы).
Общеотрицательные E – Е (несовместимость) (Все планеты не являются звездами – Все звезды не являются планетами)
Частноотрицательные О – не обращаются

Простые суждения

Полный список ответов по логике

Простые категорические суждения – наиболее распространенная форма выражения мыслей, поэтому в логике им уделяется значительное внимание.
Существует 4 вида:
общеутвердительные (обозначаются буквой А). Все S есть Р. «Все студенты сдают экзамены»;
частноутвердительные (обозначаются буквой I). Некоторые S есть Р. «Некоторые студенты – спортсмены»;
общеотрицательные (обозначаются буквой Е). Ни одно S не есть Р. «Ни одна кошка не дружит с мышами»;
частноотрицательные (обозначаются буквой О). Некоторые S не есть Р. «Некоторые врачи – не окулисты». Поскольку окулисты тоже врачи, это суждение можно представить и в диаграмме:
Распределенным считается термин, мыслимый во всем объеме. Нераспределенный – если мыслится не во всем объеме, а частично.
В суждениях А : S – распределен, а Р не распределен. Исключение: общевыделяющее П: «только люди – разумные существа на земле» распределены и Sи Р (S и Р в одном круге).

Атрибутивное суждение

Полный список ответов по логике

Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.

Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

Сложные суждения

Полный список ответов по логике

Выяснив основные логические свойства простых суждений, т. е. суждений с одним субъектом и одним предикатом, обратимся теперь к Сложным суждениям, составленным из простых. Соединение двух или большего числа простых суждений в сложное производится с помощью логических союзов (пропозициональных связок или логических операторов). Такими операторами являются, знак конъюнкции (^), знак дизъюнкции (V), знак импликации (–>), знак эквивалентности (ßà), знак отрицания (~) (черта над символом). Каждый из этих операторов позволяет по установ­ленным правилам определить значение истинности сложного суждения в зависимости от истинности или ложности входящих в него простых суждений.

[Для полного ознакомления с материалом, нажмите на кнопку "подробнее"]

Отношения между суждениями

Полный список ответов по логике

Рассматривая отношения между указанными четырьмя видами суждений, необходимо предварительно уточнить ряд исходных положений. Во-первых, речь идет об отношениях между суждениями По истинности, т. е. о том, как истинность или ложность одного суждения связана с истинностью или ложностью другого. Во-вторых, указанную связь можно обнаружить лишь у суждений с Одним и тем же субъектом и предикатом. Если брать суждения с разными субъектами или предика­тами, то такую связь установить невозможно.

Для фиксации взаимоотношений суждений используется очень удобная для запоминания мнемоническая схема, получившая название «логический квадрат». Каждая линия в этой схеме изображает определенное отношение между двумя суждениями.

[Для полного ознакомления с материалом, нажмите на кнопку "подробнее"]