Круговые схемы Эйлера и диаграммы Венна для выражения отношений между понятиями

Разделительная связка в языке обычно выражается с помощью  союзов «или», «либо». С целью усиления дизъюнкции до альтернативного значения нередко употребляют удвоенные союзы: вместо выражения «р или q» употребляют «или р, или q», а вместе «р либо q» — «либо р, либо q».Поскольку в грамматике отсутствуют однозначные союзы для нестрогого и строгого разделения, то вопрос о типе дизъюнкции в юридических и других текстах должен решаться содержательным анализом соответствующих суждений.

Полная и  неполная дизъюнкция. Среди дизъюнктивных суждений следует различать полную и неполную дизъюнкцию.

Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.

Символически это суждение можно записать следующим образом:

<р v q v r>.

Например: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения (в символической записи обозначается знаком <...>) определяется тем, что не существует, помимо указанных, других видов лесов.

Неполным или  открытым называют дизъюнктивное суждение, в котором перечислены не все  признаки или не все виды определенного рода. В символической записи неполнота дизъюнкции может быть выражена многоточием:

р v q v r v...

В естественном языке  неполнота дизъюнкции выражается словами: «и т.д.», «и др.», «и тому подобное», «иные» и другими.

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

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

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

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

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

4. Эквивалентные  суждения (двойная импликация). 

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

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

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

 

                                             Рис. 1.1 «таблицы истинности»

 

 

 

 

3.Тест:

 Суждение «Бога нет» является:

а) релятивным;

б) атрибутивным;

в) экзистенциональным;

г) конъюнктивным

Ответ: в)

 

 

 

 

 

 

 

 

Список используемой литературы

1. Кириллов В.И., Старченко А.А. Логика: учебник. – М.: Юристъ, 2008.

          –  с.230

2. Гетманова А.Д. Учебник по логике. 2-ое изд. – М.: «ВЛАДОС», 1995.

– с. 304

3. Логика;электронно-Библиотечная Система,учебное пособие; Батурин В.К./Москва 2012

 

 

 

 

 

¹ Логика;электронно-Библиотечная Система,учебное пособие; Батурин В.К./Москва 2012

 

² Кириллов В.И., Старченко А.А. Логика: учебник. – М.: Юристъ, 2008.–  с.230

³ Логика;электронно-Библиотечная Система,учебное пособие; Батурин В.К./Москва 2012

   Гетманова А.Д. Учебник по логике. 2-ое изд. – М.: «ВЛАДОС», 1995.– с. 304

⁴ Логика;электронно-Библиотечная Система,учебное пособие; Батурин В.К./Москва 2012

⁵ Логика;электронно-Библиотечная Система,учебное пособие; Батурин В.К./Москва 2012