Состав простого суждения

Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.

• Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
• Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
• Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
• Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Предика́т (лат. praedicatum — заявленное, упомянутое, сказанное) — это то, что утверждается о субъекте. Субъектом высказывания называется то, о чём делается утверждение.

Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:

• Квантор всеобщности (обозначение: , читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»).
• Квантор существования (обозначение: , читается: «существует…» или «найдётся…»).

УМОЗАКЛЮЧЕНИЕ - — мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением, или следствием. У. обычно подразделяют на дедуктивные и индуктивные. Заключения дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, с необходимостью будут истинны. Заключения индуктивных У. при истинности посылок и при соблюдении соответствующих логических правил в общем случае могут оказаться как истинными, так и ложными. Современная логика на основе различных формальных систем моделирует процессы У., протекающие в сознании человека.

Правила логики выявляются благодаря формализации конкретных содержательных У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускаются, не формулируются в явном виде и правила вывода: они применяются человеком интуитивно. Это способно привести к появлению логических ошибок. Знание всех подразумеваемых посылок, их логической формы, выявляемой благодаря формализации, а также правил логики позволяет контролировать использование различных форм в умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслительный процесс, мы часто пользуемся цепочками У. Условием правильности таких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики в каждом из используемых при этом У.

Простой категорический силлоги́зм (греч. συλλογισμός) — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (бо́льшая посылка)

Сократ — человек (меньшая посылка)

------------

Сократ смертен (заключение)

В силлогизм входит ровно три термина:

• S — меньший термин: субъект заключения (входит также в меньшую посылку);
• P — больший термин: предикат заключения (входит также в большую посылку);
• M — средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) — то, относительно чего мы высказываем (делится на два вида):

1. Определённое: Единичное, Частное, Множественное
• Единичные [суждения] — в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»
• Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объёма. Прим: «Некоторые S суть P»
• Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»
2. Неопределённое. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) — то, что мы высказываем (2 вида суждений):

• Повествовательные — это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».
• Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определённая вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

1. Суждения тождества — понятия субъекта и предиката имеют один и тот же объём. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»
2. Суждения подчинения — понятия с менее широким объёмом подчиняется понятию с более широким объёмом. Прим: «Собака есть домашнее животное»
3. Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

При определении отношения между подлежащим и сказуемым важна четкая формализация терминов, поскольку бездомная собака хоть и не является домашней с точки зрения проживания в доме, все равно относится к классу домашних животных с точки зрения принадлежности по социально-биологическому признаку. То есть следует понимать, что «домашнее животное» по социально-биологической классификации в отдельных случаях может быть «недомашним животным» с точки зрения места обитания, то есть с социально-бытовой точки зрения.

Дата добавления: 2015-11-14