36.Законы логики.

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

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

Основные законы:

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

Закон противоречия – утверждает, что два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении.

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

Закон достаточного основания – утверждает, что всякая истинная мысль должна быть достаточно обоснованной.

[Достаточное основание – это любая другая мысль, уже проверенная и признанная истинной, из которой с необходимостью вытекает истинность данной мысли.]

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

Неосновные законы логики (законы двойного отрицания, контра-позиции).

Соблюдение законов логики - необходимое условие достиже­ния истины в процессе рассуждения.

37.Виды умозаключений.

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

Виды умозаключений:

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

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

Опосредованные – в них вывод следует из двух или нескольких суждений, логически связанных между собой. Вид: категорический силлогизм [см. 24-25].

Так же выделяют:

Чисто условное (опосредованное умо­заключение, в котором обе посылки и заключение являются условными суж­дениями)

Условно-категорическое (умозаключение, в котором одна из посылок — условное суждение, а другая посылка и заключение — категори­ческие суждения)

Разделительно-категорическим - умозаключение, в котором одна из посылок — разделительное суждение, а другая посылка и заключение — категорические суждения.

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

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

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

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

Математическая

3.Умозаключение по аналогии (посылки и вы­вод выражают знание одинаковой степени общности и в них также истинность исходных посылок еще не позволяет говорить об ис­тинности вывода) — это заключение, когда принадлежность пред­мету определенного признака обосновывается сходством в существенных при­знаках с другим предметом.

Обозначение: буквы «а» и «в» - два каких-то схожих предмета или события; буквы P, O, S, T - их признаки.

Логическая схема аналогии:

«а» имеет признак S, Р, О, Т

«в» имеет признаки Р, O, S

Следовательно, «в» имеет признак Т

Аналогия свойств — это умозаключение, в котором объектом уподобления являются два единичных предмета, а переносимым признаком — свойства этих предметов.

Аналогия отношений — это умозаключение, в котором объектом уподобле­ния являются отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.