Логика (лекции). Лекция Логика и язык права

• Название: Лекция Логика и язык права
• Дата: 19.12.2018
• Размер: 0.69 Mb.
• Имя файла: Логика (лекции).doc
• Тип: Лекция; #60969
• страница: 2 из 11

Операции с классами

В операциях с классами приняты следующие обозначения: A, B, C и т.д. – произвольные классы, E - универсальный класс (универсум),  - нулевой (пустой) класс.

1. Операция объединения (сложения) классов состоит в объединении двух или нескольких классов в один класс, состоящий из элементов – слагаемых классов. Операция объединения обозначается знаком : C=AB.

Например, если A – множество всех инструкций Минфина РФ, B – множество всех инструкций Минэкономики РФ, то C=AB – множество всех инструкций Минфина РФ или Минэкономики РФ.

2. Операция пересечения (умножения) классов состоит в отыскании элементов, общих для двух или нескольких классов. Операция пересечения обозначается знаком : D=AB.

Например, при пересечении классов инструкций Минфина РФ и Минэкономики РФ образуется класс инструкций, принятых одновременно двумя органами: и Минфином РФ, и Минэкономики РФ.

При пересечении множеств, входящих в несовместимые понятия, получается нулевой (пустой) класс, так как элементов, входящих одновременно в оба понятия, не существует. Например, если А – множество законов, а В – множество постановлений, то AB=.

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

Например, D=ABC, где А – юристы, В – депутаты, С – москвичи, D – юристы, являющиеся депутатами и москвичами.

3. Образование дополнения (отрицание) – это операция по образованию нового класса путем исключения данного класса (A) из универсального класса (E), к которому оно принадлежит (AE). Полученный в результате класс называется отрицанием исходного класса и обозначается . При этом объединение исходного класса и его отрицания образует универсальный класс: A=E .

Например, исключая множество адвокатов (A) из универсального класса юристов (E), образуем отрицание – множество юристов - не адвокатов. В своей сумме оба множества образуют весь универсальный класс, соответствующий понятию «юрист»: A=E.
Лекция 4. Суждение и норма

1. 
   Суждение как форма мышления.
   
2. 
   Простые суждения.
   
3. 
   Сложные суждения.
   
4. 
   Модальность суждений.
   

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

Суждение – это форма мышления, в которой утверждается или отрицается связь или отношение между понятиями и которая может быть либо истинной, либо ложной. Суждение выражается повествовательным предложением, в котором содержится сообщение о чем-либо.

Истинность суждения определяется его соответствием объективной действительности.

Истинные – это такие суждения, в которых связь понятий правильно отражает реальные свойства и объективную действительность.

Ложные – это такие суждения, в которых связь понятий искажает объективную действительность. Истинные суждения обозначаются следующим образом: «Истинно», И, 1, а ложные – «Ложно», Л, 0. Истинность или ложность суждения называется значением его истинности.

Суждения делятся на простые и сложные.
2. Простые суждения

Простым называется суждение, которое выражает связь двух понятий.

Простые суждения, в свою очередь, делятся на:

1) атрибутивные (категорические) – это суждения о признаке предмета. Они состоят из субъекта (S), предиката (P) и связки (логическая схема S – P). Субъектом называется понятие о предмете суждения. Предикатом называется понятие о признаке предмета. Связка выражает отношение между субъектом и предикатом. Субъект и предикат называются терминами суждения.

Примеры: «Россия (S) – суверенное государство (P)».

«Никто из судей (S) не вправе воздержаться от голосования (P)».

Объемная интерпретация – круговые схемы.

2) суждения с отношением – суждения, отражающие отношение между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие. Логическая структура: xRy, где x и y – члены отношения, они обозначают понятия о предметах, R – отношение между ними.

Примеры: A равно В; С больше D; Семен – отец Сергея; Казань восточнее Москвы; Мораль возникла раньше права.

3) суждения существования (экзистенциальные) выражают сам факт существования или несуществования предмета суждения.

Примеры: Существуют логические законы; На Земле уже нет многих видов животных.

Атрибутивные (категорические) суждения делятся по качеству на утвердительные, выражающие принадлежность предмету некоторого признака (S есть P), и отрицательные, выражающие отсутствие у предмета некоторого признака (S не есть P).

Примеры: Обвиняемый не обязан доказывать свою невиновность; Данное лицо признано невменяемым.

Они также делятся по количеству на единичные, частные и общие, в которых что-либо утверждается или отрицается соответственно об одном предмете, о некоторых или обо всех предметах.

Частные суждения, в свою очередь, делятся на определенные и неопределенные.

В неопределенном частном суждении слово «некоторые» употребляется в значении «некоторые, а может быть, и все»:

Некоторые свидетели дали показания.

В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые»:

Лишь некоторые свидетели дали показания.
По объединенной классификации по количеству и качеству суждения делятся на:

А – общеутвердительные (все S есть P);

Е – общеотрицательные (ни одно S не есть P);

I – частноутвердительные (некоторые S есть P);

О – частноотрицательные (некоторые S не есть P).