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