Логика. Ч.1. Попов Ю.П. - 41 стр.

UptoLike

Составители: 

Рубрика: 

41
общему все обстоит наоборот. Лишь когда частные суждения ложны, можно делать вывод о том, что
подчиняющее его суждение тоже ложно (если неверно, что часть предметов обладает (не обладает)
каким-то свойством, то тогда тем более неверно сказать то же самое про все). Но если частное суж-
дение истинно, то это оставляет нас в неведении относительно истинности или ложности общего су-
ждения. Мы можем, например, узнать, что некоторые медведи в данной географической зоне бурые;
это обстоятельство, однако, не позволит нам узнать, есть ли там еще и другие медведи или они все
там бурые. Итак, основываясь на выводах об истинности общего суждения S a P и S e P, можно
прийти к заключению об истинности подчиненных им суждений S i P и соответственно S o P, а от
ложности частного суждения S i P и S o P можно прийти к утверждению о ложности соответствую-
щих подчиняющих суждений S a P и S e P. При ложности же общих и истинности частных суждений
никакие выводы по линии подчинения невозможны.
И это правило тоже можно получить в качестве следствия из отношений противоречия и противопо-
ложности. Так, если общее суждение S a P (S e P) истинно, то тогда обязательно ложно противопо-
ложное ему суждение S e P (S a P), а отсюда по линии противоречия получим, что истинно подчи-
ненное по отношению к S a P (S e P) суждение S i P (S o P). И таким же путем, предположив лож-
ность частных суждений, мы придем к выводу о ложности подчиняющих их общих. При других ис-
ходных значениях рассуждения не получатся из-за того, что при ложности общих суждений не до-
пускаются выводы по линии противоположности.
Необходимо помнить о том, что теория логического квадрата построена только для неопределенно-
частных суждений, когда под словом "некоторые" подразумевается "как минимум некоторые, а мо-
жет быть и все". На определенно-частные, или выделяющие суждения с квантором "только некото-
общему все обстоит наоборот. Лишь когда частные суждения ложны, можно делать вывод о том, что
подчиняющее его суждение тоже ложно (если неверно, что часть предметов обладает (не обладает)
каким-то свойством, то тогда тем более неверно сказать то же самое про все). Но если частное суж-
дение истинно, то это оставляет нас в неведении относительно истинности или ложности общего су-
ждения. Мы можем, например, узнать, что некоторые медведи в данной географической зоне бурые;
это обстоятельство, однако, не позволит нам узнать, есть ли там еще и другие медведи или они все
там бурые. Итак, основываясь на выводах об истинности общего суждения S a P и S e P, можно
прийти к заключению об истинности подчиненных им суждений S i P и соответственно S o P, а от
ложности частного суждения S i P и S o P можно прийти к утверждению о ложности соответствую-
щих подчиняющих суждений S a P и S e P. При ложности же общих и истинности частных суждений
никакие выводы по линии подчинения невозможны.

И это правило тоже можно получить в качестве следствия из отношений противоречия и противопо-
ложности. Так, если общее суждение S a P (S e P) истинно, то тогда обязательно ложно противопо-
ложное ему суждение S e P (S a P), а отсюда по линии противоречия получим, что истинно подчи-
ненное по отношению к S a P (S e P) суждение S i P (S o P). И таким же путем, предположив лож-
ность частных суждений, мы придем к выводу о ложности подчиняющих их общих. При других ис-
ходных значениях рассуждения не получатся из-за того, что при ложности общих суждений не до-
пускаются выводы по линии противоположности.




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



                                               41