Общая характеристика суждения. Урок 10

1.

Урок 10
Общая характеристика
суждения
Абраменко М. В.

2.

Суждение
Суждение
– это такая связь
между понятиями, в которой
фиксируется наличие или
отсутствие у предмета
определенных признаков.
Например:
«Тбилиси – столица
Грузии», «Все люди смертны»,
«Некоторые смартфоны сделаны
в Китае».

3.

Неопределенное суждение
Традиционная логика является двузначной, потому что
в ней суждение имеет одно из двух значений
истинности: оно либо истинно, либо ложно.
В трехзначных логиках - разновидности многозначных
логик - суждение может быть либо истинным, либо
ложным, либо неопределенным.
Например, суждение “На Марсе есть жизнь” в настоящее
время не является ни истинным, ни ложным, а
неопределенным.
Многие суждения о будущих единичных событиях
являются неопределенными. Об этом писал
Аристотель, приводя пример такого неопределенного
суждения: “Завтра необходимо будет морское сражение”.

4.

В структуру суждения входят:
1 Субъект (обозначается буквой
S) – понятие, о котором идет
речь в суждении.
Например, в суждении «Все
яблоки являются фруктами»
речь идет о яблоках,
соответственно, субъектом
данного суждения выступает
понятие «яблоки».
S = яблоки.

5.

В структуру суждения входят:
2. Предикат (обозначается буквой Р) –
то, что говорится о субъекте.
Понятие, с помощью которого что-то
утверждается или отрицается о
субъекте.
Например, в том же суждении «Все
яблоки являются фруктами» о субъекте
(о яблоках) говорится, что они –
фрукты, соответственно, предикатом
данного суждения выступает понятие
«фрукты».
P = фрукты.

6.

В структуру суждения входят:
3.
Связка – то, что соединяет
субъект и предикат и
показывает качество
суждения (положительное
или отрицательное).
В роли связки могут
использоваться слова
«есть»/«не есть»,
«является»/«не является»,
«это» и т.п.

7.

В структуру суждения входят:
4.
Квантор – это
указатель на объем
субъекта, он указывает
на количество.
В
роли квантора могут
использоваться слова
«все» (∀), «некоторые»
(∃), «ни один» и т.п.

8.

Все S есть P
Исходный
пример «Все яблоки
являются фруктами» можно
схематично записать так:
«Все S есть P» или «∀S есть P»

9.

Виды суждений

10.

I. Истинные или ложные
Истинные
суждения
утверждают реально
существующие или
отсутствующие свойства и
отношения между предметами.
Например:
«Все яблоки –
фрукты», «Все люди смертны».
В
обоих случаях суждения можно
записать, как «Все S есть P».

11.

I. Истинные или ложные
Ложные суждения утверждают
отношение, которое в
действительности не имеет
места, или отрицает
существующую в
действительности связь.
Например: «Все яблоки – овощи»
(«Все S есть P»), «Некоторые
звери являются птицами»
(«Некоторые S есть P»).

12.

II. Простые или сложные суждения.
Простым называется
суждение, в котором есть
один субъект и один
предикат.
Например: «Все короли –
люди» («Все S есть P»),
«Некоторые люди –
короли» («Некоторые S
есть P»).

13.

II. Простые или сложные суждения.
Сложным
называется суждение,
которое состоит из
нескольких простых.
Например: «Людовик
XVI – король, кроме
того, он известный
человек».

14.

Виды простых суждений

15.

Простые суждения, в зависимости от
логического содержания, делятся на
–
ассерторические,
– модальные.

16.

Ассерторические суждения
просто констатируют факт, не
давая ему каких-нибудь
дополнительных оценок.

17.

В зависимости от того, что утверждается или
отрицается в ассерторическом
суждении, они делятся на:
Атрибутивные
суждения –
суждения о признаке, свойстве
предмета. В них утверждается
или отрицается связь между
предметом и его признаком.
Например:
«Все кошки красивы»
(«Все S есть P»), «Некоторые
кошки черные» («Некоторые S
есть P»).

18.

В зависимости от того, что утверждается или
отрицается в ассерторическом
суждении, они делятся на:
Суждения с отношениями – отражают
отношения между предметами (это могут быть
отношения равенства, неравенства, родства,
пространственные, временные, причинноследственные отношения).
Например: «А=В», «Людовик XVI – сын Людовика
XV», «Расстояние от Санкт-Петербурга до
Хельсинки меньше, чем расстояние от СанктПетербурга до Москвы».
Схема такого суждения А R B, где А и В – имена
предметов, а R отношение между ними.

19.

В зависимости от того, что утверждается или
отрицается в ассерторическом
суждении, они делятся на:
Экзистенциальные суждения
(суждения существования) – отражают
факт существования или
несуществования предмета суждения.
Например: «Мир существует», «Нет
дыма без огня», «Нет людей без вредных
привычек».
Предикаты данных суждений – это
понятия о существовании или
несуществовании. Связка чаще всего в
языке не выражается.

20.

Ассерторические суждения бывают
категорическими, условными и
разделительными
Категорические суждения – такие, в которых
предикат утверждается или отрицается
относительно субъекта без формулирования
каких-либо условий.
В них точно выяснены их качество (являются или
не являются) и количество (все или некоторые).
Соответственно, категорические суждения
бывают утвердительными или
отрицательными, а также общими, частными
или единичными.

21.

Утвердительные или отрицательные

22.

Утвердительные суждения
Утвердительные
суждения
выражают принадлежность
предмету некоторого
признака.
Например: «Все философы –
люди» («Все S есть P»),
«Некоторые дети – учащиеся»
(«Некоторые S есть P»).

23.

Отрицательные суждения
Отрицательные
суждения
выражают отсутствие у предмета
некоторого признака.
Например:
«Ни одно яблоко не
является овощем» («Ни одно S не
есть P»), «Некоторые дети не
учатся» («Некоторые S не есть P»),
«Некоторые люди бессмертны»
(«Некоторые S не есть P»).

24.

Общие, единичные или частные

25.

Общие суждения
Общие
суждения имеют структуру: «Все S
есть/не есть P».
В
них нечто утверждается или отрицается
относительно всех объектов данного
класса.
Например:
«Все люди не жирафы», «Все
машины созданы человеком» и т.д.

26.

Единичные суждения
Единичные суждения имеют
структуру: «Это S есть/не есть P».
Их субъектом является единичное
понятие, т.е. понятие, объем которого
исчерпывается лишь одним
элементом.
Например: «Вашингтон – столица
США», «Амазонка – самая длинная
река в мире», «Сократ – учитель
Платона» и т.д.

27.

Частные суждения
Частные суждения имеют структуру: «Некоторые
S есть/не есть P».
Они, в свою очередь, делятся на определенные и
неопределенные
Неопределенные частные суждения не
устанавливают, все ли субъекты данного объема
понятия обладают указанным признаком или нет.
Например: «Некоторые кошки прекрасны». Мы не
установили и не указали, есть ли в
действительности какие-нибудь безобразные
кошки.

28.

Определенные частные суждения
Определенные частные суждения
определяются по кванторным словам только,
большинство, почти все, многие, немало,
несколько, не все, меньшинство и т.д.
В них установлено, что «только некоторые S
обладают признаком P».
Например: «Только люди обладают
мышлением», «Почти все собаки верны»,
«Меньшинство кошек послушны» и т.д.

29.

Все простые суждения делятся на
четыре вида:
объём
субъекта может быть
общим («все» – для обозначения
этого слова употребляется квантор
∀) или частным («некоторые» –
квантор ∃), а связка может быть
утвердительной («есть») или
отрицательной («не есть»).

30.

Таким образом, получаются такие
четыре вида:
Общеутвердительные суждения : «Все
S есть Р» («∀ S есть Р»)
1.
Частноутвердительные суждения :
«Некоторые S есть Р» («∃ S есть Р»)
2.
Общеотрицательные суждения : «Все S
не есть Р («Ни одно S не есть Р»), ( «∀ S не
есть Р»)
3.
Частноотрицательные суждения :
«Некоторые S не есть Р» («∃ S не есть Р»)
4