Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Котором перечислены все признаки или все виды определенного рода.
Символически это суждение можно записать следующим образом: < р v q v r >. Например: «Леса бывают лиственные; хвойные или смешанные». Полнота этого разделения (в символической записи обозначается знаком <...> определяется тем, что не существует, помимо указанных, других видов лесов. Неполным или открытым называют дизъюнктивное суждение, в котором перечисленные все признаки или не все виды определенного рода . В символической записи неполнота дизъюнкции может быть выражена многоточием: р v q v r v. .. В естественном языке неполнота дизъюнкции выражается словами: «и т.д.», «и др.», «и тому подобное», «иные» и другими.
Вопрос №24. Условные (импликативные) суждения. Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если…, то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение - «Предохранитель плавится» называют антецедентом (предшествующим), второе - «Электролампа гаснет» - консеквентом (последующим). Если антецедент обозначить р, консеквент - q, а связку « если..., то...» знаком «~», то импликативное суждение символически можно выразить как p~q. В естественном языке для выражения условных суждений используется не только союз «если..., то...», но и другие союзы: «там..., где», «тогда..., когда...», «постольку..., поскольку. ..» и т.п. В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространcтвенные, временные, правовые, а также семантические, логические и другие зависимости. Примером причинного суждения может служить следующее высказывание: «Если воду нагреть при нормальном атмосферном давлении до 100С, то она закипит». Пример семантической зависимости: «Если число делится на 2 без остатка, то оно четное». В форме условных суждений нередко выражают логические зависимости между высказываниями. Например: «Если все преступное наказуемо, то не все наказуемое преступно». Или другой пример рассуждения: «Если верно, что некоторые птицы улетают зимой в теплые края, то неверно, что ни одна птица не улетает в теплые края». В условном суждении антецедент выполняет функцию фактического или логического основания, обусловливающего принятие в консеквенте соответствующего следствия. Зависимость между антецедентом-основанием и консеквентом-следствием характеризуется свойством достаточности. Это означает, что истинность основания обуславливают истинность следствия, т.е. при истинности основания следствие всегда будет истинным. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если..., то...». Например: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок ( q )». Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q). Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). «Если и только если р, то q». В естественном языке, в том числе и в юридических текстах, для выражения эквивалентных суждений используют союзы: «лишь при условии что..., то...», «в том и только в том случае когда..., тогда...», «только тогда когда..., то...» и другие.
Вопрос №25.
Основу отношений между суждениями составляет их сходство по смыслу и логическим значениям (истинности и ложности). В силу этого отношения устанавливаются не между любыми, а лишь между сравнимыми, т.е. имеющими общий смысл, суждениями. Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины». Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». Отношения между простыми суждениями обычно рассматриваются с помощью логического квадрата. Его вершины символизируют простые категорические суждения - А, Е, I, O; стороны и диагонали – отношения между суждениями. Среди сравнимых различают совместимые и несовместимые суждения. Отношение совместимости. К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) Эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение. 1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную - утвердительную или отрицательную - связку, одну и туже выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются. Проще: два суждения находятся в отношении эквивалентности, если субъект и предикат значат одно и тоже, но выражены разными словами. 2. Частичная совместимость характерна для суждений I и O, которые могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным. 3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости. При истинности общего суждения частное всегда будет истинным. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное - «Некоторые правоотношения регулируются нормами права». При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям». При ложности частного суждения общее суждение также будет ложным. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности». При подчинении остаются неопределенными следующие зависимости: при ложности общего суждения подчиненное частное может быть как истинным, так и ложным; при истинности подчиненного частного общее может быть как истинным, так и ложным. Отношение несовместимости. Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие. 1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. Истинность одного из противоположных суждений определяет ложность другого. Например, истинность суждения «Все офицеры - военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое остается неопределенным - оно может быть как истинным, так и ложным. Так, например, при ложности суждения «Все птицы улетают зимой в теплые края» ему противоположное «Ни одна птица не улетает зимой в теплые края» тоже оказывается ложным. В другом случае при ложности суждения «Ни один судья не является юристом» ему противоположное «Все судьи юристы» будет истинным. 2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными. Для противоречия характерна строгая, или альтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего. Если А признается истинным, то О будет ложным; при истинности Е будет ложным. И наоборот: при ложности А будет истинным O; а при ложности Е будет истинным.. Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок».
Вопрос 26. |
Последнее изменение этой страницы: 2017-03-14; Просмотров: 359; Нарушение авторского права страницы