Решение логических задач

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Задание 1

Произведите с понятием «суд» операции определения, деления, обобщения, ограничения (определение проверьте по правилам логики)

Сначала сформулируем определение данного понятия.

Суд (А) -- государственный орган (В), осуществляющий правосудие в форме рассмотрения и разрешения уголовных, административных, гражданских и иных категорий дел в установленном законом конкретного государства процессуальном порядке (c).

A - дефиниендум или определяемое понятие (Dfd).

В (с) - дефиниенс или определяющее понятие (Dfn).

Вид определения: реальное (по логическому строению), родовидовое (по характеру дефиниенса), операциональное, которое близко к номинальному определению.

Логическая схема: А?В(с). Или: Dfd ? Dfn. Иными словами, в этом определении правила логики соблюдены

Обобщение. Суд (А) ==>государственный орган (В)(рис. 1).

логический суждение силлогизм

Рис. 1

Ограничение

Суд (А) ==> Городской суд (В) ==> Благовещенский Городской суд(С) (рис. 2).

Рис. 2

Под обобщением понятий подразумевается операция перехода от понятий меньшего объема к понятиям большего объема (переход от видового понятия к родовому), а под ограничением - обратный процесс перехода от понятий большего объема к понятиям меньшего объема (переход от родового понятия к видовому).

Деление по видообразующему признаку.

Произведём операции деления с понятием суд (на примере Судебной системы Российской Федерации) в соответствии с его юрисдикцией:

Суд (А) - Конституционный Суд РФ (В), Верховный Суд РФ (С), Высший Арбитражный Суд РФ (D) (рис. 3)

А ==> В C D

Рис. 3

Дихотомическое деление.

Суд (А) ==> Федеральный Суд (В), и не Федеральный Суд (не В) (рис.4).

А ==> В не-В

Рис.4

Задание 2

Дайте объединённую классификацию суждений, приведите их схемы и принятые в логике обозначения (A,E,I,O). Укажите распределение терминов и изобразите их соотношение с помощью круговых схем Эйлера.

2.1. Почти все студенты получили зачёт по «Римскому праву». 2.2. Интеллектуальная собственность охраняется законом. 2.3. «Никто из сидящих не обратил внимание на новоприбывшего зрителя» (М. Булгаков). 2.4. Часть студентов юридических вузов не изучают конфликтологию.

Решение

2.1. Почти все студенты (S) получили зачёт по «Римскому праву» (P). Суждение является частноутвердительным (I), т.е. частным по количеству и утвердительным по качеству. Логическая схема «Некоторые S суть P».

I (Некоторые S суть P): х(S(x) P(x))

Ни S, ни Р не распределены.

2.2 Интеллектуальная собственность (S) охраняется законом (P).

Суждение является общеутвердительным (А), т.е. общим по количеству и утвердительным по качеству. Логическая схема «Все S суть Р»

А (Все S суть Р): х (S(x)P(x))

S распределён, Р не распределён.

2.3 «Никто из сидящих (S) не обратил внимание на новоприбывшего зрителя (P)» (М. Булгаков).

Суждение относится к общеотрицательным (Е), т.е. общее по количеству и отрицательное по качеству. Схема этих суждений «Ни одно S не есть Р» E(Ни одно S не есть Р): х (S(x) кP(x))

И S, и Р распределены.

2.4 Часть студентов юридических вузов (S) не изучают конфликтологию (P). Это суждение относится к частноотрицательным (О), т.е. суждение частное по количеству и отрицательное по качеству. Схема суждения «Некоторые S не суть Р».

О(Некоторые S не суть Р): х(S(x) ? кP(x))

S не распределён, Р распределён.

Задание 3

Установите вид сложного суждения, укажите его составные части (простые суждения), запишите с помощью символов, используя пропозициональные союзы. Составьте таблицу истинности. Если сложное суждение комбинированное, приведите его полную логическую схему.

3.1. Трудовые договоры заключаются на неопределённый срок или определённый. 3.2. «Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от её регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки» (Гражданский кодекс РФ).

Решение

3.1. Трудовые договоры заключаются на неопределённый срок или определённый.

Данный пример является дизъюнктивным (разделительным) суждением, состоящим из двух простых: «Трудовые договоры заключаются на неопределённый срок»; «Трудовые договоры заключаются на определённый срок». Если первое обозначить p, а второе - q, то символически суждение можно выразить следующим образом р q, где р и q - дизъюнкты, - символ дизъюнкции.

Таблица истинности:

Таким образом, это суждение истинно в трёх случаях, ложно, если оба дизъюнкта ложные.

3.2. «Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от её регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки» (Гражданский кодекс РФ).

Это эквивалентное суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если…, то..».

Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от её регистрации (р), суд вправе по требованию другой стороны вынести решение о регистрации сделки (q).

Схема данного суждения p ? q

Построим таблицу истинности:

Суждение q ? p истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными, либо ложными.

а) Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки. Оба суждения являются истинными, следовательно и суждение в целом истинно.

б) Если сделка, требующая государственной регистрации, совершена в надлежащей форме, но одна из сторон уклоняется от ее регистрации, суд не вправе по требованию другой стороны вынести решение о регистрации сделки. Суждение p - истинно, а суждение q - ложно. Все суждение тоже ложно.

в) Если сделка, требующая государственной регистрации, совершена не в надлежащей форме, и одна из сторон уклоняется от ее регистрации, суд вправе по требованию другой стороны вынести решение о регистрации сделки. Суждение p - ложно, а суждение q - истинно, но суждение в целом будет ложно.

г) Если сделка, требующая государственной регистрации, совершена не в надлежащей форме, и одна из сторон уклоняется от ее регистрации, суд не вправе по требованию другой стороны вынести решение о регистрации сделки. Оба суждения ложны, но все суждение в целом - истинно.

В итоге получается следующая таблица:

Задание 4

Сделайте полный разбор силлогизма. Если заключение с необходимостью не следует, укажите, какие правила нарушены.

4.1. Все граждане РФ обязаны платить законно установленные налоги. Н. не гражданин РФ. Значит, он не обязан платить налоги.

4.2. Если данный силлогизм - энтимема, то в его структуре нет одной посылки. Если данный силлогизм - энтимема, то в его структуре нет заключения. В данном силлогизме есть все посылки и имеется заключение. Значит, это - не энтимема.

Решение

4.1. 1. Все граждане РФ(М+) обязаны платить законно установленные налоги.(Р-)

2. Н.(S+) не гражданин РФ.(M+)

3. Значит, он(S+) не обязан платить налоги.(P+)

Первое суждение - большая посылка вида А.

Второе суждение - меньшая посылка вида Е.

Третье суждение - вывод вида Е.

Н. - меньший термин (S).

Обязан платить налоги -больший термин (Р).

Средний термин (М) - «гражданин РФ»

Модус суждения АЕЕ

Фигура:

Первая фигура силлогизма. Модус для данной фигуры неверный.

нарушено правило распределённости терминов: термин, не распределённый в посылке, не может быть распределён в заключении. Больший термин в большей посылке не распределён, но распределён в заключении.

Вывод с необходимостью не следует.

4.2. Если данный силлогизм - энтимема, то в его структуре нет одной посылки. Если данный силлогизм - энтимема, то в его структуре нет заключения. В данном силлогизме есть все посылки и имеется заключение. Значит, это - не энтимема.

Решение

1. Если данный силлогизм - энтимема,(а) то в его структуре нет одной посылки.(b)

2. Если данный силлогизм - энтимема,(a) то в его структуре нет заключения.(c)

3. В данном силлогизме есть все посылки(b) и имеется заключение.(c)

Значит, это - не энтимема.(a)

Сложное условно-категорическое умозаключение. Схема:

Отрицающий модус. Категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания. Модус правильный.

Вывод следует с необходимостью

Задание 5

Определить в следующем тексте формально-логический закон либо его нарушение; записать его в виде формулы.

«Рекомендую Мак Сима для утверждения в высоком звании кандидата в рядовые Боевой Гвардии… В связи с вышеизложенным считаю своим долгом обратить внимание командования на необходимость тщательной проверки прошлой жизни означенного кандидата в рядовые Боевой Гвардии» (Стругацкие А. и Б.«Обитаемый остров»).

Решение

Нарушен закон тождества, согласно которому всякая мысль в процессе рассуждения должна быть тождественна самой себе. Фраза «рекомендую Мак Сима» в данном отрывке двусмысленна: Мак Сима или Максима.

Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связанно с различным выражением одной и той же мысли в языке.

Отождествление различных понятий представляет собой логическую ошибку - подмену понятия, которая может быть как неосознанной, так и преднамеренной. В данном примере такой подменой понятия может выступать понятие Мак Сим, так как созвучно имени Максим.

Закон тождества может быть выражен формулой рр (если р, то р), где р - любое высказывание, - знак импликации.

Библиографический список

1. Иванов Е.А. Логика. - М.: БЕК, 2008.

2. Ивин А.А. Практическая логика. - М.: ФАИР-ПРЕСС, 20

3. Ивлев Ю.В. Логика. - М. : Проспект, 2007.

4.Кириллов В.И., Старченко А.А. Логика. - М.: Проспект, 2009.

5.Малахов В.П. Логика для юристов. - М. - Екатеринбург: Академический проспект; Деловая книга, 2002. - С.332 - 426.

6.Марков С.М. Формальная логика. Курс лекций для студентов юридических вузов: Учебное пособие. - Хабаровск: РИЦ ХГАЭП, 1999.- 264с.

Размещено на Allbest.ru