Логика - [33]

Важную роль при этом выполняют такие технические знаки, как скобки. В логике их функция аналогична использованию скобок в математике. К примеру, арифметическое выражение «2 × 3 + 4 = ...» нельзя признать определенным и ясным до тех пор, пока не будет установлена последовательность операций умножения и сложения. В одном случае оно принимает значение «(2 × 3) + 4 = 10», в другом «2 × (3 + 4) = 14».

Не отличается определенностью и высказывание «Преступление совершил А и В или С», поскольку не ясно, какая из двух логических связок — конъюнкция или дизъюнкция — является главной. Высказывание может быть истолковано как «А и (В или С)»; его можно истолковать и по-другому — «(А и В) или С». По логической значимости эти два высказывания не эквивалентны.

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

В целом это высказывание, несмотря на отсутствие грамматических показателей, является условным суждением типа «D → S». В качестве антецедента в нем указаны юридически значимые действия (D), а в качестве консеквента — санкция (S). При этом антецедент и консеквент представляют собой сложные структурные образования.

В антецеденте (D) перечислены действия, в совокупности составляющие мошенничество: «Завладение личным имуществом граждан (d₁) или приобретение права на имущество (d₂) путем обмана (d₃) или злоупотребления доверием (d₄)». Грамматический анализ позволяет представить связь между отмеченными действиями в следующем виде: d₁ или d₂ и d₃ или d₄; символически — (d₁∨ d₂) ∧ (d₃∨ d₄). Разумеется, что в таком виде антецедент не отличается достаточной определенностью, поскольку допускает двойное прочтение: первый вариант — (d₁∨ d₂) ∧ (d₃∨ d₄); второй вариант — d₁∨ (d₂∧ ((d₃∨ d₄)).

В этом случае грамматический анализ текста статьи следует дополнить логическим анализом понятия «мошенничество», в котором учитываются такие признаки деяния, как два возможных объекта посягательства (d₁∨ d₂) и два возможных способа его совершения (d₃∨ d₄).

Если при этом сопоставить понятие мошенничества с другими имущественными преступлениями, то можно заключить, что из двух приведенных корректным является первый вариант истолкования. Под мошенничеством в этом случае понимают действия, связанные с завладением личным имуществом граждан или с приобретением права на имущество; при этом как первое, так и второе осуществляется путем обмана или злоупотребления доверием. Именно такой смысл представлен формулой (d₁∨ d₂) ∧ (d₃∨ d₄).

В консеквенте (S) предусмотрена сложная санкция: мошенничество «наказывается лишением свободы на срок до двух лет (S₁) со штрафом до... (S₂) или исправительными работами на срок до двух лет (S₃)». Связь между составными частями консеквента имеет следующий вид: S₁ и S₂ или S₃, или символически ((S₁∧ S₂) ∨ S₃). Логический анализ текста показывает, что такое истолкование является единственно возможным.

Если первоначальное условное суждение D → S детализировать в соответствии с проведенным анализом, то статья о мошенничестве представляется в следующей форме:

((d₁∨ d₂) ∧ (d₃∨ d₄)) → ((S₁∧ S₂) ∨ S₃).

Главным знаком этого сложного суждения является импликация: антецедент суждения представляет собой конъюнкцию, оба члена которой — дизъюнктивные выражения; консеквент суждения — дизъюнктивное выражение, один из членов которого — конъюнкция из двух членов.

Овладение навыками логического анализа сложных высказываний с использованием символического языка для уяснения смысла правовых контекстов является эффективным средством точного истолкования и правильного применения норм в правовом процессе.

Вопросы для самопроверки

1. Какие суждения являются комбинированными сложными суждениями?

2. Какую роль выполняет логический анализ для точного толкования и правильного применения норм в правовом процессе?

§ 4. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

Сложные суждения, как и простые, могут быть сравнимыми и несравнимыми.

Несравнимые — это суждения, которые не имеют общих пропозициональных переменных (простых суждений). Например, р ∧ q и m ∧ n.

Сравнимые — это суждения, имеющие одинаковые препозиционные переменные (простые суждения) и различающиеся логическими связками, включая отрицание. Например, сравнимыми являются два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р ∨ q); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (˥р ∧ ˥q). Хотя эти суждения различны по логической форме (первое из них — дизъюнктивное суждение, а второе — конъюнкция отрицаний, вместе с тем они сравнимы, поскольку включают одинаковые составляющие (простых суждений) (р и q). Сравнимы следующие пары суждений: 1) р → q и ˥р ∨ q; 2) ˥r ∧ s и ˥(r ∧ s); 3) ˥m ∧ ˥n и ˥(m ∧ n). Наличие в каждой паре общих переменных позволяет сопоставлять их по смыслу и устанавливать истинность отношения.