Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Примеры решения задач по Логике- 1 курс ЗО.doc
Скачиваний:
174
Добавлен:
19.03.2015
Размер:
239.1 Кб
Скачать

Тема 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 , SaPSoP, SePSiP, SeР SiP. (В другой нотации в учебниках вы можете встретить обозначения А, О, Е , I)

Пример.

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

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

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

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

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

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

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

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

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

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

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

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

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