- •Соотношение мышления и языка в логике. Виды логик: формальная, диалектическая и математическая (символическая).
- •Понятие как форма мышления.
- •Общая характеристика понятия.
- •Языковые формы выражения понятий. Логические приемы образования понятий.
- •Логическая структура понятий. Закон обратного отношения между содержанием и объемом понятия.
- •Совместимые и несовместимые понятия.
- •Ограничение и обобщение понятий.
- •Определение понятий: сущность и задачи.
- •Реальные и номинальные определения.
- •2. Определение не должно заключать в себе круга.
- •3. Определение должно быть ясным.
- •Виды деления.
- •Суждение как форма мышления.
- •Деление суждений по характеру предиката.
- •Деление простых суждений по качеству и количеству.
- •Распределенность терминов в суждении.
- •Логический квадрат. Отношение между суждениями различного количества и качества.
- •Деление суждений по модальности.
- •Конъюнктивные суждения.
- •Импликативные суждения.
- •Суждения эквивалентности.
- •Основные законы логики: закон тождества и закон противоречия. Закон тождества в логике. Примеры
- •Закон противоречия в логике. Примеры
- •Основные законы логики: закон исключенного третьего и закон достаточного основания.
- •Общая характеристика умозаключения.
- •Условно-разделительные умозаключения.
- •Простая деструктивная полилемма: Если какие-то следствия нежелательны, то нежелательна и причина, если же нежелательны все следствия, причина недопустима.
- •Структура простого категорического силлогизма.
- •Сорит, его виды.
- •Эпихейрема.
- •Индукция через простое перечисление.
- •Индукция на основе установления причинной связи.
- •Методы установления причинной связи.
- •Соединенный метод сходства и различия
- •Аналогия и ее основные виды.
- •Доказательство: общая характеристика и строение.
- •Виды доказательств.
- •Правила и ошибки доказательства.
Условно-разделительные умозаключения.
Это те умозаключения, в которых одна посылка состоит из 2 и более условных суждений, а вторая является разделительным суждением. По количеству альтернатив в нем различают дилеммы, трилеммы и полилеммы. Дилеммы бывают конструктивными (2 условия и, следовательно, 2 следствия) и разрушительными (из 2 оснований могут вытекать 2 следствия, из которых одно отрицается в разделительной посылке, а вывод отрицает одно из оснований). Полилеммы, при полной аналогии дилеммам имеют большее число альтернатив.
Простая конструктивная полилемма: Если у всех возможных причин одно и то же следствие, оно предопределено (в примере первая посылка упрощена по правилу эквивалентности):
Если человек болен или подозревает что, болен, или полагает что, может оказаться больным, то ему следует обратиться к врачу. Этот человек болен или только подозревает что, болен, или, не подозревая того, может оказаться больным
Ему следует обратиться к врачу |
Простая деструктивная полилемма: Если какие-то следствия нежелательны, то нежелательна и причина, если же нежелательны все следствия, причина недопустима.
Сложная конструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых утверждается.
Сложная деструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых отрицается.
Структура простого категорического силлогизма.
Категорический силлогизм — это дедуктивное умозаключение, в котором из 2 суждений с общим термином получается 3 суждение — вывод. В основе всего — аксиома — все, что утверждается о роде объектов, должно утверждаться о их виде, а все утверждаемое о виде — о индивиде. Выделяются больший, средний и меньший и термины силлогизма. Меньший — субъект, больший — предикат. Больший и меньший — крайние термины силлогизма. Средний присутствует в посылках, но отсутствует в выводах, так как просто связывает большую и меньшую посылки. Следовательно, без среднего нет сравнений и выводов — его наличие ообязательно.
Фигуры простого категорического силлогизма и их общие правила.
Существуют 4 фигуры:
1) место субъекта в большей и предиката в меньшей заменяет средний. Действуют правила: меньшая посылка всегда утвердительна, большая — всегда общая;
2)средний занимает место предиката в обеих посылках. Правила: одна из посылок должна быть отрицательной, а большая должна быть общей;
3)средний занимает место субъекта в обеих посылках. Правила: меньшая посылка должна быть утвердительной, вывод всегда должен быть частным;
4)средний = предикату в большей и = субъекту в меньшей. Правила: если большая посылка утвердительная, то меньшая должна быть общей, а если одна из посылок отрицательна, то большая должна быть общей. Доказывать здесь ничего не нужно.
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина (М) в посылках. Различают четыре фигуры:
Рис. 22
Примеры:
1) Все жидкости (М) теплопроводны (Р).
Вода(S)-жидкость(М).
Вода (S) – теплопроводна (Р)
2)Все ужи (Р) –
пресмыкающиеся (М).
Это животное (S) не является пресмыкающимся (М)
3) Все углероды (М)-
простые тела (Р).
Все углероды (М) –
электропроводны (S)
Некоторые электропроводники
(S)- простые тела (Р).
4)Все киты (Р) -
млекопитающие (М).
Ни одно млекопитающее (М)
ни есть рыба (S)
Ни одна рыба (S) не есть кит (Р)
Особые правила фигур
I фигура. Большая посылка должна быть общей, меньшая - утвердительной.
II фигура. Большая посылка общая и одна из посылок, а также заключение - отрицательные.
III фигура. Меньшая посылка должна быть утвердительной, а заключение - частным.
IV фигура. Общеутвердительных заключений не дает. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей.
Правила терминов простого категорического силлогизма.
Действуют следующие правила: только три термина (нарушение — ошибка учетверения терминов, когда одно понятие используется в нескольких смыслах — синонимы и т. п.), средний термин должен быть распределен хотя бы в одной из посылок (иначе — ложный вывод), термин, который не распределен в посылках, не может быть распределен и в заключении (иначе — ошибка «незаконного расширения терминов»)
Правила посылок простого категорического силлогизма.
Правила таковы: если одна посылка частная, частным будет и вывод, из двух частных посылок невозможен определенный вывод, из 2 отрицательных посылок также нет вывода, вывод должен быть отрицательным, если одна из посылок непоследовательна.
Модусы простого категорического силлогизма.
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
Всего правильных модусов в четырех фигурах 19.
I фигура имеет следующие правильные модусы (буквы обозначают последовательно количество и качество большей посылки, меньшей и заключения): ААА, ЕАЕ, All, EIO. Приведенный выше (вопрос 37) пример 1 иллюстрирует модус ААА.
II фигура имеет такие правильные модусы : АЕЕ, АОО, ЕАЕ, ЕIO. Умозаключение 2 построено по модусу АЕЕ.
III фигура имеет правильные модусы: AAI, ЕАО, IAI, ОАО, All, ЕIO. Модус AAI представлен примером 3.
IV фигура имеет правильные модусы: AAI, АЕЕ, IAI, ЕАО, ЕIO. Модус АЕЕ представлен примером 4.
Энтимема.
Энтитемами называют те умозаключения, в которых пропущена одна из посылок или же пропущено заключение. Для проверки логической правильности энтитемы ее следует восстановить до полного силлогизма и проверить на соответствие правилам силлогизма. Восстановление предусматривает несколько шагов:
1)определение того, что именно пропущено — посылка или заключение;
2)переход через определение заключения к определению меньшего и большего терминов силлогизма;
3)определение среднего термина силлогизма на основе имеющихся терминов и одной посылки;
4)построение пропущенной посылки с помощью правил фигур силлогизма и уже определенных ранее терминов (нужно помнить, что посылка должна быть истинным суждением);
5)восстановление полного силлогизма и его проверка по правилам силлогизма.
Пример: «Петров — юрист, потому что он знает законы». Данное предложение является заключением, так как вторая часть энтитемы обосновывает первую. Следовательно, есть посылка — «Петров знает законы» — и заключение — «Петров — юрист». Меньший термин силлогизма — «Петров», больший — «юрист», средний — «человек, знающий законы». Пропущена, таким образом, большая посылка, куда должны войти термины «юрист» и «человек, знающий законы». Сформулирована она может быть в 2 вариантах:
1) «Все юристы знают законы» — силлогизм будет строиться по 2 фигуре, но с нарушением и правил фигуры, и правила распределенности среднего термина: Все юристы знают законы — Петров знает законы — Петров — юрист. Нелогичность очевидна, так как Петров может быть кем угодно, так как не одни лишь юристы могут знать законы;
2) «Некоторые люди, знающие законы, - юристы» — силлогизм будет строиться по 1 фигуре, что приведет к тем же нарушениям, что и в первом примере.
Итого, не верны оба силлогизма, и энтитема является неправильным умозаключением.
Также может быть пропущено заключение. Пример: «Все радикалы опасны для общества, а он — радикал». Следовательно, пропущено заключение — он опасен для общества. Подобные энтитемы намеренно используются для подведения кого-либо к удобным для тебя выводам, что особенно актуально для юридической практики и требует умения распознования подобных приемов.
Полисиллогизм (сложный силлогизм).
Это соединение двух или более простых категорических силлогизмов таким образом, что заключение одного силлогизма (просиллогизм) становится посылкой для другого силлогизма (эписиллогизм). Если вывод просиллогизма становится большей посылкой эписиллогизма, то полисиллогизм называется прогрессивным, если меньшей посылкой — регрессивным. Пример прогрессивного: все преступления общественно опасны — все хищения есть преступления — все хищения общественно опасны (это просиллогизм). Все хищения общественно опасны — все кражи есть хищения — все кражи общественно опасны (это первый эписиллогизм). Все кражи общественно опасны — все тайные присвоения книг из библиотеки есть кражи — все тайные присвоения книг из библиотеки общественно опасны. (это второй эписиллогизм). Таким образом, признак с общего понятия переносится на более конкретное.
Пример регрессивного: 1)все мыслящие люди способны к самосовершенствованию — некоторые преступники являются мыслящими людьми — некоторые преступники способны к самосовершенствованию; 2)все люди, способные к самосовершенствованию, заслуживают снисхождения - некоторые преступники способны к самосовершенствованию — некоторые преступники засуживают снисхождения.
