Стоит подчеркнуть, что логика была и остается важнейшим средством рационального построения научного познания. Она используется как арсенал теоретизации науки. Существуют типические сдачи этого уровня познания, которые решаются логическими средствами. Некоторые из них рассматриваются в ходе дальнейшего изложения.
2.2. Научные понятия, их образование и определение
Понятие - это одна из базовых форм абстрактного мышления. Собственно, абстрактное мышление часто называют понятийным. С помощью понятий в науке отражаются глубинные свойства и отношения изучаемых предметов, явлений, процессов. Понятия позволяют выражать явления в обобщенной, выделяя некоторые их существенные признаки.
Итак, для образования понятия необходимо найти и обосновать существенные признаки предмета. Чтобы их вскрыть, используют следующие логические приемы: анализ, синтез, сравнение, абстрагирование, обобщение и др.
В логике признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство (черта, состояние, отношение) также рассматривается как его признак. Любой реальный предмет имеет множество разнообразных признаков. Признаки, которые необходимо принадлежат предмету, выражают его внутреннюю природу, называются существенными. Признаки, которые могут принадлежать, но могут и не принадлежать предмету и которые не выражают его природы, называются несущественными.
Образование понятий сопряжено с их обозначением, поиском словесных выражений мысли о предмете. Мы не придумываем для каждого отдельно существующего предмета свое специфическое название, самостоятельное слово. В мышлении и общении люди вполне обходятся ограниченным количеством слов, поэтому словарный запас нашего языка намного меньше числа обозначаемых с помощью слов предметов. Каждое такое слово выражает понятия, которые могут относиться не к одному предмету, а к целому их классу, выделенному по совокупности общих и существенных признаков.
Слова-понятия позволяют человеку обобщать и углублять знания об объектах, выходя в их познании за пределы чувственного опыта. При этом новое знание может входить в старую систему понятий и выражаться с помощью уже известных слов. В этой связи не всегда возникает необходимость придумывать новые слова для выражения вновь полученного знания. Благодаря понятийному строю языка люди имеют возможность с помощью ограниченного числа слов обозначать практически бесконечное количество предметов.
Давно установлено, что наряду с естественными (содержательными) языками и на их основе рождаются искусственные (формальные) языки. Это особые знаковые системы, которые не возникают стихийно, а создаются специально, например математикой. Особый язык использует кибернетика.
Логика также использует помимо обычного, естественного языка (в нашем случае — русского) специальный, искусственный язык — в виде логических символов (формул, геометрических фигур, таблиц, буквенных и других знаков) для сокращенного и однозначного поражения мыслей, их многообразных связей и отношений.
Понятие и слово неотделимы друг от друга в своем возникновении и функционировании. Слова являются материальной основой понятий, без которой невозможно ни их образование, ни оперирование ими.
Но между ними есть и различия, с которыми мы постоянно ставки наемся.
Во-первых, не всякое понятие выражается одним словом. Многие понятая выражаются совокупностью слов - словосочетаниями.
Во- вторых, понятие и слово не всегда однозначно соответствуют друг другу, что связано с существованием синонимов.
Способность слов выражать различные понятия ведет иногда к неясности в рассуждениях. Поэтому необходимо точно устанавливать значение слов, с тем, чтобы употреблять их в строго определенном смысле. В этой связи в различных областях знания вырабатывали я система терминов. Термин - это слово или словосочетание, обозначающее строго определенное понятие какой-либо специальной области науки, техники, искусства, общественной жизни и т.п.
Таким образом, понятие, находясь в неразрывном единстве со словом, не всегда однозначно с ним совпадает. Слово является формой выражения понятия, а понятие, в свою очередь, выражает смысл слова.
Совершенствование научного мышления связано с выявлением логических характеристик понятия, с разработкой логических отношений между понятиями и т.д.
С логической точки зрения научные понятия имеют содержание - т.е. систему признаков, на основе которой произведено обобщение и выделяют предметы в понятии. Так, содержанием понятия четное число» является признак «делимость на 2». Содержание понятия на языке современной логики выражается предикатом. Если использовать язык логики предикатов, то содержание вышеуказанного понятия выражается формулой (R(x,2)). Отметим, что есть логическое и фактическое содержание понятия. Логическое содержание - это та информация, которую несет логическая форма понятия. По логическому содержанию можно установить, является ли понятие универсальным, т.е. выделен ли в нем весь универсум рассуждения (род); можно также установить, является ли понятие пустым в том смысле, что в нем не выделяется ни один предмет из универсума и т.п.
Ученые-логики отмечают, что фактическое содержание понятия делится на основное и полное. Основное фактическое содержание — это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии, рассматриваемая сама по себе, т.е. без учета всего имеющегося знания об обобщаемых предметах, о связях признаками и т.д. Полное фактическое содержание — это содержание понятия с учетом всего имеющегося знания о предметах, обобщаемых в понятии, о признаках, по которым происходит обобщение, и т.д.
Очевидно, что основное и полное содержания одного и того же понятия могут не совпадать. Так, основное содержание понятия «товар» связано с признаком «обладать меновой стоимостью». Но товар имеет еще «потребительную стоимость», и она учитывается в полном фактическом содержании данного понятия.
Логики говорят также об объеме понятия, имея в виду множество предметов, обобщаемых и выделяемых в понятии, т.е. множество предметов, которые характеризуются системой признаков, составляющих содержание понятия.
В современной логике символически объем понятия хА(х) обозначается так: WxA(x) - класс х, таких, что х есть А. В общем случае Wx\, ..., х А(х\, ..., хп) - множество п-ок предметов, находящихся в отношении А.
Применение понятий в науке требует различения их видов. Понятия бывают: единичными, общими и универсальными (по своему объему). Есть понятия с пустым (нулевым) и непустым объемом; Различают также понятия собирательные и несобирательные. Есть понятия конкретные (обобщение предметов) и абстрактные (обобщение свойств); положительные (есть признак) и отрицательные (нет признака), относительные и безотносительные (предмет характеризуется или не характеризуется в отношении с другим предметом: гражданин - к стране, сын - к матери). Понятия могут быть противоречивыми и непротиворечивыми по охватываемым ими признакам. Например, «неэлектропроводный металл» - понятие противоре-
Многие теоретические операции в науке учитывают разнообразные логические отношения между самими научными понятиями. Так, вводя новое понятие в теорию, важно выявить его соотношение с другими понятиями (эквивалентность, противоречивость, противоположность, независимость, совместимость и др.). Устанавливая « помощью логических средств те или иные отношения, ученые полу чают материал для достаточно строгой квалификации понятийных перестроек в науке. Рождаются и четкие ответы на вопросы: С каким знанием совместима новая система понятий? Какому знанию она противоречит? Сохранилась ли эквивалентность прежней системы понятий? И т.д.
В практике научного мышления широкое применение находят операции обобщения и ограничения понятий. Здесь осуществляется опора на закон обратного отношения между объемом и содержанием понятия. В процессе обобщения осуществляется переход от данного понятия к понятию с большим объемом, но с меньшим содержанием. Так, цепь обобщений в биологии: млекопитающее животное - живой организм. В истории познания есть такая цепь обобщения: арифметика - математика - научная дисциплина. Ограничение - это логическая операция, обратная обобщению. Ее осуществление ведет к нахождению понятия В, объем которого содержится в объеме родового понятия А (т.е. В становится подчиненным А). Пределом ограничения являются единичные понятия. Например, понятие «животное, производящее орудие труда» является ограничением понятия «жи-
