Сложные и сложносокращенные силлогизмы.

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

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

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

Различают прогрессивный и регрессивный полисиллогизмы.

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

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

Прогрессивный и регрессивный полисиллогизмы мышлении обычно применяются в сокращенной форме (некоторые из его посылок опускаются) – в виде соритов.

Различают два вида соритов:

1) гоклениевский (прогрессивный);

2) аристотелевский (регрессивный).

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

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

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется такой сложносокращенный силлогизм, обе посылки которого являются сокращенными простыми категорическими силлогизмами (энтимемы). Например: «Благородный труд заслуживает уважения, так как благородный труд способствует прогрессу общества». Данная посылка эпихейремы представляет собой энтимему, у которой одна из посылок опущена. Эпихейремы так же, как и энтимемы, значительно упрощают рассуждения.

29. Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Схема чисто условного умозаключения:
(р -» q) ^ (q -> г) р-> г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.

30. Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

31. Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
Схема простой конструктивной дилеммы:
(р-»г)^(q-> г), рvq
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
Схема сложной конструктивной дилеммы:
(p-> q)^(r-»s), pvr
qvs
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Схема простой деструктивной дилеммы:
(p-> q)^(p-»r), 1qv1r
1P
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
Схема сложной деструктивной дилеммы:
(p-»q)^(r-> s), 1qv1s
1pv1r

32. Разделительные умозаключения делятся на простые разделительные и разделительно категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительно категорические суждения имеют в качестве одной из посылок простое категорическое суждение.
Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом.
S есть А или В, или С.
А есть А1 или А2.
S есть А1 или А2, или В, или С.
Примером такого умозаключения является следующее.
Путь бывает прямым или окружным.
Окружный путь бывает с одной пересадкой или с несколькими пересадками.
Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.
Разделительно категорические умозаключения можно представить в виде схемы.
S есть А или В.
S есть А (В).
S не есть В (А).
Например:
Выстрел бывает точным и неточным.
Этот выстрел является точным.
Этот выстрел не является неточным.
Здесь необходимо упомянуть об условно- разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них — это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений. Условно- разделительное суждение может быть или дилеммой, или трилеммой. Дилемма — это выбор одного из двух вариантов.
Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.

Логические законы.

Помимо законов материалистической диалектики человеческое мышление подчиняется

еще законам логики. Вот основные законы логики: закон тождества, закон

непротиворечия, закон исключенного третьего, закон достаточного основания и

т.д. Они используются при оперировании понятиями и суждениями,

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

Первые три были открыты Аристотелем, четвертый - В. Г. Лейбницем

. Логические законы отражают в сознании человека определенные отношения,

существующие между объектами, или отражают такие обычные свойства предметов,

как их относительная устойчивость, определенность, несовместимость в одном и

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

Законы логики отражают объективное в субъективном сознании человека, поэтому их

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

они едины для людей всех рас, наций, профессий. Основные логические законы

сложились исторически в результате многовековой практики познания. Они

отражают такие важные свойства правильного мышления, как его определенность,

непротиворечивость, обоснованность, четкость мышления, выбор " или-или" в

определенных " жестких" ситуациях. Кроме основных, существует много неосновных

законов логики, которые надо выполнять при оперировании понятиями, или

суждениями, или умозаключениями. Законы логики, как основные, так и неосновные

в мышлении функционируют в качестве принципов правильного рассуждения в

ходе доказательства истинных суждений и теорий и опровержения ложных суждений и

ложных гипотез. Законы логики играют роль универсальных связей мышления и общих

принципов любой мыслительной деятельности, выражающих требования

методологического характера. Нарушение Законов логики приводит к логической

ошибке - как непреднамеренной - паралогизму (от греч. paralogismos), так и

сознательной - софизму (от греч. sophisma – уловка, выдумка, головоломка), хотя

эти типы ошибок возникают и в других ситуациях.

 

Закон тождества.

Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления — его определенность — выражает закон тождества:
всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль).
Закон тождества может быть выражен формулой р-> р (если р, то р), где р — любое высказывание, —> — знак импликации.
Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.
Например, два суждения: «Н. совершил кражу» и «Н. тайно похитил чужое имущество» — выражают одну и ту же мысль (если, разумеется, речь идет об одном и том же лице). Предикаты этих суждений — равнозначные понятия: кража и есть тайное хищение чужого имущества. Поэтому было бы ошибочным рассматривать эти мысли как нетождественные.
С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом «штраф» обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.
Отождествление различных мыслей нередко связано с различиями в профессии, образовании и т.д. Так бывает в следственной практике, когда обвиняемый или свидетель, не зная точного смысла некоторых понятий, понимает их иначе, чем следователь. Это нередко
приводит к путанице, неясности, затрудняет выяснение существа дела
Отождествление различных понятий представляет собой логическую ошибку — подмену понятия, которая может быть как неосознанной, так и преднамеренной.
Соблюдение требований закона тождества имеет важное значение в работе юриста, требующей употребления понятий в их точном значении.
При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуются обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен и вместо выяснения дела произойдет его запутывание.

Закон непротиворечия.

В предметах объективного мира невозможно одновременное присутствие и отсутствие

какого-либо свойства или отношения (например, невозможно в один и тот же момент

делать какую-то работу и ничего не делать). Одновременное утверждение о

каком-нибудь предмете, действии, признаке предмета и т. д. и отрицание этого

утверждения есть формально-логическое противоречие. Закон

непротиворечия формулируется так: " Два противоположных суждения не могут

быть истинными в одно и то же время и в одном и том же отношении "

К противоположным относятся суждения простые следующих 4 типов

(здесь S - одинаковые термины и Р - одинаковые термины).

1. А - " Данное S есть Р" и Е - " Данное S не есть Р".

2. А - " Все S есть Р" и Е - " Ни одно S не есть Р".

3. А - " Все S есть Р" и О - " Некоторые S не есть Р".

4. Е - " Ни одно S не есть Р" и J - " Некоторые S есть Р".

1, 3, 4-я пары суждений таковы, что если одно из суждений этой пары истинно, то

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

отрицающими друг друга, и их можно обозначить а и а (не-а). Конъюнкция

их, т. е. формула а \/ а выражает формально-логическое противоречие. Суждения

2-й пары А и Е могут быть одновременно ложными, поэтому их нельзя обозначить

как а и а (например, " Все богатые люди счастливы" и " Ни один богатый человек не

является счастливым" ). В исчислении высказываний двузначной логики

закон непротиворечия выражается формулой а, /\ а.(Неверно, что а и не

-а). Но эта формула не полностью, неадекватно представляет закон непротиворечия,

открытый Аристотелем, т. к. она не распространяется на суждения А и Е, а закон

непротиворечия Аристотеля распространяется на них. Противоречия не возникают,

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

отношении или рассматриваемом в разное время (например, суждение " Эта книга

является новой" и суждение " Эта книга не является новой" не противоречат друг

другу, если речь идет об одной и той же книге, но рассматриваемой в разное

время).

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

“размытым” множествам, “размытым” алгоритмам можно одновременно применять

утверждение и отрицание (напр., “Этот мужчина пожилой” и “Он ещё не является

пожилым”, т.к. понятие “пожилой мужчина” является “нечетким” понятием, не

имеющим чётко очерченного объёма).

Закон непротиворечия квалифицирует формально-логическое противоречие как

серьёзную ошибку, несовместимую с логическим мышлением.

⇐ Предыдущая12345Следующая ⇒

Поделиться: