Читайте также:
|
Распределенность выражает количественную характеристику терминов. Термин считается распределенным, если его объем полностью включен или исключен из объёма другого термина. Термин считается распределённым, если он мыслится в полном объёме.
В общеутвердительных (А) субъект распределён, предикат не распределён (рис.1). Все караси – рыбы. Но может быть так, что S и P совпадают, к примеру: Все люди разумные существа или все квадраты – равносторонние прямоугольники (рис 2).
Общеотрицательные (Е). Оба распределены (рис 3). Ни один лев не есть травоядное животное.
Частноутвердительные (I). Ни S ни P полностью не распределены (рис 4). Исключение: Объём P полностью входит в S. Некоторые люди честны (рис 5).
Частноотрицательные (О). Объём P полностью исключен из S (рис 6). P распр, S нет.
Общая схема распределённости терминов - S всегда распределён в общих суждениях, P в отрицательных.
16. Отношения между категорическими суждениями. (“Логический квадрат”).
SaP — «Все, S есть Р» — «Все жидкости упруги»,
SiP — «Некоторые S есть Р» — «Некоторые животные говорят»,
SeP — «Все S не есть P — «Все дельфины не есть рыбы»,
SoP — «Некоторые S не есть Р» — «Некоторые металлы не есть жидкости».
Отношения между терминами в четырех видах категорических высказываний представляются с помощью кругов Эйлера.
“Логический квадрат”
Некоторые отношения между четырьмя видами категорических высказываний графически представляются так называемым логическим квадратом.
1. Противоречащие высказывания (SaP и SoP; SeP и SiP) не могут быть одновременно истинными и ложными; если одно из них истинно, то другое ложно. Так, если высказывание «Все киты дышат легкими» истинно, то высказывание «Некоторые киты не дышат легкими» ложно. Если высказывание «Некоторые медведи - не бурые» истинно, то высказывание «Все медведи — бурые» ложно.
2. Противные высказывания (SaP и SeP) могут вместе быть ложными, но не могут быть вместе истинными. Если одно истинно, то другое ложно. Так, высказывания «Все спортсмены — гроссмейстеры» и «Ни один спортсмен не гроссмейстер» оба ложны. Поскольку высказывание «У всех людей есть головы» истинно, то высказывание «Ни у одного человека нет головы» ложно; и если высказывание «Все металлы не являются газами» истинно, то высказывание «Все металлы — газы» ложно.
3. Подпротивные высказывания (SiP и SoP) не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно ложно, то другое истинно. Так, если высказывание «Некоторые овцы — хищники» ложно, то высказывание «(По меньшей мере) некоторые овцы не являются хищниками» истинно. Высказывания же «Некоторые спортсмены — футболисты» и «Некоторые спортсмены не футболисты» оба истинны.
4. В отношении подчинения находятся попарно высказывания SaP и SiP, SeP и SoP. Из подчиняющего высказывания логически следует подчиненное: из SаР вытекает SiP и из SeP вытекает SoP. Это означает, что из истинности подчиняющего высказывания логически следует истинность подчиненного, и из ложности подчиненного следует неопределенность подчиняющего, из ложности подчиняющего – неопределенность подчиненного; К примеру, из высказывания «Все киты являются млекопитающими» следует высказывание «Некоторые киты млекопитающие», а из высказывания «Все металлы не являются сжимаемыми» следует высказывание «Некоторые металлы не сжимаемы».
Еще раз подчеркнем, что противоречат друг другу высказывания «Все S есть Р» и «Некоторые S не есть Р» и высказывания «Все S не есть Р» и «Некоторые S есть Р. Высказывания же «Все S есть Р» и «Все S не есть Р», а также высказывания «Некоторые S есть Р» и «Некоторые S не есть Р» не противоречат друг другу
Дата добавления: 2015-04-22; просмотров: 75 | Поможем написать вашу работу | Нарушение авторских прав |