Материал: lektsii_po_Filosofii

NB: в целях правильного оперирования суждениями А, I, Е, О в логических процедурах и операциях важно учитывать то, что получило название "распределенное терминов суждений".

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

Так в утвердительных суждениях субъект, как правило, распределен. Поэтому единичные суждения, в которых субъект есть единичный термин (взятый в полном объеме), должны квалифицироваться как А или Е.

Сравнимые суждения бывают совместимыми и несовместимыми.

В свою очередь совместимость суждений включает три вида от-ношений:

эквивалентность (полная совместимость),
субконтрарность (частичная совместимость),

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

Это хорошо видно на так называемом логическом квадрате. Отношение подчинения (А — І, А — О) говорит о том, что из

контрарность

А С

контрарность

подчинение

I контрарность О

истинности подчиняющего суждения (А или Е) следует истинность подчиненного (I или О соответственно) суждения.

Отношение контрарности (А — Е) предполагает, что данные суждения не могут одновременно быть истинными, однако, они могут одновременно быть ложными.

Отношение субконтрарности (I — О) утверждает, что между суждениями данного вида установлено такое отношение, при котором они могут быть одновременно ложными.

Отношение кошредикторносш (А — О, Е — I) возникает между суждениями, рашічающшиет качеством и количеству одно из суждений истинно, то другое обязательно ложно, и наоборот.

в) Простые суждения подразделяются на атрибутивные суждения, суждения отношения и суждения существования:

- атрибутивное — это суждение о признаке предмета, где признак утверждается либо отрицается;

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

- суждения существования — это экзистенциальные суждения, где утверждается или отрицается сам факт существования некоторого предмета.

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

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

ЛЕКЦИЯ 29

УМОЗАКЛЮЧЕНИЕ

План:

1. Общая характеристика умозаключений.

2. Структура умозаключений.

3. Виды рассуждений.

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

Вопрос 1. Общая характеристика умозаключений:

а) Умозаключениями в теоретической (традиционной) логике называются логические модели рассуждений.

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

в) Сеть умозаключений с понятиями:

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

Вопрос 2. Структура умозаключений.

Умозаключения имеют сложную структуру. Они состоят из трех элементов:

а) посылок (предпосылок);

б)заключения (следствия);

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

Вопрос 3. Виды рассуждений:

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

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

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

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

Вопрос 4. Виды умозаключений:

Умозаключения бывают непосредственные и опосредованные.

Непосредственные умозаключения содержат одно суждение в качестве посылки и одно в качестве заключения.
Опосредованные умозаключения содержат более чем одну посылку.

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

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

В этом виде умозаключений выделяется ряд подвидов:

— Умозаключение противоречия: в основе этого противоречия лежит закон исключенного третьего, согласно которому "если утверждение чего-либо истинно, то отрицание этого ложно, и наоборот".

Этот подвид умозаключения устанавливает отношения между суждениями типа А и О, Е и I (смлогический квадрат).

Пример:

Задание №1: установить истинность общеотрицательного суждения.

Логический ход: надо установить ложность частноутвердительного

суждения.

Задание №2: установить истинность частноотрицательного суждения.

Логический ход: устанавливается ложность общеутвердительного суждения и на основании логического квадрата говорят о требуемом.

— Умозаключение противоположности: этот подвид умозаклю чения также основан на логическом квадрате и происходит на базе закона противоречия.

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

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

Пример: Из истинного суждения "Ни один человек не является машиной" можно установить ложность суждения "Все люди — машины".

— Умозаключение субконтрарности: этот подвид умозаключения позволяет получить истинные частноутвердительные или частноотрицательные суждения.

Пример: Из истинности суждения "Некоторые философы были материалистами" можно получить истинное суждение в заключении "Некоторые филр-софы не были материалистами".

— Умозаключения подчинения: этот подвид умозаключения позволяет получить истинные частноутвердительные или частноотрицательные суждения.

Пример: Из истинности суждения "Все философы так или иначе интересовались проблемой смысла жизни" можно сделать вывод "Некоторые философы так или иначе интересовались проблемой смысла жизни".

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

Пример: Если ложно суждение "Некоторые люди являются растениями", то следовательно и ложно "Все люди являются растениями".

Т.е. ложность частных суждений установить бывает проще, чем ложность соответствующих общих суждений.

б) Умозаключение модальности:

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

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

что необходимо, то действительно;
что необходимо, то возможно;
что действительно, то возможно,
что невозможно, то недействительно;
что невозможно, то не необходимо;
что недействительно, то не необходимо.

Пример: Если невозможна формула 2x2=5, то нет такого положения дел, в котором 2x2=5;

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

в) Умозаключение превращения:

Здесь речь идет об изменении качества суждения. Эта операция производится на основании того, что истинным является суждение о принадлежности субъекту двух противоречащих факторов — либо данного предиката Р, либо противоречащего ему предиката не-Р. Короче говоря, этот вид умозаключения производится по следующей схеме:

если S есть Р, то S не есть не-Р;
если S не есть Р, то S есть не-Р;
если S есть не-Р, то S не есть Р;
если S не есть не-Р, то S есть Р.

г) Умозаключение модальности:

Суть этого вида умозаключения заключается в том, что указывается зависимость между отношением субъекта к предикату и наоборот. То есть зависимость между категорическими (атрибутивными) суждениями одинакового качества, отличающимися местоюложением субъекта и предиката.

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

если "все S есть Р" то "некоторые Р есть S";
если "ни один S не есть Р", то "ни один Р не есть S";
если "некоторые S есть Р", то "некоторые Р есть S".

Пример: Из суждения "Некоторые библейские пророки были долгожителями" следует "Некоторые долгожители были библейскими пророками".

д) Умозаключение противопоставления предикату:

Это такое умозаключение, в результате которого в выводном :суждении субъектом становится понятие, противоречащее предик:ату сходного суждения, а предикатом — субъект исходного суждения. Схемами этого умозаключения являются:

если "все S есть Р" то "ни один не-Р не есть S";
если "ни один S не есть Р", то "некоторые не-Р есть S";
если "некоторые S есть Р", то "некоторые не-Р есть S". Таким образом, умозаключения представляют собой логические модели рассуждения, овладение которыми свидетельствует о корректности суждений, интеллекте, образовательной подготовке, психологическом статусе личности.

Источник: https://tut-files.ru/previewfile/167337

Смотрите также:







Изложение содержания дела, по которому приняты судебные постановления
_-___-~1
_1-тема-СтрМетал
_10_Эмиль Золя для эл версии