Логические следствия их доказательства

Краткое описание

Содержание

Введение…3

1.Понятие логических следствий и их доказательств…4

2.Доказательства логических заключений в юридической практике…6

Заключение…13

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

Введение

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

Математическая логика дает методы анализа рассуждений путем фиксации их вида (теория доказательств). Поэтому, как пишет С.К. Клини [3], «к формальной логике можно прибегать для установления справедливости нашего рассуждения или с тем, чтобы найти в нем ошибки, если есть риск запутаться».  

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

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