Дилеммы

Особый вид умозаключений из двух условных суждений и одного разделительного.

ü Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание. Назван в честь немецкого математика — Христофора Клавия. Клавий упоминал закон в своем комментарии^[1] к «Геометрии» Евклида. Евклид одну из своих теорем доказал, делая допущение, что она является ложной.

Определение[править | править вики-текст]

Формальным образом закон Клавия можно записать следующим образом:

Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.

ü Законы деления (дихотомия) логики созданы для классификации и систематизации разных понятий.

Основные принципы деления:

· деление должно быть соразмерным;

· деление на каждом его этапе должно производиться по одному основанию;

· члены деления должны исключать друг друга, то есть не должны пересекаться;

· деление не должно быть скачкообразным.

Наиболее типичными ошибками при делении объёма понятия являются следующие:

· неполное деление объёма понятия;

· слишком обширное деление;

· скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным».

32. Законы формальной логики: общая характеристика.

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

b) Закон противоречия

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

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

33. Понятие умозаключения: определение, структура, классификация.

Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений, свя­занных между собой, с логической необходимо­стью выводится новое суждение. Логическая сущность умозаключения состоит в движении мысли от анализа имеющегося знания к синтезу нового знания. Это движение имеет объектив­ный характер и определяется реальными связя­ми действительности. Объективная связь, отраженная в сознании, обеспечивает логическую связь мыслей. Напротив, отсутствие объектив­ных связей действительности приводит к логиче­ским ошибкам.

Структура любого умозаключения включает три элемента:

1) исходное знание, выражающееся в посыл­ках;

2) обосновывающее знание, выражающееся в правилах умозаключения;

3) выводное знание, выражающееся в заклю­чении или выводе.

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

Все граждане России имеют право на образование - посылка

Новиков - гражданин России - посыпка

Новиков имеет право на образование - заключение

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

Во-первых, должны быть истинными исходные суждения - посылки. Однако следует иметь в виду, что иногда и ложные суждения могут дать истинное заключение. Так, в результате специального подбора ложных посылок в следующем рассуждении получим истинное заключение:

Все слоны имеют крылья

________Все птицы – слоны_______

Все птицы имеют крылья

Это свидетельствует о том, что ориентация только на форму (структуру) посылок при игнорировании их объективно-истинных связей может создать видимость правильного умозаключения.

Во-вторых, в процессе рассуждения необходимо соблюдать правила вы­вода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение. На­пример:

Все гусеницы едят капусту

_________Я ем капусту________

Следовательно, я – гусеница

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

В зависимости от последовательности развития мысли, а также от логи­ческой обоснованности вывода умозаключения делятся на следующие виды: дедуктивные, индуктивные и умозаключения по аналогии.

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

В умозаключении по аналогии на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.

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

Процедура дедукции имеет место в том случае, когда информация посы­лок содержит (часто в неявной форме) информацию, выраженную в заклю­чении. Дедуктивное умозаключение является способом извлечения этой ин­формации и представления ее в явной форме.

Правила дедуктивного вывода определяются характером посылок, кото­рые могут быть простыми или сложными суждениями, а также их количест­вом. В зависимости от количества используемых посылок, из которых стро­ится вывод, дедуктивные умозаключения бывают непосредственные и опосредованные.

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

По составу все умозаключения делятся на простые и сложные. Простыми называются умозаключения, элементы которых не являются умозаключениями. Сложными называют умозаключения, состоящие из двух или более простых умозаключений.

По количеству посылок умозаключения делятся на непосредственные (из одной посылки) и опосредованные (из двух и более посылок).

По характеру логического следования все умозаключения делятся на необходимые (демонстративные) и правдоподобные (недемонстративные, вероятные). Необходимые умозаключения - такие, в которых истинное заключение обязательно следует из истинных посылок (т. е. логическое следование в таких выводах представляет собой логический закон). К необходимым умозаключениям относятся все виды дедуктивных умозаключений и некоторые виды индуктивных («полная индукция»).

Правдоподобные умозаключения -такие, в которых заключение следует из посылок с большей или меньшей степенью вероятности. Например, из посылок: «Студенты первой группы первого курса сдали экзамен по логике», «Студенты второй группы первого курса сдали экзамен по логике» и т. п. следует «Все студенты первого курса сдали экзамен по логике» с большей или меньшей степенью вероятности (что зависит от полноты наших знаний обо всех труппах студентов первого курса). К правдоподобным умозаключениям относятся индуктивные и умозаключения по аналогии.

Дедуктивное умозаключение (от лат. deductio- выведение) - такое умозаключение, в котором переход от общего знания к частному является логически необходимым.

Путем дедукции получаются достоверные выводы: если истинны посылки, то будут истинны и заключения.

Пример:

Если человек совершил преступление, то он должен быть наказан.

Петров совершил преступление.

Петров должен быть наказан.

Индуктивное умозаключение - такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).

Например:

Кража - уголовное преступление.

Грабеж - уголовное преступление.

Разбой — уголовное преступление.

Мошенничество - уголовное преступление.

Кража, грабеж, разбой, мошенничество - преступления против собственности.

Следовательно, все преступления против собственности – уголовные преступления.

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

В умозаключении по аналогии на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам. Например, на основе сходства способов совершения преступлений (кражи со взломом) можно сделать предположение о том, что эти преступления совершались одной и той же группой преступников.

Все виды умозаключений могут быть правильно построенными и неправильно построенными.

34. Дедукция: общая характеристика.

Деду́ кция — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.

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

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

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

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

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

35. Дедуктивные умозаключения: определение, структура, классификация.

Деду́ кция (лат. deductio — выведение) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.

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

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

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

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

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

Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредованные, в которых заключение выводится из двух посылок.