Логика — наука о мышлении, ее предметом, являются законы и формы, приемы и операции мышления, с помощью которых человек позна­ет окружающий его мир

Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них необходимо ложно.
Противоречие формально-логическое, как правило, отражает противоречие диалектическое, возникающее в процессе познания и свидетельствует о необходимости дальнейшего анализа ситуации. Решение противоречия диалектического, в свою очередь, способствует продвижению познания и устранению противоречия формально-логического (примером такого решения служит анализ закона тождества и устранения противоречивости его трактовки).
19. Закон исключенного третьего как выражение последовательности и непротиворечивости мышления.
Закон гласит:
Из двух, отрицающих друг друга высказываний, одно истинно, другое ложно, а третьего (некоего промежуточного) не дано.
Закон исключения третьего применим лишь там, где нарушен закон непротиворечия – при обнаружении ложных суждений, которые и признан устранять. Он предлагает бескомпромиссный выбор альтернатив, возможный лишь при их достаточной определенности и, без нее, не имеет смысла, становясь неприменимым даже в случае нарушения закона непротиворечия, если они могут быть как одинаково истинными, так и одинаково ложными.
То есть: Закон исключения третьего дополняет закон непротиворечия, но применим лишь в том случае, где при однозначности ситуации, имеется прямое отрицание одного понятия другим или косвенное отрицание дополняется достаточно обстоятельными комментариями; его назначение – устранение возникших противоречий.
20. Закон достаточного основания как выражение обоснованности вывода.
Четвертый закон логики выражает одну из общих черт правильного мышления — его обоснованность; требует, чтобы ваши суждения о предмете и его свойствах были не голословны, а базировались на достоверных аргументах. Этот логический закон имеет следующую формулировку: всякая мысль, чтобы стать несомненной, должна быть обоснована другими мыслями, истинность которых доказана или самоочевидна. Он обеспечивает доказательность и (вместе с другими заколами) последовательность мышления. 
Ни одно положение не может быть признано истинным, если оно не обосновано. В любом рассуждении наши мысли должны быть логически связаны, доказательны. Доказательным будет такое мышление, в котором не только утверждается истинность известного вывода, но и . указываются основания, позволяющие признать эхо положение истинным (С — consequentia — следствие — есть потому, что есть R — ratio — основание). 


21. Общая характеристика умозаключения. Виды умозаключений.
Логической формой получения выводных знаний является умо­заключение.
Умозаключение — это форма мышления, посредством кото­рой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из кото­рых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Различают три вида умозаключений: дедуктивные (от общего знания к частному), индук­тивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Дедуктивные умозаключения делятся на опосредствованные и непосредственные.
22. Непосредственные дедуктивные умозаключения. Способы их преобразования.
1. Превращение.