Простой категорический силлогизм. Аксиома силлогизма. Общие правила силлогизмов.

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

 

Пример силлогизма:

Всякий человек смертен (бо?льшая посылка)

Сократ — человек (меньшая посылка)

------------

Сократ смертен (заключение)

аксиома силлогизма - осн. принцип силлогизма; Аристотелем формулируется так: «Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем». Наряду о термином «сказывается» Аристотель употреблял термин "присуще", а выражения «А сказывается о В» и «В содержится в Л» считал равносильными. Т. обр., А. с. допускает как содержательное (интенсивное), так и объемное (экстенсивное) истолкование. В традиционной формальной логике значение А. с. обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В совр. формальной логике вопрос об А. с. решается в контексте более широкой задачи - аксиоматизации силлогистики.

а) Правила терминов.

1. В каждом силлогизме должно быть только три термина – большой, меньший и средний. Это правила требует не только соответствующего построения силлогизма, но и однозначностисреднего термина в обеих посылках. Повторяясь в большей и меньшей посылках, он может потерять свою однозначность, и тогда правильный вывод получить невозможно, ибо не будет связующего звена между крайними терминами. Так получается в следующем силлогизме: «Труд – основа жизни. Изучение логики – труд. Следовательно, изучение логики – основа жизни». Понятие труд в каждой посылке взято не однозначно: в первом случае оно означает деятельность как общую форму бытия человека, во втором – как конкретный вид работы ума.

2. Средний термин должен быть распределен, то есть взят в полном объеме, хотя бы в одной из посылок. Для этого он должен быть или субъектом общего суждения, или предикатом отрицательного суждения. Если же средний термин взят не в полном объеме в обеих посылках, то выполнить свою роль связующего звена он не сможет, и точный вывод получить невозможно. Например, в посылках «Некоторые студенты – мастера спорта» и «Все старосты учебных групп - студенты» средний термин «студенты» не распределен, поэтому сделать вывод, есть ли мастера спорта среди старост групп не представляется возможным.

3. Термин, не распределенный в посылках, не может быть распределен в заключении. Из общих суждений-посылок: «Все птицы летают с помощью крыльев» и «Все птицы – теплокровные животные» нельзя получить в качестве вывода общее суждение. Меньший термин «теплокровные животные» стоит на месте предиката в утвердительной посылке и поэтому не распределен. Следовательно, в выводе его нужно брать не в полном объеме.

б) Правила посылок.

4. Из двух частных посылок невозможно сделать вывод. В этом случае нельзя установить объемные отношения между терминами силлогизма, поэтому определенный вывод не получается. Например, из посылок: «Некоторые члены Академии наук - химики» и «Некоторые биологи – члены Академии наук» никакой определенный вывод не следует. Объем субъекта («некоторые биологи») может перекрещиваться в какой-то мере с объемом предиката («химики»), но может находиться и вне его

5. Если одна посылка частная, то вывод будет частным.

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

6. Из двух отрицательных посылок нельзя сделать вывод.

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

7. Если одна посылка отрицательная, то вывод будет отрицательным. Например: «Всякое пребывание на свежем воздухе полезно. Пребывание на свежем воздухе при низкой температуре опасно. Следовательно, пребывание на свежем воздухе при низкой температуре может принести вред здоровью». (Рис. 6).

 

Выводы из сложных суждений

Выводы из суждений.

 

Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями. К ним относятся чисто условное, условно-категорическое, разделительно- категорическое и условно-разделительное умозаключения.

 

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

 

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

 

Чисто условное и условно-категорическое умозаключения

 

Чисто условное умозаключение

 

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

 

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

 

Если они признаются соавторами изобретения (b), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (с).

 

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

 

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

 

Схема чисто условного умозаключения:

 

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

 

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

 

Условно-категорическое умозаключение

 

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

 

Рассмотрим пример:

 

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

 

Это умозаключение представляет собой одну из разновидностей условно-категорического силлогизма -- утверждающий модус (modus ponens), в котором посылка, выраженная категорическим суждением, утверждает истинность основания, а заключение утверждает истинность следствия; рассуждение направлено от утверждения основания к утверждению следствия.

 

Утверждающий модус дает достоверные выводы. Он имеет схему:

 

Другим модусом, дающим достоверные заключения, является отрицающий модус (modus tollens), в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:

 

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.

 

(3)Посылка, выраженная категорическим суждением, отрицает истинность основания, заключение отрицает истинность следствия. Рассуждение направлено от отрицания основания к отрицанию следствия, т.е.:

 

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

 

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

 

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

 

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

 

Необходимость вывода по утверждающему и отрицающему модусам можно показать в помощью таблиц истинности.

 

Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1).

 

Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).

 

Теперь установим истинность импликации (5-й столбик таблицы -- утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р>q)р)>q является логическим законом. Отрицающий модус (рис. 2).

 

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) -- столбик 5. Конъюнкция (столбик 6) высказываний (p > q) и?|q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p>q)?|q) и?|р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((p>q)?|q)>?|p является логическим законом.

 

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам.

 

При анализе условно-категорического умозаключения нужно иметь в виду, что основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: p>q;?|p>q; p>?|q;?|p>?|q. Например:

 

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

 

В символической записи:

 

Возможны и другие разновидности модусов.

 

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

 

В символической записи: p q, где -- знак эквивалентности. В таких умозаключениях достоверные заключения получаются по всем четырем модусам:

 

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

 

Разделительно-категорическое умозаключение

 

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

 

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

 

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

 

Схема утверждающе-отрицающего модуса:

 

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

 

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

 

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

 

Схема отрицающе-утверждающего модуса:

 

В символической записи:

 

где <... > -- символ закрытой дизъюнкции.

 

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

 

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

 

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

 

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (r). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:

 

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

 

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

 

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

 

Условно-разделительное умозаключение

 

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

 

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

 

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

 

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

 

Схема простой конструктивной дилеммы:

 

Пример:

 

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

 

Обвиняемый подлежит уголовной ответственности за преступление против правосудия (с)

 

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

 

Схема сложной конструктивной дилеммы:

 

Пример:

 

Если сберегательный сертификат является предъявительским "с (а), то он передается другому лицу путем вручения (b); если он является именным (с), то передается в порядке, установленном для уступки требований (d). Но сберегательный сертификат может быть предъявительским (а) или именным (с)

 

Сберегательный сертификат передается другому лицу путем вручения (b) или в порядке, установленном для уступки требований(d)

 

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

 

Схема простой деструктивной дилеммы:

 

Пример:

 

Если Н -- подозреваемый (а), значит, он или задержан по подозрению в совершении преступления (b), или является лицом, к которому применена мера пресечения до предъявления обвинения (с)

 

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

 

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

 

Схема сложной деструктивной дилеммы:

 

Пример:

 

Если предприятие является арендным (а), то оно осуществлю предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (b); если оно является коллективным (с), то осуществляет такую деятельность на основе находящегося в его собственности имущества (d) Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не - b), ни на основе находящегося в его собственности имущества (не - d). Данное предприятие не арендное (не - а) или не коллективное (не - с)

 

Сокращенный силлогизм (энтимема)

 

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

 

Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.

 

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

 

Полный силлогизм строится по 1-й фигуре:

 

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

 

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

 

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

 

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

 

Рассмотрим наиболее распространенные виды энтимем.

 

Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».

 

Здесь пропущена большая посылка -- условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

 

Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».

 

Большая посылка -- разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» -- не формулируется.

 

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

 

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

Сложными могут быть чисто условные силлогизмы, которые имеют схему:

 

В символической записи:

 

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

 

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

 

1. Прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. Например:

 

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами.

 

Например:

 

Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:

 

Как видим, первую посылку эпихейремы составляют заключение и меньшая посылка силлогизма. Теперь восстановим 2-ю энтимему.

 

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

 

Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:

 

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

Индуктивные умозаключения

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

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

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

 

Виды индуктивных умозаключений

 

 

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

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

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

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

28. Умозаключение по аналогии

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

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

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

§ 2. Виды аналогии

По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений.

(1) Аналогия предметов — умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов.

Если обозначить символами а и b два единичных предмета или события, а Р, Q, S, Т — их признаки, то вывод по аналогии можно представить следующей схемой:

Посылки:

а присущи Р, Q, S, Т

b присущи Р, Q, S

Заключение: b присуще Т

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

(2) Аналогия отношений — умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.

45. Аргументация и доказательство

Аргументация.

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

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

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

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

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

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

Доказательство.

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

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

§ 2. Состав аргументации: субъекты, структура Субъекты аргументации

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

1. Пропонентом (Si) называют участника, выдвигающего и отстаивающего определенное положение. Без пропонента нет аргументативного процесса, поскольку спорные вопросы не возникают сами по себе, они должны быть кем-то сформулированы и поставлены на обсуждение. Пропонент может выражать свою личную позицию либо представлять коллективное мнение — научной школы, партии, религиозного сообщества, трудового коллектива, обвинения.

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

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

3. Аудитория (S.i) — это третий, коллективный субъект аргументативного процесса, поскольку как пропонент, так и оппонент видят главную цель обсуждения не только и не столько в переубеждении друг друга, сколько в завоевании на свою сторону аудитории. Тем самым аудитория — это не пассивная масса, а имеющий свое лицо, свои взгляды и свои коллективные убеждения социум, выступающий основным объектом аргументативного воздействия.

Структура аргументации

Аргументация включает три взаимосвязанных элемента: тезис, аргументы, демонстрацию.

1. Тезис — это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают?

2. Аргументы, или доводы, — это исходные теоретические или фактические положения, с помощью которых обосновывают тезис. Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется обоснование тезиса?

3. Демонстрация — это логическая связь между аргументами и тезисом.

46. Обоснование тезиса

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

1. Прямым называют обоснование тезиса без обращения к конкурирующим с тезисом допущениям.

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

(1) Дедуктивное обоснование чаще всего выражается в подведении частного случая под общее правило.

Пример:

Тезис:

Выстрел в Н. произведен с близкого расстояния (Т)

Аргументы:

1. Если вокруг огнестрельной раны обнаруживают внедрение по