Материал: Учебные пособия по философии

Вопрос 2.Определение суждения:

а) Суждение — это форма мышления;

б) суждение отражает присущность либо отсутствие какого-либо признака у предмета (или у класса предметов);

в) суждение может быть либо истинным либо ложным. Вопрос 3. ЛОГИЧЕСКАЯ СТРУКТУРА СУЖДЕНИЯ:

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

• субъект — это та часть суждения, в которой отражается предмет мысли, или иными словами то, о чем идет речь в данном суждении;

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

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

— связка устанавливает отношения между субъектом и преди­катом суждения.

Обычно связка выражается словами "есть" или "не есть".

Вопрос 4. Формы суждения.

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

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

Вопрос 5. Виды суждения.

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

а) качественно-количественные характеристики суждения:

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

Пример: Утверждение "Эта картина превосходна" означает одно-временно отрицание "Эта картина не является не превосходной".

• Единичные, частные и общие суждения. Здесь имеются ввиду количе­ ственные характеристики суждения. То есть, шгда в суждении нетто утверждается или отрицается об одном предмете, о части предметов, о некотором классе предметов.

• Единичные суждения — это такие, в которых нечто утверж­дается либо отрицается об одном предмете.

Пример: "Аристотель был учителем Александра Ма­кедонского".

— Частные суждения — это такие, в которых говорится о принадлежности или непринадлежности признака некоторым предметам определенного множества предметов.

Пример: "Некоторые русские философы являются философами мирового значения", "Некоторые гис­тологи имеют биологическое образование".

— Общие суждения — это такие суждения, в которых выра­жается принадлежность или непринадлежность признака всему классу рассматриваемых предметов. Схема таких суж­ дений: все S есть (не есть) Р.

Пример: "Все люди пользуются равными правами".

— Обобщенные суждения — это также качественно-количественная характеристика суждения, подразделяемая на 4 вида: общеутвердительные, общеотрицательные, частно-утвердительные и частноотрицательные суждения. Их при­нято обозначать следующими буквами:

общеутвердительные — А,

частноутвердительные — I (из латинского AFFIRMO — утверждаю),

общеотрицательные — Е,

частноотрицательные — О (из латинского NEGO — отрицаю).

Иногда записывают и так: S_aP, S_;P, S_eP, S_oP.

б) Формально-логические характеристики суждения.

Эта сторона суждения имеет сложную структуру:

• сравнимые и несравнимые суждения.

• Сравнимые — это такие суждения, которые имеют одина­ ковые термины и различаются по качеству или количе­ству.

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".

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