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

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

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

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

Выделяют следующие основные виды логического мышления:

1. Наглядно-действенное – в результате решения какой-либо задачи человек способен преобразить ее в своих мыслях, основываясь на ранее приобретенном опыте и знаниях. Поначалу человек наблюдает за ситуацией, затем путем проб и ошибок пытается решить проблему, после этого происходит формирование теоретической деятельности. Этот вид мышления предполагает равное применение теории и практики.
2. Наглядно-образное – мышление происходит за счет представления. Оно наиболее характерно для детей дошкольного возраста. Для того чтобы решить какую-то задачу, дети часто пользуются образами, которые могут находиться в памяти или создаваться воображением. Также таким типом мышления обладают люди, которые связаны с таким родом деятельности, в котором необходимо принимать решения исходя из наблюдения за предметами или их изображениями (рисунок, схема).
3. Абстрактно-логическое – данному виду мышления не важны отдельные детали, его интересует процесс размышления в целом. Чтобы не возникало проблем с решением важных задач в будущем, важно развивать абстрактно-логическое мышление еще с раннего детства. Этот вид мышления проявляется в трех основных формах: понятии, суждении, умозаключении.

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

Суждение может быть как простым, так и сложным. Это может быть утверждением какого-то предмета или отрицанием его взаимосвязи с другими предметами. Примером простого суждения служат простые фразы: «Маша любит кашу», «Мама любит Аню», «Кошка мяукает» и т.д. Именно так рассуждают малыши, когда начинают познавать окружающий мир.

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

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

Логические мыслительные операции

Логические мыслительные операции состоят из:

• сравнения,
• абстракции,
• обобщения,
• конкретизации,
• анализа,
• синтеза.

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

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

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

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

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

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

Применение логики

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

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

1. Подбирать необходимый метод решения проблемы;
2. Быстрее мыслить;
3. Качественно излагать свои мысли;
4. Избегать самообмана;
5. Находить и корректировать ошибки других людей в их умозаключениях;
6. Подбирать необходимые аргументы для убеждения собеседника в своей правоте.

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

Можно ли научиться логическому мышлению?

Ученые выделяют несколько аспектов, способствующих овладеть основными понятиями логики:

• Теоретическое обучение – знания, которые предоставляются в учебных заведениях. К ним относятся основные понятия, законы и правила логики.
• Практическое обучение – ранее полученные знания, которые необходимо применять в реальной жизни. Вместе с тем современное обучение предполагает прохождение специальных тестов и решение задач, способных выявить уровень интеллектуального развития человека, но, не применяя логику в возникающих жизненных ситуациях.

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

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

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

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

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

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

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

Логика (греч. λογιχή - наука о мышлении, от λόγος - мысль, слово, учение) - это философская наука о законах и формах теоретического мышления, о взаимосвязи данных форм и об ошибках в процессе мышления и способах их преодоления.

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

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

Предмет логики составляют:

- формы теоретического мышления : понятие, суждение, умозаключение;

- общие законы мышления: тождества, противоречия, исключенного треть-его и достаточного основания;

- всеобщие методы науки, теоретического мышления в целом: анализ, синтез, абстрагирование, обобщение, формализация и др.;

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

- язык логики как система специализированных символов для обозначения форм мысли и их связей;

- термины и определения, обосновываемые в логике;

- логические ошибки, возможные в процессе мышления.

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

Свойства правильного мышления:

- определенность - точность и строгость;

- последовательность - без внутренних противоречий;

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

В мышлении выделяют содержание и форму мысли:

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

Мышление человека связано с процессом рассуждения . Рассуждение - это сопоставление мыслей и их объединение ради получения на основе имеющихся знаний новых знаний.

Рассуждения бывают правильными и неправильными.

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

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

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

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

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

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

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

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

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

Пример: «Все технологи - специалисты по технологии определенной отрасли производства» истинно; «Все абитуриенты - будущие студенты» неистинно.

Все эти примеры показывают важность знания и применения двух правил: формального и содержательного .

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

Например, возьмем суждения «Киев - столица Франции» и «Если Киев - столица Франции, то 22=5», где первое - простое суждение, а второе - сложное, образованное союзом «если, то». Применим к этим суждениям одно из формальных правил логики: х, х→у ╞у , где х и у - обозначают простые суждения, → - обозначает союз естественного языка «если, то», ╞ - обозначает отношение следования. Когда обозначим первое суждение х , второе - х→у , то соответственно здесь у - 22=5. И нет значения, являются ли эти суждения истинными, и есть ли в них смысл. Конечно первое суждение неистинное, а второе и неистинное, и если бы было истинным («22=4»), то оно не имеет смысла в обычном понимании. Однако это показывает, что для применения формального правила истинность суждений и их связь по смыслу несущественны . А если это так, то обозначив первое суждение «Киев - столица Франции» как А , а суждение «22=5» - В , то получим формулу сложного суждения «Если Киев - столица Франции, то 22=5» в виде выражения «если А , то В ». Выделив форму суждений, можно применить к ним формальное правило «х, х→у ╞у », не зная ни смысла, ни значения суждений «А » и «если А , то В ». Поэтому, когда из суждений «А » и «если А , то В » делается вывод «В », то рассуждение формально-логично правильное. Следовательно, здесь происходит формально-логичное рассуждение, ибо оно подчинено формальным правилам логики. И когда суждение «А » и суждение «если А , то В » будут истинными, то обязательно будет истинным и «В ». В случае их неистинности истинность «В » не гарантирована.

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

Например , возьмем правило аналогии свойств, имеющее вид формулы:

◊[(P , P , P (x ))(P , P (y ))→(P (y ))],

которую можно прочитать так: «Элемент х обладает свойствами P ,P ,P , а элемент у - свойствами P , P . Следовательно, элемент у , вероятно, обладает свойством P ».

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

(1) «Земля (х ) является планетой P , обращается вокруг Солнца P , светит отраженным светом P . Венера (у ) является планетой P ,обращается вокруг Солнца P . Следовательно, Венера (у ), вероятно, светит отраженным светомP ». (2) «Земля (х ) является планетой P , обращается вокруг Солнца P , имеет спутник P . Венера (у ) является планетой P ,обращается вокруг Солнца P . Следовательно, Венера (у ), вероятно, имеет спутникP », которого, как известно, у Венеры нет.

2. Логика и язык.

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

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

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

Любой язык состоит из знаков. Знак - это элемент языка, который замещает и представляет предметы и их признаки в процессе мышления и познания.

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

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

В зависимости от экстенсионала (значения ) знаки могут быть мнимыми или реальными.

Мнимые знаки - это знаки, экстенсионалу которых не соответствует ни один наличествующий предмет. Мнимые знаки отражают как фантастические предметы («дунайская русалка», «идеальное государство»), так и предметы, которые вполне могли бы существовать, но не существуют именно в той предметной области, которая указана данным знаком («свободные демократические выборы Президента Украины 2004 г.»). Реальные знаки - это знаки, экстенсионалу которых соответствует определенный предмет или признак («конституция», «инфляция», «украинские олигархи»).

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

Все знаки подразделяют на языковые знаки и неязыковые знаки . Виды неязыковых знаков выделяют по характеру связи знака с предметами и их признаками: знаки-образы - обладают определенным подобием с соответствующим предметом (карта, план местности, чертеж, фотография); знаки-индексы (лат. index - показатель) - имеют непосредственную связь с обозначаемым им предметом (дым - признак огня, изменение высоты ртутного столбика - признак изменения атмосферного давления, числовой или литерный показатель: х , х ... х , где 1, 2, n - знаки-индексы); знаки-символы - указывают на предметы, но физически с ними не связанны (дорожные знаки как информирующие символы о соответствующей организации дорожного движения; герб, флаг, гимн как символы государственности определенной страны)... Языковые знаки обозначают предметы.

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

Имена классифицируют на единичные и общие . Единичные обозначают один предмет и представлены в языке именем собственным («Г. С. Сковорода», «Днепр»). Когда имя собственное передается не явно, тогда используется йота-оператор - «тот, кто» («Те, кто разработали методы научной индукции»). Общие обозначают множество (класс однородных ) предметов и представлены в языке именем нарицательным («книга», «планета Солнечной системы»). Среди общих имен можно выделить простые , в которых нет частей, имеющих самостоятельный смысл («книга») и сложные, или описательные, состоящие из частей, имеющих самостоятельный смысл («планета Солнечной системы»: «планета», «система», «Солнечная система»).

Имя (как и знак) имеет значение и смысл. Значение имени есть обозначаемый им предмет. Значение имени называется денотатом (лат. denotatus - обозначенный; десигнатом , лат. designatio - обозначение). Смысл имени - это способ, каким имя обозначает предмет, т.е. определенная информация об обозначаемом предмете. Смысл имени называется концептом. Смысл и значение составляют содержание имени.

Например, такие языковые формы выражения, как «самая маленькая страна - город-государство», «город-государство в пределах столицы Италии - Рима», «страна, площадь которой составляет 44 га с населением ок. 1 тыс. человек», «центр Римско-Католической Церкви, резиденция ее главы Папы Римского» имеют одно и то же значение (Ватикан ), но различный смысл, т.к. представляют данную страну с помощью различных свойств, т.е. дают разную информацию о ней.

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

Например, денотатом слова «Днепр» может быть река, мотоцикл, футбольный клуб и т.д.

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

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

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

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

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

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

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

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

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

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

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

Объем представленного предикатором свойства или отношения называется областью истинности предикатора .

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

Выражения, которые обозначают различные действия, операции с предметами, в результате чего возникают новые предметы, называются функциональными знаками (предметно-функциональными выражениями, или предметными функторами , т.е. названиями предметных функций: в математике: «√», «+», «ctg a » и др.; в естественном языке: «возраст», «рост», «масса», «скорость», «расстояние», «профессия» и т.д.).

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

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

В целом имена предметов (т.е. слова и словосочетания, обозначающие единичные предметы и классы однородных предметов), предикаторы (т.е. слова и словосочетания, обозначающие свойства предметов или отношения между предметами), а также функциональные знаки (т.е. выражения, обозначающие предметные функции, операции: «√», «+», «ctg a ») являются дескриптивными (от лат. descriptio - описание, описательными ) терминами (лат. terminus - граница).

В языке имеются также логические термины (логические постоянные, или логические константы). Логические термины выражают такие слова и словосочетания естественного языка , как «и» , «или» , «если, то» , «не» , «если и только если, то» и т.д., «все» , «некоторые» и т.п., «тот» , «который» , «такой, что» и др.

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

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

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

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

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

Логические термины «все» , «некоторые»... дают количественные характеристики в простых высказываниях. Эти логические термины представляют логические операторы, к которым относятся кванторы (от лат. guantum - сколько): квантор общности (- «все» ) и квантор существования (- «некоторые» ). Они имеют и другие аналоги естественного языка, и другие обозначения.

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

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

Формальное свойство высказываний (независимо от их соответствия фактическим данным) обретать значение истинности также имеет символьное выражение: 1 (истина ), 0 (неистина ). Высказывание формально может иметь не только два значения истинности, т.е. быть двузначным , но и многозначным .

Логические термины в языке логики выражают следующие символы:

1. 1) a , b , c - символы единичных имен, или предметные переменные;
2. 2) x , y , z - символы общих имен, или предметные переменные;
3. 3) P , Q , R , … P , Q , R - символы предикаторов, с указанием их местности, или предикаторные переменные;
4. 4) p , q , r - символы высказываний, или пропозиционные переменные;
5. 5) - символ квантора общности («все», «ни один», «любой», «всякий», «каждый» и т.д.);
6. 6) - символ квантора существования («не все», «некоторые», «существуют такие», «большинство», «меньшинство», «часть», «иногда» и т.д.);
7. 7) S , P - символы субъекта и предиката суждения;
8. 8) М - символ среднего термина умозаключения (общего для двух посылок);
9. 9) А - символ общеутвердительного суждения («Все S есть Р »);
10. 10) Е - символ общеотрицательного суждения («Все S не есть Р »);
11. 11) I - символ частноутвердительного суждения («Некоторые S есть Р »);
12. 12) О - символ частноотрицательного суждения («Некоторые S не есть Р »);
13. 13) () - технические знаки левой и правой скобок, применяющиеся для записи, например, сложных терминов суждений;
14. 14) < > - знаки скобок для обозначения закрытой или полной конъюнкции и дизъюнкции;
15. 15) ¬а, ~а, ā , - символы отрицания («не-а», «неверно, что а»);
16. 16) , & - символы союза конъюнкции («и»);
17. 17) - символ союза слабой (нестрогой) дизъюнкции («или»);
18. 18) , - символы союза сильной (строгой) дизъюнкции («или, или»);
19. 19) →, - символы союза импликации («если, то»);
20. 20) ↔, ≡ - символы союза эквиваленции («если и только если, то»);
21. 21) - - символ логической связки суждения («есть», «не есть», «суть», «не суть», «является», «не является»);
22. 22) - символ логической операции сложения понятий (классов);
23. 23) - символ логической операции умножения или пересечения понятий;
24. 24) - символ подчинения, включения класса в класс;
25. 25) \ - символ логической операции вычитания понятий;
26. 26)  - символ модального оператора «необходимо»;
27. 27) ◊ - символ модального оператора «возможно»;
28. 28) - символ модального оператора «случайно»;
29. 29) i - символ модального оператора «действительно»;
30. 30) Р - символ модального оператора «разрешено»;
31. 31) F - символ модального оператора «запрещено»;
32. 32) О - символ модального оператора «обязательно»;
33. 33) К - символ модального оператора «знает»;
34. 34) В - символ модального оператора «верит» (считает);
35. 35) 1, i , t - символ «истинно»;
36. 36) 0, x , f - символ «неистинно»;
37. 37) R - символ отношения;
38. 38) А , В , С - символы высказываний;
39. 39) Df - символ определения (дефиниции).

Язык символов - это формализованные языковые средства фиксации логической структуры (форм связи ) мысли и исследования ее логических свойств и отношений со строго фиксированными правилами.

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

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

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

Структура естественного языка представлена тремя частями семиотики (греч. σημειωτικόν - учение о знаках, от греч. σημεϊον - знак) - науки о знаках и языке как знаковой системе: синтаксис (греч. σύνταζις - строение, сочетание; где анализируются знаки сами по себе, т.е. определяются принципы построения знаков, правила соединения и размещение языковых знаков в определенной знаковой системе), семантика (греч. σημαντικός - обозначающий; где раскрывается соотношение знака и значения, изучается смысл и значение языковых выражений, анализируется язык как знаковая система по функциям определения и обозначения) и прагматика (от греч. πραγμα - дело, действие; где рассматривается отношение между знаковой системой и ее носителем, способы использования знаков и языка как знаковой системы в конкретных практических ситуациях).

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

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

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

Что такое понятие?

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

С точки зрения логики, понимать слово означает быть в состоянии указать, какие именно предметы им обозначаются, то есть уметь устанавливать относительно любого предмета, можно ли его назвать данным словом или нет. Каким образом этого достичь? Через образование понятия.

Понятие - это логическая мыслительная операция, которая по определённым признакам выделяет предметы из множества и объединяет их в один класс.

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

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

Виды понятий

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

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

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

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

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

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

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

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

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

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

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

Понятия совместимы , если пересечение их объёмов непусто. Соответственно, если пересечение их объёмов пусто, то понятия несовместимы.

Понятие А включается в понятие В, если каждый элемент объёма А также является элементом объёма В.

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

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

Это отношение, при котором объёмы двух понятий полностью совпадают.

При равнообъёмности понятия А и В живут в одном кружочке. Примером может служить пара понятий: «треугольник с равными сторонами» и «треугольник с равными углами». Оба этих понятия обозначают одну и ту же совокупность объектов.

Возникает тогда, когда объём одного понятия полностью входит в объём другого понятия.

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

Это отношение, при котором объёмы понятий пересекаются, но полностью не совпадают.

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

Это такое отношение, когда два понятия пересекаются и при этом исчерпывают собой весь универсум рассмотрения.

Я специально изобразила понятия А и В разными цветами, чтобы было видно, что кружок в центре - это не отдельное понятие, а результат их пересечения. Отношение дополнительности существует, например, между понятиями «температура выше 0°С» и «температура ниже 30°С». Объёмы этих понятий пересекаются, и при этом объём их сложения равен объёму универсума рассмотрения.

Это отношение, при котором объёмы понятий не пересекаются и исчерпывают весь универсум.

Если, к примеру, универсум рассмотрения - это люди, то А может быть понятием «работающие», а В - «безработные». Каждый человек может быть либо работающим, либо безработным, но не ими вместе и не чем-то третьим.

Возникает, когда объёмы понятий не пересекаются, но при этом не исчерпывают собой весь универсум рассмотрения.

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

Закон обратного отношения между содержанием и объёмом понятия

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

Операции над понятиями

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

Понятий - это операция, в ходе которой берутся два или более понятий и как бы накладываются друг на друга. В результате в месте пересечения их объёмов образуется новое понятие, элементами которого будут те предметы, которые одновременно обладают отличительными признаками всех пересечённых понятий. Чтобы представить это наглядно, посмотрим на рисунки:

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

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

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

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

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

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

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

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

Новое понятие А’ - дополнение к понятию А. Если универсум нашего рассмотрения - это животные, понятие А - «млекопитающие», то А’ - «животные, не являющиеся млекопитающими». Операцию дополнения не нужно путать с отношением дополнительности.

Помимо булевых операций над понятиями можно проводить ещё целый ряд операций: ограничение, обобщение, деление.

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

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

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

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

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

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

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

Весь кружочек - это объём понятия делимого понятия А. В, С, D и Е - члены деления, то есть понятия, образованные в результате деления понятия А. Для иллюстрации предположим, что понятие А - это «месяцы». Основание деления - это принадлежность к времени года. Тогда новообразовавшиеся понятия В, С, D и Е - это «зимние месяцы», «весенние месяцы», «летние месяцы» и «осенние месяцы». Очевидно, что в результате деления может получаться разное количество понятий: всё зависит от делимого понятия и основания деления.

Чтобы деление было правильным, необходимо соблюдать следующие условия:

1. Деление должно производиться только по одному основанию. Если использовать наш пример с понятием месяцы, то я не могу разделить его на следующие подпонятия: «зимние месяцы», «весенние месяцы», «летние месяцы», «осенние месяцы» и «мои любимые месяцы». В таком делении используются две характеристики: принадлежность к времени года и моё отношение к конкретному месяцу. Это называется путанным делением. Также если использовать больше, чем одно основание деления, можно совершить так называемый скачок в делении, состоящий в том, что одни члены деления являются видами А, а другие - его подвидами. Например, исходное понятие - «вино», основание деления - цвет. В результате правильного деления мы должны получить три новых понятия: «белое вино», «розовое вино» и «красное вино». Но если в делении совершён скачок, то можно прийти к такому результату: «белое вино», «розовое вино», «каберне», «шираз», «мерло», «пино нуар». В данном случае были совмещены два основания: цвет и сорт, и в члены деления одновременно попали виды вида (белое, розовое) и подвиды (каберне, шираз и т.д.).
2. Члены деления В, С и т.д. должны представлять собой виды по отношению к родовому понятию А. Это то же условие, с которым мы сталкивались при ограничении и обобщении. Нельзя разделить понятие «автомобиль» на понятия «колёса», «двигатель», «руль» и т.п. Опять же нужно задаться вопросом, верно ли утверждение «Все В есть А», «Все С есть А» и так по всем членам деления. Если же вас всё-таки интересуют колёса и двигатель, то необходимо заменить делимое понятие на «части автомобиля», тогда деление станет правильным.
3. Объёмы членов деления не пересекаются, то есть ни один из элементов не может одновременно попадать в В и С или в В и Е и т.д.
4. Члены деления не могут быть пустыми понятиями. Предположим, что исходное понятие А - это «ныне правящие короли». Основание деления - принадлежность к странам. Так вот, среди членов деления не может быть понятий «ныне правящие французские короли» или «ныне правящие немецкие короли», так как это пустые понятия.
5. Если над всеми членами деления B, C, D, E произвести операцию объединения, то мы должны получить объём делимого понятия A.

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

Второй вид деления - деление по видоизменению основания. В его результате мы можем получить более двух новых понятий. Здесь в качестве основания выбирается какая-либо предметно-функциональная характеристика элементов объёма исходного понятия. В нашем примере с месяцами такой характеристикой была принадлежность к времени года. Если наше делимое понятие - это «люди», то можно в качестве основания деления взять цвет глаз, цвет волос, национальность и т.п. Если делимое понятие - «стихотворения», то основанием деления может быть их жанровая принадлежность. Для иллюстрации возьмём понятие «игральные карты», а основанием деления сделаем масть:

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

Правильно выполненная классификация подобна перевёрнутому дереву (на мой взгляд, скорее, перевёрнутому кусту). Вершина классификации - исходное делимое понятие - называется корнем. Линии, расходящиеся от неё, подобны веткам. Они ведут к членам деления, от которых в свою очередь также расходятся ветки к новым понятиям. Каждое понятие в классификации называют таксоном. Таксоны группируются по ярусам. На первом ярусе находится корень классификации А. На втором ярусе - таксоны В 1 -В n , образованные с помощью первой операции деления. На третьем ярусе - таксоны С 1 -С n , образованные в результате второй операции деления и т.д. Каждый ярус может содержать любое количество таксонов.

При построении классификаций используются оба вида деления: и дихотомическое, и по видоизменению основания. При этом они могут соседствовать даже в одной классификации. Дело в том, что внутри классификации каждая отдельная операция деления может производиться по своему собственному основанию. Приведём пример. Возьмём в качестве корня классификации понятие «писатели», основание деления - являлся ли писатель русским или нет. Соответственно, производим дихотомическое деление, в результате которого получаем на втором уровне два новых понятия: «русские писатели» и «зарубежные писатели». Затем мы можем разделить понятие «русские писатели» по видоизменению основания. В качестве основания возьмём характеристику: «в каком веке жил писатель?» Получаем новые понятия: «русские писатели XIвека», «русские писатели XIIвека» и так вплоть до «русских писателей XXIвека». Что касается понятия «зарубежные писатели», то его тоже можно разделить по видоизменению основания, но в качестве основания взять национальность писателей. Таким образом, получим: «испанские писатели», «французские писатели», «немецкие писатели» и т.д.

Знаком […] обозначены пропущенные члены деления. Дальше каждый таксон может быть разделён ещё по какому-то своему признаку. Главное в каждом отдельном делении соблюдать перечисленные выше правила.

Нужно отметить, что составление классификаций - не такая простая задача, как может показаться на первый взгляд. Не редки ситуации, когда сложно или невозможно определить, к какому именно таксону нужно относить тот или иной предмет. В нашем примере с писателями, в частности, возможны случаи, когда писатель родился и начал творить в одном веке, а умер уже в другом, как Чехов. Куда его нужно относить - в писатели XIXвека или XXвека? Иногда встречаются объекты, которые в принципе никуда не укладываются. Тогда для них создают отдельный таксон или помещают их в так называемый «отстойник». Он может обозначаться словами «всё прочее», и объекты, находящиеся в нём, не связаны ничем иным, кроме того, что их не удаётся никуда определить.

Упражнения

Китайская энциклопедия

Борхес в одном из своих произведений приводит отрывок из таинственной китайской энциклопедии. Это «божественное хранилище благотворных знаний» говорит, что «животные подразделяются на: а) принадлежащих Императору, б) бальзамированных, в) прирученных, г) молочных поросят, д) сирен, е) сказочных, ж) бродячих собак, з) включенных в настоящую классификацию, и) буйствующих, как в безумии, к) неисчислимых, л) нарисованных очень тонкой кисточкой из верблюжьей шерсти, м) и прочих, п) только что разбивших кувшин, о) издалека кажущихся мухами» (Борхес Х.Л. Аналитический язык Джона Уилкинса // Соч. в 3 т. Т. 2. Рига: Полярис, 1997, с. 85).

Попробуйте представить эту классификацию животных в виде дерева. Считаете ли вы, что она выполнена правильно? Если да, то докажите, что ни одно из правил деления в ней не нарушено. Если нет, то объясните, какие именно правила нарушены. Каким образом эту классификацию можно было бы исправить?

Мясо не еда

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

Кот. Как можешь ты есть колючки?

Осел. А что?

Кот. В траве попадаются, правда, съедобные стебельки. А колючки… сухие такие!

Осел. Ничего. Люблю острое.

Кот. А мясо?

Осел. Что - мясо?

Кот. Не пробовал есть?

Осел. Мясо - это не еда. Мясо - это поклажа. Его в тележку кладут, дурачок. (Е. Шварц, «Дракон»)

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

Разговор мужа с женой

Муж: Милая, ты не права.

Жена: Ах, я не права. Значит, я лгу. Я лгу, значит, я плохой человек, то есть нелюдь. Ты хочешь сказать, что я животное? Мама, он меня скотиной назвал!

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

Проверьте свои знания

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

Логика. Учебное пособие Гусев Дмитрий Алексеевич

Введение, Или что такое логика и зачем она нужна?

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

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

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

Для пояснения этой мысли приведем простой пример. Рассмотрим три совершенно различных по содержанию высказывания:

1. Все караси – это рыбы;

2. Все треугольники – это геометрические фигуры;

3. Все стулья – это предметы мебели.

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

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

1. Если наступает осень, то опадают листья;

2. Если завтра будет дождь, то на улице будут стоять лужи;

3. Если вещество – металл, то оно электропроводно.

Будучи непохожими друг на друга по содержанию, эти три высказывания сходны между собой тем, что строятся по одной и той же форме: «Если А, то В» . Понятно, что к этой форме можно подобрать огромное количество различных содержательных высказываний, например: Если не подготовиться к контрольной работе, то можно получить двойку; Если взлетная полоса покрыта льдом, то самолеты не могут взлетать; Если слово стоит в начале предложения, то его надо писать с большой буквы и т. д. и т. п.

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

Таким образом, форма мышления – это способ, которым мы выражаем наши мысли, или схема, по которой они строятся. Существует три формы мышления.

1. Понятие – это форма мышления, которая обозначает какой-либо объект или признак объекта (примеры понятий: карандаш, растение, небесное тело, химический элемент, мужество, глупость, нерадивость и т. п.).

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

3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений вытекает новое суждение или вывод. Примеры умозаключений:

Все планеты движутся.

Юпитер – это планета.

Юпитер движется.

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – это металлы.

Все металлы электропроводны.

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

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

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

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

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

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

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

Итак, логика – это наука о формах и законах правильного мышления.

Логика появилась приблизительно в V в. до н. э. в Древней Греции. Ее создателем считается знаменитый древнегреческий философ и ученый Аристотель (384–322 гг. до н. э.). Как видим, логике 2,5 тысячи лет, однако она до сих пор сохраняет свое практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны нам исключительно как памятники старины. Но некоторые немногие создания древних пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относится геометрия Евклида (в школе мы изучаем именно ее) и логика Аристотеля, которая также часто называется традиционной логикой.

В XIX веке появилась и стала быстро развиваться символическая или математическая, или современная логика , в основе которой лежат идеи, выдвинутые задолго до Х1Х в. немецким математиком и философом Готфридом Лейбницем (1646–1716 гг.), об осуществлении полного перехода к идеальной (т. е. совершенно освобожденной от содержания) логической форме при помощи универсального символического языка, аналогичного языку алгебры. Лейбниц говорил о возможности представить доказательство как математическое вычисление. Ирландский логик и математик Джордж Буль (1815–1864 гг.) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключений приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. Таким образом, одно из основных отличий символической логики от традиционной заключается в том, что в последней при описании правильного мышления используется обычный, или естественный язык; а символическая логика исследует тот же предмет (правильное мышление) с помощью построения искусственных, специальных, формализованных языков, или, как их еще называют, исчислений.

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

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

Движение вечно.

Хождение в школу – это движение.

Следовательно, хождение в школу вечно.

Каждый заметит, что ложный вывод получается из-за употребления слова «движение» в разных смыслах (в первом исходном суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом смысле). Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

Все мои друзья знают английский язык.

Нынешний президент Америки тоже знает английский язык.

Следовательно, нынешний президент Америки – мой друг.

Любой человек увидит, что в этом рассуждении есть какой-то подвох, что-то в нем не то или не так. Но что? Тот, кто не знаком с логикой, скорее всего, не сможет точно определить, какая ошибка здесь допущена. Тот, кто знаком с логикой сразу же скажет, что в данном случае допущена ошибка – «нераспределенность среднего термина в простом силлогизме». Или такой пример:

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

Петербург не находится за полярным кругом.

Следовательно, в Петербурге не бывает белых ночей.

Как видим, из двух истинных суждений вытекает ложный вывод. Понятно, что в этом рассуждении тоже что-то не то, есть некая ошибка. Но какая? Вряд ли не знакомый с логикой человек сможет сразу же ее найти. А тот, кто владеет логической культурой, немедленно установит данную ошибку – «расширение большего термина в простом силлогизме».

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

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

Здравый смысл часто называют практической, или интуитивной логикой. Она формируется стихийно в процессе жизненного опыта, примерно к 6–7 годам, т. е. к школьному возрасту или даже раньше, и все мы ей владеем. Так, например, само слово «логика» , скорее всего, было знакомо вам задолго до того, как вы начали читать эту книгу. В жизни мы часто сталкиваемся с такими выражениями, как «логичное рассуждение», «нелогичный поступок», «железная логика» и т. п. Даже если мы никогда не изучали логику, то все равно вполне понимаем, о чем идет речь, когда говорят о логике, логичном или нелогичном.

Рассмотрим такой пример: любой человек, не знакомый с логикой, заметит логическую некорректность и даже нелепость высказывания: Я иду в новых брюках, а ты идешь в гимназию. И каждый скажет, что корректным и осмысленным было бы такое высказывание: Я иду в брюках, а ты идешь в шортах или: Я иду в гимназию, а ты идешь в лицей. Когда мы изучаем логику, то узнаем, что в приведенном примере нарушается логический закон тождества, так как в нем смешиваются две различные (неравные или нетождественные друг другу) ситуации: идти в какой-то одежде и идти куда-то. Получается, что еще до знакомства с законом тождества мы уже им практически пользуемся, знаем о нем, только неявно, интуитивно. Точно так же закон тождества нарушается в высказывании: Сегодня будем копать траншею от этого столба и до обеда . Даже если человек ничего не знает о законе тождества и о его разнообразных и многочисленных нарушениях, он, тем не менее, обязательно обратит внимание на то, что в данном высказывании присутствует какая-то логическая ошибка (хотя бы он и не мог определить, какая именно).

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

Наконец, в повседневной жизни каждый из нас часто слышит и сам употребляет такие выражения, как: Почему я должен тебе верить? Чем ты это докажешь? На каком основании? Обоснуй! Мотивируй! и т. п. Когда мы так говорим, то используем логический закон достаточного основания. Тот, кто не изучал логику, скорее всего, не знаком с этим законом и ничего о нем не слышал. Однако, как видим, незнание данного логического закона не мешает нам практически, или интуитивно им пользоваться.

Данные примеры свидетельствуют в пользу того, что все люди владеют логикой, независимо от того, изучали они ее или нет. Таким образом, мы практически используем логику задолго до того, как начинаем ее теоретически изучать Возникает вопрос: зачем нужно изучать логику, если мы и так ей владеем?

Отвечая на этот вопрос, можно отметить, что то же самое происходит с родным языком: практически мы начинаем им пользоваться в 2,5–3 года своей жизни, а изучать его начинаем только со школьного возраста. Для чего же мы изучаем родной язык в школе, если задолго до нее и так хорошо им владеем? В 2,5–3 года мы пользуемся языком интуитивно, или бессознательно: практически владея им, мы ничего не знаем не только о склонениях и спряжениях, но также – о словах и буквах и даже – о самом факте того, что в жизни мы постоянно используем язык. Обо всем этом мы узнаем только тогда, когда начинаем изучать его в школьном (или старшем дошкольном) возрасте, в результате чего наше интуитивное использование языка постепенно превращается в осознанное – мы начинаем владеть им намного лучше.

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

Из книги Ангелы страшатся автора Бейтсон Грегори

XVII. ИТАК, ЗАЧЕМ НУЖНА МЕТАФОРА? (МКБ) Эта книга заставила меня избегать вечеров с коктейлями, таких социальных мероприятий, когда дружелюбные незнакомцы, узнав, что я провожу время весной за работой над книгой, спрашивали бы меня о ее содержании. Сначала я бы рассказала им о

Из книги Философия науки и техники автора Стёпин Вячеслав Семенович

Логика открытия и логика оправдания гипотезы В стандартной модели развития теории, которая разрабатывалась в рамках позитивистской традиции, логика открытия и логика обоснования резко разделялись и противопоставлялись друг другу. Отголоски этого противопоставления

Из книги Философия: Учебник для вузов автора Миронов Владимир Васильевич

Введение: что такое философия?

Из книги Разговоры ученого с Учителем автора Зеличенко Александр

Разговор 5-й. О картине Мира -- для чего она нужна, что она такое и как на нее смотреть у. Учитель! В самом начале ты обещал показать мне идиллическую картину Мира, в которой любые, даже внешне непохожие идеи мирно сосуществуют. Кажется, я начал понимать, что это за картина. И

Из книги Основы философии автора Канке Виктор Андреевич

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

Из книги Введение в философию автора Фролов Иван

ВВЕДЕНИЕ: ЧТО ТАКОЕ ФИЛОСОФИЯ Философия - одна из древнейших областей знания, духовной культуры. Зародившись в VII–VI веках до н. э. в Индии, Китае, Древней Греции, она стала устойчивой формой сознания, интересовавшей людей все последующие века. Призванием философов

Из книги «Симпсоны» как философия автора Халвани Раджа

3. Зачем нужна Мэгги: Звуки тишины, восток и запад Эрик Бронсон Никто не принимал во внимание Мэгги Симпсон. Да и с чего бы вдруг? Тень подозрения падала на Смитерса - раболепного поклонника, которым слишком часто пренебрегали. Еще больше можно было подозревать Гомера

Из книги Избранное. Логика мифа автора Голосовкер Яков Эммануилович

Из книги По законам логики автора Ивин Александр Архипович

Глава 2 ЧТО ТАКОЕ ЛОГИКА? «ПРИНУДИТЕЛЬНАЯ СИЛА НАШИХ РЕЧЕЙ…» В рассказе Л. Толстого «Смерть Ивана Ильича» есть эпизод, имеющий прямое отношение к логике.Иван Ильич видел, что он умирает, и был в постоянном отчаянии. В мучительных поисках какого-нибудь просвета он

Из книги «Я почему-то должен рассказать о том...»: Избранное автора Гершельман Карл Карлович

Из книги Новый ум короля [О компьютерах, мышлении и законах физики] автора Пенроуз Роджер

Зачем нужна квантовая теория гравитации? Что еще осталось узнать о мозге и мышлении такого, чего мы не выяснили в предыдущей главе? Хотя мы уже кратко рассмотрели некоторые из всеобъемлющих физических принципов, лежащих в основе направленности воспринимаемого нами

Из книги Адвокат философии автора Варава Владимир

238. Зачем же все-таки нужна философия? Рационально на этот вопрос ответить нельзя, поскольку здесь речь идет о неведомых глубинах человека, всегда взыскующего философии. Таков тонкий и невыразимый уровень; здесь бесконечная множественность интерпретаций только

Из книги Занимательная философия [Учебное пособие] автора Балашов Лев Евдокимович

Что такое диалектика, логика и философия? Петька спрашивает Чапаева: - Василий Иванович, что такое диалектика, логика и философия?- Ну как тебе объяснить? Вот видишь двух мужчин. Один грязный, другой чистый. Кто из них в баню идет?- Грязный.- Нет. Он потому и грязный, что

Из книги Популярная философия. Учебное пособие автора Гусев Дмитрий Алексеевич

К разделу «Введение. Что такое философия?» 1. Что я знаю о философии, философах и что я о них думаю?Эта задача предлагается для письменной студенческой работы на первом семинарском занятии по философии. На написание работы отводится не более 20-и минут. Возможен вариант

Из книги автора

Тема 1. Что такое философия и зачем она нужна? 1. «Наука обо всем»2. «Я не мудрец, но только философ»3. Философия и философоведение4. «Азбука»

Из книги автора

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