Основные виды модальных суждений

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

а) логические модальности характеризуют связи с точки зрения их

соответствия законам логики. Те суждения, которые соответствуют законам логики, называют логически возможными. Логически необходимыми являются сами законы логики.

б) фактические модальности - суждения, не противоречащие законам

объективного мира.

Логические модальные суждения обозначаются символически:

Np - необходимо, что р. Например, “Необходимо, что человек знает все языки или не знает какого-либо языка” – логическая модальность (Np).

Mp - возможно, что р.

Ср - случайно, что р.

Фактические модальные суждения:

 

р - необходимо, что р. Например, “Необходимо, что железо тонет в воде” – фактическая модальность (р).

²р - возможно, что р.

Ñр - случайно, что р.

эпистемические модальные суждения (указывается характер знания о предмете)

Модальные операторы:

Vp- доказано, что р. Например, “Вина подозреваемого доказана”

Fp- опровергнуто, что р. – доказано, что р (Vp).

Pp- вероятно, что р.

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

Ор - обязательно, что р. Например, “Органы расследования обязаны совершать необходимые по ходу дела процессуальные действия в установленный законом срок” – Обязательно, что р (Ор).

Зр - запрещено, что р.

Рр - разрешено, что р.

аксиологические модальные суждения (хорошо, что р).

временные модальные суждения (иногда, что р).

ЗАКОНЫ ЛОГИКИ

Правильное мышление основано на законах логики, носит закономерный характер.Законы мышления – устойчивые связи, присущие человеческой мысли. В широком смысле к законам логики могут быть отнесены закон обратной связи объема и содержания понятия, правила определения, доказательства и другие.Многие из логическихзаконов были известны уже в древности. В современной логике под законами логики понимаются связи между мыслями, зависящие только от логических форм (тавтологии). К законам логики в собственном смысле относятся тождественно-истинные формулы логики высказываний: а↔а – закон тождества, также а ®а; ù(а Ùùа) – закон противоречия, аÚùа – закон исключенного третьего. В качестве законов выделяют также а®ùùа – закон двойного отрицания; ù(а Ùв)↔ (ùаÚùв); ù(аÚ в)↔ (ùаÙùв) – законы де Моргана; (ùа®а)®а – закон Клавия; (аÙùа)® в – закон Дунса Скотта и т.д. На этих и других законах основаны выводы логики высказываний, гарантирующие правильность рассуждений.

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

 

1. Закон тождества.

На нем основана определенность, ясность и точность мышления. В процессе определенного рассуждения одна и та же мысль должна быть тождественна самой себе. Закон был впервые сформулирован еще Аристотелем и с тех пор рассматривается как важнейший принцип мышления.

Символическая запись закона: а↔а.

В случае нарушения закона возможны ошибки:

· эквивокация (использование одного и того же слова в разных значениях). С ней связан прием “подмена понятий”.

· амфиболия (употребление выражений в разных смыслах, двусмысленность). Связана с подменой тезисов при аргументации.

Например, в высказывании “Он долго садился на лошадь со сломанной ногой“ допущена двусмысленность. Закон требует однозначного употребления терминов, устранения двусмысленностей.

 

2. Закон непротиворечия.

Два несовместимых суждения (противоречащих или противоположных друг другу) не могут быть одновременно истинными в одно и то же время и в одном и том же отношении. Его можно рассматривать в качестве конкретизации закона тождества. Сфера действия закона непротиворечия шире, чем у закона исключенного третьего – он относится как к противоречащим, так и к противоположным суждениям. Смысл закона – в недопущении одновременной истинности двух противоречащих друг другу высказываний. При этом высказывания должны относиться к ситуациям, взятым в одно и то же время. Например, утверждения “Иванов – спортсмен” и “Иванов не является спортсменом” не противоречат друг другу, если Иванов ранее был спортсменом,что подразумевается в первом высказывании, а в настоящее время спортом не занимается, что отражено во втором высказывании. Символическая запись:ù(а Ùùа).

 

3. Закон исключенного третьего.

Закон можно рассматривать как дальнейшую конкретизацию закона непротиворечия, согласно которому несовместимые суждения не могут быть истинными (но могут быть ложными). Он относится только к противоречащим друг другу суждениям. Из двух противоречащих друг другу суждений одно истинно, другое ложно, а третьего не дано. Закон исключенного третьего требует определенности в мышлении, предполагает что на поставленный вопрос может быть получен однозначный ответ: “да” или “нет”. В соответствии с законом, если одно из высказываний истинно, то другое с необходимостью ложно. Этот закон применим только в классической двузначной логике. Символическая запись: а Úùа.

 

4. Закон достаточного основания.

Важную роль в логикеиграет закон достаточного основания, требующийобоснованности утверждений. Всякая истинная мысль должна быть достаточно обоснована. Достаточным основанием может быть мысль, истинность которой уже признана. В основе этого закона лежат причинно-следственные связи, но отношение основания и следствия отличается от объективной причинно-следственной связи. Например, наличие высокой температуры у человека может считаться достаточным основанием для признания человека больным. Но именно болезнь является причиной высокой температуры. Закон впервые был сформулирован Лейбницем. Символического выражения не имеет.

Эти законы (принципы) выражают основные требования к правильному мышлению: определенность, непротиворечивость, последовательность, доказательность.