Файл: Примеры решения задач по Логике- 1 курс ЗО.doc

Так как Конституция не относится к подзаконным актам, то объемы понятий подзаконный акт и Конституция не имеют общих элементов.

Обозначим наши понятия следующим образом:

подзаконный акт - А,указ Президента РФ- В,постановление Правительства РФ- С,Конституция- D

А

В С D

Литература:

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

Дегтярев М.Г., Хмелевская С.А. Логика, М., ПЕР СЭ, 2003, с.45-72

Брюшинкин В.Н. Практический курс логики для гуманитариев, М., Новая школа, 1996, с. 32 – 73.

Солодухин С.А. Логика для юристов, М., Феникс, 2003, с. 33–36, 51–54.

Малько А.В. Теория государства и прав. М., КноРус, 2009

Тема 3. Определение

1. Операция определения. Структура определения.

2. Виды определений. Виды явных определений: атрибутивные, генетические, операциональные.

3. Определение через отрицание.

4. Неявные определения: контекстуальные, индуктивные, определения посредством схем аксиом.

5. Правила и возможные ошибки в определении. Операции, сходные с определением.

5. Укажите вид и установите правильность определения. В неправильном определении укажите, какое правило нарушено. Приведите правильную формулировку определения.

Замечания по выполнению задания

В упражнении содержаться только явные, родовидовые определения. Нужно выяснить вид явного определения: является ли оно атрибутивным, генетическим или операциональным, а также его правильность. Определение является правильным, если выполняются все правила определения. Для точной формулировки определений используйте учебную и справочную литературу по теории государства и права.

Большинство определений, которыми вы пользуетесь в учебных курсах, а также статьи юридических кодексов являются атрибутивными определениями, т.е. в определяющей части перечисляются признаки, которыми обладают предметы, называемые определяемым термином. Операциональные определения описывают операцию, которая позволяют отличить объект, называемый в определяемой части. Генетические определения описывают способ создания, конструирования предметов, называемых в определяемой части.

Примеры выполнения задания

Договор – соглашение двух сторон, в котором содержатся нормы, регулирующие их взаимоотношения.

Это определение явное, атрибутивное, неправильное. Нарушено правило определения: определение должно быть соразмерным. Данное определение является слишком узким: определяющая часть по объему меньше определяемой. Оно может быть исправлено следующим образом:

Договор – соглашение двух или более сторон, в котором содержатся нормы, регулирующие их взаимоотношения.

Тема 4. Суждение

Часть 1. Простые суждения

1. Суждение как форма мышления.

2. Виды простых суждений.

3. Категорические суждения: их виды, условия истинности. Распределенность терминов в категорических суждениях.

4. Отношения между категорическими суждениями. Логический квадрат.

6. Определите отношение между категорическими суждениями. Дайте определение отношения. Укажите значения сравниваемых категорических суждений.

____________________________________

Замечания по выполнению задания

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

Обратите внимание, что логический квадрат – это схема, удобная для запоминания, но она не содержит определений данных отношений, которые вам нужно знать. Например, суждения SaP и SeP находятся в отношении противоположности – они не могут быть одновременно истинными, но они могут быть одновременно ложными и принимать разные значения. Уточните значения сужений, приводимых в парах. Какие из них являются истинными, а какие ложными?

Для решения данных задач вам нужно совершить следующие шаги:

1) Выявить логическую форму сравниваемых суждений

2) Определить их вид

3) Выявить отношение между суждениями по логическому квадрату и дать определение этому отношению.

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

Для этого необходимо учитывать отношение контрадикторности (противоречия) между категорическими суждениями. В отношении противоречия находятся суждения SaP и SoP, SeP и SiP, т.е. всегда, когда одно из них истинно, другое – ложно и наоборот. В силу этого имеют место следующие эквивалентности: SaPSoP , SaPSoP, SePSiP, SeР SiP. (В другой нотации в учебниках вы можете встретить обозначения А, О, Е , I)

Пример.

Все социальные нормы являются правовыми нормами.

Данное суждение является ложным, поэтому его отрицание будет истинным суждением.

Отрицание данного суждения: Неверно, что все социальные нормы являются правовыми нормами.

1) Логическая форма суждения: Неверно, что всеSесть Р.

2) Вид суждения: отрицание общеутвердительного суждения - SaP

3) В силу эквивалентности SaP  SoP стандартной формой будет частноотрицательное суждение SoP:

Некоторые социальные нормы не являются правовыми нормами.

Примеры выполнения задания

Некоторые преступления совершаются по неосторожности. – О других преступлениях этого сказать нельзя.

Отношение устанавливается между логическими формами рассматриваемых суждений.

1) Определяем логическую форму суждений. Эти суждения имеют одинаковые субъект и предикат, поэтому их можно сравнивать, и различаются только связкой – первое из них утвердительное, второе – отрицательное. Логическая форма первого суждения НекоторыеSесть Р; второго - НекоторыеSне есть Р.

2) Вид суждений: первое - частноутвердительное (SiP), второе - частноотрицательное (SoP).

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

Часть 2. Сложные суждения

1. Сложные суждения: их виды, условия истинности.

2. Условное суждение и понятие необходимого и достаточного условий.

3. Понятие закона логики.

4. Отношение логического следования.

5. Отношения между сложными суждениями.

7. Определите отношение между сложными суждениями. Дайте определение отношения.

Замечания по выполнению задания

Постройте одну таблицу истинности для суждений и сравните их.

Для выяснения отношений используйте определения отношений между сложными суждениями.

Примеры выполнения задания

Рассмотрим пункты (а) и (б)

(а)Если наказание неотвратимо, то оно не должно быть жестоким. –(б)Наказание за преступление должно быть неотвратимым, но не жестоким

Для решения задачи прежде всего необходимо выявить логическую форму суждений и построить совместную таблицу истинности

Определения логических связок и примеры построения таблиц истинности см. в Приложении 2. (в конце)

1) Простые суждения: наказание неотвратимо – р, наказание жестоко – q.

Связки:  - соответствует союзу если,…то в первом суждении,  - но во втором суждении,  - не (отрицание).

Логическая форма первого суждения - pq, второго суждения - pq.

1) Строим совместную таблицу истинности

(а) (б)