Вопросы для повторения

1. В чем сущность и практическое значение логических операций обобщения и ограничения понятий?

2. Сформулируйте закон обратного отношения между объемом и содержанием понятия.

3. Что такое определение понятия (дефиниция)? Назовите виды определения.

4. Сформулируйте правила логической операции деления понятий и укажите возможные ошибки.

5. Докажите с помощью круговых схем и разнонаправленной штриховки законы логики классов.

Суждение § 1. Суждение как форма мышления

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

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

В традиционной логике установилось членение суждения на субъект, предикат и связку.

Субъект– часть суждения, в которой выражается предмет мысли.

Предикат– часть суждения, в которой что-либо утверждается либо отрицается о предмете мысли. Например, в суждении «Земля – планета Солнечной системы» субъектом является «Земля», предикатом «планета солнечной системы». Нетрудно заметить, что логический субъект и предикат не совпадают с грамматическими, т.е. с подлежащим и сказуемым. Вместе субъект и предикат называютсятерминамисуждения и обозначаются соответственно латинскими символамиSиP.

Кроме терминов суждение содержит связку. Как правило, связка выражается словами «есть», «суть», «является», «быть». В приведенном примере она опущена.

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

По характеру предиката все суждения делятся на суждения свойства (атрибутивные суждения) и суждения отношения.

Атрибутивные суждения– суждения, в предикате которых выражаются свойства или признаки предмета. Например, «Человек – разумное существо».

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

Логическая схема категорического (атрибутивного) суждения SестьP.

Суждения отношения(релятивные) – суждения, в предикате которых выражаются отношения между предметами. Например, «Иван любит Марью», «Волга длиннее Оки», «Свой дурак дороже чужих умников» и т.д.

В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные, n-членные отношения. Например, в суждении «Иван брат Петра» мыслится двухчленное отношение, «Москва расположена между Брестом и Кировым» - трехчленное отношение. Соответственно этому выделяют суждения с двух-, трех-,n-местными предикатами, где в предикатеRфиксируется определенное отношение, а в субъектеx₁, …x_n– предметы, вступающие в это отношение.

Структура суждения отношения символически записывается так:

R (x₁, … x_n).

В настоящее время наиболее разработанной является теория двухчленных (бинарных) отношений.

Свойства бинарных отношений

1. Отношение рефлексивности

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

Символически это отношение записывается так: .

Примером рефлексивных отношений будут отношения «равенство», «эквивалентность», «тождество».

Отношение антирефлексивности.Отношение называется антирефлексивным, если ни один предмет данного класса не находится в этом отношении к самому себе. Таковы отношения «отцовство», «больше», «неравенство».