Логика. Учебник. 6-е издания
Логика. Учебник. 6-е издания читать книгу онлайн
В учебнике, подготовленном в соответствии с государственным образовательным стандартом для юридических вузов, учтены особенности преподавания курса логики студентам высших юридических учебных заведений. Использованы материалы из области правовых наук, показано значение логических законов, приемов и операций в работе юриста. Даны литература, предметный указатель и перечень логических символов. Данное издание является шестым, переработанным и дополненным. Учебник может быть использован не только студентами-юристами, но также студентами других гуманитарных специальностей.
Внимание! Книга может содержать контент только для совершеннолетних. Для несовершеннолетних чтение данного контента СТРОГО ЗАПРЕЩЕНО! Если в книге присутствует наличие пропаганды ЛГБТ и другого, запрещенного контента - просьба написать на почту [email protected] для удаления материала
P(d) ≡ ˥O(d) ∧ ˥F(d).
Выражение читается: «Разрешение выполнить действие d означает, что выполнение d не обязательно и не запрещено».
Рационально построенная нормативно-правовая система должна удовлетворять минимальным модальным деонтическим требованиям:
1) непротиворечивости; 2) сбалансированности; 3) полноты.
1. Деонтическая непротиворечивость проявляется в том, что система права исключает деонтически несовместимые нормы. К несовместимым относятся нормы, в которых одним и тем же участникам правоотношений одновременно приписывается:
1) O(d) ∧ О(˥d) — обязанность выполнять d и не-d;
2) F(d) ∧ F(˥d) — запрещение выполнять d и не-d;
3) O(d) ∧ F(d) — обязанность и запрет выполнять d.
2. Деонтическая сбалансированность проявляется в том, что в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма. Дисбаланс проявляется как в том случае, когда предоставленные права не подкрепляются обязанностями и тем самым их исполнение не получает правового обеспечения, так и в случае, когда для многочисленных обязанностей нет соответствующих правопредоставлений. В обоих случаях правовая система будет деонтически некорректной и тем самым односторонней и неэффективной.
3. Деонтическая полнота означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий. В этом случае о системе можно сказать: «Все, что в ней не запрещено, — разрешено, и наоборот». Однако такая полнота — редкое явление для деонтических систем. Она возможна лишь в очень узких, технически строго ограниченных областях.
В правовой системе деонтическая полнота, как правило, недостижима, так как социальные отношения чрезвычайно изменчивы и не всегда предсказуемы.
С изменением социально-экономических отношений не исключено появление действий, которые еще не получили правового урегулирования.
В гражданском праве деонтическая неполнота системы решается с помощью аналогии права и закона. Попытка решить проблему полноты нашей уголовно-правовой системы с помощью института аналогии закона исторически оказалась несостоятельной. Российский уголовный закон отказался от института аналогии. Единственный выход из затруднения в условиях деонтической неполноты уголовного закона — это активность и оперативность законодателя в подготовке и принятии норм, регулирующих новые правовые отношения.
Вопросы для самопроверки
1. Какая модальность называется деонтической?
2. Что представляют собой нормативные предписания? Назовите компоненты правовых норм.
3. Какими деонтическими операторами обозначаются фундаментальные характеристики правоотношений?
§ 4. АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ
Алетическая[30]модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Истинность или ложность суждений должна быть обоснована. Основаниями могут быть либо структурно-логические характеристики суждений, либо их соотношение с действительностью. В соответствии с этим различают: 1) логическую модальность и 2) фактическую модальность.
1) Логическая модальность — это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики; к логически ложным (L-л) — внутренне противоречивые суждения. Например, суждение является логически истинным, если оно выражает закон исключенного третьего (р ∨ ˥p) — какое бы суждение ни было подставлено вместо р, выражение р ∨ ˥p всегда будет истинным высказыванием. Соответственно, всегда ложным будет суждение ˥(р → р) как противоречащее закону тождества.
Логически истинные суждения вместе с логически ложными (L-и ∨ L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена, исходя из их структуры, составляют класс фактически детерминированных суждений: F-и ∨ F-л.
2) Фактическая модальность связана с объективной, или физической, детерминированностью суждений, когда их истинность и ложность определяются соотношением с реальной действительностью.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности. Например: «Ни одно млекопитающее не живет в воде».
Объективная устойчивость реальных связей между предметами и их признаками находит свое выражение в фактической модальности суждений с помощью элегических модальных понятий необходимости и случайности.
Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки. Например: «Сумма внутренних углов треугольника равна 180°». В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др. В логике для суждений необходимости принято выражение: «S необходимо есть (не есть) Р». В символическом языке для понятия необходимости общепринят знак □, который называют оператором необходимости.
Суждения необходимости могут быть истинными, например: «Кислород необходим для поддержания жизни» (□р), но могут быть и ложными, например: «Вода не кипит при 100°С в нормальных условиях» (□˥p). Вместе они составляют класс фактически необходимых суждений (□p ∨ □˥p). Все остальные фактические суждения относятся к случайным.
Фактически случайные — это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями. Например, суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после этой даты.
Класс случайных суждений является дополнением к классу необходимых, так как случайность можно определить через отрицание необходимости: к случайным относятся суждения, которые не являются необходимыми (˥□ p ∧ ˥□˥р).
Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий — возможность и невозможность.
Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Например: «В Южной Америке в этом году возможно землетрясение», «Футбольная команда А может выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы — землетрясения в Южной Америке в этом году может не быть; команда А может не выиграть матч у команды В.
В естественном языке показателями суждений возможности являются слова: «возможно», «может быть», «не исключается», «допускается» и другие.
В логике для суждений возможности принято выражение «S может быть (может не быть) Р».
В символическом языке для понятия возможности общепринят знак ◊, который называют оператором возможности. Выражение ◊р читается: «возможно р». Выражение ◊˥р читается: «возможно не-р». В совокупности эти выражения составляют класс фактически возможных суждений: F(p) ≡ ◊р ∨ ◊˥р.
Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.