Логика 6 лекция. Умозаключение. План.

I. Умозаключение как форма мышления Структура и виды умозаключений.

II. Дедуктивные умозаключения.

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

2. Простой категорический силлогизм, его структура и правила. Фигуры и модусы силлогизма. Сложные и сложносокращенные силлогизмы (энтимема, полисиллогизм, сорит, эпихейрема) Алгоритмы решения задач.

3. Умозаключения логики суждений. Условно-категорические и чисто условные умозаключения. Разделительно-категорические умозаключения. Конструктивные и деструктивные дилеммы. Возможные ошибки. Алгоритмы решения задач.

I. Умозаключение как форма мышления.

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

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

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

Умозаключение имеет устойчивую структуру:

1. посылки – исходные суждения, из которых выводится новое знание. Например. а) « Преступление совершено умышленно или по неосторожности» б) « Данное преступление совершено умышленно»

2) Заключение – новое суждение, полученное логическим путем из посылок. Например, Следовательно, неверно, что преступление совершено по неосторожности. Перед заключением всегда стоят слова: следовательно, значит, получается… Это позволяет отделить заключение от посылок.

3)Вывод – логическая процедура, посредством которой из посылок выводится заключение. В нашем случае мы воспользовались утверждающе – отрицательным модусом разделительно- категорического умозаключения, его формула

Преступление совершено умышленно (p) --- 1 посылка

или по неосторожности (q) p v q p v q

Данное преступление совершено умышленно p p

Следовательно, неверно, что оно осуществлено ~q ~q

по неосторожности

Существует несколько классификаций умозаключений по разным основаниям:

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

А) НЕОБХОДИМЫЕ. В них заключение с необходимостью следует из посылок, т.е. логическое следование ( из истинного суждения не может быть получено ложное ) представляет собой логический закон.

В) ПРАВДОПОДОБНЫЕ.Правила вывода в них обеспечивают лишь вероятное следование заключения из посылок.

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

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

В) НЕДЕДУКТИВНЫЕ. Они не обладают логической надежностью дедуктивных, но они позволяют обобщать новые факты, мысли двигаться от частного к общему, расширять объем наших знаний. К ним относятся индуктивные умозаключения и умозаключения по аналогии.

Дедуктивные умозаключения можно разделить на:

а) Непосредственные (заключение выводится из одной посылки) – превращение, обращение, умозаключения по логическому квадрату и противопоставление субъекту и предикату)

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