Проблема распределенности терминов в простом атрибутивном высказывании

Проблема распределенности терминов (S и Р) представляет собой вопрос о соотношении их объемов. Термин считается распределенным, если он целиком входит в объем другого термина или полностью из него исключается. Частичное совпадение объемов свидетельствует о том, что термины не распределены.

А – общеутвердительные

Все S есть Р.

В общеутвердительном суждении субъект распределен, а предикат – нет.

Каждый студент должен сдавать сессию

Ф.М. Достоевский – гениальный писатель XIX века

Исключением из правила является ситуация, когда и субъект и предикат являются равнообъемными именами

Минск – столица Республика Беларусь

I – частноутвердительные

Некоторые S есть Р.

В частноутвердительном высказывании ни субъект, ни предикат не распределены

Многие студенты живут в общежитии.

Исключением из правила является случай, когда субъект и предикат находятся в родовидовых отношениях

Некоторые спортсмены футболисты.

Е – общеотрицательные

Ни одно S не есть Р.

В общеотрицательных высказываниях и предикат, и субъект распределены

Ни один спортсмен не должен принимать допинг.

О– частноотрицательные

Некоторые S не есть Р.

В частноотрицательных высказываниях субъект нераспределен, а предикат – распределен

Некоторые жители города Минска не пользуются общественным транспортом

Некоторые врачи не являются хирургами

20. Логика высказываний. Отношения атрибутивных высказываний по истинности. Логический квадрат.

Среди высказываний отрицания различают высказывания с внешним и внутренним отрицанием. В зависимости от задач исследования высказывание отрицания можно рассматривать или как простое, или как сложное высказывание.

При рассмотрении высказывания отрицания как простого высказывания важной задачей является определение правильной логической формы высказывания:

- простое высказывание, содержащее внутреннее отрицание, принято относить к отрицательным высказываниям (см. «Виды атрибутивных высказывания по качеству»). Например: «Некоторые жители Республики Беларусь не пользуются банковскими кредитами», «Ни один заяц не является хищником»;

- правильной логической формой простого высказывания с внешним отрицанием является противоречащее данному высказывание с(м. «Логические отношения между высказываниями. Логический квадрат»).

Например: высказыванию «Не все люди жадные» соответствует высказывание «Некоторые люди не являются жадными».

Рассматривая высказывание отрицания как сложное высказывание, необходимо определить его логическое значение.

Исходное высказывание: Солнце светит (р).

Высказывание отрицания: Солнце не светит (┐р).

Высказывание двойного отрицания: Неверно, что солнце не светит

(┐┐р).

Высказывание отрицание истинно лишь тогда, когда исходное высказывание ложно, и наоборот. С высказыванием отрицания связан закон двойного отрицания: двойное отрицание произвольного высказывания равносильно самому этому высказыванию. Условия истинности высказывания отрицания изображены на рисунке