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

Сложные суждения – можно выделить части-суждения.

Состоят из простых, соединённых союзами, отрицания и модальными терминами (возможно, необходимо, случайно и т.д.).

1)Соединительные «И»

-неопределённо-конъюнктивные (просто 2 суждения) &

-последовательно-конъюнктивные (и=а затем) T₁, T_2, T₃

-одновременно конъюнктивные (и=одновременно) _׀_

2) Разделительные «Или»

-дизъюнктивные (хотя бы 1 из 2, но можно и 2 из 2) V

-строго-дизъюнктивные (только 1 из 2, т. е. взаимоисключающие: «или, или») ­­ V

3) Условные «если...то» ﬤ

Е

Условия:

-достаточные (есть условие → всегда будет событие)

-необходимые (нет условия → никогда нет события)

СЛИ основание, ТО следствие.

антецедент консеквент

-импликация -> (если…то)

- контрфактическая импликация (если бы…то бы) т.е. антецедент не имеет места в реальности, но если бы он был…то

4) Эквивалентные «если, и только если,…то…» <->, Ξ

-эквивалентность <–> (если и только если...то; тогда и только тогда… когда) взаимообусловленность: солнце в зените, когда не видно теней <-> теней не видно, когда солнце в зените

-материальной эквивалентности Ξ

5) С внешним отрицанием «неверно, что» _­­¬

__________________________________________

Ассерторические суждения – утверждения или отрицания.

Алеатические модальные суждения – сильные/слабые утверждения/отрицания (необходимо, возможно, случайно), т.е. суждения с LMC.

L - необходимо

M - возможно

C – случайно

а) логически LMC

б) фактически LMC

На Луне есть жизнь (логически возможно, но не возможно фактически)

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

1)Совместимость по ложности (могут оба быть ложными)

2)Совместимость по истинности (могут оба быть истинными)

3)Отношение логического следования (А => B)

4)контрарности (противоположности) (+ по ложности, - по истинности)

5)субконтрарности (подпротивоположности) (- по ложности, + по истинност)

6) Эквивалентность (одинаковые)

7)отношения Подчинённости ( А => В, но из В не следует А)

8)Контрадикторности (противоречия) (-по ложности, -по истинности)

9) логическая Независимость (+по ложности, +по истинности, нет следования)

I Сначала устанавливаем следование

II Если нет следования (и->л, л<-и), то ищем

производные отношения.

А-каждый S+ есть P- (SaP)

E-каждый S+ не есть P+ (SeP)

I-некоторые S- есть P-(SiP)

O-некоторые S- не есть P+ (SoP)

9.Отрицательные суждения

Отрицания – операция, в результате которой получают суждение, находящееся в отношении контрадикторности (противоречия) с исходным.

1)отрицание атрибутивного суждения меняет его качество и количество (Каждый из нас умеет говорить = Некоторые из нас не умеют говорит)

2)суждения об отношениях меняет его качество и количество (Некоторые отечественные машины лучше иностранных = Ни одна отечественная машина не лучше иностранной)

3)отрицая утвердительное, получаем отрицательное и наоборот

4)отрицая общее, получаем частное и наоборот

5)отрицая неопределённую конъюнкцию, получаем нестрогую дизъюнкцию +2см. на листке

6)отрицая нестрогую дизъюнкцию, получаем неопределённую конъюнкцию +1см. на листке (или А, или B = (А и B) или (не А и не B))

7) отрицая импликацию, получаем нестрогую конънкцию с отрицательным антецедентом (А=>B = А и не B)

3 вида отрицания:

1) внешние (не SaP)

2)качественные (есть-не есть)

3) отрицание предиката (по смыслу = качественным)