Логические отношения между суждениями.

Вершины квадрата обозначают вид суждения по объединенной классификации А, Е, 0, I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие (контрадикторность).

Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными. «Все мужчины галантны. Ни один мужчина не галантен». Если одно из противоположных истинно, то другое ложно, но не наоборот. А истинно, Е ложно. Если верно, что все S суть P, то неверно, что ни одно S не суть P.

Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот. А истинно, O ложно. Если верно, что все S суть P, то неверно, что некоторые S не суть P.

Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих. A истинно, E – ложно. Если верно, что все S суть P, то верно, что и некоторые S суть P.

Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.

Суждение и вопрос. Логика вопроса.

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

Вопрос - это форма мысли, в которой выражено требование уточнить или получить новую информацию на основе уже имеющейся. Логическая структура вопроса такова: 1) исходное знание; 2) требование дополнить или уточнить эту информацию, перейти от исходного к искомому знанию. Первая часть вопроса называется его предпосылкой, или базисом, а вторая - оператором вопроса. Например, "Перестал ли Джон бить свою жену?". Его предпосылка такова, что Джон обычно бил свою жену. Требование уточнить эту информацию (слово "ли" вместе с особым строем предложения и особой интонацией при произнесении) - оператор вопроса.

В естественном языке вопрос выступает чаще всего в виде вопросительного предложения, хотя не всякое вопросительное предложение является вопросом. Так, не являются вопросами риторические вопросительные предложения. Они не содержат побуждения к ответу и по своей сути являются суждениями. Например, в риторическом вопросительном предложении "Какой же студент не любит получать отличные оценки на экзамене?" содержится утверждение, что каждый студент любит получать отличные оценки на экзамене, а вовсе не вопрос.

Виды вопросов:

1. По способу запроса неизвестного различают уточняющие и восполняющие вопросы.

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

Вопросы, в которых выражено требование дать новую информацию, называются восполняющими, открытыми или "что?" - вопросами. Они называются открытыми, так как множество ответов здесь самим вопросом не ограничено, а "что?" - вопросами их называют потому, что оператор вопроса выражен вопросительными местоимениями типа "Что?", "Когда?", "Почему?", "Где?" и т. д., например, "Какие автономные округа включает в себя Тюменская область?".

2. По правильности постановки вопросы делятся на корректные и некорректные.

Корректный вопрос - это вопрос, предпосылкой которого является истинное и непротиворечивое знание.

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

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

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

Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической, зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность. Например, в суждении "Очевидно автор "Задонщины" был участником "Куликовской битвы" устанавливается связь между освещаемыми событиями XIV в. и непосредственными знаниями автора. Во-вторых, выделяют фактическую обусловленность или детерминированность. Так, в суждении "Париж расположен западнее Варшавы" устанавливается именно фактическая модальность. В данном случае не требуется каких-либо особенных доказательств.

Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Утверждение "Я знаю, что знаю мало в области философии" показывает обоснованность понимания данной проблемы. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.

Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие -"имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".