Деление по модальности — это деление суждений по характеру выраженного в них знания. В зависимости от этого суждения представляют знания о возможном, действительном, необходимом.
Суждения возможности (проблематические) — суждения которые отражают знания о предметах, свойствах, которые может быть и не существуют, но существование которых не противоречит законам объективной действительности. Формула — Возможно (вероятно) S есть Р.
Суждения действительности — суждения, констатирующие наличие или отсутствие у предмета того или иного признака, качества, свойства. Формула — S есть Р. Мысль, выраженную суждением действительности, отличает строгая определенность и логическая непротиворечивость.
Суждения необходимости — суждения, выражающие необходимую закономерную связь между предметами или связь признака с данными предметами. Формула — Необходимо, что S есть Р.
С помощью логических союзов образуются сложные суждения. В зависимости от типа логического союза, которым связаны части сложного суждения, различают соединительные, разделительные и условные суждения.
Соединительное (конъюнктивное) суждение — это суждение, в котором утверждается одновременно наличие двух ситуаций. Чаще всего такие суждения выражаются посредством предложений, соединенных союзом “и”. Формула А и В (А L В), где символ L — читается “и”. Это знак конъюнкции.
Разделительные суждения — это суждения в которых утверждается наличие одной их двух ситуаций. Формула А или В. .
Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным или строго дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом “или”, а второе — с союзом “или..., или...”, (“либо..., либо...”), но может выражаться и посредством предложений с союзом “или”, если ясно, что имеет место утверждение о наличии ровно одной из двух ситуаций. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом Ъ (читается “или”), — знак нестрогой дизъюнкции, а союз “или..., или...”, посредством которого выражается утверждение второго типа, символом — называется знаком строгой дизъюнкции.
Союз “или” может быть не только двухместным, но и более чем двухместным.
В некоторой литературе можно встретить выражение, когда некоторые разделительные суждения называют соединительно-разделительными, слабой дизъюнкцией и т.д. Во всех случаях речь идет об альтернативных понятиях, не исключающих друг друга. В таких суждениях союз “или” можно заменить союзом “и”.
Условные суждения — это суждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой. Условные суждения чаще всего выражаются предложением с союзом “если..., то...”. Первая часть суждения (до частицы “то”), называется основанием, вторая — следствием.
Связь между основанием и следствием характеризуется следующими важными логическими свойствами: истинность основания достаточна для признания истинным следствия; ложность следствия с необходимостью указывается на ложность основания.
Условный союз “если… то ...” может обозначаться стрелкой (®), или символом “Й“. Этот символ называется знаком (материальной) импликации, а суждение с этим символом — импликативным. Основание импликативного суждения называется интецендентом, а следствие — консеквентом.
В построениях современной логики выделяют еще два вида сложных суждений — суждение эквивалентности и суждение с внешним отрицанием, модальные суждения и алетические модальные суждения. Обоснование этих видов суждений дано в учебнике Ивлева Ю.В. Логика. — М.: Изд-во Московского университета. В построениях современной логики выделяют еще два вида сложных суждений — суждение эквивалентности и суждение с внешним отрицанием, модальные суждения и алетические модальные суждения. Обоснование этих видов суждений дано в учебнике Ивлева Ю.В. Логика. — М.: Изд-во Московского университета, 1992.
Любое суждение имеет количественную и качественную характеристику. Наиболее распространенными в традиционной логике являются атрибутивные суждения, которые имеют второе название — категорические суждения (от греч. — kategorikos — ясный, безусловный, не допускающий иных толкований). Применяется объединенная классификация категорических (атрибутивных) суждений по качеству и количеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.
Общеутвердительные суждения — общие по объему субъекта и утвердительные по качеству связки. Формула “Все S суть Р”. Общеупотребительное суждение обозначается буквой А (первая буква глагола “аffirmo” — утверждаю).
В этих суждениях объект предиката шире объема субъекта и является его подчиняющим понятием. Во многих суждениях (во всех определениях) субъект и предикат будут равнозначащими понятиями, их объемы полностью совпадают.
Общеотрицательные суждения — общие по объему субъекта и отрицательные по качеству связки. Формула — “не одно S не есть Р”. Обозначается латинской буквой Е — первая гласная глагола “nego” — отрицаю. В общеотрицательных суждениях объем субъекта и объем предиката полностью исключают друг друга.
Частноутвердительные суждения — частные по объему субъекта и утвердительные по качеству связки. Формула “Некоторые S суть Р”. Обозначается латинской буквой I — вторая гласная глагола “affirmo”. В этих суждениях субъект и предикат — перекрещивающиеся понятия, их понятия частично совпадают. В некоторых частноутвердительных случаях объем субъекта объема предиката, здесь предикат подчинен субъекту.
Частноутвердительные суждения — частные по объему субъекта и отрицательные по качеству связки. Формула “Некоторые S не есть Р”. Обозначается латинской буквой О — вторая гласная глагола “nego”. В частноотрицательных суждениях речь идет о части объема субъекта, несовместимой с объемом предиката.
Субъект и предикат суждения могут быть распределены (взаимны в полном объеме) или не распределены (взаимны не в полном объеме). Иными словами, термин будет распределен, есть мысль которую он выражает, относиться ко всему классу предметов; термин будет нераспределен, если он мыслится (речь идет) о части класса каких-либо предметов. Это необходимо для установления правил преобразования суждения и правил вывода в умозаключениях.
При подготовке этой работы были использованы материалы с сайта www.studentu.ru