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

Зако́н то́ждества — закон логики, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идёт речь в данном рассуждении.^[1] Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления - его определённость - выражается данным логическим законом^[2][3][4][5].

Впервые^[3] закон тождества сформулирован Аристотелем в трактате «Метафизика» следующим образом:

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

— Аристотель, "Метафизика"^[6]

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

Символическая логика при построении исчислений высказываний оперирует формулами   (читается:   влечет  ) и   ≡   (Читается:   равнозначно  ), где   − любое высказывание,   – знак импликации, ≡ – знак эквивалентности. Эти формулы соответствуют закону тождества. В логике предикатов закон тождества выражается формулой  , т. е. для всякого   верно, что если   имеет свойство  , то   имеет это свойство^[7].

Когда закон тождества нарушается непроизвольно, по незнанию, тогда возникают логические ошибки, которые называются паралогизмами; но когда этот закон нарушается преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль, тогда появляются ошибки, называемые софизмами^[3]. При нарушении закона тождества возможны следующие ошибки:

1. Амфиболия (от греч. ἀμφιβολία — двусмысленность, неясность) - логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Например: "Правильно говорят, что язык до Киева доведет. Я купил вчера копченый язык. Теперь смело могу идти в Киев". Другое название этой ошибки - "подмена тезиса".

2. Эквивокация (от лат. aequivocatio - равноголосие, двусмысленность) - логическая ошибка при рассуждении, в основе которой лежит использование одного и того же слова в разных значениях. Например, смысл простого, на первый взгляд, высказывания: «Ученики прослушали объяснение учителя», – непонятен. Ведь слово «прослушали», а значит, и все высказывание можно понимать двояко: то ли ученики внимательно слушали учителя,то ли все пропустили мимо ушей (причем первое значение противоположно второму). Эквивокация иногда используется как риторический художественный прием. В логике этот прием называют "подмена понятия".

3. Логомахия (от греч. λόγος - слово и μάχη - бой, сражение) спор о словах, когда в процессе дискуссии участники не могут прийти к единой точке зрения в силу того, что не уточнили исходные понятия.

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

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

В математической логике закон исключенного третьего выражается формулой

где   — знак дизъюнкции,   — знак отрицания.

Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них необходимо ложно.^[1]

Математическая запись

где   — знак конъюнкции,   — знак отрицания.

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

Зако́н доста́точного основа́ния— закон логики, который формулируется следующим образом: всякое положение для того, чтобы считаться вполне достоверным, должно быть доказанным, т. е. должны быть известны достаточные основания, в силу которых оно считается истинным.^[1][2][3][4] Допустим, что учащийся, слушая рассказ учителя, встречается с рядом неизвестных ему положений. Например, он узнаёт, что древние египтяне имели совершенные музыкальные инструменты, что некоторые ультразвуки убивают простейшие живые организмы, что если в Средней Азии произойдёт землетрясение, то образовавшиеся при этом волны достигнут Москвы через несколько минут. Учащийся вправе сомневаться в истинности этих положений до тех пор, пока они не будут доказаны, объяснены, обоснованы. Как только они будут доказаны, как только будут приведены достаточные основания, подтверждающие их истинность, сомневаться в них уже нельзя. Другими словами: всякое доказанное положение непременно истинно.^[1]

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

Закон достаточного основания, хотя и подразумевался ранее во многих системах логики (например у Левкиппа или Аристотеля^[5]) был впервые^[5][6] сформулирован Лейбницем в работе "Монадология" следующим образом:

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

— Лейбниц, "Монадология"^[7]

Закон достаточного основания не имеет символической (формальной) записи. Это не случайно. Доказательства могут быть как эмпирическими, так и теоретическими. Физический опыт, статистические данные, законы наук могут быть обоснованием того или иного утверждения. Универсальной формулы доказательства не существует. Каждая наука доказывает по своему^[8][9].

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

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

Не нуждаются в обоснованиях и такие, например, суждения: «Целое больше своей части», «Две величины, порознь равные третьей, равны между собой» и т. п. Такие суждения называются аксиомами и не требуют доказательств. Самым верным и надёжным доказательством истинно­сти той или иной мысли является, конечно, такое доказательство, которое непосредственно основано на фактах. Однако непосредственное обращение к фактам не всегда возможно. Так, в подтверждение истинности мыс­ли о возникновении органической жизни полтора-два мил­лиарда лет назад невозможно привести сам начальный факт зарождения жизни. Кроме того, приводить в подтверждение истинности мысли всякий раз непосредственный факт нет никакой необходимости. Обобщённая формулировка при­меняется для дальнейшего познания единичных предметов и для логического обоснования мыслей об этих предметах. Например, тот факт, что медь — проводник электричества, можно доказать двумя путями: опытным (пропустить ток по медному проводу) или чисто логически, путём рассуждения (медь — металл; все ме­таллы — хорошие проводники электричества; значит, медь есть хороший проводник электричества)^[10].

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

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

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

Понятие есть результат применения категории к восприятию. Отсюда понятие в его отвлеченности противостоит конкретности восприятия. Также понятие противостоит слову, которое можно трактовать как знак понятия^[1].

Понятия суть «сокращения, в которых мы охватываем, сообразно их общим свойствам, множество различных чувственно воспринимаемых вещей» (Ф. Энгельс)^[2], а также нечувственных объектов, таких как другие понятия. Понятие не только выделяет общее, но и расчленяет предметы, их свойства и отношения, классифицируя последние в соответствии с их различиями. Так, понятие «человек» отражает и существенно общее (то, что свойственно всем людям), и отличие любого человека от всего прочего.

В русских философских словарях XVIII века (см. Антиох Кантемир и Григорий Теплов) термин понятие сближался с идеей.

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