Суждения

Суждение – это форма мысли, посредством которой что-либо утверждается или отрицается о существовании предметов и явлений, о связи м/у ними и которая принимает логическое значение истинности или ложности.

Состав простого категорического суждения – это такое суждение, в котором что-либо утверждается или отрицается о предмете (осёл – это животное). Состоит из 3-х элементов:

1. Субъект – это часть суждения, которая выражает предмет мысли. (о чем говориться в этом суждении)
2. Предикат – это та часть суждения, в которой что-либо утверждается или отрицается о предмете мысли. Понятие отражающее признак предмета.
3. Связка, существующая между объектом и предикатом, характеризует принадлежность к предмету мысли какого-либо св-ва, отраженного предикате или отсут-е этого св-ва. (Н: есть, является и т.д.)

Субъект и предикат – термины суждения. В зависимости от характера предиката все суждения делятся на 3-и группы:

1. Атрибутивные – такие суждения, в предикате которых выражены свойства или признаки предметов. Отражают принадлежность(-не) предмету мысли того или иного св-ва/сост-я. Квантор- связка для атрибутивных суждений. Кванторное слово указ-т относиться ли признак выражаемый в предикате ко всему или к части объема субъекта.
2. Релятивные (сужд-я отношений) – такие суждения, в предикате которых выражены не свойства или признаки предметов, а отношения между ними (Н: Волга длиннее Оки). В этих суждениях нет суб-та, есть только n-местный предикат. 2-х местн-й - Иван старше Петра и т.д.
3. Экзистенциональные (суждение существования) –В суждении указывается на факт наличия или отсутствия предмета мысли.

Общая характеристика атрибутивных суждений проводится по качеству и по количеству.

По качеству:

Утвердительные – это такие суждения, которые что-либо утверждают о предмете (Луна спутник Земли). Выраж. принадл-ть предмета к некоторому признаку.

Отрицательные – это такие суждения, в которых что-либо отрицается, т.е. отсутвие у предмета некоторого признака (некоторые люди не честны).

По количеству (объему):

Единичные – это такие суждения, в которых нечто утверждается или отрицается об одном единственном элементе.

Частные – это такие суждения, в которых что-либо утверждается или отрицается относительно части предметов некоторого класса (некоторые люди невежественны). S - P

Общие – такие суждения, в которых что-либо утверждается или отрицается относительно всего объема субъекта  (все люди желают счастья).S - P

Объединённая классификация по качеству и количеству:

Общеутвердительные – это такие суждения, которые являются общими по количеству (V), и утвердительными по качеству (Все металлы проводники). А схема: Все S суть P

Частноутвердительные – это частные суждения поV суб-та и утвердительные по качеству. J схема: Некоторые S суть P.

Общеотрицательные – это суждения, которые являются общими по количеству, отрицательными по качеству. E схема: Ни одно S не есть P

Частноотрицательные – частные по количеству и отрицательные по качеству. O схема: Некоторые S не суть P

Единичные суждения не выделяются в особую группу, они рассматриваются как общие суждения, потому-что и в общем и единичном суждении утверждение или отрицание производится в отношении всего объёма суждений.

Символическое выражение атрибутивных суждений. Квантор – указатель количества суждений. Имеет место два квантора: Квантор общности ∀ - всякий икс. Квантор существования, частный квантор ∃- некоторый икс, существуют такие икс. Два логических союза: Импликация – соответствует грамматическому союзу если то, обозначается → или ⊃. Конъюнкция – соединение, соответствует союзам и, да, но, однако ⋀. Символ “-” это отрицание суждения, то P- читается как “не P”, можно также ставить отрицание сверху

∀ (x)(S(x) ⊃ P(x)) - Все эсс суть пэ. Развёрнутая формулировка – для всякого икс верно, что если он обладает свойствами S, то обладает свойством P.

∀ (x)(S(x) ⊃ P-(x)) – Ни одно S не суть P. Для всякого икс верно, что если он обладает свойствами S, то не обладает свойствами P.

∃ (x)(S(x) ⋀ P(x)) – Некоторые S суть P. Существуют такие икс, которые обладают свойствами S и свойствами P.

∃ (x)(S(x) ⋀ P-(x)) – Некоторые S не суть P. Существуют такие икс, которые обладают свойствами S, но не обладают свойствами P.