Сборник рефератов

Деление суждений по модальности. Деление суждений по типу логических союзов

Деление суждений по модальности. Деление суждений по типу логических союзов

Деление суждений по модальности. Деление суждений по типу логических союзов

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

Суждения возможности (проблематические) - суждения которые отражают знания о предметах, свойствах, которые может быть и не существуют, но существование которых не противоречит законам объективной действительности. Формула - Возможно (вероятно) S есть Р.

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

Суждения необходимости - суждения, выражающие необходимую закономерную связь между предметами или связь признака с данными предметами. Формула - Необходимо, что S есть Р.

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

Соединительное (конъюнктивное) суждение - это суждение, в котором утверждается одновременно наличие двух ситуаций. Чаще всего такие суждения выражаются посредством предложений, соединенных союзом “и”. Формула А и В (А L В), где символ L - читается “и”. Это знак конъюнкции.

Разделительные суждения - это суждения в которых утверждается наличие одной их двух ситуаций. Формула А или В.  .

Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным или строго дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом “или”, а второе - с союзом “или..., или...”, (“либо..., либо...”), но может выражаться и посредством предложений с союзом “или”, если ясно, что имеет место утверждение о наличии ровно одной из двух ситуаций. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом Ъ (читается “или”), - знак нестрогой дизъюнкции, а союз “или..., или...”, посредством которого выражается утверждение второго типа, символом   - называется знаком строгой дизъюнкции.

Союз “или” может быть не только двухместным, но и более чем двухместным.

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

Условные суждения - это суждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой. Условные суждения чаще всего выражаются предложением с союзом “если..., то...”. Первая часть суждения (до частицы “то”), называется основанием, вторая - следствием.

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

Условный союз “если... то ...” может обозначаться стрелкой (®), или символом “Й“. Этот символ называется знаком (материальной) импликации, а суждение с этим символом - импликативным. Основание импликативного суждения называется интецендентом, а следствие - консеквентом.

В построениях современной логики выделяют еще два вида сложных суждений - суждение эквивалентности и суждение с внешним отрицанием, модальные суждения и алетические модальные суждения. Обоснование этих видов суждений дано в учебнике Ивлева Ю.В. Логика. - М.: Изд-во Московского университета. В построениях современной логики выделяют еще два вида сложных суждений - суждение эквивалентности и суждение с внешним отрицанием, модальные суждения и алетические модальные суждения. Обоснование этих видов суждений дано в учебнике Ивлева Ю.В. Логика. - М.: Изд-во Московского университета, 1992.

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

Общеутвердительные суждения - общие по объему субъекта и утвердительные по качеству связки. Формула “Все S суть Р”. Общеупотребительное суждение обозначается буквой А (первая буква глагола “аffirmo” - утверждаю).

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

Общеотрицательные суждения - общие по объему субъекта и отрицательные по качеству связки. Формула - “не одно S не есть Р”. Обозначается латинской буквой Е - первая гласная глагола “nego” - отрицаю. В общеотрицательных суждениях объем субъекта и объем предиката полностью исключают друг друга.

Частноутвердительные суждения - частные по объему субъекта и утвердительные по качеству связки. Формула “Некоторые S суть Р”. Обозначается латинской буквой I - вторая гласная глагола “affirmo”. В этих суждениях субъект и предикат - перекрещивающиеся понятия, их понятия частично совпадают. В некоторых частноутвердительных случаях объем субъекта объема предиката, здесь предикат подчинен субъекту.

Частноутвердительные суждения - частные по объему субъекта и отрицательные по качеству связки. Формула “Некоторые S не есть Р”. Обозначается латинской буквой О - вторая гласная глагола “nego”. В частноотрицательных суждениях речь идет о части объема субъекта, несовместимой с объемом предиката.

Субъект и предикат суждения могут быть распределены (взаимны в полном объеме) или не распределены (взаимны не в полном объеме). Иными словами, термин будет распределен, есть мысль которую он выражает, относиться ко всему классу предметов; термин будет нераспределен, если он мыслится (речь идет) о части класса каких-либо предметов. Это необходимо для установления правил преобразования суждения и правил вывода в умозаключениях.

При  подготовке этой работы были использованы материалы с сайта http://www.studentu.ru




© 2010 СБОРНИК РЕФЕРАТОВ