5. Состав сложного суждения

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

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

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

строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как  .

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

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

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

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

6.Отношения между суждениями

Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристиках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл. Сравнимыми среди простых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты. Сравнимые суждения делятся на совместимые и несовместимые. Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости. 1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля». 2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми». 3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости: - при истинности общего суждения частное всегда будет истинным; - при ложности частного суждения общее суждение также будет ложным; - при ложности общего суждения частное неопределенно; - при истинности подчиненного частного суждения общее неопределенно.  Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости. 1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например, «Все адвокаты юристы», «Ни один адвокат не является юристом». Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным. 2. Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными». Отношение между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации. Вершины квадрата обозначают вид суждения А, Е, О, I; стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть отношение между А и Е - противоположность; нижняя сторона - отношение между I и О - частичная совместимость; две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I –противоречие

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

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

Среди ответов различают: истинные и ложные; прямые и косвенные; краткие и развернутые; полные и неполные; точные (определенные) и неточные (неопределенные).