Юридическая логика

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

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

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

      В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые». «Только некоторые S суть Р» и «Только некоторые S не суть Р».

      Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. : «Все S суть Р» и «Ни одно S не есть Р».

      Объединенная  классификация суждений. Объединяя  количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

      Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству «Все S суть Р».

      Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству «Ни одно S не есть Р».

      Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству суждений «Некоторые S суть Р».

      Частноотрцательное суждение – суждение, частное по количеству и отрицательное по качеству «Некоторые S не суть Р».

      суждения  обозначаются следующими буквами: А – общеутвердительное, Е – общеотрицательное, I – частноутведительное, О – частноотрицательное. 

      Практическая  часть:

      А – Общеутвердительное суждение (Все S суть P) Все оружие направленно для нанесения ран. S – «оружие», P – «для нанесения ран» Субъект распределен, объем полностью включен в объем предиката.  (рис.1)

      Е – Общеотрицательное суждение (Ни одно S не есть P)

      Компьютер не утюг .

      S – «Компьютер», P – «утюг». Объем субъекта полностью исключается из объема предиката, и наоборот, поэтому и S и P распределены.

      I – Частноутвердительное  суждение (Некоторые S есть P). Некоторые двигатели дизельные.

      S – «двигатели», P – «дизельные». Субъект не распределен, так как объем субъекта лишь частично включен в объем предиката и объем предиката лишь частично включается в объем субъекта.

      О – Частноотрицательное суждение (Некоторые S не есть P). Некоторые люди не являются живыми.

      S - «люди», P – «живые»,  

      6. Приведите примеры сложных суждений (по одному на каждый вид), разберите их, выделив простые суждения и логические связки, запишите их с помощью символов.

      Сложными называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) условные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых. 

      - Соединительные (конъюнктивные) суждения. 

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

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

      Соединительное  суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. 

- Разделительные (дизъюнктивные) суждения. 

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

Например: После обеда я сплю или йду в цирк или еду на работу. Символически это суждение можно записать р ˅ q ˅ a.

    Поскольку связка «или» употребляется в естественном языке в двух значениях – соединительно – разделительном и исключающее – разделительном, то следует различать два типа разделительных суждений: 1) нестрогую (слабую) дизъюнкцию и 2) строгую (сильную) дизъюнкцию.

    1) Нестрогая дизъюнкция — суждение, в котором связка «или» употребляется  в соединительно-разделительном значении (символ v).

    Например: Мне нравится ходить на рыбалку или на охоту. Символически суждение записывается р ˅ q. Связка «или» в данном случае разделяет, т.к. может мне нравится рыбачить, а может охотится, а может то и другое.

      2) Строгая дизъюнкция – суждение, в котором связка «или» употребляется в исключающее – разделительном значении.

      Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными.

      Например: ночью я сплю или танцую в ночном клубе. Символически суждение записывается р q Одновременно я не смогу спать и тонцевать.

      Полным  или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода. Символически записать можно <p V q V r>. Например: Леса бывают лиственные, хвойные или смешанные .

      Неполным  или открытым называют дизъюнктивное суждение, в котором перечислены не все признаки или не все виды определенного рода p V q V r. Например: Леса бывают лиственные и другие.

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

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

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

      Например: Если и только если поймаю рыбу я буду считаться настоящим рыбаком. 

      

7. Подберите суждения А, Е, О (по одному на каждый вид), сделайте из них выводы путем  противопоставления предикату, проверьте  правильность вывода с помощью превращения  и обращения.

      Противопоставление  предикату.

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

      Общеутвердительное  суждение (А) преобразуется  в общеотрицательное (Е). Например: «Всё живое умет дышать». «Следовательно, кто не умеет дышать, тот не живой».

      

      Правильность  полученного заключения можно проверить  путем последовательного применения двух логических операций: превращения и обращения.

      Общеотрицательное суждение (Е) преобразуется  в частно–утвердительное (I). Например: «Не все сотрудники милиции имеют юридическое образование. Следовательно, у некоторых  оно есть ».  

      Частноотрицательное суждение (О) преобразуется  в частноутвердительное (I). Например: «Некоторые млекопитающие (S) не являются хищниками (P)» «некоторые не хищники (не-P) не являются млекопитающими(S)».  

      Значение  умозаключений посредством противопоставления предикату состоит в том, что в них выясняется отношение предиката, противоречащего предикату исходного суждения к субъекту этого суждения. Устанавливая отношение между предметами, выраженными субъектом и предикатом заключения, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении. 

      

8. Приведите пример неправильного  простого категорического  силлогизма и сделайте его полный разбор, (установите структуру, изобразите в круговых схемах отношения между  терминами; осуществите  проверку правильности различными способами, укажите ошибки, определите фигуру и модус).

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

 

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

      

9. Подберите примеры чисто условного, условно-категорического, разделительно категорического, условно-разделительного умозаключений и сделайте их символическую запись.

 

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

      Пример: Если гражданин Иванов Д.А совершил преступление (A), то его привлекут к уголовной ответственности (B). Если привлекут к уголовной ответственности (B), то он попадёт в тюрьму (C). Если гражданин Иванов Д.А совершил преступление (A), то он попадёт в тюрьму (C). Схема условного умозаключения выглядит следующим образом: .

      Условно-категорическим умозаключением. Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. Они дают достоверные выводы.

      1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Схема умозаключения

      Например: Если воровать (A), то можно угадить в тюрьму (B). Иванов Д.А. ворует (A). Значит, Иванова Д.А. угадит в тюрьму (B).

      2. В отрицающем модусе (modus tol lens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

      Используется логический союз  «неверно, что …» Если плотину прорвет (A), то близ лежащая территория будет затоплена (B). Близ лежащая территория не затоплена (не B), значит, плотину не прорвало (не A). Схема умозаключения .

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

      Различают два модуса:

      1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка – категорическое суждение – утверждает один член дизъюнкции, заключение – также категорическое суждение – отрицает другой ее член.