Закон достаточного основания, его роль в процессе рассуждения.
Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана.
Формула: «если есть q, то и есть его основание p»
Мысли, приводящиеся для обоснования других мыслей – лог. Основание.
Мысль, вытекающая из других суждений – лог. Следствие
Закон помогает отделить истинные суждения от ложных, требует рассматривать в качестве истинных суждений только те, которые доказаны.
Логические операции обобщения и ограничения понятий.
(В основе обобщения и ограничения понятий лежит закон обратного отношения содержания и объёма)
Обобщение – логическая операция, по средством которой совершается переход от понятия с меньшим объёмом к понятию с большим объёмом путём отбрасывания от содержания понятия некоторых признаков. (отбрасывается какой-то признак)
Например: «генеральный прокурор» преобразуется в «прокурор»
Ограничение - логическая операция, осуществляется переход от понятия большего объёма к понятию меньшего объёма путём добавления нового признака.
Например: «деяние» преобразуем в «преступное деяние» преобразуем «должностное преступное деяние» ® «получение взятки»
Разделительное (дизъюнктивное) суждение, его строение виды и условия истинности.
Разделительное (дизъюнктивное) суждение –это суждение, которое образуется из простых суждений при помощи связок «или», «либо». Пример: «Договор о купли продажи может быть заключен в устной или письменной форме».
Виды:
I.В зависимости от смысла связки «или»:
1) Сильная дизъюнкция – связка имеет соединительно-разделительный смысл (т.е. связка между простыми суждениями не исключают друг друга)
Схема: «pÚq»
2) Слабая дизъюнкция – связка имеет исключающе-разделительное значение (т.е. простые суждения исключают друг друга, вместе не могут быть)
Схема: «p Ú q»
II.В зависимости от полноты:
1) Полное (закрытое) суждение – перечислены все возможные члены дизъюнкции
Схема: <pÚq>
2) Неполное (открытое) – перечисляются не все члены…
Схема: pÚq…
Истинность
| P | q | pÚq | pÚq |
| И | И | И | Л |
| И | Л | И | И |
| Л | И | И | И |
| Л | Л | Л | Л |
Умозаключение как форма мышления. Виды умозаключений.
Умозаключение – форма мышления или умственное действие, посредством которого из одного или нескольких связанных суждений выводится новое.
Структура:
Посылки – исходные суждения
Заключение – новое суждение, полученное логическим путём из посык
Обосновывающие знания – правила логического перехода от посылок к заключению
Виды умозаключений:
· В зависимости от правил вывода: -необходимые (заключение следует с необходимостью)
- правдоподобные (заключения, с большей или меньшей вероятностью)
· По направлению логического следования: - индуктивные (от частного к общему)
- дедуктивные (от общего к частному)
- заключения по аналогии (по сходству)
· В зависимости от количества посылок - непосредственные (преобразования одной посылки)
(дедуктивные) - опосредованные (из двух и более посылок)
· Дедуктивные: - Сложные (состоит из простых суждений)
- простые (состоит из простых и сложных)
Превращение
Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.
Превращение опирается на правило: двойное отрицание равносильно утверждению:
˥˥p≡p, где р-любое суждение, ˥- символ отрицания, ≡- символ равнозначности(эквивалентности)
Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.
Общеутвердительное суждение (А) превращается в общеотрицательное(Е).
Схема превращения А : Все S есть P./Ни одно S не есть не-Р
Общеотрицательное суждение(Е) превращается в общеутвердительное(А)
Схема превращения в суждение (Е): Ни одно S не есть Р/Все S есть не-Р
Частноутвердительное суждение (I) Превращается в частноотрицательное (О)
Схема превращения суждения I: Некоторые S есть Р/Некоторые S не есть не-Р
Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки кок рого являются условными суждениями. Например:
Если изобретение создано совместным творческим трудом несколь граждан (р), все они признаются соавторами изобретения (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
< > — символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания. Отрицая один дизъюнкт, мы утверждаем другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка, должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывав достоверного заключения получить нельзя.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий.