Дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения (A,E,I,O). Укажите распределение терминов и изобразите их соотношение с помощью круговых схем Эйлера.
2.1. Каждый гражданин РФ имеет право на тайну переписки. 2.2. Ничто его не радовало. 2.3. В случаях, предусмотренных законодательством, юридическая помощь гражданам оказывается бесплатно. 2.4. Многие студенты юридических вузов не изучают конфликтологию.
2.1. Каждый гражданин РФ имеет право на тайну переписки.
Решение:
Каждый гражданин РФ (S) имеет право на тайну переписки (Р).
Объединенная классификация – (А). Общеутвердительное суждение:
(S) есть суть (P).
Суждение по: Характеру связи – реляционное; количеству – общее; качеству – утвердительное.
2.2. Ничто его не радовало.
Решение:
Ничто его (S) не радовало (Р).
Объединенная классификация – (Е). Общеотрицательное суждение:
S не есть P.
Суждение по: Характеру связи – реляционное; количеству – единичнообщее; качеству – отрицательное.
2.3. В случаях, предусмотренных законодательством, юридическая помощь гражданам оказывается бесплатно.
Решение:
В случаях, предусмотренных законодательством (S), юридическая помощь гражданам оказывается бесплатно (Р).
Объединенная классификация - (I). Частноутвердительное суждение;
логическая форма: Некоторые S есть Р.
Суждение по: Характеру связи – атрибутивное; количеству – частное выделяющее; качеству – утвердительное.
S- |
Р+ |
2.4. Многие студенты юридических вузов не изучают конфликтологию.
Решение:
Многие студенты юридических вузов (S) не изучают конфликтологию (Р).
Объединенная классификация – (О). Частноотрицательное суждение:
Многие S не есть Р.
Суждение по: Характеру связи – атрибутивное; количеству – частное; качеству – отрицательное.
S- |
Р+ |
. |
Установите вид сложного суждения, укажите его составные части (простые суждения), запишите с помощью символов, используя пропозициональные союзы. Составьте таблицу истинности. Если сложное суждение комбинированное, приведите его полную логическую схему.
3.1.«Если ты богослов, то будешь молиться истинно, а если истинно молиться, то ты богослов» (П. Флоренский).
Решение:
Это эквивалентное суждение. Эквивалентным называют суждение, включающее в качестве составных два суждения, связанные двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если…, то…». Логическая форма: a º b.
Эквивалентное суждение истинно в двух случаях: когда оба составляющие его суждения истинны и когда они оба ложны.
Таблица истинности эквивалентного суждения:
а | b | a º b |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
3.2. «Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки» (Гражданский кодекс РФ).
Решение:
Это эквивалентное суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если…, то…».
Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации (А), суд вправе по требованию другой стороны вынести решение о регистрации сделки (В).
Схема данного суждения: А В
Построим таблицу истинности:
Суждение А В истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными, либо ложными.
а) Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки. Оба суждения являются истинными, следовательно и суждение в целом истинно.
б) Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации, суд не вправе по требованию другой стороны вынести решение о регистрации сделки. Суждение А – истинно, а суждение В – ложно. Все суждение тоже ложно.
в) Если сделка, требующая государственной регистрации, совершена не в надлежащей форме, и одна из сторон уклоняется от ее регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки. Суждение А – ложно, а суждение В – истинно, но суждение в целом будет ложно.
г) Если сделка, требующая государственной регистрации, совершена не в надлежащей форме, и одна из сторон уклоняется от ее регистрации, суд не вправе по требованию другой стороны вынести решение о регистрации сделки. Оба суждения ложны, но все суждение в целом – истинно.
В итоге получается следующая таблица:
А | В | А B | |
И И Л Л | И Л И Л | И Л Л И |
4. Нарисуйте логический квадрат, напишите виды отношений между суждениями в логическом квадрате и установите истинность других суждений, если исходные суждения следующие:
А. «Торг честью не обогащает» (Л. Вовенарг) – истинно;
Решение:
Торг честью не обогащает – (Еи).
Иногда торг честью не обогащает – (Ои).
Торг честью обогащает – (Ал).
Иногда торг честью обогащает – (Iл).
Суждение является истинным, так как Е подчиненно О.
Б. «Кредитный договор должен быть заключен в письменной форме» - истинно.
Решение:
Кредитный договор должен быть заключен в письменной форме – (Аи).
Некоторые кредитные договора должны быть заключены в письменной форме – (Iи).
Кредитный договор не должен быть заключен в письменной форме – (Ел).
Некоторые кредитные договора не должны быть заключены в письменной форме – (Ол).
Суждение является истинным, так как I подчиненно А.
Сделайте полный разбор силлогизма. Если заключение с необходимостью не следует, укажите, какие правила нарушены.
5.1. В простом категорическом силлогизме должно быть только три термина. В этом умозаключении не три термина. Следовательно, это умозаключение не силлогизм.
Решение:
В простом категорическом силлогизме (Р) должно быть только три термина (М). Большая посылка. Общеутвердительная – А.
В этом умозаключении (S) не три термина (М). Меньшая посылка – единичное отрицательное суждение (рассматривается как общеотрицательное – Е).
Следовательно, это умозаключение (S) не силлогизм (Р). Заключение выражено в форме общеотрицательного суждения (Е).