Ограничение и обобщение. ПОНЯТИЙ Ограничение - логическая операция перехода от родового понятия к видовому (поэт - великий поэт - великий английский поэт ). При ограничении мы переходим от понятия с большим объемом к понятию с меньшим объемом. Пределом ограничения является единичное понятие. Обобщение - логическая операция, обратная ограничению, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков. При обобщении мы переходим от понятия с меньшим объемом к понятию с большим объемом.
Обобщение применяется во всех определениях понятий, которые даются через род и видовое отличие. II СУЖДЕНИЕ Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами (космонавты существуют, некоторые числа не являются четными). Если то, о чем говорится в суждении, соответствует действительному положению вещей, то суждение истинно.
Указанные выше суждения являются истинными, так как в них адекватно (верно) отражено то, что имеет место в действительности. В противном случае суждение ложно (все растения являются съедобными). Традиционная логика является двузначной, потому что в ней суждение имеет одно из двух значений истинно: оно либо истинно, либо ложно. В трехзначных логиках – разновидности многозначных логик – суждение может быть либо истинным, либо ложным, либо неопределенным.
В простом атрибутивном суждении имеются субъект, предикат, связка и кванторное слово. Объект атрибутивного суждения – это понятие о предмете суждения. Субъект суждения обозначается буквой S (от лат. слова subjectum). Предикатом атрибутивного суждения называется понятие о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum). Связка может быть выражена одним словом (есть, суть, является), или группой слов, или тире, или простым согласованием слов. Перед субъектом суждения иногда стоит кванторное слово: все, или ни один, или некоторые и др. Кванторное слово указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его частям.
Простые суждения, о которых шла речь, называются ассекторическими.