Закон противоречия в логике. Примеры

Понятие логической формы.

Формальная логика - наука о законах и формах правильного мышления.

Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей.

Логические законы:

1) Закон тождества.

2) Закон непротиворечивости.

3) Закон исключенного третьего.

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

6. Логические законы – это объективно существующие и необходимо применяемые правила построения логического мышления.Как и любые законы окружающего мира, открытые в рамках науки (например, естественной), законы логики объективны. От законов юриспруденции логические законы отличаются тем, что их нельзя отменить или изменить. Таким образом, они характеризуются постоянством. Можно сравнить законы логики, например, с законом всемирного тяготения. Он существует независимо от чьей-либо воли. Поэтому логические законы едины для всех. Однако, несмотря на наличие общих черт с законами природы, логические законы имеют свою специфику. Законы логики есть законы правильного мышления, но не окружающего мира.

7. Закон тождества в логике. Этот закон раскрывает сущность требования об определенности и однозначности наших мыслей. Закон тождества можно сформулировать следующим образом: объем и содержание мысли о каком-либо предмете должны быть строго определены и оставаться постоянными в процессе рассуждения о нем.Закон тождества принято выражать формулой А = А или А суть А.

Закон противоречия в логике. Примеры

Условием истинного познания выступает также требование непротиворечивости мышления. Суть его раскрывается в формально-логическом законе противоречия, который можно сформулировать следующим образом: в процессе рассуждения о каком-либо определенном предмете нельзя одновременно утверждать и отрицать что-либо в одном и том же отношении, в противном случае оба суждения не могут быть вместе истинными.Закон противоречия принято выражать в виде формулы: ()Где А и – два суждения (положительное и отрицательное), ^ - знак конъюнкции (читается как «и»), черта сверху означает отрицание всей формулы.

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

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

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

Где А есть суждение, – его отрицание, ^ – знак конъюнкции, читается как «ИЛИ».Этим законом исключается истинность какого-либо третьего суждения, кроме того суждения, к которому мы пришли, или его отрицания. Здесь предлагается сделать выбор из двух

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