И. Демидов - Логика: Учебное пособие для юридических вузов

Условные(импликативные) суждения образованы из двух простых суж­дений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут дого­вор, то он считается принятым на постоянную работу». Аргумент, начинаю­щийся в импликативных суждениях словом «если», называется основанием,а составляющая, начинающаяся со слова «то» - следствием.

В условных суждениях отражаются прежде всего объективные причинно-следственные, пространственно-временные, функциональные и другие связи между предметами и явлениями действительности. Однако в практике приме­нения законодательства в форме импликации могут также выражаться права и обязанности людей, связанные с теми или иными условиями. Например, «Военнослужащие воинских частей Российской Федерации, дислоцирующих­ся за пределами Российской Федерации, за преступления, совершенные на территории иностранного государства, несут уголовную ответственность по настоящему Кодексу, если иное не предусмотрено международным догово­ром Российской Федерации» (п. 2 ст. 12 УК РФ).

При этом необходимо иметь в виду, что грамматическая форма «если [...], то» не является исключительным признаком условного суждения, она может выражать простую последовательность. Например, «Если исполнителем при­знается лицо, непосредственно совершившее преступление, то подстрека­тель - это лицо, склонившее другое лицо к совершению преступления путем уговора, подкупа, угрозы или другим способом».

Сложные суждения, рассмотренные из методических соображений по отдельности, в реальном процессе мышления используются в различном со­четании друг с другом, образуя порой весьма сложные мыслительные конст­рукции. Например: «Суд не принимает отказа истца от иска, признание ис­ка ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону и нарушают чьи-либо права и охраняемые за­коном интересы». Здесь налицо соединение нескольких конъюнкций с дизъ­юнкцией и импликацией.

Сложные суждения по количеству терминовмогут быть трех разновидно­стей, которые схематично могут быть представлены следующим образом:

S¹, S², Sⁿ есть (не есть) Р. Например, «Государственные пенсии и соци­альные пособия устанавливаются законом»;

S есть (не есть) P¹, Р², Рⁿ. Например, «Лица, совершившие преступления, равны перед законом и подлежат уголовной ответственности»;

S¹, S², Sⁿ есть (не есть) Р¹, Р², Рⁿ. Например, «Основные права и свободы человека неотчуждаемы и принадлежат каждому от рождения».

Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристи­ках, как смысли истинность суждений.В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл.

Сравнимыми средипростых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравни­мымисреди простых суждений являются такие, которые имеют различные субъекты и предикаты.

Сравнимые суждения делятся на совместимые и несовместимые. Совме­стимыми являются суждения, которые одновременно могут быть истинны­ми. Различают три вида совместимости.

1. Эквивалентные суждениявыражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля».

2. Частичная совместимостьхарактерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми».

3. Отношения подчиненияхарактерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости:

- при истинности общего суждения частное всегда будет истинным;

- при ложности частного суждения общее суждение также будет ложным;

- при ложности общего суждения частное неопределенно;

- при истинности подчиненного частного суждения общее неопределенно.

Перейдем к рассмотрению отношений между несовместимыми суждени­ями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости.

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

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

При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным.

2. Противоречиекак несовместимость характерно для суждений, исклю­чающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при лож­ности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными».

Отношение между простыми суждениями обычно иллюстрируют с помо­щью схемы, получившей название логического квадрата. Логический квад­рат(квадрат противоположностей) - это диаграмма, служащая для мнемо­нического запоминания логических отношений между видами суждений по объединенной классификации.

Вершины квадрата обозначают вид суждения А, Е, О, I; стороны и диа­гонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть отношение между А и Е - противоположность; нижняя сторона - отношение между I и О - частичная совместимость; две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I -противоречие.