Фондовая лекция на тему: МОДАЛЬНОСТЬ СУЖДЕНИЙ
для студентов факультета подготовки специалистов для судебной системы (юридического факультета)
Дегтярев Н.П., профессор кафедры гуманитарных и социально-экономических наук, к.ф.н.
Першин В.Б.
Нижний Новгород
Дегтярев Н.П., Першин В.Б.
Модальность суждений: фондовая лекция по дисциплине «Логика».
В лекции рассматриваются наиболее значимые для юриспруденции виды модальностей: алетическая, эпистемическая, деонтическая.
Фондовая лекция предназначена для самостоятельной работы студентов над темой «Модальность суждений».
Рецензенты:
доктор технических наук, профессор М.Б. Наумов;
кандидат философских наук, доцент М.В. Бронский
Содержание
Введение 4
Алетическая модальность 5
Эпистемическая модальность 11
Деонтическая модальность 17
Литература 27
Введение
Формально-логический анализ суждений, как одной из основных форм мышления, не сводится к рассмотрению категорических суждений. То есть тех суждений, где, например, связь субъекта и предиката по качеству лишь утвердительная или отрицательная, а сами суждения однозначно истинные или ложные. Скажем, категорически утверждается: «Гражданин Н. виновен в совершении данного преступления» и это суждение истинно. Вместе с тем, в характер отношения между субъектом и предикатом явно или неявно может включаться и другая информация.
В каких-то конкретных случаях бывает важно знать, а на каких основаниях, логических или фактических, делается вывод о виновности гражданин Н. в совершении данного преступления. А может быть это просто субъективное мнение одного из участников уголовного процесса? Или лишь предполагается, что гражданин Н. виновен и т.п.
Модальность суждений и есть явно или неявно выраженная в суждении дополнительная информация о степени и характере его обоснованности в качестве истинного или ложного, о регулятивных, оценочных и других его характеристиках.
Имеющаяся в суждении модальность чаще всего выражается через использование таких соотносительных понятий, как «возможность» – «действительность», «необходимость» – «случайность», «хорошо» –«плохо», «разрешено» – «запрещено» и т.п. Точного и полного перечня модальных понятий не существует. Но возможно выделение основных видов модальностей. В юридически значимом аспекте обычно рассматривают алетическую, эпистемическую и деонтическую модальности.
Алетическая модальность
Термин «алетический» с греческого означает «истинный». Алетическая модальность имеет место тогда, когда можно определить, что обуславливает истинность или ложность суждения:
- или чисто логические зависимости между формальными структурами суждений;
- или отражаемые в суждениях фактические зависимости между явлениям.
При этом наиболее часто используются модальные понятия «необходимо», «возможно», «случайно».
Логический аспект алетической модальности вам уже хорошо известен. К логически необходимо истинным суждениям (высказываниям) относятся те из них, которые выражают законы логики (это тождественно-истинные формулы). Например: «Неверно, что Иванов одновременно и виновен и невиновен в совершении данного преступления»: ┐(ρ ^ ┐ρ). Здесь действует закон, запрещающий противоречие в суждении. Или, по логическому квадрату: из Аu с необходимостью следует Iu (отношение подчинения); также из Еu следует Ou.
Соответственно, к логически необходимо ложным суждениям (высказываниям) относятся те из них, которые содержат внутреннее противоречие (это тождественно-ложные формулы). Например: «Вынесенный приговор одновременно является и обвинительным и оправдательным».
Логически необходимо ложное высказывание, как внутреннее противоречивое, можно назвать и логически невозможным в качестве истинного. Или, другими словами, внутренне противоречивое суждение логически невозможно в качестве истинного.
А что же тогда выражает алетическое понятие логической возможности? Логически возможно любое осмысленное и внутренне непротиворечивое высказывание. Например, любая из альтернатив при строгой дизъюнкции может выступить в качестве истинной или ложной. Отсюда понятно и то, что является логически случайным (в соотношении «необходимость-случайность»). Случайное вообще, это то, что может быть, а может не быть. Логически случайное, во-первых, можно определить как не являющееся логически необходимым (логически необходимо истинным или логически необходимо ложным), а во-вторых, как высказывание такой логической формы, при которой оно может быть как истинным, так и ложным. Это выполнимая формула. Или, например, по логическому квадрату: при истинности частного суждения логически случайна (возможна) как истинность, так и ложность общего суждения. Также по отношению частичной совместимости: при Iu – О может быть как истинным, так и ложным.
Итак, логически необходимо истинные суждения (Lu) выражают законы логики, логически необходимо ложные суждения (Lл) являются внутренне противоречивыми и логически невозможны как истинные суждения. Вместе, Lu+Lл – логически необходимые суждения (Lн). Все другие – логически возможные или случайные (Lс). Логический аспект аналитической модальности чрезвычайно важен в юридических доказательствах. Если из каких-либо доказанных, или принятых в качестве истинных положений с логической необходимостью вытекают другие положения, то они, конечно же, должны приниматься безоговорочно. Также не следует подвергать сомнению суждения, выражающие законы логики, или принимать за истинные внутренне противоречивые высказывания.
Логически целесообразен анализ алетической модальности и в ее фактическом аспекте. В данном случае истинность или ложность суждений определяется не их логической формой, а положением дел в реальной действительности. Дополнительная же информация, например, о характере связи субъекта и предиката в простом суждении, также выражается с помощью модальных понятий «необходимо», «случайно», «возможно»…
Продолжая аналогию названий разновидностей алетической модальности, можно заметить, что в суждениях о фактической необходимости находят отражение те или иные законы природы.
(В логически необходимых суждениях – законы логики, а здесь – законы природы). Например, когда мы говорим: «Вода в нормальных условиях закипает при 100°С», то в отношение между субъектом и предикатом просто напрашивается слово «необходимо». В символической форме это может быть записано так: «S необходимо есть Р». Или: □ρ (□ оператор необходимости). И это суждение истинное. «Вода в нормальных условиях не кипит при 100°С», – тоже суждение о фактической необходимости, только ложное. В данном случае выраженная в суждении мысль противоречит закону природы, а поэтому – необходимо ложная. Само же суждение в символической форме записывается так: □┐ρ. Вместе же, □ρ v □┐ρ, составляют класс фактически необходимых суждений, как истинных, так и ложных[1].
В фактически случайных суждениях их истинность или ложность определяется не отношением к законам природы, а конкретными эмпирическими условиями. Например, «Иванов виновен в совершении преступления»; «Сегодня пасмурная погода». Поскольку класс случайных явлений и суждений о них в действительности является дополнением к классу необходимых явлений и суждений о них, постольку случайность можно определить через отрицания необходимости. К фактически случайным относятся суждения не являющиеся фактически необходимыми.
Формально-логический аспект необходимости-случайности не следует толковать расширительно. Например, можно заметить, что если мы утверждаем: «Сегодня пасмурная погода» – то это не только случайное явление, но и необходимо обусловленное конкретным стечением обстоятельств в рамках действия тех же природных закономерностей. Но в формально-логическом аспекте это фактически случайное суждение, поскольку те же законы природы позволяют погоде быть как пасмурной, так и не пасмурной. В суждениях же фактически необходимых такая двойственность исключается. Хотя, разумеется, опять-таки в рамках определенной мировоззренчески-теоретической системы. Параллельные линии необходимо не пересекаются с точки зрения евклидовой геометрии, но пересекаются в рамках геометрией Римана и Лобачевского.
Понятия алетической модальности «необходимо» – «случайно» могут быть эквивалентно (равнозначно) выражены и через понятия «возможно» – «невозможно». Фактически возможными (как и случайными) являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Например, «Грабежи в этом районе возможны и сегодня ночью». В естественном языке показателями суждений фактически возможных являются слова: возможно, может быть, не исключается и т.п. Символически суждения возможности записываются так: «S может быть Р», или ◊ ρ (возможно ρ. ◊ оператор возможности). Если суждение отрицательное: «S может не быть Р», то: ◊ ┐ρ (возможно не-ρ).
Весь же класс фактически возможных суждений тогда можно обозначить формулой ◊ ρ v ◊ ┐ρ. Все эти суждения могут быть как истинными, так и ложными. Фактически невозможными являются суждения, указывающие на совместимость принципиально не совместимых явлений. Например, «Сумма внутренних углов треугольника больше 180°С» – ложное суждение. Или: «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°С – истинное суждение. В обобщенном виде фактически невозможные суждения могут быть представлены формулой ┐ ◊ ρ v ┐ ◊ ┐ρ.
Суждения фактически возможные и фактически невозможные находятся по отношению друг к другу (в случае сравнимости) в отношении противоречия. То есть «Неверно, что ◊ ρ ^ ┐ ◊ ρ»; или: ◊ ┐ρ ^ ┐ ◊ ┐ ρ. Можно говорить и о взаимоопределимости возможности (◊) и необходимости (□):1) □ ρ ≡ ┐ ◊ ┐ ρ; 2) ◊ ρ ≡ ┐□ ┐ ρ. Необходимость соблюдать законы тождественна отрицанию возможности их не соблюдать. Возможность совершать преступления тождественна отрицанию необходимости их не совершать.
Ивину А.А., автору одного из очень неплохих учебников по логике, через использование круговых схем, удалось изобразить соотношения между логическими и физическими аспектами алетической модальности.
|
 |
Логическая необходимость сильнее (ее объем ỳже) физической: все логически необходимое является также необходимым физически, но не наоборот. Иначе говоря: законы логики есть также законы природы, но не наоборот. Если планета вращается, то она вращается – это следствие закона логики (закона тождества) и вместе с тем необходимая истина физики. Но то, что у планет эллептические орбиты – закон физики, но не логики. Логически возможны и круговые орбиты.
Физическая необходимость не сводится к логической. Нельзя, скажем, принципы механики или термодинамики вывести из законов логики. Логическая возможность шире физической: возможное физически является возможным и логически, но не наоборот. Например, абсолютно твердое тело возможно логически, но невозможно физически. Наверное и существование кентавра возможно логически (логически это не пустой класс), но невозможно физически (физически это нулевое понятие). Хотя, как знать, может быть где-то возможное логически окажется и физически возможным. В реальной человеческой практике это происходит систематически.
Интересно, что вводя алетическое понятие действительности (того, что есть), можно говорить и о таких зависимостях между алетическими модальными суждениями.
1. Если нечто является необходимым, то оно действительно; обратное – неверно. Вода в нормальных условиях закипает при 100°С – это необходимо и действительно. Но из того, что Иванов в действительности попал за тюремную решетку, не следует, что это при любых обстоятельствах было необходимо.
2. Если нечто является действительным, то оно возможно; обратное неверно. (Действительное есть реализация одной из возможностей, при нереализации других).
3. Если нечто является необходимым, то оно возможно; обратное – неверно. (Возможно и необходимое, и случайное).
Заключая рассмотрение алетической модальности, можно заметить, что недопустимость логической противоречивости в суждениях не исключает фактической противоречивости явлений действительности. Например, экспериментально доказано, что элементарные частицы обладают и корпускулярными и волновыми свойствами одновременно.
В подобных случаях, с одной стороны, открываются возможности для разработки принципов диалектической логики (где именно противоречие или борьба противоположностей, выступает как источник развития), а с другой стороны, формально-логический запрет противоречия в суждении оказывается нисколько не подорванным. В приведенном выше примере просто корпускулярные и волновые свойства элементарных частиц не следует рассматривать как исключающие друг друга противоположности (эти свойства противоположны лишь на уровне макроявлений). Применительно к микроявлениям фактически необходимо истинным будет суждение: «Элементарные частицы обладают и корпускулярными и волновыми свойствами одновременно». Тогда противоречащее ему суждение: «Элементарные частицы не обладают ни корпускулярными, ни волновыми свойствами» – будет фактически необходимо ложным. Формально-логический закон непротиворечия запрещает оба приведенные выше суждения считать истинными – и это, конечно же, правильно.
Эпистемическая модальность
Название «эпистемическая модальность» происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания. Исходным пунктом эпистемической логики[2] является положение о том, что любое суждение всегда истинно или ложно (это необходимый признак любого суждения), но не всегда известно истинно оно или ложно. В данной связи представляется важным различать, принимается истинность или ложность суждения на основании мнения субъекта, его уверенности или сомнения, кажимости и тому подобного, или на объективных основаниях доказанности или опровергнутости выдвигаемых положений. Эпистемическая модальность и выражает в суждении основание его принятия в качестве истинного или ложного, различая субъективные и объективные аспекты этого основания.
Для уяснения сути эпистемической модальности интересно вспомнить некоторые положения непозитивистской философии.
В философии неопозитивизма, с ее особым доверием лишь к научному знанию, предлагается среди всех возможных высказываний (суждений) различать: во-первых, высказывания осмысленные и бессмысленные. Бессмысленные высказывания по форме похожи на суждения, но ими не являются. Например, «Луна умножает четырехугольно».
Во-вторых, все осмысленные высказывания делятся на научные и вненаучные. Научные – это те высказывания, которые могут быть сведены
с конкретным эмпирическим данным, например, являются их обобщением. В этом суть принципа верификации. И только верифицируемые суждения можно полагать истинными или ложными. Когда же выяснилось, что при построении научных теорий не избежать использования неверифицируемых высказываний, был введен менее жесткий принцип фальсификации, предполагающий достаточность для научных высказываний принципиальной возможности существования каких-то эмпирических данных, которые могут их опровергнуть (фальсифицировать) в качестве истинных или ложных. Тем самым к вненаучным высказываниям предлагалось относить все принципиально нефальсифицируемые суждения, а таковыми полагались высказывания религиозные, философские, оценочные и т.п. К ним не применимы, с точки зрения неопозитивной философии, значения истинности-ложности.
Не вступая в полемику с неопозитивизмом, особенно по поводу вненаучности всех философских положений, заметим, что современная логика, сохраняя традицию различения существующих форм и уровней знания, использует и некоторые положения неопозитивисткой философии, в частности, понятия верификации и фальсификации.
Итак, при рассмотрении эпистемической модальности все осмысленные высказывания (суждения) делятся на суждения, основные
на мнениях и вере и на суждения, основанные на знании. В свою очередь, суждения, выражающие знание делятся на: а) достоверные и
б) проблематичные. Достоверные – это достаточно обоснованные истинные и ложные суждения. Истинность или ложность суждения устанавливается либо путем непосредственной проверки, наблюдения, либо опосредованно, где суждение обосновывается эмпирическими или уже доказанными теоретическими положениями. С точки зрения ранее рассмотренной алетической модальности в число достоверных попадут все логически и фактически обусловленные суждения.
В эпистемической модальности достоверность суждений выражается с помощью операторов верифицированности (доказанности) – V и фальсифицированности (опровергнутости) – F.
Некое суждение ρ доказано, если оно достаточно обосновано: V ρ. Если достаточно обосновано отрицание суждения р, т.е. не-ρ. то
такое суждение также считается доказанным: V ┐ ρ. Например, если у подозреваемого в совершении преступления гражданина N есть алиби, т.е. установлен факт его пребывания во время совершения преступления в другом месте, то суждение: «Неверно, что N принимал непосредственное участие в совершении преступления», считается доказанным.
Таким образом, с точки зрения эпистемической модальности суждение достоверно, если оно доказано или верифицировано: V ρ v V┐ ρ, а также если оно опровергнуто или фальсифицировано: F ρ v F ┐ ρ. Операторы верифицированности и фальсифицированности могут быть эквивалентно выражены и друг через друга: доказанность ρ тождественна опровержению не-р (V ρ ≡ F ┐ ρ), а доказанность не-р эквивалентна опровержению ρ:(V ┐ρ ≡ F ρ).
Проблематичные суждения – это суждения, которые нельзя считать достоверными, т.е. доказанными или опровергнутыми, а следовательно, истинными или ложными, в силу их недостаточной обоснованности. Поскольку истинность или ложность таких суждений точно не установлена, то они лишь претендуют быть таковыми. Отсюда и названия: проблематичные, правдоподобные.
В естественном языке показателем проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др. Логическая форма проблематичного суждения применительно к простым суждениям выглядит следующим образом: «S, по-видимому, есть Р». Проблематичность суждения можно выразить и через собственный оператор Р большое. Выражение Р ρ читается как «Вероятно, ρ», «По-видимому, ρ».
Несмотря на употребление сходных вводных слов – «вероятно», «по-видимому», и т.п., проблематичные суждения в рамках эпистемической модальности отличаются от суждений основанных на вере. Отличаются именно тем обстоятельством, что как суждения, основанные на знании, проблематичные суждения в принципе верифицируемы или фальсифицируемы. Здесь в какой-то мере оправдана неопозитивистская точка зрения на различение высказываний научных и вненаучных.
Тем самым высказывание: «НЛО возможно летательные аппараты представителей внеземных цивилизаций» – следует отнести к научным
(в нашем случае – к проблематичным), поскольку в принципе, это может быть доказано или опровергнуто. А суждение: «Карма существует» – к вненаучным (в нашем случае – как суждениям, основанным на вере). Хотя, разумеется, грань между в принципе доказуемым и в принципе недоказуемым, во-первых, конкретно-исторична и относительна, а
во-вторых, зависит от общих мировоззренческих установок личности.
Проблематичность суждения ρ может быть выражена в терминах доказанности (V) и опровергнутой (F): ρ – проблематично, когда оно и не доказано и не опровергнуто (Рр ≡ ┐ V р ^ ┐ F ρ). В судебном исследовании в форме проблематичных суждений строятся версии (гипотезы) об обстоятельствах расследуемых дел. Будучи обоснованными, правдоподобные суждения направляют расследование по правильному руслу и способствуют установлению по каждому делу достоверных результатов.
При рассмотрении эпистемической модальности очень важно понимать, что если достоверность суждений относится к такой модальной характеристике, которая, подобно понятиям истины и лжи, не изменяется по степеням, то обоснованность проблематичных суждений изменяется по степеням и может быть выражена в терминах теории вероятности: О≤Рρ≤1. При Рρ=1, ρ-верифицировано (V ρ) или доказано (т.е. ρ истинно). При Рρ=0, ρ-фальсифицировано (F ρ) или опровергнуто (т.е. ρ-ложно). Другие типичные случаи:
Рρ=⅓- ρ маловероятно;
Рρ=½- ρ равновероятно;
Рρ>½- ρ более вероятно, чем нет;
Рρ > ⅔-ρ весьма вероятно.
А теперь более подробно рассмотрим суждения, основанные на мнениях, вере. По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных. Если модальным оператором В обозначить верование, то выражение Вρ будет означать: «ρ принимается на основе веры». И, разумеется, что логический и фактический статус одного и того же по форме суждение: «N виновен в совершении данного преступления», – будет совершенно различным, если, в одном случае, с соблюдением всех процессуальных норм будет это доказано, а в другом случае – принято на веру с чьих-то слов.
От слова «вера» производно понятие уверенности, выражающего субъективно-психологическое отношение человека к высказыванию, его готовности принять или отвергнуть соответствующее суждение. Когда говорят, «Я уверен, что N виновен в совершении данного преступления»; «Я убежден, что свидетель заблуждается», то, как правило, выражают субъективное отношение к содержанию высказываний, склонность принять или отвергнуть выраженную в них информацию. И если, в одном случае, суждения, основанные на вере, противопоставляются суждениям, основанным на знании, то в другом случае, выражается отношение субъекта к выраженной в суждении информации. В этой ситуации используется оператор Q. Запись QSp читается: «S уверен в истинности p.
Когда исследователь проявляет беспристрастность и ставит своей задачей найти объективную истину, его чувство уверенности определяется рациональными, логическими основаниями и зависит прежде всего от степени обоснованности суждения. Но если вероятностная оценка суждения прямо влияет на степень уверенности, то обратное имеет место не всегда. Высокая степень уверенности не означает, что она возникла в результате достаточной обоснованности суждения. Помимо логических оснований чувство уверенности может возникнуть под влиянием и других, внелогических факторов, которые не всегда явно осознаются и не всегда контролируются. К ним относятся различного рода интересы, утилитарные соображения, субъективные склонности, привычки и т.п. Желаемое в этом случае непреднамеренно может быть выдано за действительное. Именно поэтому при анализе суждения следует различать такие логически проверяемые модальные характеристики, как степень обоснованности суждения и субъективное чувство уверенности в истинности этого суждения. В научном исследовании, как и в деятельности юриста, объективная обоснованность суждения должна быть ведущим фактором, определяющим формирование субъективной уверенности, без которой также не бывает раскрытия истины.
Пытаясь применить законы логики к суждениям, основанным на вере, эпистемическая логика обнаруживает следующие зависимости:
- субъект допускает нечто, если и только если не отвергает это;
- нельзя одновременно признавать и отвергать нечто;
- субъект сомневается в чем-то, если только он не признает ни это, ни обратное;
- нельзя одновременно признавать и сомневаться в чем-то;
- нельзя одновременно допускать и отвергать нечто;
- если нечто не подлежит сомнению, то оно не отвергается.