Законы и формы логического мышления

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

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

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

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

Сравним два высказывания:

"Все вороны – птицы",

"Все шахматисты – гроссмейстеры".

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

"Все S есть Р".

Это и есть форма рассматриваемых высказываний. Она получена в результате отвлечения от конкретного их содержания. Но сама эта форма имеет все-таки некоторое содержание. Из нее мы узнаем, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Это не особенно богатое, но все-таки содержание, "формальное содержание".

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

В настоящее время их насчитывается всего четыре:

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

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

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

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

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

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

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

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

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