Суждение как форма мышления (общая хар-ка)
Суждение-это мысль, в которой утверждается(отрицается) существование предмета, либо связь между предметом и его св-вами, либо наличие определённых отн между предметами
Выражаются: повеств предложения, риторич вопросы
Хар-ки:
значение истинности: истинно – ложно
сложные(несколько утв/отриц) – простые(1 утвержд/отриц)
суждения:
атрибутивные
с отношениями
суждения существования
Простые атрибутив суждения(состав):
субъект(S) – понятие о предмете, суждения(то о чём говорится)
предикат(P) – то, что утверждается/отрицается о предмете сужд
S и P-термины суждения
связка – соединяет S и P
- утвердительная: есть
- отрицательная: не есть
кванторные слова - указывают, относится ли предикат ко всему V S или только к его части
- квантор общности «все»(каждый, любой, ни один, всякий)
- квантор существования «некоторые» (отдельные, многие, большинство, встречаются, существуют)
суждения:
по качеству |
|||
утвердительные S есть P |
отрицательные S не есть P |
||
по количеству |
|||
общие |
частные |
единичные |
|
Все S (не)есть P |
Некоторые S (не) есть P |
Это S (не)естьP |
|
общеутвердительные |
А |
Все S есть P |
S a P |
частноутвердительные |
I |
НекоторыеS есть P |
S i P |
общеотрицательные |
Е |
Ни одно S не есть P |
S е P |
частноотрицательные |
О |
Некоторые S не есть P |
S о P |
Логические отн. Между атрибутивными суждениями
Отношения совместимости |
Отношения несовместимости |
Сравнимые сужд могут быть одновременно истинными |
Сравнимые сужд, которые не могут быть одновременно истинными |
|
|
эквиваленция |
-всегда принимают одинаковые логич значения -выражают одну и ту же мысль в разной форме -субъекты различны по форме, но равнообъёмные понятия -2 суждения, одно из которых представляет собой отрицание сужд, противоречащего друг сужд «все врачи имеют мед образов»-«Неверно, что некоторые врачи не имеют мед образов» |
подчинение |
A(подчиняющее) и I(подчиненное), E(под-щее) и O(под-ное) - из истин подчиняющего => с необходимостью истинность подчиненного - из ложности подчинён вытекает ложность подчиняющего - из истин подчинён НЕ => истин подчиняющего - из ложности подчиняющего НЕ=> ложность подчиненного |
Частичное совпадение (субконтракт-ноть) |
Между I и O - могут быть одновременно истинными - НЕ могут быть одновременно ложными - если одно ложно – друге истинно |
противоречие |
Диагонали лог. кв F и O, E и I - не могут быть одновременно истинными или ложными -всегда имеют разные значения истинности - одно из них ложно-другое истинно, и наоборот |
противопо- ложность |
Между A и E -не могут быть одновременно истинными - могут быть одновременно ложными |