Деление суждений по модальности логика кратко

Обновлено: 05.07.2024

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

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

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

Необходимо сказать, что ассерторические суждения (как это уже было описано в других главах) могут объединяться в сложные при помощи логических связок (конъюнкции, дизъюнкции, эквиваленции, импликации, отрицания). Модальные операторы прекрасно подходят и к сложным суждениям. Другими словами, и сложные суждения могут быть модальными. В этом случае их структура будет такой: М (а ^ b) или М (а V b) и др. Необходимо только помнить, что всего логических связок и, соответственно, образованных от них сложных суждений пять.

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

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

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

Модальности могут быть логическими и онтологическими, дионтическими, эпистемическими, аксиологическими и временными.

Логические модальности вкупе с онтологическими образуют алетические модальности.

Говоря о модальности суждений, не раз упоминалось о модальных операторах. Они показывают необходимость суждения либо его случайность, возможность или невозможность. Однако в процессе не давалось определения ни истинности, ни ложности и другим терминам из этого ряда. Между тем знание точного смысла указанных выше категорий немаловажно. Итак, необходимость суждения означает, что это суждение основывается на законе, открытом в рамках какой-либо науки, в том числе и логики. Необходимыми при этом признаются также и все обоснованные следствия, выведенные из данных законов. Определяющим в этом случае является фактор объективности. Иными словами, закон должен быть реальным, а не виртуальным, т. е. правильно отражать реальное положение вещей. Случайные суждения определяются как высказывания, хотя и не основанные непосредственно на известных науке законах, но не противоречащие им. То же относится и к следствиям этих законов. В случае с невозможными суждениями все очевидно. Такими суждениями называют те, которые противоречат научно подтвержденным законам или их следствиям. Возможные суждения основаны на здравом смысле и не противоречат научным законам и их следствиям.

простых сложные суждения. В них утверждается или отрицает­ся наличие определенных связей между предметом и его свой­ствами или констатируется отношение между двумя или боль­шим числом предметов. Например: “Школьники - учащиеся”;

“В прямоугольном треугольнике сумма квадратов катетов рав­на квадрату гипотенузы, т. е. а 2 + b 2 = с 2 ; “Объем конуса равен 1/3 площади основания, умноженной на высоту”; “Яблоко слад­кое и красное”; “Я эту работу не выполню в срок”; “Если будет плохая погода, то мы не поедем на теплоходе” и др. Общая фор­ма таких простых высказываний (суждений): “S есть (не есть) Р”. Из простых суждений образуются сложные, например: “Если S есть (не есть) Р, то S1 ,есть (не есть) Р1”.

В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторичес­ких существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер свя­зи между отдельными простыми суждениями в сложном сужде­нии. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школь­ники - учащиеся”; “Доказано, что в прямоугольном треуголь­нике сумма квадратов катетов равна квадрату гипотенузы”;

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

О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случай­ной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результа­те таких уточнений мы получаем модальное суждение различ­ных типов. Приведем еще примеры модальных суждений: “Воз­можно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модаль­ном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно,

доказано, необходимо, запрещено, обязательно, плохо и др. Стру­ктура простых модальных суждений такая:

М (S есть Р) или М (S не есть Р),

где М обозначает модальный оператор (модальное понятие).

Но как было уже сказано, модальными могут быть и слож­ные суждения. Если а и b - простые суждения, то из сложных ассерторических суждений:

а ^ b, а b, а ύ b, а b, а b можно получить соответствующие сложные модальные суждения:


М(а ^ b); М; М(а ± b); М b).

В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидно­стями. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно полу­чить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в поч­ву внести удобрения, тогда урожай повысится” и др.

Проиллюстрировав многочисленными примерами, что пред­ставляет собой модальное суждение, можно дать определение понятиям “модальное простое суждение” и “модальное слож­ное суждение”.

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

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

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

В модальной логике модальность суждений выражается раз­личными модальными операторами (категориями модальности):

“доказуемо”, “опровержимо”, “запрещено”, “необходимо”, “не-



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

Логические модальности Онтологические модальности Эпистемические модальности
знание убеждение
логически необходимо онтологически необходимо доказуемо (верифицируемо) полагает (убежден)
логически случайно онтологически случайно неразрешимо (непроверяемо) сомневается
логически невозможно онтологически невозможно опровержимо (фальсифицируемо) отвергает
логически возможно онтологически возможно допускает
Деонтические модальности Аксиологические модальности Временные модальности
абсолютные сравнительные абсолютные сравнительные
обязательно хорошо лучше всегда раньше
нормативно безразлично аксиологи-чески безраз­лично равноценно только иногда одновремен­но
запрещено плохо хуже никогда позже
разрешено

________________________

'ИвинА.А. Логика норм. М., 1973. С. 29. Термин “эпистемическая модаль­ность” происходит от греческого слова “эпистеме”, означавшего в античной философии высший тип несомненного, достоверного знания. Термин “деонти­ческий” заимствован из греческого языка и означает обязанность.

Логические модальности и онтологические модальности объединяются в общий вид - алогические модальности 1 .Онивключают такие модальные операторы, или категории модаль­ности: необходимость и случайность, возможность и невозмож­ность. Слова “необходимо”, “возможно”, “случайно” в обыденном языке употребляется в самых различных смыслах.

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

Алогические модальности обозначаются так: “□А” - “необ­ходимо А”; “ А” - “случайно А”; “ А” - “возможно А”; “~ А - невозможно А” (знак “~” обозначает отрицание). Иногдаих обоз­начают так: “Lp” - “необходимо р”, “Мр” - “возможно р”.

Алогические модальности (логические и онтологические) час­то содержательно истолковывают так: необходимым считают ло­гические законы, а также законы, выявленные различными наука­ми, и все следствия из этих законов. Невозможным считают суждения, противоречащие этим законам, отрицание этих законов или их следствий. Случайными считают суждения, не являющие­ся законами иди их следствиями, но и не противоречащие законам или их следствиям. Возможными считают положения, не противоречащие законам или их следствиям.

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

простых сложные суждения. В них утверждается или отрицает­ся наличие определенных связей между предметом и его свой­ствами или констатируется отношение между двумя или боль­шим числом предметов. Например: “Школьники - учащиеся”;

“В прямоугольном треугольнике сумма квадратов катетов рав­на квадрату гипотенузы, т. е. а 2 + b 2 = с 2 ; “Объем конуса равен 1/3 площади основания, умноженной на высоту”; “Яблоко слад­кое и красное”; “Я эту работу не выполню в срок”; “Если будет плохая погода, то мы не поедем на теплоходе” и др. Общая фор­ма таких простых высказываний (суждений): “S есть (не есть) Р”. Из простых суждений образуются сложные, например: “Если S есть (не есть) Р, то S1 ,есть (не есть) Р1”.

В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторичес­ких существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер свя­зи между отдельными простыми суждениями в сложном сужде­нии. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школь­ники - учащиеся”; “Доказано, что в прямоугольном треуголь­нике сумма квадратов катетов равна квадрату гипотенузы”;

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

О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случай­ной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результа­те таких уточнений мы получаем модальное суждение различ­ных типов. Приведем еще примеры модальных суждений: “Воз­можно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модаль­ном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно,

доказано, необходимо, запрещено, обязательно, плохо и др. Стру­ктура простых модальных суждений такая:

М (S есть Р) или М (S не есть Р),

где М обозначает модальный оператор (модальное понятие).

Но как было уже сказано, модальными могут быть и слож­ные суждения. Если а и b - простые суждения, то из сложных ассерторических суждений:

а ^ b, а b, а ύ b, а b, а b можно получить соответствующие сложные модальные суждения:


М(а ^ b); М; М(а ± b); М b).

В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидно­стями. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно полу­чить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в поч­ву внести удобрения, тогда урожай повысится” и др.

Проиллюстрировав многочисленными примерами, что пред­ставляет собой модальное суждение, можно дать определение понятиям “модальное простое суждение” и “модальное слож­ное суждение”.

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

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

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

В модальной логике модальность суждений выражается раз­личными модальными операторами (категориями модальности):

“доказуемо”, “опровержимо”, “запрещено”, “необходимо”, “не-

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

Логические модальности Онтологические модальности Эпистемические модальности
знание убеждение
логически необходимо онтологически необходимо доказуемо (верифицируемо) полагает (убежден)
логически случайно онтологически случайно неразрешимо (непроверяемо) сомневается
логически невозможно онтологически невозможно опровержимо (фальсифицируемо) отвергает
логически возможно онтологически возможно допускает
Деонтические модальности Аксиологические модальности Временные модальности
абсолютные сравнительные абсолютные сравнительные
обязательно хорошо лучше всегда раньше
нормативно безразлично аксиологи-чески безраз­лично равноценно только иногда одновремен­но
запрещено плохо хуже никогда позже
разрешено

________________________

'ИвинА.А. Логика норм. М., 1973. С. 29. Термин “эпистемическая модаль­ность” происходит от греческого слова “эпистеме”, означавшего в античной философии высший тип несомненного, достоверного знания. Термин “деонти­ческий” заимствован из греческого языка и означает обязанность.

Логические модальности и онтологические модальности объединяются в общий вид - алогические модальности 1 .Онивключают такие модальные операторы, или категории модаль­ности: необходимость и случайность, возможность и невозмож­ность. Слова “необходимо”, “возможно”, “случайно” в обыденном языке употребляется в самых различных смыслах.

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

Алогические модальности обозначаются так: “□А” - “необ­ходимо А”; “ А” - “случайно А”; “ А” - “возможно А”; “~ А - невозможно А” (знак “~” обозначает отрицание). Иногдаих обоз­начают так: “Lp” - “необходимо р”, “Мр” - “возможно р”.

Алогические модальности (логические и онтологические) час­то содержательно истолковывают так: необходимым считают ло­гические законы, а также законы, выявленные различными наука­ми, и все следствия из этих законов. Невозможным считают суждения, противоречащие этим законам, отрицание этих законов или их следствий. Случайными считают суждения, не являющие­ся законами иди их следствиями, но и не противоречащие законам или их следствиям. Возможными считают положения, не противоречащие законам или их следствиям.

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

Модальность — это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.

Алетическая модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.

Логическая модальность — это логическая определяемость суждения, истинность или ложность которого определяется структурой, или формой суждения.

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

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

Эпистемическая(От греч. episteme — знание)модальность — это выраженная в суждении информация об основаниях принятия и степени его обоснованности.

1 фактор: каков характер принятия решения.

Внелогический фактор, воздействие – эмоции, прагматические интересы, традиции, внушения, мнение авторитета.

2 фактор: степень обоснованности этих суждений.

По степени ообоснованности принятия решений делят на достоверные (достаточно обоснованные истинные или ложные суждения) и проблематичные (вероятностные).

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

Нормативные предписания, нормы права.

Модальные операторы: обязательно, безразлично, запрещено.

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

Темпоральная (временная). Абсолютные модальные операторы – всегда, только иногда, никогда, сравнительные модальные операторы – раньше, одновременно, позже.

Закон тождества.

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

Смысл этого закона состоит в следующих его требованиях:

1. В процессе рассуждения о каком-либо предмете мы должны мыслить именно этот предмет и нельзя подменять его другим предметом.

2. В процессе рассуждения, в споре или дискуссии понятия должны употребляться в одном и том же значении. Мысль тождественна самой себе, если она однозначна.

Выделяют 3 вида ошибок.

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

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

- Я сломал руку в двух местах.

- Больше не попадай в эти места.

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

Все дороги ведут в Рим. Я вышел на дорогу и теперь смело могу идти в Рим.

Закон непротиворечия.

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

А не есть не А

1. Петров сдал экзамены.

2. Петров не сдал экзамены.

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

1. Иванов высокого роста.

2. Иванов низкого роста.

Ложными могут быть и оба суждения, истинным же может быть третье суждение, а именно:

3. Иванов среднего роста.

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

Объясняется это различным характером несовместимых суждений. вспомните отношения между понятиями: контрарные суждения – противные:

Эта роза красная.

контрадикторные суждения – противоречащие:

Эта роза белая.

Эта роза не белая.

Отсюда мы можем сказать, что когда мы имеем дело с контрадикторными суждениями, то установив ложность одного, мы признаем истинность другого. А когда контрарные отношения, то ложность одного суждения, согласнозакону непротиворечия, не является основанием для признания истинностивторого. Оно может быть также ложным.

Следовательно, этот закон, как и всякий формально-логический закон, применим лишь к таким суждениям, в которых говорится:

1) об одном и том же предмете:

Петров является способным к наукам (гуманитарным, математическим).

Петров не является способным к наукам (гуманитарным, математическим).

2) в том же самом отношении:

Петров сдал зачет (по разным предметам).

Петров не сдал зачет (по разным предметам).

3) в одно и тоже время:

Петров не сдал логику.

Петров сдал логику.

Данные суждения здесь могут быть оба истинными, если относятся к разному времени.

Закон исключенного третьего.

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

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

А есть или В, или не В

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

Петров сдал зачет в эту сессию

Петров не сдал зачет в эту сессию

То есть то или это, а третьего не дано.

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

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

Сфера действия закона исключенного третьего уже сферы действия закона противоречия. Если закон противоречия распространяется на все противоречивые суждения (контрарные и контрадикторные) то закон исключенного третьего - лишь на контрадикторные.

© 2014-2022 — Студопедия.Нет — Информационный студенческий ресурс. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав (0.005)

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

Наиболее важными и распространенными выступают такие виды модаль­ности, как алетическая, деонтическая, эпистемическая и аксиологическая.

С точки зрения алетической модальности различают следующие разно­видности суждений:

В зависимости от характера норм деонтическая модальность имеет сле­дующие разновидности:

§ 3. Виды простых суждений

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

Виды простых суждений

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

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

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

2.3. Виды суждений

2.3. Виды суждений Обычно суждения подразделяют на три вида.1. Атрибутивные суждения – это суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак или атрибут (лат. аttributum) субъекта. Например, суждение: Все воробьи – это птицы –

§ 2. ВИДЫ И СОСТАВ ПРОСТЫХ СУЖДЕНИЙ

Глава VI МОДАЛЬНОСТЬ СУЖДЕНИЙ

Глава VI МОДАЛЬНОСТЬ СУЖДЕНИЙ § 1. ПОНЯТИЕ И ВИДЫ МОДАЛЬНОСТИ Суждение как форма мышления содержит основную и дополнительную информацию. Основная информация содержится в субъекте и предикате суждения, в логической связке и кванторе. Дополнительная информация относится

1. Виды простых суждений

31. Модальность суждений

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

§ 105. Модальность верования как верование, модальность бытия как бытие

§ 105. Модальность верования как верование, модальность бытия как бытие Если в отношении описанных выше в высшей степени примечательных ситуаций мы говорим об интенциональности, с помощью которой вторичные модусы устанавливают свое обратное сопряжение с прадоксой, то

1. Понятие и виды простых суждений

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

ЛЕКЦИЯ № 13 Истинность и модальность суждений

ЛЕКЦИЯ № 13 Истинность и модальность суждений 1. Модальность суждений Модальное суждение — это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.Изучаются

1. Модальность суждений

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

Модальность языка и иконографическая модальность

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

§ 21. Различные виды отрицательных суждений

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

Деление суждений. В логике принято делить суждения с четырёх точек зрения: 1) количества, 2) качества, 3) отношениями 4) модальности.

Формула общего суждения:

Формула частного суждения:

Некоторые S суть P

Качество суждения. С точки зрения качества суждения делятся на утвердительные и отрицательные. Формулы их таковы:

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

Формулы этих суждений будут следующие:

Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ A, первую гласную глагола affirmo – утверждаю; для частно-утвердительного – I, вторую гласную того же глагола; для обще-отрицательного – E, первую гласную глагола nego – отрицаю; для частно-отрицательного – O, вторую гласную того же глагола.

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

A: Все S суть P.

I: Некоторые S суть P.

E: Ни одно S не есть P.

O: Некоторые S не суть P.

Категорические суждения. Схема категорического суждения:

Условные, или гипотетические, суждения. Схема условных суждений:

Если A есть B, то C есть D.

Разделительные суждения. Разделительные суждения имеют двоякий вид:

1) S есть или A, или B, или C.

2) Или A, или B, или C есть P

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

Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:

Если A есть B, то C есть или D, или E, или F,

или в более общей форме эту схему можно изобразить так:

Если есть A, то есть или a , или b , или c ,

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

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

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

Вопросы для повторения

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

Источник: Учебник логики (для гимназий и самообразования). - 2-е изд. - Киев ; Одесса: И.А. Розов, 1906 (Киев). - [2], IV, II, 177 с.

Читайте также: