Основные формально – логические законы

а), где а - любое  суждение, не-а - отрицание суждения а. Суждение а и его отрицание  не-а соединены при помощи дизъюнкции.

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

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

необходимо ложно.

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

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

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

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

    Отрицающими являются следующие пары суждений:

1. "Это S есть P" и "Это S не есть P"

2. "Все S есть P" и "Некоторые S не есть P"

3. "Ни одно S не есть P" и "Некоторые S есть P". 
 
 
 
 
 
 
 
 

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

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

обосновывать  ее истинность, т. е. доказать ее соответствие с действительностью.

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

следующим образом: всякая истинная мысль имеет достаточное  основание.

    Достаточным, т. е. действительным, невымышленным  основанием наших мыслей может являться личный опыт, индивидуальная

практика. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления  с фактами действительности.

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

человеческой  деятельности.

    Истинность  законов, аксиом и т. д. подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для

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

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

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

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

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

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

в свою очередь обосновывается суждением а, то перед нами цепь суждений, связанных друг с другом следующим образом: a Ŵ b Ŵ c.

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

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

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

Заключение 

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

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

отражением связей и отношений вещей материального мира. Общечеловеческий характер принципов формальной логики состоит в

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

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

какой-либо формально-логический закон. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Список  использованной литературы 

1. Кириллов  В.  И., Логика 

2. Гетманова  А. Д., Учебник по логике