Шпаргалка по "Логике"

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

Лицо, совершившее  преступление (М), подлежит уголовной

ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

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

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

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

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

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

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

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

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

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

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

 

В – 30

 

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

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

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

(р -» q) ^ (q -> г) р->г

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

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

 

В – 31

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

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

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

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

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

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

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

 

В – 32

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

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

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.

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

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

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

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

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

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

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

 

В – 33

 

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

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

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

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

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

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

(р-»г)^(q->г),рvq

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

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

(p->q)^(r-»s), pvr

         qvs

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

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

(p->q)^(p-»r),1qv1r

               1p

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

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

(p-»q)^(r->s),1qv1s

          1pv1r

 
 
 

В – 35

 

1. Метод сходства

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

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

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

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

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

(3) Среди множества  предшествующих обстоятельств выделяют  сходное и повторяющееся в каждом из рассмотренных случаев

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

2. Метод различия

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

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

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

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

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

(3)  Среди множества  возможных причин остается единственное обстоятельство, которое рассматривается в качестве действительной причины.

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

  В - 36

    Метод сопутствующих  изменений

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