Суждения

Суждения (высказывания) 

Суждение  – форма мышления, мысль, высказанная  повествовательным предложением, могущая  быть истинной или ложной. Побудительные  или вопросительные предложения  не содержат явных суждений, но могут  иметь их в скрытой форме, проявляемой из контекста или в процессе осмысления. Например, вопрос «Можно ли доверять человеку, однажды уличенному во лжи?», содержит скрытое суждение «Человек, однажды уличенный во лжи, еще долго будет вызывать недоверие».  

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

Простые суждения 

Простые суждения затрагивают один фактор («Лень  – это отвращение к деятельности и инициативе, особенно умственной») и состоят из субъекта (S) – предмета суждения о котором идет речь и, который суждение выдвигается на первый план, акцентируя на нем внимание и, предиката (P), дополняющего субъект. В предложении «Мыслить, значит видеть суть». Речь идет о мышлении, оно и есть субъект, предикат «видеть суть» лишь дополняет субъект. Но предложение можно перестроить, меняя его смысл и перенося акцент то на мышление, то на видение сути. В таком случае, будет меняться роль субъекта и предиката.  

«Раскрывать мысль, значит, показывать суть» (SP).  

«Показывать суть, значит, раскрывать мысль» (SP).  

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

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

Ассерторические суждения. 

Простые категорические суждения существования, утверждающие что, признакам есть или  нет места в реальном мире и  имеющие структуру:  

S есть P  

где – квантор существования, означающий «по крайней мере, некоторые», «существуют такие» («некоторые преступления являются (есть) неумышленными»). Или:  

S есть P  

где  – квантор общности, означающий «все», «ни один».  

Простые категорические суждения свойств, утверждающие наличие или отсутствие свойств у какого-либо объекта и имеющие ту же структуру.  

Категорические  суждения существования и свойств  являются самыми простыми и вместе с тем, основными видами суждений. Они делятся на:  

A –  Общеутвердительные: Все S являются P.  

I –  Частноутвердительные: По крайней  мере, некоторые S являются P.  

E –  Общеотрицательные: Все (ни одни) S не являются P.  

O –  Частноотрицательные: По крайней  мере, некоторые S не являются P.  

Разделительные (дизинъюнктивные) суждения демонстрируют наличие (не строгое разделение) или необходимость (строгое разделение) выбора между несколькими альтернативами. При этом, в строгоразделительном суждении истинной (приемлемой) может быть только одна из альтернатив, а в нестрогой – одна или несколько. Нестрогое разделение обычно обозначается разделительной связкой (союзом) «или», стоящей между ее членами («Я излагаю или пишу») и обозначается знаком V. Строгое разделение, зачастую, содержит союз «или» перед каждым из членов («Это или закономерность природы, или случайность»), чтобы указать на необходимость выбора чего-то одного, но может ограничиваться и одной «или» между членами, особенно если один из них – отрицание другого. Хотя и в таких случаях, подчеркивая принципиальность вопроса, может применяться дважды: («Справедливость или есть, или ее нет»). Обозначается строгое разделение знаком  (c точкой над V).  

Условные (импликационные) суждения обозначаются знаком →. Они указывают на взаимосвязь  между явлениями и строятся с  помощью фактических связок «если… то», при этом причина (основание, антецедент) расположена после слова «если», а следствие (заключение, консеквент), после слова «то». Если же связка составлена без слова «то», по схеме «… если …», то заключение находится перед словом «если».  

Категорические  суждения отношений, утверждающие наличие  или отсутствие между факторами  определенных отношений, имея структуру S R P («Метр длиннее фута»), являются переходной формой мышления от ассерторических  суждений к модальным.

Модальные суждения. 

В отличие  от ассерторических, просто констатирующих факт, модальные суждения выражают характер связи субъекта и предиката  в простых суждениях и характер связи между частями сложных  суждений, давая им оценку: Всегда, хорошо, вероятно, доказано и т. д. Их структура: M (S есть P). Например: «Не может стол иметь форму шара» (или «Не может быть что, стол имеет форму шара»), то есть, модальный оператор «M» просто добавляется к ассерторическому суждению («Стол имеет форму шара»), хотя иногда для этого требуются смена склонений или другие коррективы.  

Модальная логика имеет несколько общих  особенностей:

Необходимость означает невозможность отрицания.

Возможно  означает «неверно, что необходимо».

Случайность означает возможность, как утверждения, так и отрицания.

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

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

Логически невозможное – обязательно лживо.

Физически необходимо то, отрицание чего нарушает законы природы. Физически необходимое  всегда истинно.

В модальной  логике имеются так же особенности  логики оценок:

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

То, что  нарушает закон непротиворечия, не может иметь одну оценку.  

К модальным суждениям можно отнести и внешнеотрицательные (опровергающие) суждения, например, опровергающее суждение «Неверно что, машина – роскошь», сходно модальному «Не может быть что, машина – роскошь», хотя в первом случае категорически утверждается ложность суждения, а во втором, его истинность оценивается как, маловероятная.

Сложные суждения. 

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизинъюнктивные, импликационные, эквивалентные и отрицательные.  

Дизинъюнктивные суждения образуются с помощью разделительных (дизинъюнктивных) логических связок аналогичных союзу «или». Подобно простым разделительным суждениям бывают нестрогими (нестрогая дизинъюнкция), члены которой допускают совместное сосуществование (толи…, толи…), записывающимися a V b; и строгими (Строгая дизинъюнкция) члены которой исключают друг друга (либо одно, либо другое), записывающимися a  b (с точкой над V).  

Импликационные  суждения образуются с помощью импликации, эквивалентной союзу «если …, то» и записываются a → b или ab, хотя в естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.  

Конъюнктивные суждения образуются с помощью логических связок сочетания (конъюнкции) эквивалентной запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим, обозначаемых знаком «». Что в математической логике записывается как (a  b).  

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно чтобы, сумма цифр, его составляющих, делилась на 3»), и записывается a ≡ b; a ↔ b; ab (у разных математиков по-разному, хотя математический знак тождества все-таки ≡).  

Отрицательные суждения строятся с помощью связок «не» и записываются либо a ~ b, либо a  b при внутреннем отрицании типа «машина не роскошь», и с помощью черты над всем суждением при внешнем отрицании (опровержении) «не верно что …» (a  b).

Сравнимость суждений 

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

Логический  квадрат лежит в основе всех умозаключений  и представляет собой сочетание символов A, I, E, O означающих определенный тип категорических высказываний.

A –  Общеутвердительные: Все S являются P.

I –  Частноутвердительные: По крайней  мере, некоторые S являются P.

E –  Общеотрицательные: Все (ни одни) S не являются P.

O –  Частноотрицательные: По крайней  мере, некоторые S не являются P.

Из них  общеутвердительные и общеотрицательные  являются подчиняющими, а частноутвердительные и частноотрицательные – подчиненными.  

Суждения A и E противопоставлены друг другу;

Суждения I и O противоположны;

Суждения, расположенные по диагонали –  противоречивы.  

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

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

Исчисление  высказываний 

Для верификации (проверки) истинности высказываний формальная логика дублируется математической путем составления всевозможных таблиц. Например, высказывание «a»  и его отрицание «не-a» дает таблицу истинности:a a

И Л

Л И  

Где «И»  означает «истина», «Л» – «ложь».  

Означающую  что, если «a» истинно, то «a» ложно  и наоборот.

В общем  случае таблица составляется таким  образом: Под последней частью высказывания (здесь «b») пишется друг за другом И, Л, И, Л, … и т. д., в предыдущем столбце, количество идущих подряд оценок удваивается (И, И, Л, Л, … и т. д.). И так в каждом предыдущем (если они есть) одинаковых оценок, идущих подряд в два раза больше чем в следующем. Количество строк определяется отношением Z=2n, где n – количество переменных (в данном случае два: «a» и «b»). Таким образом учитываются все возможные сочетания истинности и ложности. Простое составление (конъюнкция ) a и b истинно, если истинны обе составных части a и b. Поэтому во второй строке третьего столбца ставится «И». Подобные операции проделываются и дальше. Таблица позволяет определить что, сочетание (конъюнкция) истинно, когда все его части истины; строгое разделение (дизинъюнкция) – когда истинна только одна; нестрогое – когда истинна хотя бы одна и т. д. Существуют тождественно-истинные формулы, при любом значении переменных дающие истинные значения. Эти формулы являются правилами формальной логики.a b a  b a V b a  b a → b a ≡ b