Понятие - это одна из базовых форм абстрактного мышления. Собственно, абстрактное мышление часто называют понятийным. Формируя понятия в науке с помощью понятий отражаются изучаемые предметы, явления процессы. Таковые берутся в обобщенной форме на основании некоторых существенных признаков.
Для образования понятия необходимо найти и обосновать существенные признаки предмета. Чтобы их вскрыть, используют следующие логические приемы: анализ, синтез, сравнение, абстрагирование, обобщение и др.
В логике признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство (черта, состояние, отношение) также рассматривается как его признак. Любой реальный предмет имеет множество разнообразных признаков. Признаки, которые необходимо принадлежат предмету, выражают его внутреннюю природу, называются существенными. Признаки, которые могут принадлежать, но могут и не принадлежать предмету и которые не выражают его природы, называются несущественными.
Образование понятий сопряжено с их обозначением, поиском словесных выражений мысли о предмете. Мы не придумываем для каждого отдельно существующего предмета свое специфическое название, самостоятельное слово. В мышлении и общении люди вполне обходятся ограниченным количеством слов, поэтому словарный запас нашего языка намного меньше числа обозначаемых с помощью слов предметов. Каждое такое слово выражает понятия, которые могут относиться не к одному предмету, а к целому их классу, выделенному по совокупности общих и существенных признаков.
Слова-понятия позволяют человеку обобщать и углублять знания об объектах, выходя в их познании за пределы чувственного опыта. При этом новое знание может входить в старую систему понятий и выражаться с помощью уже известных слов. В этой связи не всегда возникает необходимость придумывать новые слова для выражения вновь полученного знания. Благодаря понятийному строю языка люди имеют возможность с помощью ограниченного числа слов обозначать практически бесконечное количество предметов.
Давно установлено, что наряду с естественными (содержательными) языками и на их основе рождаются искусственные (формальные) языки. Это особые знаковые системы, которые не возникают стихийно, а создаются специально, например математикой. Особый язык использует кибернетика. Логика также использует помимо обычного, естественного языка (в нашем случае — русского) специальный, искусственный язык — в виде логических символов (формул, геометрических фигур, таблиц, буквенных и других знаков) для сокращенного и однозначного выражения мыслей, их многообразных связей и отношений.
Понятие и слово неотделимы друг от друга в своем возникновении и функционировании. Слова являются материальной основой понятий, без которой невозможно ни их образование, ни оперирование ими. Но между ними есть и различия, с которыми мы постоянно сталкиваемся.
Во - первых, не всякое понятие выражается одним словом. Многие понятия выражаются совокупностью слов - словосочетаниями.
Во- вторых, понятие и слово не всегда однозначно соответствуют друг другу, что связано с существованием синонимов.
Способность слов выражать различные понятия ведет иногда к неясности в рассуждениях. Поэтому необходимо точно устанавливать значение слов, с тем, чтобы употреблять их в строго определенном смысле. В этой связи в различных областях знания вырабатывается система терминов. Термин - это слово или словосочетание, обозначающее строго определенное понятие какой-либо специальной области науки, техники, искусства, общественной жизни и т.п.
Таким образом, понятие, находясь в неразрывном единстве со словом, не всегда однозначно с ним совпадает. Слово является формой выражения понятия, а понятие, в свою очередь, выражает смысл слова.
Совершенствование научного мышления связано с выявлением логических характеристик понятия, с разработкой логических отношений между понятиями и т.д.
С логической точки зрения научные понятия имеют содержание - т.е. систему признаков, на основе которой произведено обобщение и выделяют предметы в понятии. Так, содержанием понятия «четное число» является признак «делимость на 2».
Содержание понятия на языке современной логики выражается предикатом. Если использовать язык логики предикатов, то содержание вышеуказанного понятия выражается формулой (R(x,2)).
Отмечу, что есть логическое и фактическое содержание понятия. Логическое содержание - это та информация, которую несет логическая форма понятия. По логическому содержанию можно установить, является ли понятие универсальным, т.е. выделен ли в нем весь универсум рассуждения (род); можно также установить, является ли понятие пустым в том смысле, что в нем не выделяется ни один предмет из универсума и т.п.
Ученые-логики отмечают, что фактическое содержание понятия делится на основное и полное. Основное фактическое содержание — это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии, рассматриваемая сама по себе, т.е. без учета всего имеющегося знания об обобщаемых предметах, о связях признаками и т.д. Полное фактическое содержание — это содержание понятия с учетом всего имеющегося знания о предметах, обобщаемых в понятии, о признаках, по которым происходит обобщение, и т.д.
Очевидно, что основное и полное содержания одного и того же понятия могут не совпадать. Так, основное содержание понятия «товар» связано с признаком «обладать меновой стоимостью». Но товар имеет еще «потребительную стоимость», и она учитывается в полном фактическом содержании данного понятия.
Логики говорят также об объеме понятия, имея в виду множество предметов, обобщаемых и выделяемых в понятии, т.е. множество предметов, которые характеризуются системой признаков, составляющих содержание понятия.
Символически объем понятия хА(х) может быть обозначен так: WxA(x) - класс х, таких, что х есть А. В общем случае Wx\, ..., х А(х\, ..., хп) - множество п-ок предметов, находящихся в отношении А.
Применение понятий в науке требует различения их видов. Они бывают: единичными, общими и универсальными (по своему объему); с пустым (нулевым) и непустым объемом; собирательные и несобирательные; конкретными (обобщение предметов) и абстрактными (обобщение свойств); положительными (есть признак) и отрицательными (нет признака), относительными и безотносительными (предмет характеризуется или не характеризуется в отношении с другим предметом: гражданин - к стране, сын - к матери). Понятия могут быть противоречивыми и непротиворечивыми по охватываемым ими признакам. Например, «неэлектропроводный металл» - понятие противоречивое.
Многие теоретические операции в науке учитывают разнообразные логические отношения между самими научными понятиями. Так, вводя новое понятие в теорию, важно выявить его соотношение с другими понятиями (эквивалентность, противоречивость, противоположность, независимость, совместимость и др.). Устанавливая с помощью логических средств те или иные отношения, ученые получают материал для достаточно строгой квалификации понятийных перестроек в науке. Рождаются и четкие ответы на вопросы: С каким знанием совместима новая система понятий? Какому знанию она противоречит? Сохранилась ли эквивалентность прежней системы понятий? И т.д.
В практике научного мышления широкое применение находят операции обобщения и ограничения понятий. Здесь осуществляется опора на закон обратного отношения между объемом и содержанием понятия. В процессе обобщения осуществляется переход от данного понятия к понятию с большим объемом, но с меньшим содержанием. Так, есть цепь обобщений в биологии: млекопитающее животное - живой организм. В истории познания есть такая цепь обобщения: арифметика - математика - научная дисциплина.
Ограничение - это логическая операция, обратная обобщению. Ее осуществление ведет к нахождению понятия В, объем которого содержится в объеме родового понятия А (т.е. В становится подчиненным А). Пределом ограничения являются единичные понятия. Например, понятие «животное, производящее орудие труда» является ограничением понятия «животное».
Для науки важное значение имеет также операция деления понятий. Различают деления двух типов — мереологическое и таксономическое (С. Левсневский, Ю.В. Ивлев). Операция, при которой целое расчленяется на части, называется мереологическим делением. Операция, посредством которой объем понятия (род) распределяется по классам (видам) в соответствии с некоторым признаком, называется таксономическим делением (В. Ф Берков., И. И. Терлюкович). При этом род называют также делимым понятием, виды — членами деления, а признак — его основанием (иногда – точкой зрения, аспектом рассмотрения). Таксономическое деление может быть классическим и неклассическим. При классическом делении как род, так и виды - понятия с четким объемом, при неклассическом они представляют собой нечеткие, расплывчатые понятия, или типы. Члены неклассического деления могут находиться в отношении пересечения и некоторые из предметов оказываются в «спорной зоне». Например, деление людей по росту на высоких, средних и низких не исключает того, что некоторые попадут в рядом расположенные разряды. (Берков В. Ф. и др.)
При таксономическом делении возможна ситуация, когда в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на группы, которые этим признаком обладают, и которые им не обладают. Например, числа делятся на четные и нечетные. Такое деление называется дихотомическим (греч. dicho — на две части, tome — сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах называется политомическим (греч. polis — много). Дихотомическое деление является более простым. Оно используется, как правило, на начальной стадии изучения предметов, когда есть знания относительно части предметов, обозначенных делимым понятием.
В логике разработан ряд правил деления, которые применяются в научном познании:
1) деление должно быть соразмерным. Это значит, что при таксономическом делении объединение объемов членов деления должно совпадать с объемом делимого понятия. В случае мереологического деления соединение членов значений членов деления должно составить делимый предмет. Ошибочным является «неполное деление», а также «деление с излишними членами».
2) деление должно проводится по одному основанию (признаку). Этот признак нельзя менять в ходе деления. Ошибкой является «сбивчатое деление».
3) члены деления должны исключать друг друга (их объемы не должны иметь общих элементов). В отношении неклассического деления (неточные понятия) это правило не действует.
4) деление должно идти от родового понятия к видовым понятиям одного уровня. Ошибка - это «скачок в делении».
Особой разновидностью деления является классификация, которая часто выступает как специальная задача научного познания. Обычно это - многоступенчатое, разветвленное таксономическое деление. Здесь каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления. Результатом Развернутой классификации является система («дерево») соподчиненных понятий: делимое понятие обозначает некоторый род, новые понятия - виды, видов (подвиды) и т. д. Но существуеют и другие способы классификации (Субботин А. Л.)
Неклассическая классификация часто называется типологией. А многоступенчатое разветвленное мереологическое деление именуют иерархизацией. Частным случаем мереологического деления является периодизация - установление качественно различных промежутков времени в ходе развития какого-либо объекта или системы.
Определение - еще одна важная логическая операция, совершаемая в процессе ввода понятия в науку. Если говорить в более широком контексте, то посредством определений уточняется смысл языковых выражений, вводятся новые понятия и другие термины. Выше отмечалось, что специфической особенностью науки является употребление терминов, которые строго определены. (В каждой науке используются и неопределяемые термины. Это термины других наук, а также те, которые разъясняются при помощи приемов, сходных с определением.)
Определение решает сложную задачу, смысл которой в том, чтобы выделить систему признаков, общую и отличительную для предметов, обозначаемых термином. В научном познании эта задача часто усиливается требованием найти систему существенных признаков этих предметов.
Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы существенных признаков тех или иных предметов — задача конкретных наук, причем задача нетривиальная. Часто с определением соседствуют сходные приемы: остенсивное указание, разъяснение посредством примеров, описание, характеристика, сравнение.
Остенсивное указание - это разъяснение слов или словосочетании путем непосредственного указания предметов, действий или ситуаций, обозначаемых этими словами или словосочетаниями. Остенсивные определения широко используются в процессе обучения иностранным языкам и во многих других случаях, однако их применение ограничено. Остенсивные определения не являются собственно определениями, поскольку не раскрывают смысла языкового выражения. Другой прием, сходный с определением, — описание. Этот прием применяется на эмпирическом уровне познания, когда выявляются свойства предметов, изучаемых наукой. Описания позволяют разъяснять языковые выражения, однако с их помощью не всегда удается выделить класс предметов, обозначаемых термином, и выявить существенные признаки предметов.
Характеристика. Давая характеристику, раскрывают все стороны предмета, важные в каком-то отношении, но не обязательно отличающие предмет от других предметов. Выражения языка могут разъясняться также при помощи такого приема, как сравнение. Пример: «злость сходна с кратковременным помешательством».
Определение, указывающее на отличительную черту некоторого предмета, называется реальным. Определение, раскрывающее, уточняющее или формирующее смысл одних языковых выражений с помощью других, называется номинальным. Эти два понятия не исключают друг друга. Определение выражения может быть одновременно определением соответствующего предмета.
В структуре определения выделяется три части: а) определяемое имя или выражение, его содержащее (обозначается знаком Dfd — сокращением от лат. definiendum); б) выражение, раскрывающее, уточняющее или формирующее значение определяемого имени (обозначается знаком Dfn — сокращением лат. definiens); в) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком =). Формально структура определения представляется выражением: Dfd = Dfn.
В логике различаются несколько вводов определений. Они подразделяются на явные и неявные. Явным называется определение, в котором определяемое понятие синтаксически совпадает с Dfd и непосредственно приравнивается к значению Dfn.
Среди явных определений наиболее известно классическое определение. Оно строится по схеме: «А есть В и С», где A Dfd, В и С — Dfn, «есть» — дефинитивная связка. При этом В является родовым именем но отношению к А (А В), а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В.
Классическое определение сводится к определению через род и видовое отличие. Есть также генетические (или индуктивные — в другой терминологии) определения, описывающие предметы в соответствии со способами их образования, возникновения, построения. Однако не всякому понятию определение дается в явном виде. В частности, многие математические понятия не определяются явно. Здесь используется, например, система аксиом.
Определения через отношение к противоположному. Эти определения широко распространены в философии. В них определяются сразу два термина путем указания отношения предметов, обозначаемых одним термином, к предметам, обозначаемым другим термином. Приведем пример: «причина — это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием».
Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Например, «Предложение «р» истинно, если и только если р». Контекстуальные определения имеют форму: К(а) = Т, где а — определяемое выражение (в приведенном выше примере «быть истинным»), входящее в сложное выражение К(а). (Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным.) (Ю.В. Ивлев)
Определение требует выполнения ряда правил:
1. Правило соразмерности. Dfd и Dfn должны быть равнообъемны. Выполнение этого правила позволяет взаимозаменять Dfd и Dfn в одних и тех же контекстах. Отклонение от правила соразмерности приводит к различного рода логическим дефектам. Если объем Dfn больше объема Dfd, то говорят об ошибке «слишком широкого определения». В случаях, если объем Dfn меньше объема Dfd, имеет место ошибка «слишком узкого определения».
2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который в свою очередь определен через Dfd. Допускаемое при этом нарушение называется «порочный круг в определении». Частным случаем «порочного круга» является тавтология - повторение Dfd в Dfn.
3.Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов в качестве научного определения.
4.Правило минимальности. Dfn должен выражаться описательным (явным) способом, когда определяемые предметы вводятся лишь своими основными признаками. В противном случае определение будет избыточным.
5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется «определением неизвестного через неизвестное» — ошибка, весьма частая в процессах обучения.