11. Виды простых суждений (суждения существования, свойства, отношений).

Простые суждения – суждения, в составе которых взаимосвязан только один субъект и один предикат.

По назначению простые суждения делятся на:

Суждения существования, в которых утверждается или отрицается существование самих объектов действительности. Характерная черта таких суждений – наличие в их составе таких слов, как: бывают, встречаются, существуют, есть.

Суждения свойств, в которых утверждаются или отрицаются определенные свойства объектов.

Суждения отношений, в которых утверждаются или отрицаются определенные отношения между объектами. Характерная черта – наличие следующих параметров: пространства, времени, величины, родства.

12. Объеденная классификация простых суждений по количеству и качеству.

В зависимости от качества делятся на: утверждающие и отрицающие. В зависимости от количества делятся на: общие и частные. Для того, что бы представить полную логическую характеристику простых суждений, эти параметры объединяются:

Общеутвердительные (класс А)

Все S есть P

Общеотрицательные (класс Е)

Все S не есть P; Ни одно S не есть P

Частноутвердительные (класс I)

Некоторые S есть Р; Это S есть Р

Частноотрицательные (класс О)

Некоторые S не есть Р; Это S не есть Р

13. Распределенность логических терминов в простых категорических суждениях.

Распределенность терминов – это количественная характеристика субъекта и предиката в суждении.

Термин считается распределенным, если его объем либо полностью включен в объем другого термина, либо полностью из него исключен. Или иначе – термин считается распределенным, если он мыслится в полном объеме. Для распределенного термина характерно кванторное слово « все», для нераспределенного – «некоторые».

Термин считается нераспределенным, если его объем совпадает частично с объемом другого термина.

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

14. Отношения между совместимыми простыми суждениями по правилам «логического квадрата».

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

Сравнимые – простые суждения, которые имеют одинаковые по смыслу субъект и предикат.

Несравнимые – простые суждения, которые различаются либо по субъекту, либо по предикату, либо по тому и другому одновременно.

Сравнимые делятся на совместимые и не совместимые.

Совместимые простые суждения могут быть одновременно истинными, несовместимые одновременно истинными быть не могут. Для совместимого простого суждения характерны отношения: тождество, частичного совпадения и подчинения.

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

Частично совпадающие – сравнимые простые суждения, которые имеют одинаковое квантарное слово, но разную логическую связку. Для частного совпадения характерно следующие условие: если одно из суждений истинно, то другое может быть истинным или ложным. Если одно из суждений ложное, то другое только истинно.

В подчинение вступают простые сравнимые суждения, которые имеют одинаковую логическую связку, но разное квантарное слово. Если общее суждение истинно, от подчиняющееся ему частное будет истинно. Если общее ложно, то подчиняющееся частное ложно или истинно.

15. Отношения между несовместимыми простыми суждениями по правилам «логического квадрата».

Для несовместных характерны отношения: противоположности и противоречия.

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

Противоречивые – простые суждения, которые имеют различное квантарное слово и разную логическую связку.

16. Коньюктивные сложные суждения и условия их истинности.

Конъюнктивное суждение – суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения. Образуется посредством логического союза конъюнкции, выражающегося грамматическими союзами « и », « да », « но», «однако».

a	b	a ∧ b
И	И	И
И	Л	Л
Л	И	Л
Л	Л	Л

17. Дизъюнктивные сложные суждения и условия их истинности.

Имеется два вида дизъюнктивных суждений: строгая ( исклю -чающая) дизъюнкция и нестрогая ( неисключающая) дизъюнкция.

Строгая (исключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинно только одно из входящих в него суждений. Например, «Данное число либо кратно, либо не кратно пяти».

a	b	a ∨ b
И	И	Л
И	Л	И
Л	И	И
Л	Л	Л

Нестрогая (неисключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинным является , по крайней мере, одно из простых суждений, входящих в сложное. Нестрогая дизъюнкция выражается посредством грамматического союза « или …или »

a	b	a ∨ b
И	И	И
И	Л	И
Л	И	И
Л	Л	Л

18.Импликативные сложные суждения и условия их истинности.

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

a	b	a → b
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

19 Эквивалентные сложные суждения и условия их истинности.

Эквивалентность – сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением , т. е . одновременно либо истинны , либо ложны . Логический союз эквивалентности выражается грамматическими союзами « тогда и только тогда, когда», «если и только если ».

a	b	a ↔ b
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И