Логика. Шпаргалка

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

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

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

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

1. Выражение конъюнкции через дизъюнкцию: ?(А ? 6) ? ?А ? ?В.

2. Выражение дизъюнкции через конъюнкцию: ?(А ? В) ? ?А ? ?В.

3. Выражение импликации через конъюнкцию: А ? В ? (А ? ?В)].

4. Выражение импликации через дизъюнкцию: А ? В ? ?А ? В].

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.

31. МОДАЛЬНОСТЬ СУЖДЕНИЙ. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ

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

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

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

По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных

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

По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.