Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Схема чисто условного умозаключения:
(р -» q) ^ (q -> г) р->г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
В – 31
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modusponens) (1) и отрицающий (modustollens) (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. Метод различия
По методу различия сравнивают два случая, в одном из которых исследуемое явление наступает, а в другом не наступает; при этом второй случай отличается от первого лишь одним обстоятельством, а все другие являются сходными.
Метод различия называют методом нахождения различного в сходном, ибо сравниваемые случаи совпадают друг с другом по многим свойствам.
Применяется метод различия как в процессе наблюдения над явлениями в естественных условиях, так и в условиях лабораторного или производственного эксперимента. В истории химии методом различия были открыты многие вещества — ускорители реакций, которые впоследствии получили название катализаторов. В сельскохозяйственном производстве этим методом проверяют, к примеру, эффективность удобрений.
Рассуждение по методу различия также предполагает ряд предпосылок.
Требуется общее знание о предшествующих обстоятельствах, каждое из которых может быть причиной исследуемого явления.
Из членов дизъюнкции следует исключить обстоятельства, не удовлетворяющие условию достаточности для исследуемого действия.
(3) Среди множества возможных причин остается единственное обстоятельство, которое рассматривается в качестве действительной причины.
Поскольку в условиях эмпирического познания трудно претендовать на исчерпывающую констатацию всех обстоятельств, выводы по методу различия в большинстве случаев дают лишь проблематичные заключения. По признанию многих исследователей, методом различия достигаются наиболее правдоподобные индуктивные выводы.
В - 36
Метод сопутствующих изменений
Метод применяется при анализе случаев, в которых имеет место видоизменение одного из предшествующих обстоятельств, сопровождаемое видоизменением исследуемого действия.
Предыдущие индуктивные методы основывались на повторяемости либо отсутствии определенного обстоятельства. Однако не все причинно связанные явления допускают нейтрализацию или замену отдельных составляющих их факторов. Единственным способом обнаружения причинных связей в таких условиях является фиксация в процессе наблюдения сопутствующих изменений в предшествующих и последующих явлениях. Причиной в этом случае выступает такое предшествующее обстоятельство, интенсивность или степень изменения которого совпадает с изменением исследуемого действия.
Применение метода сопутствующих изменений также предполагает соблюдение ряда условий.
Необходимо знание о всех возможных причинах исследуемого явления.
Из приведенных обстоятельств должны быть элиминированы те, которые не удовлетворяют свойству однозначности причинной связи.
Среди предшествующих выделяют единственное обстоятельство, изменение которого сопутствует изменению действия.
Сопутствующие изменения могут быть прямыми и обратными. Прямая зависимость означает: чем интенсивнее проявление предшествующего фактора, тем активнее проявляет себя и исследуемое явление, и наоборот, — с падением интенсивности соответственно снижается и активность или степень проявления действия.