Вопрос 21. Понятие модальности. Деление суждений по модальности.

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

Суждения возможности (проблематические) - суждения которые отражают знания о предметах, свойствах, которые может быть и не существуют, но существование которых не противоречит законам объективной действительности. Формула - Возможно (вероятно) S есть Р.

Суждения действительности - суждения, констатирующие наличие или отсутствие у предмета того или иного признака, качества, свойства. Формула - S есть Р. Мысль, выраженную суждением действительности, отличает строгая определенность и логическая непротиворечивость.

Суждения необходимости - суждения, выражающие необходимую закономерную связь между предметами или связь признака с данными предметами. Формула - Необходимо, что S есть Р.

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

Вопрос 22. Сложное суждение и его виды.

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

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

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

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как  . Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как   (у разных математиков по-разному, хотя математический знак тождества всё-таки  ). Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).