Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Г.Е. Евланникова Учебное пособие - ЛОГИКА 234.doc
Скачиваний:
24
Добавлен:
11.11.2019
Размер:
1.18 Mб
Скачать

2.3. Умозаключение

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

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

Оно состоит из двух элементов: посылок - исходных суждений, на основании которых получается новое суждение и заключения, которое является следствием.

Суждение – выполняет функцию либо посылки, либо заключения. Понятие – выступает в роли S, либо Р.

Пример: «Все научные сведения полезны.

Химические сведения научны.

Химические сведения полезны».

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

Если заключение находится после посылок, то перед ним ставятся слова «Следовательно», «Значит», Итак». Если перед посылками, то после него ставятся слова «Потому что», «Так как», «Ибо», «От того, что». Если между посылками, то перед ним и после него употребляются соответствующие слова одновременно.

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

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

ДЕДУКЦИЯ. НЕПОСРЕДСТВЕННЫЙ ВЫВОД

Непосредственный вывод через отношение

1. Из простых суждений

1.1. Из атрибутивных

Если посылка - суждение вида А, Е, I или О, то непосредственный вывод можно сделать путем вывода по логическому квадрату,

Отношение противоречия (А–О и Е–I) – различное качество и количество.

И ≠И не могут быть одновременно ни истинными,

Л≠Л ни ложными.

И→Л - из истинности одного следует ложность другого.

Отношение противоположности (А-Е) – разное качество.

И ≠И не могут быть одновременно истинными,

Л=Л но могут быть одновременно ложными.

И→Л - из истинности одного следует ложность другого.

Отношение частичной совместимости (I-О).

И =И могут быть одновременно истинными,

Л≠Л но не могут быть одновременно ложными.

Л→И - из ложности одного следует истинность другого.

И →И из истинности одного следует как истинность,

И→Л так и ложность другого.

Отношение подчинения (А-I и Е-О).

И =И могут быть одновременно истинными,

Л≠Л но не могут быть одновременно ложными.

Л→И - из ложности одного следует истинность другого.

И →И из истинности одного следует как истинность,

И→Л так и ложность другого.

Каждое суждение может находиться в 3-ёх отношениях с другими суждениями, и с собой → возможны четыре вывода.

Пример: Если (А) «Все благородные мысли находят себе сочувствие» (Ист.)→ то (I) «Некоторые благородные мысли находят себе сочувствие» тоже (Ист.); (Е) «Ни одна благородная мысль не находят себе сочувствия» (Ложн.); (О) «Некоторые благородные мысли не находят себе сочувствия» (Ложн.); (А) «Все находящее себе сочувствие - благородные мысли».

Зная истинность и ложность одного из категорических суждений, можно определить истинность или ложность других.

Если А - истинно, то Е, О – ложны, I – истинно.

Если Е - истинно, то А, I –ложны, О – истинно.

Если I - истинно, то Е – ложно, а А и О – неопределенны.

Если О – истинно, то А – ложно, а Е и I – неопределенны.

Если А – ложно, то О – ложно, а Е и I – неопределенны.

Если Е – ложно, то I – истинно, а А и О – неопределенны.

Если I – ложно, то А – ложно, Е, О - истинны.

Если О – ложно, то Е - ложно, А, I – истинны.