Чисто разделительные умозаключения.

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

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

S есть А, или В, или С.

А есть или 1А,или А2..

S eсть или А1, или А2, илиB, или С.

В первом разделительном суждении каждое из трех простых cуждений “S есть A”, ”S есть В”, “S есть С” называется альтернативой. Из суждения “S есть А” образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.

Например:

Предложения бывают простыми или сложными.

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

Предложения бывают простыми, или сложносочиненными, или сложноподчиненными

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

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

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Напр., разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений – дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, – утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: утверждающе-отрицающий и отрицающе-утверждающий.

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка, категорическое суждение, утверждает один член дизъюнкции, заключение – также категорическое суждение – отрицает другой ее член. Напр.: Облигации могут быть предъявительскими (р) или именными (q).

Данная облигация предъявительская (p). Данная облигация не является именной (q).

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

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Напр.: Облигации могут быть предъявительскими (р) или именными (q). Данная облигация не является предъявительской (?р). Данная облигация именная (q).

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

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

УСЛОВНО-РАЗДЕЛИТЕЛЬНОЕ УМОЗАКЛЮЧЕНИЕ

Умозаключение, в котором одна посылка условное, а другая – разделительное суждения, называется условно-разделительным, или лемматическим (от лат. – предположение).

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

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

Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (r); если он виновен в заведомо незаконном заключении под стражу (q), то он также подлежит уголовной ответственности за преступление против правосудия (r). Обвиняемый виновен или в заведомо незаконном задержании (р), или в заведомо незаконном заключении под стражу (q). Обвиняемый подлежит уголовной ответственности за преступление против правосудия (r).

Или так. Простая конструктивная (утверждающая) дилемма:

Если А, то С.
Если В, то С.
А или В.
С
Например: «Если прочту детектив Агаты Кристи, то хорошо проведу вечер; если прочту детектив Жоржа Сименона, тоже хорошо проведу вечер; прочту детектив Кристи или прочту детектив Сименона; значит, хорошо проведу вечер».

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

Сложная конструктивная дилемма:
Если А, то В.
Если С, то Д.
А или С.
В или Д.

Например: «Если будет дождь, мы пойдем в кино; если будет холодно, пойдем в театр; будет дождь или будет холодно; следовательно, мы пойдем в кино или пойдем в театр».

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

Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный умысел (r). Но в действиях Н. не было ни прямого (q), ни косвенного умысла (r). Преступление, совершенное Н., не является умышленным (р).

Или еще. Простая деструктивная (отрицающая) дилемма:
Если А, то В.
Если А, то С.
Неверно В или неверно С.
Неверно А.
Например: «Если число делится на 6, то оно делится на 3; если число делится на 6, то оно делится на 2; рассматриваемое число не делится на 2 или не делится на 3; следовательно, число не делится на 6».

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

Сложная деструктивная дилемма:
Если А, то В.
Если С, то Д.
Не-В или не-Д.
Не-А или не-С.
Например: «Если поеду на север, то попаду в Тверь; если поеду на юг, то попаду в Тулу; но не буду в Твери или не буду в Туле; следовательно, не поеду на север или не поеду на юг».

ИНДУКЦИЯ

Индукция – это умозаключение от знания меньшей степени общности к новому знанию большей степени общности.

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

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

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

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

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

Представим, что перед аудиторской комиссией поставлена задача проверить состояние финансовой дисциплины в филиалах конкретного банковского объединения. Известно, что в его состав входят пять отдельных филиалов. Обычный способ проверки в таких случаях – анализ деятельности каждого из пяти банков. Если окажется, что ни в одном из них не обнаружено финансовых нарушений, то тем самым можно сделать обобщающее заключение: все филиалы банковского объединения соблюдают финансовую дисциплину.

(Пример: Старший сын в семье Ивановых, Петя, ходит в школу. Средний сын в семье Ивановых, Кирилл, ходит в школу. Их младшая сестра Катя ходит в школу. Петя, Кирилл и Катя – дети в семье Ивановых. Следовательно, все дети семьи Ивановых посещают школу.)

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

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

(Пример: Железо – твердое тело; Медь – твердое тело; Золото – твердое тело; Платина – твердое тело. Следовательно, все металлы – твердые тела.)

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

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

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

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

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

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

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

26. Умозаключение по аналогии и его виды.
Аналогия – это умозаключение о принадлежности предмету определенного признака на основе сходства в признаках с другим предметом.

Виды умозаключений.
1) Аналогия свойств – умозаключение, в котором объектом уподобления выступают два единичных предмета, события или явления, а переносимым признаком – свойства этих предметов.
ПРИМЕР:
Предмет А имеет признаки а, b, c.
Предмет В имеет признаки а, b, c.
Предмет А имеет признак d.
Вероятно, предмет В имеет признак d.
2) Аналогия отношений – умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком – свойства этих отношений.
ПРИМЕР:
Предмет а подобен предмету с.
Предмет b подобен предмету d.
Между предметами с и d имеется отношение R.
Вероятно, между предметами a и b имеется отношение R.

27. Основные законы формальной логики.(=Аристотелевской, традиционной)

Логический закон есть внутренняя, существенная, необходи­мая, устойчивая, повторяющаяся связь форм мышления.
Всего выделяют 4 основных закона:
1) Закон тождества: в процессе рассуждения о каком-либо пред­мете объем и содержание понятий, отражающих этот предмет, должны оставаться постоянными. (иначе идет подмена понятия)
2) Закон непротиворечивости: в процессе рассуждения о каком-либо предмете нельзя в одно и то же время, в одном и том же месте, в одном и том же отношении утверждать что-то и это же самое отрицать.
Противоположные суждения не могут быть ни одновременно истинными, ни одновременно ложными.
3)Закон исключенного третьего: в процессе рассуждения о ка­ком-либо предмете дело необходимо доводить до определенного утверждения или отрицания.
4) Закон достаточного основания. Всякая мысль признается ис­тинной, если она имеет достаточное основание.
Достаточными основаниями называются суждения, обосно­вывающие соответствие содержания мысли действительности.

28. Логические основы теории аргументации.
Аргументация - это форма мыслительной деятельности, цель которой состоит в обосновании утверждения об истинности или ложности некоторого высказывания или теории.
В процессе аргументации объектами нашего обсуждения выступают те или иные уже имеющиеся высказывания или теории. При этом в одних случаях истинность их предполагается, но требует обоснования. В других – высказывание или теория, представляются ложными или даже бессмысленными, и требуется обоснование их ложности или бессмысленности.

 

Процедура аргументации применительно к высказываниям:
(Обоснование высказывания в процессе аргументации может быть полным или частичным).
Полное обоснование утверждения об истинности какого-либо высказывания называется доказательством этого высказывания.
Полное обоснование утверждения о ложности какого-либо высказывания является его опровержением.
Частичное обоснование утверждения об истинности некоторого высказывания есть его подтверждение.
Частичное обоснование утверждения о ложности некоторого высказывания называется критикой этого высказывания.

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