Мегаобучалка Главная | О нас | Обратная связь

Условные (импликативные) суждения




Условным, или импликативным, называют суждение, состоя­щее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гас­нет». Первое суждение — «Предохранитель плавится» называютан­тецедентом (предшествующим), второе — «Электролампа гас­нет» —консеквентом (последующим). Если антецедент обозначить р, консеквент —q, а связку «если..., то...» знаком «—>», то имплика-тивное суждение символически можно выразить какp-^q.

Условия истинности импликативного суждения показаны в таб­лице (рис. 34). Импликация истинна во всех случаях, кроме одного:

при истинности антецедента и ложности консеквента (2-я строка) импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавит­ся», и ложного консеквента — «Электролампа не гаснет» — являет­ся показателем ложности имплика­ции.

Истинность импликации объяс­няется следующим образом. В 1-й строке истинность р имплицирует

истинностьq, или другими словами: истинность антецедента доста­точна для признания истинности консеквента., И действительно, если предохранитель плавится, то электролампа обязательно гаснет в силу их последовательного включения в электрическую цепь.

В 3-й строке при ложном антецеденте — «Предохранитель не плавится» консеквент является истинным — «Электролампа гас­нет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, перегорания нити в лампе, замыкания

Р   q   p->q  
И   И   И  
И   Л   Л  
л   И   И  
л   Л   И  

Рис.34

электропроводки и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.

В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консеквент — «Электролампа не гас­нет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимостир и q, ибо при истинности р всегда будет истинным q.



В естественном языке для выражения условных суждений ис­пользуется не только союз «если..., то...», но и другие союзы:

«там..., где», «тогда..., когда...», «постольку..., поскольку...» и т.п. В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, про­странственные, временные, правовые, а также семантические, логи­ческие и другие зависимости. Примером причинного суждения может служить следующее высказывание: «Если воду нагреть при нормальном атмосферном давлении до 100°С, то она закипит». При­мер семантической зависимости: «Если число делится на 2 без остат­ка, то оно четное».

В юридических текстах в форме условиях суждений нередко фик­сируют правовые предписания: разрешения, запреты, обязывания. Грамматическими показателями импликации могут служить, поми­мо союза«если..., то...», такие словосочетания, как:«при наличии..., следует», «в случае..., следует...», «при условии..., наступает...» идругие. Вместе с тем юридические импликации могут конструиро­ваться в законе и других текстах без особых грамматических показа­телей. Например: «Тайное похищение чужого имущества (кража) наказывается...» или «Заведомо ложный донос о совершении пре­ступления наказывается...» и т.п. Каждое из таких предписаний имеет импликативную формулу: «Если совершено определенное противоправное деяние, то за ним следует правовая санкция».

В форме условных суждений нередко выражают логические зави­симости между высказываниями. Например: «Если все преступное наказуемо, то не все наказуемое преступно». Или другой пример рассуждения: «Если верно, что некоторые птицы улетают зимой в теплые края, то неверно, что ни одна птица не улетает в теплые края».

В условном суждении антецедент выполняет функцию фактичес­кого илилогического основания, обусловливающего принятие в кон-секвенте соответствующего следствия. Зависимость между антеце­дентом-основанием и .консеквентом-следствием характеризуется свойствомдостаточности. Это означает, что истинность основа-

83'

б*


ния обусловливает истинность следствия, т.е. при истинности осно­вания следствие всегда будет истинным (см. 1-я строка в таблице на рис. 34). При этом основание не характеризуется свойствомнеобхо­димости для следствия, ибо при его ложности следствие может быть как истинным, так и ложным (см. 3-я и 4-я строки в таблице на

рис. 34).

4. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если—, то...». Например: «Если и только если человек на­гражден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».

Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о на­личии права на ношение орденских планок (q). Точно так же истин­ность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности ут­верждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символи­чески можно выразить двойной импликацией pt^q, которая читает­ся: «Если и только если р, то q». Эквивалентность выражают и

другим знаком: р = q.

В естественном языке, в том числе и в юридических текстах, для

выражения эквивалентных суждений используют союзы:«лишь при

условии что..., то...», «в том и только в том случае когда...,

тогда...», «только тогда когда..., то...» и другие.

Условия истинности эквивалентного суждения представлены в таблице (рис. 35). Суждение р = q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными (1-я строка), либо ложными (4-я строка). Это значит, что истинностьр достаточна для признания истиннымq, и наоборот. рис-3^ Отношение между ними характери­зуется и какнеобходимое: ложность

р служит показателем ложностиq, а ложность q указывает на

Ложность р.

р   q   P=q  
и   и   и  
и   л   л  
л   и   л  
л   л   и  

 

В заключение приведем сводную таблицу условий истинности сложных суждений (рис. 36).

р   q   PAq   pvq   p¥q   P-»q   p=q  
и   И   И   И   Л   И   И  
и   Л   Л   И   И   Л   Л  
л   И   л   И   И   И   Л  
л   Л   л   Л   л   И   И  

 

Рис.36





Читайте также:





Читайте также:
Как построить свою речь (словесное оформление): При подготовке публичного выступления перед оратором возникает вопрос, как лучше словесно оформить свою...
Почему двоичная система счисления так распространена?: Каждая цифра должна быть как-то представлена на физическом носителе...
Почему люди поддаются рекламе?: Только не надо искать ответы в качестве или количестве рекламы...
Генезис конфликтологии как науки в древней Греции: Для уяснения предыстории конфликтологии существенное значение имеет обращение к античной...

©2015 megaobuchalka.ru Все права защищены авторами материалов.

Почему 3458 студентов выбрали МегаОбучалку...

Система поиска информации

Мобильная версия сайта

Удобная навигация

Нет шокирующей рекламы



(0.006 сек.)