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

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

Термин распределенный, если то, что о нем высказывается в суждении, относится ко всему классу предметов. Если же термин мыслится в суждении в части своего объема, то он является нераспределенным.

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

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

Логика изучает все возможные случаи распределенности субъекта и предиката в суждениях, зависящие от различий между суждениями по качеству и по количеству.

В общеутвердительных суждениях о принадлежности предмета классу предметов субъект распределен, предикат не распределен.

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

В общеотрицательных суждениях и субъект, и предикат суждения распределены.

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

Рассмотрев распределенность субъекта и предиката в суждениях всех видов качества и количества, можно сделать следующие выводы:

1) субъект распределен в общих суждениях и не распределен в частных;

2) предикат распределен во всех отрицательных суждениях и в тех частноутвердительных, в которых предикат подчинен субъекту. Предикат не распределен в общеутвердительных и в тех частноутвердитель-ных суждениях, в которых субъект и предикат – понятия перекрещивающиеся.

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

В логике выделяют три вида модальности:

1) алетическую;

2) деонтическую;

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

Суждения, выражающие вероятность высказываемого утверждения, называются вероятными.

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

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

Данная модальность определяет, на каком основании было принято данное суждение – на вере или на знании:

1) вера – это принятие как истинных, так и ложных чужих мнений;

2) знание – это принятие как истинного, так и ложного суждения в результате его обоснования другими суждениями, из которых данное суждение вытекает как следствие.

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

Рассмотрим построение таблиц истинности на примере операций, рассмотренных в предыдущем разделе. Начнем с унарной операции отрицания Ā. Поскольку операция выполняется над одним операндом (A), принимающим всего два значения (1-истина; 0-ложь), таблица будет иметь три строки и два столбца. В заголовке таблицы укажем высказывание A и результат отрицания Ā, как показано на рисунке.

A	Ā

Далее в первом столбце разместим все возможные значения высказывания A, а во втором - значения логической функции Ā, как показано на рисунке.

A	Ā

Приведем таблицу истинности логического умножения (конъюнкции).

A	B	A Λ B

Заметим, что составное высказывание A Λ B истинно только в том случае, когда истинны ода высказывания и A, и B.

Таблица истинности логического сложения приведена на следующем рисунке.

A	B	A V B

Составное высказывание A V B ложно лишь в случае, когда оба операнда ложны.

Таблица истинности импликации, выглядит следующим образом.

A	B	A -› B

Составное высказывание A -› B ложно лишь в случае, когда ложь имплицируется истиной. Таблица истинности эквивалентности представлена на следующем рисунке.

A	B	A ~ B

Составное высказывание A ~ B истинно в том случае, когда значения операндов совпадают. Полезно иметь под рукой сводную таблицу истинности.

Заметим, что таблицы истинности находят широкое применение для

· вычисления истинности сложных высказываний;

· установления эквивалентности высказываний;

· oпределения тавтологий.

27) В ряде случаев истинность или ложность суждений устанавливается в результате непосредственного восприятия. Такими, например, являются суждения: «сегодня жаркий день», «Иванов пришел первым к финишу», «пять больше трех» и т. д.; такие суждения называются непосредственно очевидными.

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

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

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

Различают дедуктивные и индуктивные умозаключения (дедукцию и индукцию), а также умозаключения по аналогии.

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

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

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

В мышлении человека дедукция и индукция взаимно связаны и не могут протекать одна без другой. Дедукция немыслима без конкретных фактов, добытых индуктивным путем. В то же время процесс индуктивного познания конкретных вещей опирается на обобщенные образы явлений, на отнесение их в определенные группы, что невозможно без дедукции. «Индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ»,— говорит Энгельс.

Аналогия. Аналогией называется такое умозаключение, в котором вывод делается на основании частичного сходства между явлениями, без достаточного исследования всех условий. Например, усматривая некоторое сходство физических показателей, характерных для Земли и Марса, делают вывод о возможности жизни на Марсе.

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

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

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

Дата добавления: 2014-01-15