Логика. Погудина Т.В. - 27 стр.

UptoLike

ВУЗ: 

ТулГУ | Тула

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

Рубрика: 

званы решать вопрос о наличии или отсутствии предмета нашей мысли. На-
пример, ""у нас существует демократия" или "у нас не существует свободы".
В традиционной логике все три указанных вида представляют собой простые
категорические суждения.
В данных суждениях не только устанавливается
связь предмета и признака, но и дается определенная количественная харак-
теристика. В зависимости от этого суждения делятся на общие и частные.
Общие суждения - это суждения типа "Все S есть /не есть/Р ". Слово "все"
означает каждый предмет соответствующего класса. Суждения типа "Неко-
торые S есть /не есть/Р" являются частными в том случае..если слово "неко-
торые" означает "только некоторые" или "некоторые, но не все". Примеры:
"Все воробьи является птицами" - общее, "Некоторые люди
являются спорт-
сменами” - частное суждение. По качеству связки все суждения делятся на
утвердительные
и отрицательные. Например, суждение " S есть Р" является
утвердительным, a " S не
есть Р" - отрицательным.
Объединенная классификация суждений по количеству и качеству выде-
ляет 4 типа суждений: "Все S есть Р" - общеутвердительное суждение;
"Ни
один S не есть Р" - общеотрицательное суждение;
"Некоторые есть Р" - част-
ноутвердительное суждение: "Некоторые S не есть Р" - частноотрицательное
суждение. Примеры: "Все люди являются смертными", "Ни один человек не
является бессмертным", "Некоторые люди являются музыкантами", "Неко-
торые люди не являются музыкантами".
0бщеутвердительные суждения обозначаются буквой "А" или "SaP", част-
ноутвердительные - буквой "I" или "SiP", общеотрицательные буквой "Е"
или "SeP", частноотрицательные - "О" или "SoP'. Отношения между терми-
нами в четырех видах суждений представляются с помощью кругов
Эйлера
следующим образом:
Рисунок 1.
SaP
P
S
S.P

Страницы