Понятие

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

им. А.Н.Туполева

РЕФЕРАТ ПО ЛОГИКЕ

        НА ТЕМУ: «ПОНЯТИЕ»

г.Казань 2000

Введение.

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

Рассмотрим отличия понятия как начальной формы абстрактного мышления от представления как «высшей» формы чувственного познания. Чувственное познание всегда в той или иной мере связано с наглядностью, образностью. Понятие же лишено образности, оперирование с такими понятиями, как «добро», «порядочность», «предприимчивость», не связано с выражением их в виде наглядных образов. Чувственные формы познания воспроизводят объект в его индивидуальности, в понятии же фиксируются общие черты ряда предметов. И, наконец, в преставлении находят своё отражение черты живости, подробности, характеризующие внешнюю сторону предметов, явлений, в понятии же даны внутренние черты предметов, их сущность. Одним словом, понятие является формой мышления, отражающей предметы в их общих существенных признаках.

 Анализ признаков представляет собой первый этап образования и анализа понятий. Признаками называются черты сходства или несходства (различия) предметов. Сходные признаки именуются общими, и в них находит выражение торжество предметов в некотором отношении. Черты различия предметов называются отличительными признаками. И те, и другие признаки могут фиксировать существенные и несущественные черты. Существенными считаются признаки, обусловливающие характер, природу и направление развития предмета. Существование предмета в качестве представителя определённого рода, определённой категории невозможно, если отсутствует, хотя бы один такой признак. Среди признаков предметов выделяют также основные и производные, случайные и необходимые. К основным относятся такие существенные признаки, из которых выводятся как необходимое следствие другие существенные признаки: подобные выводимые признаки называются производными. Так, если мы говорим, «равносторонний треугольник», то равенство сторон будет основным существенным признаком, а равенство углов - производным признаком. Необходимые признаки - это те же существенные признаки, взятые в отношении признаков, которые не являются ни основными, ни необходимыми следствиями из них. Необходимые признаки - те, без которых не может существовать ни один предмет данного класса предметов. В понятии может фиксироваться как признак соответствующих предметов, так и несколько признаков. В зависимости от этого понятия называются простыми и сложными. Конечно, такое деление относительно. Нечто является более простым относительно более сложного, а это последнее престаёт, в свою очередь, простым по отношению к ещё более сложному.

Две главные логические характеристики понятия – его содержание и объём.

Содержанием понятия называется совокупность мыслимых в нём существенных (общих и отличительных) признаков некоторого предмета. Обозначая различные понятия прописными буквами латинского алфавита A, B, C …, а признаки, составляющие их содержание, строчными буквами a, b, c …, можно символически записать содержание понятий A=a1^a2^a3^…an, B=b1^b2^b3^…bn и так далее. Очевидно, что, чем больше признаков входит в содержание понятия, тем оно богаче (шире) по содержанию. Так, например, из двух понятий: «выпуклый четырёхугольник с прямыми углами» и « выпуклый четырёхугольник с прямыми углами и равными сторонами», второе понятие(«квадрат») шире по содержанию, чем первое («прямоугольник») на один признак(«равенство сторон»).

По содержанию различают четыре пары понятий: а) конкретные и абстрактные; б) относительные и абсолютные; в) положительные и отрицательные; г) собирательные и разделительные.

а) Конкретные и абстрактные.

В мире существуют предметы, у которых есть свойства и между которыми имеются отношения. Следовательно, в акте абстракции мы отвлекаем, отделяем свойство от предмета или отношение от предметов, которым они присущи. Рассмотрение свойств и отношений самих по себе, независимо от тех предметов, которым они принадлежат или которые они связывают, является характерной чертой абстрактного мышления. Такое понимание абстракции помогает нам понять, что же имеется в виду под абстрактными и конкретными понятиями. Абстрактными называются понятия, элементами объёма которых являются свойства или отношения. Иначе говоря, в этих понятиях выделяются и обобщаются не предметы, а их свойства или отношения (например, «справедливость», «белизна», «преступность», «осторожность», «присущность», «отцовство» и тому подобное). Конкретными называются понятия, элементами объёма которых являются предметы (например, «стул», «стол», «преступление», «тень», «музыка» и т.д.). В абстрактных понятиях свойства и отношения не превращаются в предметы. Они рассматриваются, как объекты, что даёт нам возможность составлять из них множества и рассматривать их как элементы множеств, составляющих объёмы понятий. Иногда, исходя из конкретных понятий, образуют связанные с ними абстрактные понятия. Например, на основе понятия «человек» можно образовать понятие «человечность», элементом объёма которого будет сложное свойство «быть человеком». На основе такой операции знаменитый древнегреческий философ Платон конструировал такие понятия, как «стульность», «лошадность», которые он называет идеями и которые, по его мнению, служат прообразами вещей чувственного мира. Большинство абстрактных понятий, типа понятий «справедливость», «истинность», «равенство», «братство» и тому подобное, являются единичными понятиями; поскольку бывает только одно свойство человеческих поступков «быть справедливым», одно свойство суждений «быть истинным», одно отношение между людьми «быть равным» или «быть братом». Некоторые абстрактные понятия бывают всё же общими. Рассмотрим понятие «цвет». Элементами объёма этого понятия служат такие свойства: жёлтый, синий, красный и тому подобное, то есть некоторые простые свойства предметов. Следовательно, понятие может быть абстрактным, но в то же время и общим, поскольку в объёме его содержится более одного элемента.

б) относительные и  абсолютные.

Абсолютным называется понятие, в основном содержании которого встречаются только признаки-свойства. Пример: Квадрат - это равносторонний прямоугольный четырёхугольник. В содержании этого понятия входят только признаки-свойства. Поэтому квадрат - понятие абсолютное (безотносительное). Относительным называется понятие, в основном содержании которого встречается хотя бы один признак-отношение (пример: должник, кредитор, истец, брат, мать и т.п.). В работе с относительными понятиями следует учитывать их специфику, то есть наличие в их содержании отношений. Это означает, что все «места», оставляемые отношением свободными, кроме одного, должны быть заполненными именами предметов - без этого понятие окажется незаконченным.

в) положительные и отрицательные.

Положительным называется понятие, в основном содержании которого встречаются только положительные признаки. Отрицательным называется понятие, в основном содержании которого встречается хотя бы один отрицательный признак. Пример: понятие «понятие» будет положительным, а вот понятие «автократия», если её понимать как монархию, при которой отсутствуют подлинно представительные учреждения, окажется понятием отрицательным, поскольку признак «отсутствие подлинно представительных учреждений» является отрицательным. Деление понятий на положительные и отрицательные не имеет никакого отношения к моральным или другим оценкам понятий. Так, понятие «безнравственный поступок» является отрицательным не потому, что мы его морально отрицательно оцениваем, а потому, что в его содержание входит отрицательный признак «отсутствие нравственного характера». Понятие «преступление» является положительным, так как в его содержание входят только положительные признаки: «преусмотренность уголовным законом», «общественная опасность» и «быть деянием».    

г) Собирательные и разделительные.

Это, может быть, самое важное различение видов понятий, потому что с выделением этих видов непосредственно связаны правила работы с понятиями. Эти виды понятий относятся только к общим понятиями. Единичные понятия не могут быть ни разделительными, ни собирательными. Элементы объёма  понятия могут быть двух видов: 1) они могут быть единичными объектами, 2) они сами могут быть множествами объектов. В связи с таким разделением выделяются два вида понятий. Собирательным называется понятие, элементы объема которого сами составляют множества однородных объектов. Пример: К числу собирательных понятий относится: «толпа», поскольку элементами понятия «толпа» являются отдельные толпы, которые, в свою очередь, состоят из однородных предметов - людей; «библиотека» - поскольку элементы объема этого понятия состоят из однородных предметов - книг; парламент, коллектив, созвездие, флот и тому подобное. Разделительным называется понятие, элементы объёма которого не представляют собой множеств однородных объектов. Примеры: Большинство понятий являются разделительными. Человек, студент, стул, справедливость, логика, преступление и тому подобное. Нетрудно заметить, что с собирательными и разделительными понятиями следует обращаться одинаково. Нужно только всегда отдавать себе отчёт, что на самом деле является элементом объёма собирательных понятий. В понятии «библиотека» элементом объёма понятия служат не книги, а библиотеки. Если говорят, что библиотеку затопило, это не означает, что каждая книга погибла в воде. Элементом объёма понятия «общественный класс» являются не отдельные люди - буржуа, крестьяне или рабочие, а большие группы людей. И поэтому если вам говорят, что нечто в интересах такого-то класса, то это не означает, что это в интересах каждого рабочего, буржуа, крестьянина. Нужно также отдавать себе отчёт, что считать частью объёма таких понятий. Например, частью объёма понятия «университет» - это то или иное множество университетов, а не те или иные факультеты данного университета. Здесь следует помнить о проведённом ранее различении отношения рода и вида и отношения части и целого. Многие понятия могут употребляться как в разделительном, так и в собирательном смысле. «Граждане нашего государства поддерживают идею частной собственности» не означает, что каждый гражданин государства поддерживает эту идею. По мнению автора такого высказывания, граждане нашего государства в целом поддерживают эту идею. Здесь понятие «граждане нашего государства» используется в собирательном смысле. «Граждане нашего государства обязаны соблюдать закон» - в этом высказывании речь идёт о каждом гражданине, то есть понятие «граждане» употребляется здесь в разделительном смысле.

Объёмом понятия называют совокупность (множество) предметов, охватываемых данным понятием. Так, объём понятия «прямоугольник» охватывает бесконечное множество плоских геометрических фигур прямоугольной формы, но с самой различной длины попарно равных противолежащих сторон; объём понятия «квадрат» составляет только часть объёма понятия «прямоугольник», так как охватывает лишь те из прямоугольных фигур, у которых равны не только противолежащие, но и прилежащие стороны. Объём понятия изображается в логике в виде круга (круги Эйлера), множество точек которого символизирует множество предметов, охватываемых данным понятием.

Понятия различаются по их содержанию и объёму.

По объёму понятия делятся на общие, единичные и пустые.

Общим называется понятие, объём которого включает класс (множество) предметов, состоящий более чем из одного элемента (например, «стул», «стол», «персональный компьютер», «число», «функция» и тому подобное). Объём общего понятия может быть конечным или бесконечным. Большинство общих понятий, имеющих конечный объём, охватывают непосредственно большое количество предметов (элементов) «стул», «стол», «компьютер», «самолёт» и другие. Общие понятия с фиксированным объёмом охватывают строго определённый круг предметов: «планета Солнечной системы», «студент нашей группы» и тому подобное. Общие понятия с бесконечно большим объёмом используется, как правило, в теоретических дисциплинах («рациональное число», «алгебраическая функция» и другие).

Единичным называется понятие, объём которого состоит из одного единственного предмета (элемента). Оно выражается либо собственным именем («Солнце», «Земля», «число пи») либо формулировкой принадлежащего только данному предмету признака или совокупности признаков («обитаемая планета Солнечной системы» «самая высокая египетская пирамида») либо выделением отдельного предмета из класса однородных с помощью указательного местоимения («эта планета» «эта пирамида» «это число»).

Пустое понятие (с нулевым объёмом) не содержит в своём объёме ни одного элемента («русалка», «баба Яга», «вечный двигатель», «домовой» и тому подобное).

Универсальный класс.

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

Для формирования продуктивных навыков анализа текста следует признать весьма полезным овладение логическими методами описания отношений между понятиями. Достаточно эффективен в этом смысле графический метод, учитывающий, прежде всего объёмные характеристики и поэтому изображающий отношения между понятиями как определённое «расположение» классов относительно друг друга. Выясняется, что возможные отношения между двумя произвольными понятиями P и Q сводится к следующим четырём видам: 1)равнообъёмность; 2)перекрещивание; 3) внеположенность; 4)подчинение.

Равнообъёмность.

Поскольку такие понятия соотносятся с одним множеством,

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

Таким образом, равнообъёмные понятия - это, по существу, разные наборы понятиеобразующих признаков, отнесённые к одному классу. Иначе говоря, это одно и то же множество объектов, мыслимое через разные понятиеобразующие признаки. Равнообъёмность понятий P и Q может быть записана в виде формулы P=Q. Равнообъёмные понятия заслуживают особого внимания именно потому, что они представляют в создании один и тот же логический класс. Способность  сознания отражать объекты в нескольких понятиях, обладающих разнящимся содержанием, имеет огромное познавательное значение. Она позволяет изучать некоторый фрагмент действительности с различных точек зрения, выделяя смысловые единицы с несовпадающими наборами понятиеобразующих признаков. Особый интерес представляют ситуации, в которых равнообъёмность понятий первоначально не была известна и обнаружилась лишь в ходе познания, какого-то фрагмента деятельности. Такие равнообъёмные понятия - это своеобразный анахронизм, след некогда существовавших иллюзорных представлений. Долгое время два разных положения Венеры на небесном своде, наблюдаемых в утреннее и вечернее время суток, ошибочно связывали с существованием двух различных небесных тел. это заблуждение сначала (у древних греков) выразилось в понятиях «Фосфор» и «Геспер», а позднее закрепилось в понятиях «Утренняя звезда» и «Вечерняя звезда», которые, естественно, использовались в те времена как разнообъёмные. Отнесение их к одной планете (то есть установление равнообъёмности) явилось существенным астрономическим открытием.

Перекрещивание.

Понятия P и Q находятся в отношении перекрещивания, если имеются три класса: а) объекты, общие для объёмов P и Q, б) объекты, входящие в объём P, но не входящие в объём Q, в) объекты, входящие в объём Q, но не входящие в объём P (Рис.2). В отношении перекрещивания находится, например, такие понятия: «журналист» и «офицер», «роман» и «сатирическое произведение», «город на

 Третий пример примечателен тем, что область пересечения понятий охватывает лишь один предмет. Таким образом, в отношении перекрещивания могут находиться понятия, объёмы которых имеют хотя бы один общий объект. Область пересечения интересна тем, что с её помощью достаточно строго и одновременно кратко характеризуются и другие виды отношений. Область пересечения рассмотренных выше равнообъёмных понятий равна объёму каждого из них в отдельности.

Легко убедиться в том, что единичные понятия не могут находиться в отношении перекрещивания (поэтому на графических схемах они иногда изображаются как точки, а не окружности).

Внеположенность.

внеположенности - контрарность и контрадикторность. Этими отношениями связаны такие понятия, в содержании которых мыслятся взаимоисключающие, противоположные признаки. Степень противоположности признаков может быть различной.

Контрарными (противными) называются понятия, содержащие предельно противоположные признаки, выделенные на какой-то шкале оценок. Посредством контрарных понятий фиксируются  два класса, занимающих крайние позиции в некоем упорядоченном множестве свойств, действий, состояний. Например: «старость - молодость», «горячий - холодный», «богач - бедняк». Контрадикторными (противоречащими) два понятия называются тогда, когда в содержании одного из них подвергаются отрицанию признаки, мыслимые в содержании второго. Поскольку при этом не выделяются некоторые полярные классы объектов, контрадикторность иногда характеризуют как ослабленную (в сравнении с контрарностью) противоположность. Таковы, например, пары понятий: «старость - не старость», «горячий - не горячий», «богач - не богач». Уже из приведенных примеров ясно, чем различаются контрарность и контрадикторность. Еще отчетливее это раз­личие демонстрируется при помощи графических схем. Сумма объемов контрарных понятий (рис.4) не исчерпывает некоего универсального класса, поскольку имеется, по край­ней мере, одно состояние или свойство, занимающее сред­нюю позицию между ними (применительно к приведенным примерам: «не-молодость и не старость, а средний возраст», «не горячий, но и не холодный, а теплый или прохладный», и т. п.).

состо­яний может быть отнесено к старости либо к не-старости.

В языке противоположным понятиям соответствуют ан­тонимы - слова с противоположными значениями. Явление антонимии исключительно многообразно, оно далеко не­однозначно отражает виды логической противоположности. Например, на первый взгляд кажется, что только контрадикторность (но ни в коем случае не контрарность) связана в языке с применением отрицательной частицы «не» (рис.5). Но логическое и грамматическое отрицание - не одно и то же. При ближайшем рассмотрении обнаруживают­ся пары контрадикторных понятий, словесная форма кото­рых не включает явного отрицания, скажем: «холостой - женатый». В то же время так называемое лексикализованное (слитое со словом) отрицание чаще всего выражает не контрадикторность, а контрарность, как это имеет место, например, в оппозиции «красивый - некрасивый».

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

выразительности. Из литературных (стилистических в широком смысле слова) приемов, использующих антонимию, назовем антитезу, ос­нованную на художественном «столкновении» противопо­ложных (чаще всего контрарных) понятий, Эффект анти­тезы хорошо иллюстрируется следующими стихами М. И. Цветаевой: «Не люби, богатый, - бедную,/Не люби, уче­ный, - глупую,/Не люби, румяный, - бледную, /Не люби, хоро­ший, - вредную!».

Подчинение (подчинённость).

Если оба понятия общие, то подчиняющее называют ро­довым (или просто родом), а подчинённое - видовым (про­сто видом). Из приведённых в предыдущем абзаце примеров первые два иллюстрируют родовидовое отношение: техни­ческое редактирование - вид редактирования, газета - вид издания. В третьем примере подчиненное понятие - еди­ничное, поэтому родовидового отношения здесь нет.

Следует подчеркнуть, что логическая квалификация ка­кого-либо понятия как подчиняющего или подчинённого (для общих понятий - родового или видового) не является жесткой и теряет свое значение за пределами определенной пары множеств. Это, видно хотя бы из следующего отноше­ния: «издание» - «газета» - «спортивная газета». Понятие, занимающее в этой цепочке среднюю позицию, подчинено предыдущему (и является для него видовым), но подчиняет последующее (и значит, становится в данном звене родо­вым). Вообще, отношения подчинённости (подчинения) могут охватывать неопределённо большое число понятий, например: «Спаниель» - «охотничья собака» - «соба­ка» - «животное» и т. д.

Отношения между неопределенно большим количеством понятий.

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

Общая характеристика операций с понятиями.

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

Отрицание понятия.

Из операций с одним исходным понятием по степени значимости наибольшего внимания заслуживает операция, именуемая отрицанием. В результате отрицания произвольного понятия P образуется новое понятие не-P. Объем этого нового понятия включает в себя лишь те объек­ты х, о каждом из которых можно высказать истинное суж­дение х есть не-Р. Скажем, в результате отрицания понятия «журналист» получаем множество «не-журналистов», путем отрицания понятия «учебник» переходим к понятию «не-­учебник» и т. п. Чтобы отличить собственно логическое отрицание от не­которых грамматических форм, частица «не» отделяется от исходного понятия дефисом. Этим подчерки­вается, что в результате логического отрицания образуется понятие, связанное с исходным отношением контрадикторности, а не контрарности.

поэтому двойное отрицание иног­да называется мнимым (дважды отрицая данное понятие, мы, по существу, его не отрицаем).

Сложение и умножение понятий.

Из операций с двумя исходными понятиями (или боль­шим их числом) следует выделить логическое сложение и логическое умножение. Результат сложения понятий Р и Q будем называть их логической суммой и обозначать P+Q, а результат умножения тех же понятий назовем их логическим произведением и обозначим Р•Q.В объём понятия Р+Q входят те объекты, каждый из которых принадлежит хотя бы одному из исходных классов. Иными словами, х принадлежит классу Р+Q, если истинно суждение х есть Р или Q (где союз «или» употребляется в неисключающем его значении). В объём понятия P•Q входят те объекты, каждый из которых принадлежит обоим исходным классам. Иначе говоря, х при­надлежит классу Р•Q если истинно суждение х есть P и Q, где союз «и» фиксирует одновременное вхождение х в дан­ные классы.

Различие между этими операциями иллюстрируют гра­фические схемы. На рисунках 12 - 15 показана логическая сумма, а на рисунках 16 - 19 - логическое произведение понятий Р и Q с учетом четырех известных нам видов отношений. Лишь для равнообъемных понятий итоги сложения и умножения со­впадают, в трех других случаях классы Р+Q и Р•Q принци­пиально различны.