Министерство образования Российской Федерации
Уральский гуманитарный институт
по предмету «Логика»
Екатеринбург
2005
1. Дайте логическую характеристику простого суждения:В случаях, предусмотренных законодательством, юридическая помощь оказывается бесплатно
Ответ:
Суждение – это форма мышления, представляющая собой утверждение или отрицание существования предметов и явлений, связей между предметами и их свойствами или об отношениях между предметами.
В суждении выделяют субъект суждения – S (то, о чем говорится в суждении) и предикат суждения Р (то, что говорится о S субъекте), а также связку, выражаемую словами «есть» (утвердительная связка) или «не есть» (отрицательная связка). Квантор всеобщности («все», «ни один», «каждый», «любой») и квантор частности («некоторые», «часть», «один из …», «кое-кто», «ряд», «многие», «не все»).
Выделяют простое и сложное суждение.
Простое суждение содержит одно утверждение или одно отрицание.
Типы простых суждений:
- атрибутивные (суждения о свойствах);
- релятивные (суждения об отношениях);
- экзистенциальные (суждения существования).
Виды суждений в объединенной классификации:
А Все S есть Р – общеутвердительное;
Е Ни одно S не есть Р – общеотрицательное;
I Некоторые S есть Р – частноутвердительное;
В связи с кванторами говорят о распределенности терминов простых суждений. Термин распределен, если в суждении он мыслится в полном объеме и не распределен, если в суждении он мыслится лишь в части своего объема. Распределенный термин обозначается знаком «+», а нераспределенный термин – знаком « - » (Таблица 1).
Таблица 1.
Таблица распределенности
S | P | |
A | + | _ |
E | + | + |
I | _ | _ |
O | _ | + |
S (субъект) в данном суждении – это юридическая помощь.
Р (предикат) – оказывается бесплатно.
«Некоторые S есть Р», т.е. «Некоторая юридическая помощь - S», только в случаях предусмотренных законодательством (в некоторых случаях), «оказывается бесплатно - Р».
Данное суждение является частноутвердительным (I) и нераспределенным (согласно таблицы 1).
Также приведенное суждение относится к экзистенциальному суждению (суждению существования).
2. Произведите противопоставление субъекту в следующем суждении: Иногда и мед сладок
Ответ:
Противопоставление субъекту происходит по следующей форме:
Обращение + превращение, т.е.
SAP PIS POS SEP PES PIS SIP PIS POS SOP Х (обращению не подлежит).Данное суждение относится к частноутвердительному виду (SIP).
S – мед, не всегда Р – сладок.
Соответственно, противопоставление субъекту в данном суждении происходит следующим образом: Иногда и мед сладок (SIP)Следовательно, сладким иногда бывает и мед (PIS) – обращение
Не сладким может быть и мед (POS) – превращение.
3. Проверьте правильность вывода и укажите возможные ошибки в силлогизме: Некоторые галстуки безвкусны. Все сделанное со вкусом приводит меня в восторг. Следовательно, я не в восторге от некоторых галстуков
Ответ:
Простым категорическим силлогизмом называется необходимое умозаключение, состоящее из трех категорических суждений (двух посылок и заключения), включающих три понятия (термина), и в котором вывод осуществляется на основе знания отношений двух терминов к некоторому третьему термину.
М – Р – большая посылка М – средний термин (повторяется в обеих посылках);
S – M – меньшая посылка Р – больший термин (в заключении на месте предиката);
S – Р – заключение (вывод) S – меньший термин (в заключении всегда на месте субъекта).
Фигуры силлогизма:
1) М – Р S – M2)
Р – М S – M3)
М – Р М – S4)
Р – М М – S«Некоторые галстуки безвкусны. Все сделанное со вкусом приводит меня в восторг. Следовательно, я не в восторге от некоторых галстуков».
Некоторые галстуки (Р) есть безвкусные (М). - Большая посылка.
Все сделанное со вкусом (М) приводит в восторг (S). - Меньшая посылка.
Я не в восторге (S) от некоторых галстуков (Р). - Заключение (вывод).
Согласно вышеприведенной классификации, данный силлогизм относится к четвертой фигуре
Р М М SПроверим данный силлогизм на соответствие специальным и общим правилам силлогизма.
Большая посылка является частноутвердительной (I), меньшая посылка – общеутвердительной (A), заключение – частноотрицательным (О).
Данный силлогизм не отвечает требованиям специальных правил по фигуре 4: если одна из посылок отрицательная, то большая посылка – общая (в данном случае - обе посылки – утвердительные). Модус IAO не является правильным по 4 фигуре.
4. Сделайте вывод из посылок, если это возможно
1. Котенок, который любит рыбу, поддается дрессировке.
2. Котенок без хвоста не станет играть с гориллой.
3. Котенок с усами всегда любит рыбу.
4. У котенка, поддающегося дрессировке, не бывает желтых глаз.
5. Котенок, у которого нет хвоста, не имеет усов.
Ответ:
1. Данные посылки являются частными (Некоторый котенок, есть любитель рыбы; Некоторый любитель рыбы есть поддающийся дрессировке). Согласно правила посылок, из двух частных посылок вывод невозможен.
2. Данные посылки являются отрицательными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не станет играть с гориллой). Согласно правила посылок, из двух отрицательных посылок вывод невозможен.
3. Данные посылки являются частными (Некоторый котенок, имеет усы; Усатый котенок любит рыбу). Согласно правила посылок, из двух частных посылок вывод невозможен.
4. Данные посылки являются частными (Некоторый котенок есть поддающийся дрессировке; Некоторый дрессированный котенок не есть желтоглазый). Согласно правила посылок, из двух частных посылок вывод невозможен.
5. Данные посылки являются частными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не есть усатый). Согласно правила посылок, из двух частных посылок вывод невозможен.
5. Установите путем построения таблицы истинности, являются ли равносильными следующие суждения:
а) Если увеличивается семья нанимателя, то это ведет к изменению условий договора найма жилого помещения, если же семья нанимателя уменьшается, это также ведет к изменению условий договора найма жилого помещения.
б) Семья нанимателя может увеличиваться и уменьшаться, что ведет к изменению условий найма жилого помещения.
Ответ:
Установить являются ли данные суждения равносильными, значит установить, с помощью таблицы истинности, являются ли данные суждения истинными или ложными.
Истинным суждением является такое суждение, которое соответствует действительности. Ложное суждение действительности не соответствует.
Первое суждение по типу применяемого союза является условным (импликативным) и обозначается А → В, где А и В являются истинными суждениями. Импликация – это логический союз, с помощью которого из двух простых или сложных суждений образуется новое, которое истинно во всех случаях, кроме одного, а именно, оно ложно, когда ложен первый член (антецедент), а второй (концеквент) является истинным.
Второе суждение по типу применяемого союза является исключающе – разделительным (используется строгая дизъюнкция) и обозначается А \// В. В данном суждения А и В также являются истинными. Строгая дизъюнкция – это логический союз, с помощью которого из двух или большего числа простых или сложных суждений образуется новое суждение, которое истинно тогда и только тогда, когда истинно лишь одно из входящих в него суждений, и ложно во всех других случаях.
Согласно таблицы истинности сложных суждений,
А | В | А → В | А \// В |
И | И | И | Л |
Первое суждение (А → В) – истинное, а второе (А \// В) – ложное.