Ограничение – логическая операция перехода от родового понятия к видовому. Предел ограничений – единичное понятие.

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

Изменяя объем исходного понятия, меняем его содержание.

Определение понятий.

Определение понятия - раскрытие содержания понятия или значения его термина.

Понятие, содержание которого надо раскрыть, называется определяемым. Понятие, посредством которого оно определяется – определяющим понятием. Правильное определение устанавливает между ними отношения равенства (эквивалентности).

Определения : явные (объемы определяемого и определяющего понятий равны) и неявные.

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

Явные определения: реальные( определяют само понятие) и номинальные определения (определение понятие через другое понятие или знак).

Правила явных определений:

1) определение должно быть соразмерным объем определяемого и определяющего равны. Ошибки:

- широкое определение,

- узкое определение, определение, широкое в одном отношении, узкое в другом;

2) определение не должно содержать круга,

3) определение должно быть четким, ясным.

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

Приемы, сходные с определением понятий: сравнение, описание, характеристика, разъяснение посредством примера.

Деление понятий.

С помощью определения раскрывается содержание понятий;

с помощью деления - объем.

Деление – логическая операция, позволяющая с помощью избранного основания деления распределить объем делимого понятия на ряд членов.

Правила деления:

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

- Деление должно производиться только по одному основанию.

- Члены деления должны исключать друг друга.

- Деление должно быть непрерывным (нельзя делать скачки в делении).

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

3. Суждение

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

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

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

Элементы простого атрибутивного суждения: субъект, предикат, связка, кванторное слово (показывает относится ли суждение ко всему объему понятия, или к его части). Ассерторические суждения.

Суждения и предложения. Суждения выражаются в виде повествовательных предложений, содержащих информацию сообщение.

Виды предложений :

- повествовательные (кроме односоставных безличных предложений, которые являются суждениями лишь при рассмотрении их в контексте и уточнении);

- вопросительные (не содержат суждения, кроме риторических вопросов);

- побудительные (не содержат суждения, кроме команда и приказов, содержащих модальные суждения).

-

Простое суждение.

Виды простых ассерторических суждений (один субъект и один предикат):

- суждения свойства (отрицается или утверждается принадлежность предмету свойств, состояний, видов деятельности) – ( S есть p),

- суждения с отношениями (отношения между предметами)- (aRb, R (a _1,  a₂ , a_n), где a ,b –имена предметов, R –отношения) ),

- суждения существования (экзистенциональные) – утверждается или отрицается существование предметов в действительности

– категорические суждения.

Виды категорических суждений по качеству связки: утвердительные (более значимы) и отрицательные.

Виды категорических суждений по субъекту:

- общие (выделяющиеся, исключающие),

- частные (определенные и неопределенные), единичные.

Объединенная классификация простых категорических суждений по количеству и качеству:

- A - общеутвердительное суждение (Все S есть p)

- I - частноутвердительные суждения (Некоторое S есть p )

- E - общеотрицательное (Ни Sодно не есть p)

- O - частноотрицательное (Некоторые S не есть p).

Распределенность (полное включение - исключение одного понятия в другое) )терминов в простых категорических суждений: субъект ( S) распределен в общих суждениях и не распределен в частных; предикат (p) распределен в отрицательных суждениях, а в утвердительных – только если предикат больше или равен субъекту по объему – p S/

.