Обобщение и ограничение понятий

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

Произведенная логическая операция есть операция ограничения понятия. Приведем еще пример. Дано понятие "населенный пункт". Ограничив его, получим понятие: "город", "столица", "столица Индии".

Мы видим, что при ограничении происходит переход от понятия с большим объемом к понятию с меньшим объемом, т.е. от рода к его виду и от вида к подвиду. При этом добавляются новые признаки, позволяющие сузить объем данного понятия.

Ограничение - это логическая операция перехода от родового понятия к видовому путем добавления к содержанию данного родового понятия видообразующих признаков.

Пределом ограничения является единичное понятие; в приведенных выше примерах это были понятия: "выдающийся русский ученый-физиолог И.П. Павлов" и "столица Индии".

Обратная ограничению операция обобщения понятия состоит в переходе от видового понятия к его родовому понятию, т.е. от понятия с меньшим объемом к понятию с большим объемом. Эта операция совершается путем отбрасывания видообразующего признака (признаков). Например, обобщая понятие "сиамская домашняя кошка", получим следующее понятие: "домашняя кошка", "кошка", "млекопитающее животное", "позвоночное животное", "животное", "организм".

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

Пределом обобщения являются категории.

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

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

Законы логики, позволяющие осуществлять отрицание сложных суждений различных видов

Два суждения называются отрицающими или противоречащими друг другу, если одно из них истинно, а другое ложно (т.е. они не могут быть одновременно истинными или одновременно ложными).

Отрицающими являются следующие пары суждений:

А-О. "Все S есть P" и "Некоторые S не есть Р".

Е-I. "Ни одно S не есть Р" и "Некоторые S не есть Р".

"Это S есть Р" и "Это S не есть Р".

Операцию отрицания в виде образования нового суждения из данного следует отличать их отрицания, входящего в состав отрицательных суждений. Существует два вида отрицания: внутреннее и внешнее. Внутреннее указывает на несоответствие предиката субъекту (связка выражена словами: "не есть", "не суть", "не является"). Например, "Некоторые люди не имеют высшего образования". Внешнее отрицание означает отрицание всего суждения. Например, "Не верно, что в Москве протекает река Нева".