Тема 3: Суждение – логическая форма мышления План

1. Суждение. Общая характеристика. Суждение и предложение. Структура суждения

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

3. Объединённая классификация простых суждений. Распределённость терминов

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

5. Сложные суждения. Виды, отношения между ними.

Вопрос 1.

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

Некоторые важные свойства суждения:

1. Любое суждение состоит из понятий, связанных между собой;

2. Любое суждение выражается в форме предложений, но не всякое предложение может выражать суждение;

3. Любое суждение может быть истинным или ложным;

4. Суждения бывают простыми и сложными.

Структура суждения:

1. Субъект – понятие, отражающее предмет мысли, то, о чём мыслится в данном суждении и обозначается латинской буквой «S»;

2. Предикат суждения – понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения и обозначается латинской буквой «P»;

3. Связка – это то, что соединяет субъект и предикат, обозначается знаком «тире», выражена словом или группой слов: «есть», «суть», «не являются», «имеется», «это» и т.д.;

4. Квантор – это указатель на объём субъекта. Находится перед субъектом и обозначается словами: «все», «некоторые», «многие», «большинство», «не все», «ни один» и т.д. Однако, квантор может и отсутствовать.

Состав суждения можно выразить общей формулой: S есть (не есть) P.

Вопрос 2.

Классификация простых суждений:

1. По содержанию р –

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

В логике атрибутивные суждения называют категорическими, в которых отношение между S и Р - выражаются вполне определённо, без каких – либо условий, вариантов. Логическая форма: S есть (не есть) Р;

б) Суждения отношения (релятивные) – отражают отношение между предметами: отношения равенства, неравенства, родства, пространственные, временные, причинно – следственные и т.д.

Логическая формула: XRY (где, X и Y – члены отношения, а R – отношение);

в) Суждение существования (экзистенциальные) (в переводе с латинского – «существование») – отражают сам факт существования или не существования предмета суждения. Логическая форма: S - Р.

2. По объёму субъекта (по количеству) –

а) Единичные – суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения.

Их формула: Это S есть (не есть) Р.

б) Частные – суждения, в которых что – либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определённой и неопределённой, поэтому частные суждения бывают определёнными, т.е. содержат знания и о той, и о другой части субъекта суждения. Логическая схема: Только некоторые S есть (не есть) Р.

Неопределённые имеют схему: Некоторые S (не есть) Р, причём квантор №некоторые» содержит неопределённость.

в) Общие – в которых что – либо утверждается или отрицается о каждом предмете данного класса.

Логическая схема: Все S есть Р или Ни одно S не есть Р.