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

3.Закон исключения  третьего. 
 
Закон непротиворечия указывает, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно может быть как истинным, так и ложным.  
 
Отношения между двумя противоречащими суждениями выражает закон исключенного третьего: два противоречащих суждения не могут быть одновременно ложными: одно из них необходимо истинно; другое — необходимо ложно; третье суждение исключено.9 
 
Поскольку закон исключенного третьего действует только в отношении противоречащих суждений, из которых одно необходимо истинно, а другое необходимо ложно, то рассуждение ведется по формуле: " или-или" («либо-либо»). Третьего не дано. 
 
Таким образом, подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Но вместе с тем он представляет собой дальнейшее развитие закона непротиворечия, устанавливая, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но они не могут быть также одновременно ложными: если истинно одно из них, то другое необходимо ложно. 
 
Закон исключенного третьего формулирует очень важные требование к нашим мыслям: нельзя уклоняться от признания истинным одного из двух противоречащих друг другу высказывай и искать нечто третье между ними. Если одно из них признано истинным, то другое надо признать ложным, а не искать третье. 
 
Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается при помощи практики, устанавливающей соответствие или несоответствие суждения объективной действительности. Однако значение этого закона в познании, в исследовании истины состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо является истинным. Всякое третье, среднее решение исключено. 
 
Закон исключенного третьего требует ясных, определенных ответов, указывая на возможность отвечать на один и тот же вопрос в одном и том же смысле и «да» и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого. 
 
Закон исключенного третьего, не рассматривая самих противоречий, запрещает признавать одновременно истинным или одновременно ложным два противоречащих друг другу суждения. В этом и состоит его смысл. 
 
Отрицающими являются следующие пары суждений: 
 
1. «Это S есть P» и «Это S не есть P» 
 
2. «Все S есть P» и «Некоторые S не есть P» 
 
3. «Ни одно S не есть P» и «Некоторые S есть P».(10  Челпанов Г.И. Учебник логики, 2003г)

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

Этот закон формулируется  так: «Всякая истинная мысль должна быть достаточно обоснованной». Речь идет об обосновании именно и только истинных мыслей; ложные же мысли доказать нельзя. Есть хорошая латинская пословица: «Ошибаться свойственно всякому человеку, но настаивать на ошибке свойственно только глупцу».

Формулы этого закона нет, ибо он имеет только содержательный характер. Иногда в книгах для выражения этого закона дается формула а -> b, однако это неправильно, ибо а -> b не является тождественно-истинной формулой.

В двузначной символической  логике имеются парадоксы материальной импликации, связанные с тем, что в ней формула а -> b истинна и в случае, если а  и b оба ложны, и в случае, если а ложно, а b истинно. Так как между логической материальной импликацией, выражаемой в логике формулой а -> b, и содержательным союзом «если... то» нет полного соответствия, закон достаточного основания не может быть выражен формулой а -> b.

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

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

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

Принципы доказательства, приемы и методы обоснования истинных мыслей и опровержения ложных будут  освещены более подробно в главе  VI.( А. Д. ГЕТМАНОВА

Учебник ПО ЛОГИКЕ Москва 2000 )

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