Читайте также:
|
Умозаключение, посылки и заключение которого являются суждениями с отношениями, называется умозаключением с отношениями.
Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых — 1) симметричность, 2) рефлексивность и 3) транзитивность.
1. Отношение называется симметричным, если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства, сходства, одновременности, различия и некоторые другие.
2. Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства и одновременности.
3. Отношение называется транзитивным, если оно имеет место между х и z тогда, когда он имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным тогда и только тогда, когда и отношения между х и у и между у и z следует такое же отношени между х и z.
Транзитивными являются отношения равенства, одновременности, отношения «больше», «меньше», «позднее», «находиться севернее, «быть ниже, выше» и т.п.
Для получения достоверных заключений из суждений с отношениями необходимо опираться на правила, вытекающие из свойств отношений.
Из свойства симметричности вытекает правило:если суждение xRy истинно, то суждение yRx тоже истинно.
Из свойства рефлексивности вытекает правило: если суждение xRy истинно, то истинными будут суждения xRx и yRy.
Из свойства транзитивности) вытекает правило: если суждение xRy истинно и суждение yRz истинно, то суждею xRz также истинно.
Таким образом, истинность заключения из суждений с отношениями зависит от свойств отношений и регулируется правилами вытекающими из этих свойств. В противном случае заключение может оказаться ложным.
Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки кок рого являются условными суждениями. Например:
Если изобретение создано совместным творческим трудом несколь граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом неско. граждан (р), то порядок пользования правами на изобретение, соз, ное в соавторстве, определяется соглашением между соавторами (г|
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q). из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(р -> q) л (q -> г) р ->г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего' числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Утверждающий модус дает достоверные выводы. Он имеет схему:
(P->q, P)/q
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
(P-»q, q)/P
Итак, из модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий и отрицающий. Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания.
Разделительно-категорическое умозаключение.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнкгивное) суждение, называются членами дизъюнкции, или дизъюнктами.
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждаюшеотрицающий и (2) отрицающеутверждающий.
1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.
p˅q,p/˥q
Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающеразделительным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя
2. В отрицающеутверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.
Схема отрицающеутверждающего модуса:
<p˅q>,˥p/q
< > — символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания. Отрицая один дизъюнкт, мы утверждаем другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка, должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывав достоверного заключения получить нельзя.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий.
Дата добавления: 2014-12-18; просмотров: 165 | Поможем написать вашу работу | Нарушение авторских прав |