Логика (лекции). Лекция Логика и язык права
![]()
|
Операции с классамиВ операциях с классами приняты следующие обозначения: A, B, C и т.д. – произвольные классы, E - универсальный класс (универсум), - нулевой (пустой) класс. 1. Операция объединения (сложения) классов состоит в объединении двух или нескольких классов в один класс, состоящий из элементов – слагаемых классов. Операция объединения обозначается знаком : C=AB. Например, если A – множество всех инструкций Минфина РФ, B – множество всех инструкций Минэкономики РФ, то C=AB – множество всех инструкций Минфина РФ или Минэкономики РФ. 2. Операция пересечения (умножения) классов состоит в отыскании элементов, общих для двух или нескольких классов. Операция пересечения обозначается знаком : D=AB. Например, при пересечении классов инструкций Минфина РФ и Минэкономики РФ образуется класс инструкций, принятых одновременно двумя органами: и Минфином РФ, и Минэкономики РФ. При пересечении множеств, входящих в несовместимые понятия, получается нулевой (пустой) класс, так как элементов, входящих одновременно в оба понятия, не существует. Например, если А – множество законов, а В – множество постановлений, то AB=. Операцию пересечения (умножения) можно выполнять не только для двух, но и для большего количества классов. Например, D=ABC, где А – юристы, В – депутаты, С – москвичи, D – юристы, являющиеся депутатами и москвичами. 3. Образование дополнения (отрицание) – это операция по образованию нового класса путем исключения данного класса (A) из универсального класса (E), к которому оно принадлежит (AE). Полученный в результате класс называется отрицанием исходного класса и обозначается ![]() ![]() Например, исключая множество адвокатов (A) из универсального класса юристов (E), образуем отрицание ![]() ![]() Лекция 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). |