11) Законы (принципы) правильного суждения.

Закон мышления - это необходимая, существенная, устойчи­вая связь между мыслями. Наиболее простые и необходимые :вязи между мыслями выражаются формально-логическими законами тождества, непротиворечия, исключенного третьего, остаточного основания. Эти законы в логике играют особо важную роль, являются наиболее общими, лежат в основе различных логических операций с понятиями, суждениями и использу­ется в ходе умозаключений и доказательств. Первые три закона были выявлены и сформулированы Аристотелем. Закон доста­точного основания сформулирован Лейбницем. Законы логики являются отражением в сознании человека определенных отношений между предметами объективного мира. Формально-логические законы не могут быть отменены или заменены другими. Они имеют общечеловеческий характер: они едины для всех людей различных рас, наций, классов, профес­сий. Эти законы сложились в результате многовековой практики (человеческого познания при отражении таких обычных свойств вещей, как их устойчивость, определенность, несовместимость в одном и том же предмете одновременно наличия и отсутствия одних и тех же признаков. Законы логики - это законы правильного мышления, а не законы самих вещей и явлений мира. Кроме этих четырех формально-логических законов, отражаю­щих важные свойства правильного мышления, - определенность, непротиворечивость, четкость мышления выбор “или - или” в определенных “жестких” ситуациях, - существует много дру­гих формально-логических законов, которым должно подчиняться правильное мышление в процессе оперирования отдельными фор­мами мышления (понятиями, суждениями, умозаключениями). Законы логики функционируют в мышлении в качестве прин­ципов правильного рассуждения в ходе доказательства ис­тинных суждений и теорий и опровержения ложных суждений. В математической логике несколько иной подход. Там законы, выраженные в виде формул, выступают как тождественно-истин­ные высказывания. Это означает, что формулы, в которых выраже­ны логические законы, истинны при любых значениях их перемен­ных. Среди тождественно-истинных формул особо выделяются такие, которые содержат одну переменную. Схемы этих законов: a= a       - закон тождества. а ^ a         - закон непротиворечия. a v a          - закон исключенного третьего.

12) Умозаключение, умственное действие, связывающее в ряд "посылок" и "следствий" мысли различного содержания; У. реализует в плане "внутренней речи" присущие индивидуальному (или общественному) сознанию нормы и типы такой связи, которые и являются в каждом отдельном случае психологической основой У. Если эти нормы и типы совпадают с правилами и законами логики (см. Логический закон), У. по своему результату равносильно логическому выводу (см. Логика), хотя, вообще говоря, логический вывод и У. – качественно различны. В отличие от У., логический вывод строится с опорой на "внешние средства" путём словесной (знаковой) записи мыслей или же их формализации – кодификации (отображении) мыслей и их связей в каком-либо формальном (формализованном) языке, логическом исчислении и т.п. – с целью свести до минимума "подсознательные", "энтимематические". "эллиптические" элементы вывода, перевести абстрактный или "свёрнутый" ход мысли на язык "образов". Кроме того, нормы, определяющие "законность" У., не обязательно должны быть логическими. Например, неполная индукция – это именно У., а не логический вывод, поскольку связь посылок и заключений в индукции имеет фактическую и психологическую основу (в виде известных норм генерализации), но не имеет логической основы – формальных правил, определяющих ход мысли от частного к общему. У. отлично и от рассуждения: последнее – всегда сознательное и произвольное действие мышления, а У., по крайней мере в его основе, может быть и подсознательным, и непроизвольным актом.

Дедукция — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.

Пример дедуктивного умозаключения:

Все люди смертны.

Сократ — человек.

Следовательно, Сократ смертен.