17. Распределенность терминов в суждениях. Правила распределенности терминов

технич. выражение, используемое традиц. логикой в теории суждения и умозаключения. Говорят, что термин распределен, если он мыслится во всем объеме. Во всех остальных случаях термин наз. нераспределенным. Напр., в суждении "все квадраты – прямоугольники" термин "квадрат" – распределен, поскольку в данном суждении речь идет о всем объеме понятия "квадрат", т.е. о всех квадратах. Приняты след.правила Р. т. в с.: субъект суждения распределен во всех общих суждениях и не распределен в частных суждениях, предикат суждения распределен во всех отрицат. суждениях и не распределен в утвердит. суждениях. Обычно эти правила иллюстрируются с помощью кругов Эйлера, представляющих объемы понятий (0%BA%D0%BB%D0%B0%D1%81%D1%81%D1%8B"классы). Напр., Р. т. в с. вида "все S суть P", в к-ром класс S целиком включается в класс P, изображается след.образом:

Для наглядности класс S ограничен сплошной линией, т.к. имеются в виду все S, а класс Ρ – пунктирной линией, т.к. неизвестно, каковы границы класса P: в зависимости от конкретного значения Ρ он может или совпадать с S ("все квадраты – прямоугольники с равными сторонами"), или быть больше S по объему ("все квадраты – параллелограммы"), но S всегда совпадает по крайней мере с частью Р.

Устанавливая правила Р. т. в с., иногда принимают во внимание деление суждений на выделяющие и невыделяющие. В связи с этим правила Р. т. в с. общеутвердительных и четноутвердительных формулируются несколько иначе. Однако следует учитывать, что проблема Р. т. в с. этого типа носит особый характер, поскольку предполагает привлечение дополнит.сведений об отношении классов S и P, и что, следовательно, ее нельзя смешивать с проблемой Р. т. в с., взятом безотносительно к упомянутым дополнит. сведениям.

18. Логические отношения между суждениями. Логический квадрат.

Отношения между суждениями основаны на сходстве по смыслу и логическими знаниями (истинности или ложности). Отношения устанавливаются только между сравнимыми суждениями, то есть имеющими общий смысл. Отношения рассматриваются с помощью логического квадрата. Среди сравнимых суждений различаются совместимые и несовместимые. К совместимым относятся A и I, Е и О. Они могут быть одновременно истинными.

З вида совместимости:

" эквивалентная.

Пример: Это стол - It'stable.

" частичная совместимость. I и О могут быть одновременно истинными, но не ложными.

Пример: "Некоторые злаки ядовиты" - "Некоторые злаки не являются ядовитыми".

" подчинение. A - I, E-O. При истинности общего частное всегда истинно, при ложности - ложно.

Отношения несовместимости:

A-E, A-O, E-I.

" Противоположность (контрарность). A-E. Суждения не могут быть одновременно истинными, но могут - ложными.

Пример: "Все судьи - юристы" - "Ни один судья не является юристом".

" Противоречие (контрадикторность). A-O, E-I. Суждения не могут быть одновременно ни истинными, ни ложными.

Пример: "Все люди любят жизнь" - "Некоторые люди не любят жизнь".

Логический квадрат.

Это объединенная классификация суждений по количеству и качеству.

Пример: Общеутвердительное: общее по количеству, утвердительное по качеству. "Все S есть P".