Задача Энтимема и полисиллогизм
Работа добавлена на сайт bukvasha.net: 2015-10-29Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
от 25%
Подписываем
договор
СОДЕРЖАНИЕ
1. Энтимема и полисиллогизм…………………………………………………..3
2. Натуральный вывод в логике высказываний и в логике предикатов. …….6
3. Индуктивное умозаключение. Виды индукции……………………………..9
Задача……………………………………………………………………………..11
Список литературы………………………………………………………………13
1. Энтимема и полисиллогизм.
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.
Энтимема в переводе с греческого буквально означает «в уме». В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.
Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения. Рассмотрим наиболее распространенные виды энтимем.
1) Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».
Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.
2) Разделительно-категорический силлогизм с пропущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».
Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.
3) Разделительно-категорический силлогизм с пропущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».
Заключение, отрицающее все другие альтернативы, обычно не формулируется.
Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
Соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма), называется сложным силлогизмом, или полисиллогизмом.
Различают прогрессивный и регрессивный полисиллогизмы
В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма.
Приведем пример прогрессивного полисиллогизма, представляющего собой цепь из трех силлогизмов и имеющего такую схему:
Схема:
Все, что укрепляет здоровье (А), полезно (Б). Все А есть Б.
Спорт (С) укрепляет здоровье (А). Все С есть А.
Значит спорт (С) полезен (В). Значит все С есть В.
Легкая атлетика (Д) есть спорт (С). Все Д есть С.
Значит легкая атлетика (Д) полезна (В). Все Д есть В.
Бег (Е) есть вид легкой атлетики (Д). Все Е есть Д.
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ ¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Бег (Е) полезен (Б). Все Е есть Б.
В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма.
Все организмы (Б) суть тела (С).
Все растения (А) суть организмы (Б).
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Все растения (А) суть тела (С).
Полисиллогизм, в котором пропущены некоторые посылки, называетсясоритом. Различают два вида соритов: прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов и регрессивный полисиллогизм с пропущенными меньшими посылками.
К сложносокращенным силлогизмам относится также эпихейрема.Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами. Например:
1) Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица, уголовно наказуемо, так как является клеветой
2) Действия обвиняемого представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица, так как они выразились в умышленном извращении фактов в заявлении на гражданина П.
3) Действия обвиняемого уголовно наказуемы
Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:
Клевета (М) уголовно наказуема (Р).
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (S), является клеветой (М).
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (S), уголовно наказуемо (Р).
Как видим, первую посылку эпихейремы составляют заключение и меньшая посылка силлогизма.
Теперь восстановим 2-ю энтимему. '
Умышленное извращение фактов в заявлении на гражданина П. (М) представляет собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (Р). Действия обвиняемого (S) выразились в умышленном извращении фактов в заявлении на гражданина П. (М).
Действия обвиняемого (S) представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (Р).
Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.
Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:
Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (М) уголовно наказуемо (Р). Действия обвиняемого (S) представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (М).
Действия обвиняемого (S)уголовно наказуемы (Р).
Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.
2. Натуральный вывод в логике высказываний и в логике предикатов.
Типы дедуктивных умозаключений (выводов) такие: выводы, зависящие от субъектно-предикатной структуры суждений; выводы, основанные на логических связях между суждениями (вводы логики высказываний). Эти типы выводов и предстоит нам рассмотреть.
Рассмотрим выводы, основанные на субъектно-предикатной структуре суждений.
К формам, типичным в практике рассуждений, относятся следующие выводы из категорических суждений: 1) Выводы посредством преобразования суждений; 2) категорический силлогизм, сокращенный силлогизм (энтимема), сложные (полисиллогизмы) и сложносокращенные силлогизмы (сориты и эпихейрема).
1) Выводы из категорических суждений посредством их преобразования.
Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одной посылки. К ним в традиционной логике относят следующие: превращение, обращение, противопоставление предикату и умозаключения по «логическому квадрату».
а) Превращение.
Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.
б) Обращение.
Преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат — субъектом заключения, называется обращением.
в) Противопоставление предикату.
Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения, называется противопоставлением предикату.
г) Умозаключения по логическому квадрату.
2) а) Простой категорический силлогизм — это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении(аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой
части предметов этого класса.
б) Сокращенный силлогизм, или энтимема - силлогизм с пропущенной посылкой или заключением.
в) Сложный силлогизм (полисиллогизм) - соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма).
г) Сорит - полисиллогизм, в котором пропущены некоторые посылки. Различают два вида соритов: прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов и регрессивный полисиллогизм с пропущенными меньшими посылками.
д) Эпихейрема - сложносокращенный силлогизм, обе посылки которого являются энтимемами.
Рассмотрим выводы, основанные на логических связях между суждениями (выводы логики высказываний).
Правила прямых выводов логики высказываний позволяют из данных истинных посылок выводить истинное заключение. На основе правил прямых выводов построены чисто условные и условно-категорические, разделительные и разделительно-категорические, а также условно-разделительные (лемматические) умозаключения.
Логика высказываний — это логическая система, которая анализирует процессы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.
Язык логики высказываний включает: алфавит, определение правильно выстроенных выражении, интерпретацию.
Алфавит состоитиз следующих символов.
1) Символы - пропозициональные переменные.
2) Символы для обозначения связок:
л — конъюнкция (союз ««»);
v — дизъюнкция (союз «или»);
—> — импликация (союз «если—, то...»);
= — эквивалентность (союз «еслии только если..., то...»);
1 — отрицание («неверно, что...»).
3) Технические знаки (,) — скобки.
Допустимые в логике высказываний выражения, называемые правильно построенными формулами, или сокращенноППФ, вводятся следующим определением:
1. Всякая пропозициональная переменная —р, q, г ... — являетсяППФ.
2. ЕслиА и В — ППФ (А и В — символы метаязыка для любых формул), то" выражения — А лВ, А v В, А —> В, А = В, 1А— также являютсяППФ.
3. Все другие выражения, помимо предусмотренных п. 1 и 2, не являютсяППФязыка логики высказываний.
Логика высказываний может строитьсятабличным методом или какисчисление,т.е. как система, позволяющая получать по правилам вывода из одних формул другие.
Среди правильно построенных формул в зависимости от их истинностного значения различают тождественно истинные, тождественно ложные и выполнимые формулы.
Тождественно истинными называют формулы, принимающие значения истины при любых— истинных или ложных—значениях составляющих их пропозициональных переменных. Такие формулы представляют собой законы логики.
Тождественно ложными называют формулы, принимающие значение ложности при любых — истинных или ложных — значениях пропозициональный переменных.
Выполненными называют формулы, которые могут принимать значения истинности или ложности в зависимости от наборов значений составляющих их пропозициональных переменных.
Логика высказываний как исчисление — это прежде всего так называемаясистема натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, выводомформулы В (заключения) из формул Ai,..., А„ (посылок) имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих, и последняя формула этой последовательности есть формула В, а все допущения при этом элиминированы.
3. Индуктивное умозаключение. Виды индукции.
Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоподобные заключения. В определении индукции логике выявляются два подхода. В традиционной (не в математической) логике индукцией называется умозаключение от знания меньшей степени общности к новому знанию большей степени общности (т.е. от отдельных частных случаев мы переходим к общему суждению. 2. В современной математической логике индукцией называют умозаключение, дающее вероятное суждение.
Общее в природе и обществе н6е существует самостоятельно, до и вне отдельного, а отдельное не существует вне общего; общее существует в отдельном, через отдельное, т.е. проявляется в конкретных предметах. Поэтому общее, существенное, повторяющееся и закономерное в предметах познается через изучение отдельного, и одним из средств познания общего выступает индукция. В зависимости от избранного основания выделяют индукцию полную и неполную. По другому основанию выделяют математическую индукцию. Полная индукция — это умозаключение, в котором на основе принадлежности каждому элементу или каждой части класса определенного признака делают вывод о его принадлежности классу в целом.
Неполная индукция — это умозаключение, в котором на основе принадлежности признака некоторым элементам или частям класса делают вывод о его принадлежности классу в целом.
Тем самым для неполной индукции характерноослабленное логическое следование — истинные посылки обеспечивают получение не достоверного, а лишьпроблематичного заключения. При этом обнаружение хотя бы одного случая, противоречащего обобщению, делает индуктивный вывод несостоятельным.
На этом основании неполную индукцию относят кправдоподобным (недемонстративным) умозаключениям. В таких выводах заключение следует из истинных посылок сопределенной степенью вероятности, которая может колебаться от маловероятной до весьма правдоподобной.
Существенное влияние на характер логического следования в выводах неполной индукции оказывает способ отбора исходного материала, который проявляется в методичности или систематичности формирования посылок индуктивного умозаключения. По способу отбора различают два вида неполной индукции: индукцию путем перечисления, получившую названиепопулярной индукции, и индукцию путем отбора, которую называютнаучной индукцией.
Популярной индукцией называют обобщение, в котором путем перечисления устанавливают принадлежность признака некоторым предметам или частям класса и на этой основе проблематично заключают о его принадлежности всему классу.
Научной индукцией называют умозаключение, в котором обобщение строится путем отбора необходимых и исключения случайных обстоятельств.
В зависимости от способов исследования различают: индукциюметодом отбора (селекции) и индукциюметодом исключения (элиминации).
1. Индукция методом отбора
Индукция методом отбора, или селективная индукция, — это умозаключение, в котором вывод о принадлежности признака классу (множеству) основывается на знании об образце (подмножестве), полученном методичным отбором явлений из различных частей этого класса.
2. Индукция методом исключения
Индукция методом исключения, или элиминативная индукция, — это система умозаключений, в которой выводы о причинах исследуемых явлений строятся путем обнаружения подтверждающих обстоятельств и исключения обстоятельств, не удовлетворяющих свойствам причинной связи.
Познавательная роль элиминативной индукции — анализ причинных связей.Причинной называют такую связь между двумя явлениями, когда одно из них — причина — предшествует и вызывает другое— действие. Важнейшими свойствами причинной связи, предопределяющими методичность элиминативной индукции, выступают такие ее характеристики, как: всеобщность, последовательность во времени, необходимость и однозначность.
