Основы логики

1. Что такое логика?

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

2. Основные логические законы

1. Закон тождества

Первый и наиболее важный закон логики — это закон тождества, следующим образом: «…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно». Можно было бы добавить к этим известное утверждение о том, что мыслить (говорить) обо всем — значит не мыслить (не говорить) ни о чем.

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

Например, непонятен смысл фразы: «Из-за рассеянности на турнирах шахматист неоднократно терял очки». Очевидно, что по причине нарушения закона тождества появляются неясные высказывания (суждения). Символическая запись этого закона выглядит так: а >а (читается: «Если а, то а»), где, а — это любое понятие, высказывание или целое рассуждение.

2. Закон противоречия

Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.

Например, два суждения: «Сократ высокий», «Сократ низкий» (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий — это не низкий, и наоборот), — не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, т. е. если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком. Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например, он сравнивается одновременно с высоким Платоном и низким Аристотелем, тогда два противоположных суждения вполне могут быть одновременно истинными, и закон противоречия при этом не нарушается.

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

3. Закон исключенного третьего

Суждения бывают противоположными и противоречащими. Например, суждения: «Сократ высокий», «Сократ низкий», — являются противоположными, а суждения: «Сократ высокий», «Сократ невысокий», — противоречащими. В чем разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположные суждения всегда предполагают некий третий, средний, промежуточный вариант. Для суждений: «Сократ высокий», «Сократ низкий», — третьим вариантом будет суждение: «Сократ среднего роста». Противоречащие суждения, в отличие от противоположных, не допускают или автоматически исключают такой промежуточный вариант. Как бы мы ни пытались, мы не сможем найти никакого третьего варианта для суждений: «Сократ высокий», «Сократ невысокий» (ведь и низкий, и среднего роста — это все невысокий).

Именно в силу наличия третьего варианта противоположные суждения могут быть одновременно ложными. Если суждение: «Сократ среднего роста», — является истинным, то противоположные суждения: «Сократ высокий», «Сократ низкий», — одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями. Сходство между ними заключается в том, что и противоположные суждения, и противоречащие не могут быть одновременно истинными, как того требует закон противоречия. Таким образом, этот закон распространяется и на противоположные суждения, и на противоречащие.

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

4. Закон достаточного основания

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

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

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

3. Язык логики

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

Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов и т. д.

Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче — выявлению логических связей наших мыслей, но решаться она должна эффективно.

4. Понятие как форма мышления

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

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

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

Например, ворона летает и муха летает, способность летать — это тот признак, относительно которого ворона и муха похожи, и по этому признаку они отличаются от коровы, которая летать не может.

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

Например, снег бел, чистый лист бумаги бел, сахар бел… Мы можем объединить все эти вещи в класс «белых предметов», всем элементам которого присущ один общий признак — «быть белым». Большинство признаков является общими, но встречаются и единичные признаки, которым соответствует единственный предмет. Например: «быть первым космонавтом», «быть сегодняшним ректором КрасГАУ».

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

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

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

5. Содержание и объем понятия

Любое понятие имеет содержание и объем.

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

Объем понятия составляет совокупность или множество предметов, которое мыслится в понятии.

Достаточным содержанием для образования понятия «равнобедренный прямоугольный треугольник» будет указание на наличие в составе геометрической фигуры двух углов, равных 45°. Объемом же такого понятия станет вся совокупность возможных равнобедренных треугольников.

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

Содержание понятия называется его интенсиональностью, а его отношение к каким-либо объектам — экстенсиональностью.

Интенсиональность понятий. Чаще всего в процессе толкования термина «содержание понятия» его определяют в качестве понятия как такового. В этом случае подразумевается, что содержание понятия есть система признаков, при посредстве которых предметы, содержащиеся в понятии, обобщаются и выделяются из массы других. Иногда под содержанием понимается значение понятия или все взятые вместе существенные признаки предмета, содержащиеся в понятии. В некоторых исследованиях содержание понятия отождествляется со всем комплексом сведений, которые известны о данном предмете.

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

6. Виды понятий

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

Ясные и размытые. В зависимости от содержания понятий они могут отражать действительность более или менее точно. Именно это качество положено в основу разделения понятий на ясные и размытые. Как несложно догадаться, четкость отражения значительно выше у ясных понятий, размытые же нередко отражают предмет с недостаточной полнотой. Например, ясное понятие «инфляция» содержит в своих характеристиках достаточно четкое указание на степень экономической дестабилизации в стране.

Единичные и общие понятия. Такое разделение связано с тем, подразумевается ли в них один элемент или же несколько. Как нетрудно догадаться, понятия, в которых подразумевается лишь один элемент, называются единичными (например, «Венеция», «Дж. Лондон», «Париж»). Понятия же, в которых мыслится несколько элементов, называются общими (например, «страна», «писатель», «столица»).

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

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

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

Конкретные и абстрактные понятия. Такое разделение понятий зависит от предмета, отражаемого в содержании понятия. Это может быть предмет, или некая совокупность предметов, или признак этого предмета (отношение между предметами). Соответственно понятие, содержание которого составляет информация о признаке предмета или отношение между предметами, именуется абстрактным понятием. Напротив, понятие о предмете или совокупности предметов называется конкретным.

Главным признаком, чертой, по которой проводится разделение понятий на конкретные и абстрактные, является соотношение предмета и его признаков. Иными словами, хотя признаки предмета и не могут существовать без последнего, в результате логического приема «абстрагирование» они выделяются в самостоятельный объект мысли и рассматриваются безотносительно своего предмета. Соответственно и понятие носит название абстрактного.

Нельзя забывать о том, что конкретные и единичные понятия не являются синонимами, также как и абстрактные необходимо отделять от общих. Так, общие понятия могут быть и конкретными, и абстрактными. Например, понятие «купец» является общим и конкретным, а понятие «посредничество» — общим и абстрактным.

Положительные и отрицательные понятия. В основу классифицирования данных понятий положены свойства предмета, явления или процесса. Вид понятия здесь поставлен в зависимость от наличия либо отсутствия у предмета характеризующих свойств. Говоря иначе, понятие именуется положительным, если в нем содержится указание на наличие свойств, присущих предмету. В противоположность положительным выступают отрицательные понятия, которые подразумевают отсутствие таких свойств. Так, положительным понятием будет «сильный», а отрицательным — «слабый»; положительным — «спокойный», отрицательным — «беспокойный».

Безотносительные и соотносительные понятия. В основу этой классификации положено наличие либо отсутствие связи предмета, составляющего объем понятия, с другими предметами материального мира. Таким образом, безотносительными будут понятия, существующие отдельно друг от друга и не оказывающие на существование каждого из них существенного влияния. Такими понятиями, например, могут быть «гвоздь» и «пуговица». Каждый из этих предметов существует отдельно и независимо от другого.

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

7. Отношения между понятиями

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

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

Сравнимые понятия делятся на совместимые и несовместимые. Совместимыми называются понятия, объемы которых имеют общие элементы; объемы несовместимых — не имеют общих элементов.

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

Виды совместимости:

1) РАВНОЗНАЧНОСТЬ (ТОЖДЕСТВО). В отношении тождества находятся такие понятия, объемы которых полностью совпадают Москва (А), Столица России (В) или Сын (А), Внук (В) Объемы понятий «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук — чей-то сын), но содержание различно

2) ПЕРЕСЕЧЕНИЕ. В отношении пересечения находятся понятия, объемы которых совпадают лишь частично.

Студент (А) Спортсмен (В) Существуют спортсмены, не являющиеся студентами. Есть студенты не занимающиеся спортом, но имеются спортсмены одновременно являющиеся студентами

3) ПОДЧИНЕНИЕ. В отношении подчинения находятся такие понятия, объем одного из которых полностью входит в объем другого (при этом понятие с большим объемом (родовое) называется подчиняющим, понятие с меньшим объемом (видовое) — подчиненным).

Человек (А) Студент (В)

Виды несовместимости:

1) СОПОДЧИНЕНИЕ. В отношении соподчинения находятся два или более непересекающихся понятий, принадлежащих общему родовому понятию.

Деревья (А) Сосна (В) Береза (С)

2) ПРОТИВОПОЛОЖНОСТЬ. В отношении противоположности находятся понятия, которые являются видами одного и того же рода, при этом одно из них содержит какие-то признаки, а другое эти признаки отрицает и заменяет противоположными признаками (объемы понятий, А и В в объеме родового понятия занимают наиболее удаленные части).

Цвет (А) Черный (В) Белый © В сумме объемы противоположных понятий не исчерпывают объем родового понятия. Эти понятия можно рассматривать как соподчиненные.

3) ПРОТИВОРЕЧИЕ. В отношении противоречия находятся такие два понятия, которые являются видами одного и того же рода, при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, не заменяя их никакими другими признаками Виновный (А) Невиновный (не-А)

(здесь родовое понятие — «человек»).

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

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

Например, обобщая понятие «хвойный лес», мы переходим к понятию «лес». Содержание этого нового понятия уже, зато объем значительно шире. Содержание уменьшилось, потому что мы изъяли (убрав слово «хвойный») ряд характерных видовых признаков, отражающих особенности хвойного леса. Лес — это род по отношению к понятию «хвойный лес», являющемуся видом. Исходное понятие может быть как общим, так и единичным. Например, можно осуществить обобщение понятия «Париж» (единичное понятие) путем перехода к понятию «европейская столица», следующим шагом будет переход к понятию «столица», потом «город», «селение». Таким образом, постепенно исключая характерные признаки, присущие предмету, мы движемся в сторону наибольшего расширения объема понятия, жертвуя содержанием в пользу абстракции.

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

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

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

Эта логическая операция характеризуется уменьшением объема за счет расширения содержания.

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

9. Определение понятий. Виды и правила определения

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

С помощью определения понятий мы можем раскрывать содержание понятия и тем самым отличать мыслимые в нем предметы от других предметов. Так, например, давая определение понятия «трапеция», мы отличаем его от других четырехугольников — ромба, квадрата, прямоугольника или параллелограмма.

Явные и неявные определения

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

Реальные и номинальные определения

Определение будет реальным, если в нем перечисляются существенные признаки предметов, мыслимых в понятии. Если определяется термин, обозначающий предмет, то определение будет номинальным. Из вышеприведенных определений (1), (4) и (5) — это реальные определения, а (2) и (3) — номинальные.

С помощью номинальных определений вводятся также новые термины, краткие имена взамен более сложных описаний предметов. Например, «Промышленным роботом называется робот, состоящий из манипуляторов, управляемый по программе и выполняющий различные производственные операции и пространственные перемещения объектов», или «Персональной называется ЭВМ индивидуального пользования, исполненная в настольном, портативном или карманном варианте, включающая собранные в едином корпусе микроЭВМ, клавиатуру и экран для ввода и вывода данных, внешнее запоминающее устройство, а также предусматривающая возможность подсоединения малогабаритного печатающего устройства и подключения его к сети ЭВМ».

Наиболее важным среди реальных определений является определение через ближайший род и видовое отличие. Суть этого определения в том, что сначала устанавливается родовой признак, свойственный мыслимому в понятии предмету, а затем указывается его специфический, видовой признак (или несколько таких признаков).

Например:

1. «Голография — метод получения объемного изображения объектов, основанной на интерференции волн».

2. «Кристалл есть твердое тело, обладающее трехмерной периодической атомной или молекулярной структурой, а при равновесных условиях образования имеющее форму правильного симметричного многогранника».

Признак, являющийся общим для класса предметов, из числа которых выделяется их подкласс, мыслимый в определяемом понятии, называется родовым признаком, а сам этот класс — родом. В приведенных примерах родовым являются понятия «метод», «твердое тело.

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

логический мышление признак закон