Логические отношения между сложными суждениями. Законы выразимости одних сложных суждений через другие.

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

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

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

Отношение совместимости.

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

1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.

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

1) Выражение конъюнкции через дизъюнкцию:

 

2) Выражение дизъюнкции через конъюнкцию:

 

Эти две эквивалентности называются законами де Моргана.

3) Выражение импликации через конъюнкцию:

 

4) Выражение импликации через дизъюнкцию:

 

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

 

3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным. Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчинённого, составляет основу фундаментального в науке логики понятия логи­ческого следования, регулирующего все виды рассуждений.

Отношение несовместимости.

Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.

Противоположность — отношение между суждениями, кото­рые одновременно не могут быть истинными, но могут быть одно­временно ложными.

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

 

Вопрос №27

 

 

Алетическая модальность - это выраженная в суждении в терминах необходимости-случайности либо возможности-невоз­можности информация о логической или фактической детермини­рованности (обусловленности) суждения.

Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающи­ми принятие суждений, выступают либо структурно-логические ха­рактеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обуслов­ленности, или детерминированности суждений предопределяют со­ответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.

Логическая модальность

Логическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.

К логически истинным относят суждения, выражающие законы логики; к логически ложным – внутренне противоре­чивые суждения.

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

Фактическая модальность

Фактическая модальность связана с объективной, или физичес­кой детерминированностью суждений, когда их истинность и лож­ность определяются положением дел в реальной действительнос­ти. К фактически истинным относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным относятся суждения, в которых связь между терминами не соответствует действительности. К примеру: «Ни одно млекопитающее не живет в воде».

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

Необходимость-случайность. Фактически необходимыми яв­ляются суждения, в которых содержится информация о законах науки. Например: «Сумма внутренних углов треугольника равна180°». В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др. В логике для суждений необходимости принято выражение: «S необ­ходимо есть (не есть) Р».

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

Фактически случайные - это суждения, которые не содержат информации о законах науки, а их истинность и ложность опреде­ляются конкретными эмпирическими условиями. Например, суж­дение «Наполеон умер 5 мая 1821 года» является фактически случай­ным, ибо смерть Наполеона могла наступить как до, так и после этой даты.

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

Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий ­возможность и невозможность.

Возможность-невозможность. Фактически возможными явля­ются суждения, содержащие информацию о принципиальной со­вместимости выраженных в субъекте и предикате явлений. На­пример: «В Южной Америке в этом году возможно землетрясение» или другое суждение: «Футбольная команда А может выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы - землетрясения в Южной Америке в этом году может не быть; команда А может не выиграть матч у команды В. ­

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

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

Дополнением к классу фактически возможных суждений являет­ся класс фактически невозможных суждений.

Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно чтобы в треугольнике сумма внутренних углов не была равна 180°»

 

Вопрос №28.

 

Эпистемическая модальность - это выраженная в суждении информация, об основаниях принятия и степени его обоснованности.

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

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

Знание. Фактор логического воздействия - это принятие суж­дения как истинного или ложного в силу его обоснованности други­ми суждениями, из которых принимаемое суждение логически вы­текает как следствие. Характерная особенность рационально ори­ентированного познания - принятие лишь таких суждений, кото­рых опираются на достоверно установленный эмпирический или теоретический фундамент из проверенных суждений.

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

1) Достоверные суждения – это достаточно обоснованные истинные или ложные суждения. Их истинность или ложность уста­навливается либо путем непосредственной проверки, либо опосре­дованно, когда суждение подтверждается эмпирическими или тео­ретическими положениями.

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

2) Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточности обоснованности. Поскольку истинность или ложность таких суждений точно не уста­новлена, то они лишь претендуют быть таковыми. Отсюда и назва­ния их: проблематичные, правдоподобные, или вероятные.

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

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

Обоснованность как объективную логическую характеристику суждения следует отличать от понятия уверенности, выражающего субъективно-психологическое отношение человека к высказыва­нию, его готовность принять или отвергнуть соответствующее суж­дение. Когда говорят, например, «Я уверен, что Х совершил пре­ступление»; «Я убежден, что свидетель заблуждается»; «Я считаю, что обвиняемый неверно описывает обстоятельства преступления», то, как правило, выражают субъективное отношение к содержанию высказываний - склонность принять или отвергнуть выраженную в них информацию.

Если оператором Q обозначить уверенность субъекта S в истин­ности суждения р, то выражение в целом принимает вид QS(p) и читается: «S уверен в истинности р».

 

Вопрос №29.

⇐ Предыдущая123456789Следующая ⇒

Поделиться: