Главная | Обратная связь | Поможем написать вашу работу!

Истинностные характеристики сложных контрарных суждений

a	b

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

Так, в простых суждениях («Школьники – учащиеся», «Он эту работу не выполнит в срок») и сложных суждениях («Если будет плохая погода, то мы не полетим на самолете») утверждается или отрицается наличие определенных связей между предметом и его признаками или констатируется отношение, как минимум, между двумя предметами. В модальных суждениях устанавливается характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном суждении («Несомненно, все школьники – учащиеся», «Возможно, он эту работу не выполнит в срок», «Вероятно, если будет плохая погода, то мы не полетим на самолете»). Тем самым, здесь не просто утверждается или отрицается наличие некоторых связей, а дается оценка этих связей с определенной точки зрения.

Модальные суждения характеризуются по наличию установленной в них достоверности: аподиктические (от греч. αποδεικτικός – доказательный; или суждения необходимости), называемые также логически необходимыми; проблематические (от греч. πρόβληματικός – сложный; или суждения возможности) и ассерторические (от лат. asserto – утверждаю; или суждения действительности), которые являются логически случайными.

Логически необходимые – это суждения, истинность/неистинность которых определяется их логической структурой.

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

Аподиктические суждения представляют законы науки. Данные суждения могут относиться к предметам прошлого, настоящего и будущего. Выражаются эти суждения с помощью логического оператора необходимости: в естественном языке словами «необходимо», «обязательно», «закономерно», «всегда», но может быть пропущен и только подразумеваться; в формулах – символом «».

Формулы:

– простого общеутвердительного атрибутивного категорического суждения необходимости: ("S есть Р) – «Необходимо, что все S суть Р»;

– простых утвердительных релятивных суждений необходимости:

– (" xRy) – «Необходимо, что все х находятся в отношении R к у»;

– (xR " y) – «Необходимо, что х находится в отношении R ко всем у»;

– (" xR " y) – «Необходимо, что все х находятся в отношении R ко всем у»;

– (" xR y) – «Необходимо, что все х находятся в отношении R к некоторым у»;

– ( xR " y) – «Необходимо, что некоторые х находятся в отношении R ко всем у»;

– простого общеутвердительного экзистенциального категорического суждения необходимости: (" S есть) – «Все S существуют с необходимостью», «Необходимо, что все S существуют»;

– простое отрицательное атрибутивное категорическое суждение необходимости:

– (" S не есть Р) – «Необходимо, что все S не есть Р»;

– простое отрицательное атрибутивное категорическое суждение необходимости, полученное в результате отрицания общеутвердительного атрибутивного категорического суждения необходимости:

– (" S есть Р) – «Неверно, что все S с необходимостью есть Р»;

– простых отрицательных релятивных суждений необходимости:

– (" x~Ry) – «Все х с необходимостью не находятся в отношении R к у»;

– (x~R " y) – «Необходимо, что х не находится в отношении R ко всем у»;

– (" x~R " y) – «Все х не находятся в отношении R ко всем у с необходимостью»;

– (" x~R y) – «Необходимо, что все х не находятся в отношении R к некоторым у» или:

– ( x~R " y) – «Некоторые х необходимо не находятся в отношении R ко всем у»;

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

– (" xRy) – «Неверно, что все х с необходимо находятся в отношении R к у»;

– (xR " y) – «Неверно, что х не находится в отношении R ко всем у с необходимостью»;

– (" xR " y) – «Неверно, что все х с необходимостью находятся в отношении R ко всем у»;

– (" xR y) – «Неверно, что все х с необходимостью находятся в отношении R к некоторым у» или:

– ( xR " y) – «Неверно, что некоторые х необходимо находятся в отношении R ко всем у»;

– простого общеотрицательного экзистенциального категорического суждения необходимости:

– (" S не есть) – «Все S с необходимостью не существуют»;

– общеотрицательное экзистенциальное категорическое суждение необходимости, полученное в результате отрицания общеутвердительного категорического аподиктического суждения:

– (" S есть) – «Неверно, что все S существуют с необходимостью»;

– простого частноутвердительного атрибутивного категорического аподиктического суждения:

– ( S есть Р) – «Некоторые S необходимо есть Р»;

– простых утвердительных релятивных аподиктических суждений:

– ( xRy) – «Некоторые х с необходимостью находятся в отношении R к у»;

– (xR y) – «Некоторые х с необходимостью находятся в отношении R к некоторым у»;

– ( xR y) – «Некоторые х необходимо находятся в отношении R к некоторым у»;

– простого частноутвердительного экзистенциального категорического суждения:

– ( S есть) – «Некоторые S существуют с необходимостью»;

– простого частноутвердительного атрибутивного категорического аподиктического суждения:

– ( S не есть Р) – «Некоторые S необходимо не есть Р»;

– частноотрицательного категорического аподиктического суждения, полученного в результате отрицания частноутвердительного атрибутивного категорического аподиктического суждения:

– ( S есть Р) – «Неверно, что некоторые S необходимо есть Р»;

– простых отрицательных релятивных суждений необходимости:

– ( x~Ry) – «Некоторые х необходимо не находятся в отношении R к у»;

– (x~R y) – «Некоторые х не находятся в отношении R к некоторым у с необходимостью» или:

– ( x~R y) – «Некоторые х необходимо не находятся в отношении R к некоторым у»;

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

– ( xRy) – «Неверно, что некоторые х необходимо находятся в отношении R к у»;

– (xR y) – «Неверно, что х находится в отношении R к некоторым у с необходимостью»;

– ( xR y) – «Неверно, что х необходимо находится в отношении R к некоторым у»;

– простого частноотрицательного экзистенциального категорического аподиктического суждения:

– ( S не есть) – «Некоторые S необходимо не существуют»;

– частноотрицательное экзистенциальное категорическое суждение, полученное в результате отрицания частноутвердительного экзистенциального категорического аподиктического суждения:

– ( S есть) – «Неверно, что некоторые S существуют с необходимостью».

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

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

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

Формулы:

– простого общеутвердительного атрибутивного категорического суждения возможности:

– ◊(" S есть Р) – «Возможно, что все S суть Р»;

– простых утвердительных релятивных суждений возможности:

– ◊(" xRy) – «Возможно, что все х находятся в отношении R к у»;

– ◊(xR " y) – «Возможно, что х находится в отношении R ко всем у»;

– ◊(" xR " y) – «Возможно, что все х находятся в отношении R ко всем у»;

– ◊(" xR y) – «Возможно, что все х находятся в отношении R к некоторым у»;

– ◊( xR " y) – «Возможно, что некоторые х находятся в отношении R ко всем у»;

– простого общеутвердительного экзистенциального категорического суждения возможности:

– ◊(" S есть) – «Возможно, что все S существуют»;

– простого общеотрицательного атрибутивного категорического суждения возможности:

– ◊(" S не есть Р) – «Возможно, что все S не есть Р»;

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

– ◊(" S есть Р) – «Неверно, что все S, возможно, есть Р»;

– простых отрицательных релятивных суждений возможности:

– ◊(" x~Ry) – «Все х, возможно, не находятся в отношении R к у»;

– ◊(x~R " y) – «Возможно, что х не находится в отношении R ко всем у»;

– ◊(" x~R " y) – «Не исключено, что все х не находятся в отношении R ко всем у»;

– ◊(" x~R y) – «Возможно, что все х не находятся в отношении R к некоторым у» или:

– ◊( x~R " y) – «Некоторые х, возможно, не находятся в отношении R ко всем у»;

– отрицательные релятивные суждения возможности, полученные в результате отрицания утвердительных релятивных суждений возможности:

– ◊(" xRy) – «Неверно, что все х, возможно, находятся в отношении R к у»;

– ◊(xR " y) – «Неверно, что х находится, возможно, в отношении R ко всем у»;

– ◊(" xR " y) – «Неверно, что все х, возможно, находятся в отношении R ко всем у»;

– ◊(" xR y) – «Неверно, что все х, возможно, находятся в отношении R к некоторым у» или:

– ◊( xR " y) – «Неверно, что некоторые х, возможно, находятся в отношении R ко всем у»;

– простого общеотрицательного экзистенциального категорического суждения возможности:

– ◊(" S не есть) – «Все S, возможно, не существуют»;

– общеотрицательное экзистенциальное категорическое суждение возможности, полученное в результате отрицания общеутвердительного экзистенциального категорического проблематического суждения:

– ◊(" S есть) – «Возможно, неверно, что все S существуют»;

– простого частноутвердительного атрибутивного категорического проблематического суждения:

– ◊( S есть Р) – «Некоторые S, возможно, есть Р»;

– простых утвердительных релятивных проблематических суждений:

– ◊( xRy) – «Некоторые х, возможно, находятся в отношении R к у»;

– ◊(xR y) – «Возможно, что х находится в отношении R к некоторым у» или:

– ◊( xR y) – «Некоторые х, возможно, находятся в отношении R к некоторым у»;

– простого частноутвердительного экзистенциального категорического проблематического суждения:

– ◊( S есть) – «Возможно, что некоторые S существуют»;

– простого частноотрицательного атрибутивного категорического проблематического суждения:

– ◊( S не есть Р) – «Некоторые S, возможно, не есть Р»;

– частноутвердительное атрибутивное категорическое проблематическое суждение, полученное в результате отрицания частноутвердительного атрибутивного категорического проблематического суждения:

– ◊( S есть Р) – «Неверно, что некоторые S, возможно, есть Р»;

– простых отрицательных релятивных суждений возможности:

– ◊( x~Ry) – «Некоторые х, возможно, не находятся в отношении R к у»;

– ◊(x~R y) – «Возможно, х не находится в отношении R к некоторым у» или:

– ◊( x~R y) – «Некоторые х, возможно, не находятся в отношении R к некоторым у»;

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

– ◊( xRy) – «Неверно, что некоторые х, возможно, находятся в отношении R к у»;

– ◊(xR y) – «Неверно, что х, возможно, находится в отношении R к некоторым у» или:

– ◊( xR y) – «Неверно, что некоторые х, возможно, находятся в отношении R к некоторым у»;

– простого частноотрицательного экзистенциального категорического проблематического суждения:

– ◊( S не есть) – «Некоторые S, возможно, не существуют»;

– частноотрицательное экзистенциальное категорическое проблематическое суждение, полученное в результате отрицания частноутвердительного экзистенциального категорического проблематического суждения:

– ◊( S есть) – «Неверно, что некоторые S, возможно, существуют».

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

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

Свойства и формулы ассерторических суждений тождественны по свойствам и общим формулам суждений по количеству, по качеству и по объединенному качественно-количественному основанию.

Общая форма простых модальных суждений имеет такой вид: М (S есть P)или M (S не есть P), где М – модальная оценка (оператор), которая обозначается следующими выражениями: «необходимо», «возможно», «доказано», «случайно», «убедительно» и др.

Простые суждения – a и b.

Сложные суждения – a b, a b, a b, a→b, a≡b.

Модальные сложные суждения – М (a b), М (a b), М (a b), М (a→b), М (a≡b).

Модальные простые суждения – это простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).

Модальные сложные суждения – это сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).

По модальности в широком смысле слова суждения делят на ряд видов модальностей, имеющие свою характеристику и модальные операторы.

Виды модальностей	Характеристика модальностей	Модальные операторы
Алетическая	Предоставляет информацию о логической или фактической детерминированности суждения	Необходимо, возможно, случайно, невозможно
«Человек может преодолеть скорость света»
Эпистемическая (от греч. επιστήμα – истинное знание)	Предоставляет информацию о мере обоснованности знанием содержащихся в суждениях сведений о предметах и их признаках	Доказано, опровергнуто, не решено, убежден, знает, считается
«По мнению диалектиков, противоречие есть источник развития»
Деонтическая (от греч. δέοντος – должное)	Предоставляет информацию о нормативности правил, приказов, инструкций, которые требуют от человека определенных действий	Обязательно, безразлично, запрещено, разрешено, можно, нужно
«Пропаганда межнациональной ненависти запрещена»
Аксиологическая (от греч. αξία – ценность)	Предоставляет информацию о качественной оценке определенных действий	Хорошо, лучше, безразлично, плохо, хуже
«Нельзя работать только хорошо, зная, что ты можешь работать еще лучше»
Темпоральная (временная)	Предоставляет информацию о временной (темпоральной) составляющей	Всегда, раньше, кое-где, никогда, позже, одновременно, будет, было
«Прекратившийся было дождь вдруг снова полил»

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

 р  р

р р

◊ р ◊ р

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

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

– подчинения: между положительными суждениями:

– аподиктическим («Необходимо р» ( р)) и ассерторическим («Действительно р» (р));

– аподиктическим («Необходимо р» ( р)) и проблематическим («Возможно р» (◊ р));

– ассерторическим («Действительно р» (р)) и проблематическим («Возможно р» (◊ р));

между отрицательными суждениями:

– аподиктическим («Необходимо не-р» ( р)) и ассерторическим («Действительно не-р» (р));

– аподиктическим («Необходимо не-р» ( р)) и проблематическим («Возможно не-р» (◊ р));

– ассерторическим («Действительно не-р» (р)) и проблематическим («Возможно не-р» (◊ р)).

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

Это значит, что истинность передается от ( р) к (р) и (◊ р), а также от (р) к (◊ р). Для отрицательных субординативных суждений истинность передается от ( р) к (р) и к (◊ р), а также от (р) к (◊ р).

Неистинность передается от (◊ р) к (р) и к ( р), а также от (р) к ( р). Для отрицательных субординативных суждений неистинность передается от (◊ р) к (р) и к ( р), а также от (р) к ( р).

Таким образом, если ( р) истинно, то истинны и (р), и (◊ р). Если (р) истинно, то истинно и (◊ р). Если ( р) неистинно, то (р) и (◊ р) неопределенны, т.е. могут быть либо истинными, либо неистинными. Если (р) неистинно, то (◊р) неопределенно.

Если ( р) истинно, то (р) и (◊ р) истинны. Если (р) истинно, то (◊ р) истинно. Если ( р) неистинно, то (р) и (◊ р) неопределенны. Если (р) неистинно, то (◊ р) неопределенно.

Если (◊ р) неистинно, то (р) и ( р) неистинны. Если (р) неистинно, то ( р) неистинно. Если (◊ р) истинно, то (р) и ( р) неопределенны. Если (р) истинно, то ( р) неопределенно.

– подпротивоположности (субконтрарности): между суждениями:

– утвердительным («Возможно р» (◊ р)) и отрицательным («Возможно не-р» (◊ р)) проблематическими;

– утвердительным ассерторическим («Действительно р» (р)) и отрицательным проблематическим («Возможно не-р» (◊ р));

– отрицательным ассерторическим («Действительно не-р» (р)) и утвердительным проблематическим («Возможно р» (◊ р)).

Эти суждения могут быть одновременно истинными, но не могут быть одновременно неистинными.

Если (◊ р) истинно, то (◊ р) неопределенно. Если (◊ р) истинно, то (◊ р) неопределенно.

Если (◊ р) неистинно, то (◊ р) истинно. Если (◊ р) неистинно, то (◊ р) истинно.

Если (р) истинно, то (◊ р) неопределенно. Если (◊ р) истинно, то (р) неопределенно.

Если (р) неистинно, то (◊ р) истинно. Если (◊ р) неистинно, то (р) истинно.

Если (р) истинно, то (◊ р) неопределенно. Если (◊ р) истинно, то (р) неопределенно.

Если (р) неистинно, то (◊ р) истинно. Если (◊ р) неистинно, то (р) истинно;

– противоположности (контрарности): между суждениями:

– утвердительным («Необходимо р» ( р)) и отрицательным («Необходимо не-р» ( р)) аподиктическими;

– утвердительным аподиктическим («Необходимо р» ( р)) и отрицательным ассерторическим («Действительно не-р» (р));

– отрицательным аподиктическим («Необходимо не-р» ( р)) и утвердительным ассерторическим («Действительно р» (р)).

Эти суждения могут быть одновременно неистинными, но не могут быть одновременно истинными.

Если ( р) неистинно, то ( р) неопределенно. Если ( р) истинно, то ( р) неистинно.

Если ( р) неистинно, то (р) неопределенно. Если ( р) истинно, то (р) неистинно.

Если (р) неистинно, то ( р) неопределенно. Если (р) истинно, то ( р) неистинно.

Если ( р) неистинно, то (р) неопределенно. Если ( р) истинно, то (р) неистинно.

Если (р) неистинно, то ( р) неопределенно. Если (р) истинно, то ( р) неистинно;

– противоречия (контрадикторности): между суждениями:

– утвердительным («Действительно р» (р)) и отрицательным («Действительно не-р» (р)) ассерторическими;

– утвердительным аподиктическим («Необходимо р» ( р)) и отрицательным проблематическим («Возможно не-р» (◊ р));

– отрицательным аподиктическим («Необходимо не-р» ( р)) и утвердительным проблематическим («Возможно р» (◊ р));

Эти суждения могут быть одновременно истинными, но не могут быть одновременно неистинными.

Если (р) истинно, то (р) неистинно. Если (р) неистинно, то (р) истинно.

Если ( р) истинно, то (◊ р) неистинно. Если ( р) неистинно, то (◊ р) истинно. Если ( р) истинно, то (◊ р) неистинно. Если ( р) неистинно, то (◊ р) истинно.

⇐ Предыдущая 3 4 5 6 789 10 11 12 Следующая ⇒