Логика. Панькова Н.М. - 47 стр.

UptoLike

Составители: 

Рубрика: 

Умозаключение субконтрарности (I - O) дает возможность получить
истинные частноутвердительные или частноотрицательные суждения. Из
ложности одного суждения следует истинность другого, но из истинности
одного из них может следовать как истинность, так и ложность другого.
Истинными могут быть оба суждения.
Например:
Некоторые врачи не имеют медицинского образования. (О) – ложь
Некоторые врачи имеют медицинское образование. (I) – истина
или
Некоторые свидетели допрошены. (I) истина
Некоторые свидетели не допрошены. (O) - как истина, так и ложь.
Таким образом, субконтрарные суждения не могут быть вместе
ложными; по крайней мере, одно из них необходимо истинно.
Последний подвид умозаключения по логическому квадрату -
умозаключения подчинения (A I, E - O), которые позволяют получить
истинные частноутвердительные или частноотрицательные суждения. Из
истинности подчиняющего суждения следует истинность подчиненного
суждения, но не наоборот: из истинности подчиненного суждения
истинность подчиняющего не следует, оно может быть как истинным, так и
ложным.
Например: Из истинности суждения
Все философы так или иначе интересовались проблемой смысла
жизни можно сделать вывод Некоторые философы интересовались
проблемой смысла жизни - истинное суждение. (Если верно, что все
философы интересовались проблемой смысла жизни, то верно и то, что, по
крайней мере, некоторые из них также интересовались этой проблемой).
Но, вместе с тем, из истинности подчиненного суждения I Некоторые
свидетели допрошены нельзя с необходимостью вывести истинное суждение
Все свидетели допрошены.
6.2 Другие виды умозаключений
Под умозаключениями модальности имеют в виду отношение между
суждениями, характеризуемыми некоторыми логическими модальностями.
Выделяют следующие принципы умозаключений модальности:
1. Что необходимо, то действительно.
Если необходимо, чтобы все птицы умели летать, то
действительно все птицы умеют летать.
2. Что необходимо, то возможно.
Если необходимо, чтобы все птицы умели летать, то
возможно все птицы умеют летать.
3. Что действительно, то возможно.
47