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

Введение
В данном реферате будут рассмотрены предмет формальной логики и основные законы этой дисциплины.
Начнем с определений и понятий формальной логики которыми мы будем оперировать в данной работе.
Формальная логика - наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.
Формальная логика конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии отдельный раздел или направление логики конца XIXначала XX в. В современном употреблении синоним символической, или математической логики. Вплотную к дисциплине формальной логики примыкает алгебра логики, как математическое отражение данной дисциплины.
Закон мышления - внутренняя, существенная, необходимая связь между мыслями. Наиболее простые и вместе с тем необходимые связи выражаются в основных формально-логических законах: тождества, непротиворечия, исключенного третьего и достаточного основания. Эти законы называются основными, потому что выражают важные свойства правильного мышления: его определенность, непротиворечиость, последовательность и обоснованность. Они имеют необходимый и всеобщий характер, действуют во всяком процессе мышления не зависимо от того, в какой форме он протекает. Кроме основных, существуют формально-логические законы, связанные с отдельными формами мышления, с отдельными логическими операциями, например, закон обратного отношения между объемом и содержанием понятия и другие.
Формально-логические законы абсолютно глобальны в социально-культуральном смысле - они действуют во все времена и во всех странах, люди разных национальностей и разной культуры мыслят логически, используя одни и те-же законы.
Собственно - вот эти законы:
Закон тождества
Закон непротиворечия
Закон исключенного третьего
Закон достаточного основания

Общая характеристика формально-логических законов
Качественная определенность предметов и их свойств составляет объективную основу законов тождества, непротиворечия и исключенного третьего. Закон достаточного основания является логическим выражением причинно- следственных связей. Существует четыре классических закона формальной логики указанные во введении. Мы рассмотрим их с двух точек зрения с формально-теоретической и с методологической.
Закон тождества
Формальная.
Закон тождества формулируется следующим образом: всякая мысль тождественна сама себе, а есть а (или а=а), где а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.
Требование закона тождества очевидно, однако нередки случаи, когда оно нарушатся. Отождествление различных мыслей или различение тождественных мыслей возникает, например ,в связи с особенностями их языкового выражения. Одну и туже мысль можно выразить в различной языковой форме, что нередко приводит к изменению первоначального смысла понятия, к подмене одной мысли другой. Особенно опасны в этом отношении синонимы и омонимы, неправильное употребление которых ведет к нарушению логического строя мысли. Так, под словом "заключение" в логике понимают суждение, вытекающее из других посылок. Этим же словом обозначается состояние лица, лишенного свободы, подвергнутого аресту. Употебление таких слов в одном значении означает отождествление различных понятий, и, наоборот, употребление одного из них в различных понятиях означает ошибочное различение тождественных понятий. И в первом и во втором случаях требование закона тождества нарушено.
Отождествление различных мыслей может произойти в результате того, что разные люди в зависимости от профессии, жизненного опыта и т. д. вкладывают в одно и тоже понятие разный смысл.
Отождествление различных понятий представляет собой логическую ошибку - подмену понятия, сущность которой состоит в том, что вместо данного понятия и под видом данного понятия употребляют другое понятие. При чем эта подмена может быть как неосознанной, так и сознательной, преднамеренной, Подмена понятия означает подмену предмета рассуждения. Рассуждение в этом случае будет относиться к разным предметам, хотя они и будут ошибочно приниматься за один предмет.
Ошибкой, сходной с подменой понятия, является подмена тезиса. Эта ошибка возникает в доказательстве или опровержении, когда доказывается или опровергается не выдвинутое положение (тезис), а другое положение, которое принимается за выдвинутое.
Указанные ошибки возникают во многих логических формах и операциях, в том числе в умозаключениях и доказательствах, где они будут рассмотрены.
Закон тождества, таким образом, одно из важнейших свойств логического мышления - определенность.
Отождествление широко используется в следственной практике, например, при сличении документов, подписей, отпечатков пальцев. Так же закон тождества используется в науке, искусстве, в программах для работы ЭВМ, в школьном преподавании, в повседневной жизни.
Методологическое толкование
Формулировка: всякое понятие и суждение тождественно самому себе. Комментарий: Как видим - все достаточно просто. Если подчиняться закону тождества, то нельзя в процессе рассуждения заменять какое-либо понятие другим понятием, любая подмена понятий недопустима. Это требование очевидно, но на практике такие подмены имеют место практически всегда. Ведь одну и туже мысль можно выразить на разных языках и в различной форме, что нередко приводит к изменению первоначального смысла понятия, к подмене одной мысли другой. Многие языи содержат синонимы и омонимы, которые являются просто генераторами ошибок, связанных с нарушением первого закона. Классический пример - слово "субъект", которое может привести к полной логической неразберихе. Как вам такое предложение: "Данный субъект, являясь объектом исследования, не может оказаться его субъектом"?...
Закон тождества даже интуитивно кажется в высшей степени простым и очевидным. Но существуют не только случаи его неправильного применения (точней - неприменения), но также и неверные интерпретации этого закона. Заявлялось, например, что из закона тождества следует то, что вещи всегда остаются неизменными, тождественными самим себе. Подобные интерпретации - просто неумение применить законы формальной логики к собственным рассуждениям. Закон ничего не говорит о способности чего-либо к изменениям. Если применять его в этом смысле, то можно заявить только то, что если вещь меняется, то она меняется, а если она остается неизменной, то она остается неизменной.
Вывод: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.
Результат применения: закон тождества обеспечивает определенность логического мышления.

Закон непротиворечия
Формальная.
Для того, чтобы правильно познать действительность, наши суждения не должны быть противоречивыми. Противоречия делают мышление непоследовательным, бессвязным, они разрушают мысль, затрудняют процесс познания.
Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два противоположных суждения не могут быть одновременно истинными; по крайне мере одно из них необходимо ложно.
Закон непротиворечия действует в отношении всех противоположных суждений - и противных (контрарных) и противоречащих (контрадикторных). Он указывает, что два противоположных суждения не могут быть одновременно истинными, одно из них необходимо ложно. Что касается другого суждения, то оно может быть как истинным, так и ложным.
Закон непротиворечия можно выразит формулой, применяемой математической логикой в исчислениях высказываний: не-(а или не-а) (неверно, что а и не-а одновременно истинны). В этой формуле под а имеется ввиду любое суждение, под не-а - суждение, отрицающее суждение а, а общее отрицание - отрицание двух суждений, соединенных знаком конъюнкции. Утверждая что-либо о каком-либо предмете, мы не можем, не противореча себе, отрицать то же самое о том же самом предмете, взятом в то же самое время и в том же самом отношении.
Если мы утверждаем принадлежность предмету одного признака и в то же время отрицаем принадлежность этому же предметы другого признака, никакого противоречия не будет. Не будет противоречия между суждениями, если речь идет о разных предметах. Противоречия не будет и в том случае, если мы что либо утверждали и то же самое отрицает относительно одного лица, но рассматриваемого в разное время. Наконец, один и тот же предмет нашей мысли может рассматриваться в разном отношении.
В основе закона непротиворечия лежит качественная определенность вещей и явлений, относительная устойчивость их свойств. Отражая эту сторону действительности, закон непротиворечия требует, чтобы мышление не допускало противоречивых утверждений. Если, например, предмет А имеет определенное свойство, то в суждениях об этом предмете мы обязаны утверждать это свойство, а не отрицать его и не приписывать данному предмету того, чего у него нет.
Не следует ли из этого, что закон непротиворечия отрицает всякие противоречия?
Прежде всего нужно строго отличать формально-логические противоречия от противоречий объективной действительности.
Противоречия, существующие объективно, - внутренний источник развития вещей и явлений материального мира. Это - реальные, действительные противоречия, которые отражает и должно отражать мышление при помощи действующих в нем диалектических законов. Формально-логические противоречия - это противоречия путаного, неправильного рассуждения, не являющиеся отражением жизненных, диалектических противоречий и затрудняющие познание действительности.
Закон непротиворечия имеет важное значение в теоретической и практической деятельности человека.
Сознательное использование закона непротиворечия помогает более успешно обнаруживать и устранять противоречия в своих и чужих рассуждениях, выработать критическое отношение ко всякого рода неточности, непоследовательности в мыслях.

Основные законы формальной логики. 1
Введение 2
Общая характеристика формально-логических законов 3
Закон тождества 3
Закон непротиворечия 5
Закон исключенного третьего 8
Закон достаточного основания 11
Пятый закон формальной логики. 14
Заключение 16
Список использованной литературы 18

Список использованной литературы
1. А.Айер. Язык, истина и логика. Аналитическая философия. Избранные тексты. - М., 1993.
2. 2. А.Ивин. Логика. Учебное пособие. Второе издание, - М., Знание, 1998.
3. 3. А.Ивин. Элементарная логика. - М., Знание, 1994.
4. 4. Б.Кулик. Логические основы здравого смысла.
5. 5. К.Свасьян. Философское мировоззрение Гете. - Ереван, Изд-во АН АрмССР, 1984.
6. А.А. Румянцев. Пятый закон формальной логики.
7. Кириллов В. И., Логика
8. Гетманова А. Д., Учебник по логике
9. http://www.glossary.ru/
10. Материал из Википедии свободной энциклопедии http://ru.wikipedia.org/