Логика Тема 8 Классификация суждений МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ МЕЖДУНАРОДНЫХ ОТНОШЕНИЙ Кафедра философии

Классификация суждений по отношению (по характеру связи) Условные суждения Разделительные суждения Классификация суждений по модальности Понятие алетической модальности Алетический шестиугольник Непосредственные умозаключения по алетическому шестиугольнику Классификация суждений

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

Классификация суждений по отношению (по характеру связи) Категорическое суждение – суждение, в котором утверждается или отрицается принадлежность признака предмету независимо от каких-либо условий. Условное суждение – суждение, в котором отображается зависимость того или иного явления от каких-либо условий. Разделительное суждение – суждение, утверждающее, что 1) данному предмету присущ (или не присущ) только один из признаков, перечисленных в предикате суждения; 2) данный признак присущ (или не присущ) только одному из предметов, перечисленных в субъекте суждения. S (не) есть P Если A (не) есть B, то S (не) есть P. S (не) есть либо P, либо Q Либо S, либо R (не) есть P

Классификация суждений по отношению Условные суждения Основание – часть условного суждения, отображающая условие, от которого зависит истинность следствия. Следствие – часть условного суждения, истинность которого определяется условием, выставленным в основании. Если A (не) есть B, то S (не) есть P. Основание и следствие – относительные понятия. Основание – часть условного суждения, заключённая между союзом «если» и частицей «то». Следствие – часть условного суждения, стоящая после частицы «то».

Классификация суждений по отношению Условные суждения Условные суждения Невыделяющие условные сужденияВыделяющие условные суждения Если A (не) есть B, то S (не) есть P. Если A (не) есть B, то тогда и только тогда S (не) есть P. Невыделяющее условное суждение – условное суждение, в котором утверждается, что то, о чём говорится в основании, достаточно, но не необходимо для существования того, о чём говорится в следствии. Выделяющее условное суждение – условное суждение, в котором утверждается, что то, о чём говорится в основании, достаточно и необходимо для существования того, о чём говорится в следствии. То, о чём говорится в следствии, необходимо, но не достаточно для существования того, о чём говорится в основании. То, о чём говорится в следствии, необходимо и достаточно для существования того, о чём говорится в основании.

Классификация суждений по отношению Разделительные суждения S (не) есть либо P, либо Q Либо S, либо R (не) есть P S (не) есть P или Q S или R (не) есть P Разделительное суждение – суждение, утверждающее, что 1) данному предмету присущ (или не присущ) только один из признаков, перечисленных в предикате суждения; 2) данный признак присущ (или не присущ) только одному из предметов, перечисленных в субъекте суждения. Соединительно-разделительное суждение – суждение, утверждающее, что 1) данному предмету присущ/и (или не присущ/и) какой-то (какие-то) из признаков, перечисленных в предикате суждения; 2) данный признак присущ (или не присущ) какому-то (каким-то) из предметов, перечисленных в субъекте суждения. Признаки, перечисленные в предикате (предметы, перечисленные в субъекте), разделительного суждения представляют собой несовместимые понятия. Признаки, перечисленные в предикате (предметы, перечисленные в субъекте), соединительно-разделительного суждения могут быть совместимыми понятиями. Разделительное суждение правильно лишь в том случае, если совокупность членов суждения исчерпывает все альтернативы.

Классификация суждений по модальности Понятие модальности Модальность – (от лат. modus, наклонение) общее обозначение различных характеристик суждений, определяемых спецификой и степенью устанавливаемых ими связей между понятиями. Алетическая модальность (от греч. άλήθεια, истина, действительность) – характеристика суждений посредством таких модальных операторов как «необходимо», «возможно», «невозможно», «не-необходимо». Деонтическая модальность – (от греч. δέον, должное) – характеристика суждений посредством таких модальных операторов как «обязательно», «разрешено», «безразлично», «запрещено». Эпистемическая модальность – (от греч. επιςτήμη, знание) – характеристика суждений посредством таких модальных операторов как «известно», «доказуемо», «сомнительно», «опровержимо». и другие

Классификация суждений по модальности Алетическая модальность Аподиктическое суждение – суждение, в котором утверждается или отрицается принадлежность признака предмету при любых условиях, Ассерторическое суждение – суждение, в котором утверждается или отрицается принадлежность признака предмету при имеющихся условиях, Проблематическое суждение – суждение, в котором утверждается или отрицается принадлежность признака предмету при каких-нибудь условиях, S необходимо (не) есть P Необходимо, что S (не) есть P S (не) есть P S может (не) быть P Возможно, что S (не) есть P т.е. утверждается необходимость наличия или отсутствия у предмета того или иного признака. т.е. констатируется наличие или отсутствие у предмета того или иного признака. т.е. утверждается возможность наличия или отсутствия у предмета того или иного признака.

контрадикторность подчинение Классификация суждений по модальности Алетический шестиугольник контрарность субконтрарность Аподиктическое утвердительное суждение Аподиктическое отрицательное суждение Проблематическое утвердительное суждение Проблематическое отрицательное суждение контрарность подчинение контрадикторность субконтрарность Ассерторическое утвердительное суждение Ассерторическое отрицательное суждение

Классификация суждений по модальности Алетический шестиугольник Аподиктичность, ассерторичность и проблематичность утвердительных, либо отрицательных связей между понятиями не следует смешивать с утверждением, либо с отрицанием аподиктичности (необходимости), ассерторичности (действительности) и проблематичности (возможности) этих связей, т. е. аподиктические, ассерторические и проблематические утвердительные и отрицательные суждения – с суждениями, подтверждающими истинность или указывающими на ложность аподиктических, ассерторических и проблематических суждений. верно, что S необходимо есть P –неверно, что S необходимо есть P – S необходимо есть P,S необходимо не есть P, – Так, если утверждение необходимости: логически эквивалентно необходимости утверждения: то отрицание необходимости: логически эквивалентно не необходимости отрицания: а не-необходимости утверждения, т.е. возможности отрицания: S может не быть P.

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

не есть может не быть может быть есть необходимо есть есть S P S P Следовательно, необходимо не есть не есть S P S P Следовательно, необходимо есть может быть S P S P Следовательно, необходимо не есть может не быть S P S P Следовательно, Умозаключения модальности Алетическое умозаключение подчинения S S S S P P P P Следовательно,

Неверно, что может не быть не есть Неверно, что есть может быть есть необходимо есть S P S P Следовательно, неверно, что Неверно, что не есть необходимо не есть S P S P Следовательно, неверно, что Неверно, что может быть необходимо есть S P S P Следовательно, неверно, что Неверно, что может не быть необходимо не есть S P S P Следовательно, неверно, что Умозаключения модальности Алетическое умозаключение подчинения S S S S P P P P Следовательно, неверно, что

не есть есть не есть есть необходимо есть может не быть S P S P Следовательно, неверно, что может не быть необходимо есть S P S P Следовательно, неверно, что может быть необходимо не есть S P S P Следовательно, неверно, что необходимо не есть может быть S P S P Следовательно, неверно, что Умозаключения модальности Алетическое умозаключение контрадикторности S S S S P P P P Следовательно, неверно, что

Неверно, что не есть есть Неверно, что не есть есть необходимо есть может не быть S P S P Следовательно, Неверно, что может не быть необходимо есть S P S P Следовательно, Неверно, что может быть необходимо не есть S P S P Следовательно, Неверно, что необходимо не есть может быть S P S P Следовательно, Умозаключения модальности Алетическое умозаключение контрадикторности S S S S P P P P Следовательно,

не есть необходимо есть не есть необходимо есть необходимо не есть S P S P Следовательно, неверно, что необходимо не есть необходимо есть S P S P Следовательно, неверно, что есть необходимо не есть S P S P Следовательно, неверно, что необходимо не есть есть S P S P Следовательно, неверно, что Умозаключения модальности Алетическое умозаключение контрарности S S S S P P P P Следовательно, неверно, что

Неверно, что может не быть есть Неверно, что может не быть есть может быть может не быть S P S P Следовательно, Неверно, что может не быть может быть S P S P Следовательно, Неверно, что может быть не есть S P S P Следовательно, Неверно, что не есть может быть S P S P Следовательно, Умозаключения модальности Алетическое умозаключение субконтрарности S S S S P P P P Следовательно,

Вопросы?