Логическая структура и основные характеристики понятия
Совокупность признаков, по которым обобщаются предметы в понятии, называется содержанием данного понятия, точнее было бы сказать основным содержанием. Далее, мы будем различать основное и полное содержание понятия и в связи с этим различать само понятие просто как охарактеризованное выше обобщение предметов, то есть как смысл общего имени и как некоторую систему знаний.
При корректном способе образования понятия основное содержание его – это совокупность признаков, которые все вместе достаточны, а каждый необходим для того, чтобы выделить данный класс предметов, то есть отличить эти предметы от других. Например, добавление перпендикулярности диагонали к содержанию указанного понятия квадрата делает совокупность избыточной; данный признак является производным – выводимым из основного содержания понятия квадрата.
Класс обобщаемых в понятии предметов называется его объемом. Мыслимые (обобщаемые в понятии) предметы – носители признаков, составляющих содержание понятия, – суть элементы объема этого понятия.
Части объема – это виды предметов, обобщенных в понятии, и выделение их означает выявление определенных различий внутри класса предметов. Обобщая предметы в понятиях, как было сказано, мы отвлекаемся от всяких различий внутри соответствующего класса предметов. Но когда понятие образовано, возникает обычно необходимость выявления их уже на основе полученного обобщения. Это выявление осуществляется в форме особой операции, называемой делением понятия, и представляет собой определенную конкретизацию данного понятия [2, с. 185].
Утверждение о том, что некоторый предмет а составляет элемент класса К, представляющий объем некоторого понятия, записывается в виде аК ( – знак отношения принадлежности предмета классу). Обозначением утверждения о том, что некоторый класс предметов К0 является частью (подмножеством) некоторого класса К служит: К0К. «» – знак включения класса в класс, когда К0 и К различны; когда же не исключается, что К0 совпадает с К, употребляется знак .
Имеется связь между этими отношениями: утверждение
К0К
Ясно, что если аК, где К – объем некоторого понятия, то а обладает всеми признаками, составляющими содержание этого понятия и наоборот.
Выше была указана совокупность признаков, составляющая содержание понятия «студент». Объем этого понятия есть класс всех людей, обладающих этими признаками, то есть класс всех тех, кого мы называем студентами. Отдельные люди этого множества – элементы его объема. Частями объема являются, например, множество студентов технических и гуманитарных вузов, выпускников и начинающих обучение и т.д. Следует обратить внимание на то, что объем понятия в отличие от содержания не является частью понятия как мысли. Он представляет собой класс реально или, по крайней мере, независимо от понятия существующих объектов. Указание на объем понятия при его характеристике есть указание именно на то, к чему относится данное понятие, на то, что обобщается в нем.
Для понимания структуры понятия существенно учитывать, что выделение мыслимого в нем множества предметов осуществляется всегда в пределах некоторого более широкого класса. Интересующие нас предметы мы мыслим в понятии как вид предметов некоторого рода, как нечто особенное пределах чего-то общего. Так, треугольники мыслятся как вид плоских геометрических фигур; деревья – как вид растений; хозрасчет – как вид способов (методов) ведения хозяйства и т.д.
В соответствии с этим среди признаков, составляющих содержание понятия, выделяются родовые и те, что составляют видовые отличия мыслимых в понятии предметов. Так, например, в формулировке понятия квадрата: «Четырехугольник с прямыми углами и равными сторонами» или более развернуто: «Плоская, замкнутая, ограниченная четырьмя равными сторонами фигура, все стороны которой равны и утлы прямые» – слова «плоская, замкнутая, ограниченная четырьмя сторонами фигура» указывают родовые признаки понятия, а «прямоугольность» и «равносторонность» составляют видимое отличие «квадрата», именно то, что выделяет квадраты в множестве четырехугольных геометрических фигур. Род понятия составляет субстанционная часть, а видовое отличие – его атрибутивная часть.