Как называется диаметральность 2 суждений
Виды простых суждений
По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным.
Утвердительные и отрицательные суждения различаются характером связки, ее качеством. Утвердительная связка (есть) указывает на принадлежность признака предмету. Отрицательная связка (не есть) такую принадлежность отрицает. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное. Например: «Данное преступление является неосторожным».
Важно подчеркнуть, что «есть» и «не есть» – логические связки. В языке они могут выражаться другими словами: «является», «не является», «представляет собой», «не представляет собой», «признается», «не признается», а также тире или подразумеваться.
Иногда в анализе рассуждений возникает необходимость изменять языковую форму выражения суждения, с тем, чтобы привести его в соответствие с логической структурой «S есть Р» и «S не есть Р». Например, суждение «Обвиняемый имеет право на защиту» может быть выражено следующим образом: «Обвиняемый (S) есть (связка) лицо, имеющее право на защиту (Р)». В преобразованных предложениях отчетливо выражена структура суждения.
Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим по количеству суждения делятся на единичные, частные и общие.
Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание – памятник архитектуры», «Смирнов – депутат Государственной Думы».
Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть» (например: «Некоторые свидетели дали показания»; «Часть преступлений относится к хозяйственным»).
В зависимости от значения, в котором употребляется слово «некоторые», различают два вида частных суждений: неопределенные частные и определенные частные.
Иногда в частном суждении слово «некоторые» употребляется в значении «некоторые, а может быть и все», «по крайней мере, некоторые». Например, суждение «Некоторые свидетели дали показания» может иметь следующий смысл: известная нам часть свидетелей дала показания, о другой их части мы ничего определенного сказать не можем, так как наши знания о данном факте являются неполными. Слово «некоторые» означает «некоторые, а может быть, и все».
Иногда в частном суждении слово «некоторые» употребляется в значении «только некоторые». Если, например, нам известно, что показания дали не все, а только некоторые свидетели, значит, другая их часть показания не давала. Поэтому определенное частное суждение содержит знание и о той, и о другой части свидетелей и может рассматриваться как сложное суждение: «Некоторые свидетели дали показания, а некоторые показаний не давали».
Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. Например: «Все свидетели дали показания», «Никто из судей не вправе воздержаться от голосования». Схемы общих суждений: «Все S суть P» и «Ни одно S не есть Р».
Общие суждения выражаются в предложениях, в состав которых входят, как правило, слова «все» и «ни один», а также другие близкие им по смыслу, указывающие на принадлежность или непринадлежность некоторого признака всем предметам данного класса: «каждый», «любой», «никто» и др. Однако эти слова могут отсутствовать. Например: «Собаки – животные».
Любое суждение имеет и количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.
Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству. Например: «Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)». Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения. Общеутвердительное суждение обозначается буквой А.
Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)». Схема общеотрицательного суждения «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» – качество суждения. Общеотрицательное суждение обозначается буквой Е.
Частноотрицательное суждение – суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)». Эти суждения имеют схему: «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество суждения, «не суть» – на его качество. Частноотрицательное суждение обозначается буквой О.
Запишите суждения в виде «Квантор- S -связка – P ». Определите вид простых суждений.
Логика: Шпаргалка (7 стр.)
20. ЛОГИЧЕСКАЯ СТРУКТУРА СУЖДЕНИЙ
В суждении можно выделить следующие элементы: субъект, предикат, связка и квантор.
Субъектом суждения является понятие о предмете суждения, то, о чем мы судим; он содержит исходное знание. Субъект обозначается буквой S.
Предикатом называется понятие о признаке предмета, то, что говорится о предмете суждения. Предикат содержит новое знание о предмете и обозначается буквой Р. Субъект и предикат называются терминами суждения.
Связка выражает отношение между субъектом и предикатом. Связка объединяет термины суждения в единое целое, устанавливая принадлежность или не принадлежность признака предмету.
Связка может быть выражена одним словом (есть, суть, является) или группой слов, или тире, или простым согласованием свойств («Собака лает», «Идет дождь»).
Квантор, или кванторное слово («все», «ни один», «некоторые»), характеризует суждение со стороны его количества, указывает на отношение суждения ко всему объему понятия, выражающего субъект, или к его части.
Чтобы выявить логический смысл предложения, надо найти в нем субъект и предикат. В простых случаях они соответствуют подлежащему и сказуемому. В сложных предложениях субъект может быть выражен группой подлежащего, а предикат – группой сказуемого. Напр., в предложении «Любой, кто получил выгоду от преступления, виновен в его совершении» субъектом является группа подлежащего: «любой, кто получил выгоду от преступления» т. к. это – исходная информация, а предикатом – группа сказуемого: «виновен в его совершении», т. к. это – новая информация.
Но не всегда наблюдается соответствие субъекта с подлежащим, предиката со сказуемым. В предложении «Выдающимся русским писателем является Шолохов» субъект – «выдающийся русский писатель», а предикат – «Шолохов». Субъект и предикат могут быть выражены и другими членами предложения.
Существует ряд способов выявления субъекта и предиката в предложении. Во-первых, можно специально выделить субъект суждения, являющегося в предложении подлежащим. Напр., «Место, где будет выступать адвокат Петров, – это суд». В этом предложении субъект является подлежащим, что подчеркивается вводным предложением. Во-вторых, порядок слов в предложении должен подчиняться правилу: все известное в суждении сдвигается в сторону субъекта в начало предложения, а предикат, как носитель новизны, ставится в конце. В-третьих, можно использовать логическое ударение. В устной речи оно выражается усилением голоса, а на письме – подчеркиванием. И наконец, очень важно учитывать контекст, который приходит на помощь в особенно трудных случаях.
21. ВИДЫ ПРОСТЫХ СУЖДЕНИЙ
Простым называется суждение, не включающее других суждений. Они являются отражением одной-единственной связи объективного мира независимо от того, какая эта связь по содержанию. Напр., «Это – человек»; «У розы приятный запах» и др.
Простые суждения разнообразны по своим проявлениям. Они делятся на виды по логическим признакам: характер связки (качество и количество) субъекта и предиката, отношение между субъектом и предикатом.
По признаку отношения между субъектом и предикатом выделяются суждения:
а) атрибутивные (от лат. «свойство», «признак») – суждения о признаке предмета. В них отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называются также категорическими, т. е. ясными, безусловными. Логическая схема атрибутивного суждения S-Р, где S – субъект суждения, Р – предикат, «-» – связка. Напр., «Адвокат встретился с обвиняемым». Категорические суждения делятся по качеству и количеству.
По качеству выделяют утвердительные и отрицательные суждения. Утвердительное выражает принадлежность предмету какого-либо свойства, отрицательное – отсутствие какого-либо свойства, они различаются качеством связки.
Суждение с отрицательным предикатом, но с утвердительной связкой рассматривается как утвердительное, напр., «Данное решение суда является необоснованным».
По количеству выделяют единичные, частные и общие суждения. Количественная характеристика выражается квантором общности. Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете.
Напр., «Это здание – памятник архитектуры».
Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса с помощью слов некоторые, многие, немногие, большинство, меньшинство, часть. Напр., «Часть преступлений относится к экономическим».
Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса с помощью слов все, никто, любой, каждый. Напр.: «Все свидетели дали показания», «Никто не пришел на заседание». Иногда квантор не указывается, и тогда он определяется по смыслу, напр., «Равнодушие унижает»;
б) об отношениях между предметами (т. н. суждения с отношениями). Это могут быть отношения равенства, неравенства, пространственные, временные, причинно-следственные и др. Напр.: «А равно В», «Казань восточнее Москвы», «Семен отец Сергея» и др. Принята следующая символическая запись суждений с отношениями: хRу, где х и у – члены отношения, они обозначают понятия о предметах; В – отношение между ними. Запись читается: х находится в отношении R к у. Запись отрицательного суждения ⌉ (хВу) (неверно, что х находится в отношении В к у);
в) существования, выражающие сам факт существования или несуществования предмета суждения. Напр., «Существуют статистические законы». Предикатами этих суждений являются понятия о существовании или несуществовании предмета.
22. ОБЪЕДИНЕННАЯ КЛАССИФИКАЦИЯ ПРОСТЫХ СУЖДЕНИЙ
Объединяя количественную и качественную характеристики, атрибутивные суждения делятся на четыре группы: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.
Общеутвердительное – это суждение, общее по количеству и утвердительное по качеству. Напр., «Каждый, совершивший преступление, должен быть подвергнут справедливому наказанию». Схема такого суждения – «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения.
Общеотрицательное – суждение, общее по количеству и отрицательное по качеству. Напр., «Ни один невиновный не должен быть привлечен к уголовной ответственности». Схема такого суждения – «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» – качество суждения.
Частноутвердительное – суждение, частное по количеству и утвердительное по качеству. Напр., «Некоторые приговоры суда являются обвинительными». Схема такого суждения – «Некоторые S есть Р». Кванторное слово «некоторые» указывает на количество суждения, утвердительная связка, выраженная словом «есть», на его качество.
Частноотрицательное – суждение частное по количеству и отрицательное по качеству. Напр., «Некоторые приговоры суда не являются обвинительными». Схема такого суждения – «Некоторые S не есть Р». Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не есть» – на его качество.
В логике принято сокращенное обозначение суждений по их объединенной классификации: А – общеутвердительные суждения; I – частноутвердительные; Е – общеотрицательные; О – частноотрицательные.
На языке логики предикатов рассмотренные суждения записывают следующим образом:
А – (Все S суть Р);
Е – (Ни одно S не есть Р);
I – (Некоторые S есть Р);
О – (Некоторые S не есть Р).
Классификация категорических суждений
Категорические суждения делятся 1) по качеству и 2) по количеству. А так как любое суждение имеет и количественную и качественную характеристику, их принято делить по 3) объединенной классификации.
1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным.
Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «Sесть не-Р»рассматривается как утвердительное.
2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся наединичные, частные и общие.
Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть».
В неопределенном частном суждении слово «некоторые» употребляется в значении «Некоторые, а может быть, и все», «по крайней мере, некоторые». В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые».
Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса.
В отличие от единичных сужденийчастные суждения содержат обобщенные знания. В неопределенном частном суждении эти знания характеризуются незавершенностью.
Знания, содержащиеся вобщих суждениях, характеризуются общностью и завершенностью. В общих суждениях выражаются законы науки, законы, устанавливаемые государством, правовые нормы и т.д..
3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Общеутвердительное суждение — это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение — суждение, частное по количеству и отрицательное по качеству.
В логике принято сокращенное обозначение суждений по их объединенной классификации.
Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.
На языке логики предикатов суждения А, Е,I, О записывают следующим образом:
А (Все S суть Р): Vх (S(х) -> Р(х))
читается: для всехх, если х присуще свойство S, то х присуще свойство Р.
читается: ни одномух, которому присуще свойство S, не присуще свойство Р.
I (Некоторые S суть Р): 3 х(S(х) а Р(х))
читается: существуютх, которым присуще свойство S и свойство Р.
читается: существуютх, которым присуще свойство S и не присуще свойство Р.
Выделяющие и исключающие суждения
Особое место в классификации суждений занимают 1) выделяющие и 2) исключающие суждения.
Выделяющие суждения они отражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету.
«Некоторые города — столицы государств» — примерчастного выделяющего суждения (некоторые 8, и только S, суть Р). Столицами государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью входит в объем субъекта.
Частные выделяющие суждения не следует смешивать с определенными частными суждениями. Если в определенном частном суждении уточняется объем субъекта, то в частных выделяющих суждениях уточняется объем предиката.
«Все преступления, и только преступления, — предусмотренные законом общественно опасные деяния» — примеробщего выделяющего суждения (Все S, и только S, суть Р). Объемы субъекта и предиката общего выделяющего суждения полностью совпадают.
Слова «только», «лишь», входящие в состав предложений, выражающих выделяющие суждения, могут находиться как перед субъектом, так и перед предикатом. Но они могут и вообще отсутствовать. В этих случаях установить, что данное суждение является выделяющим, помогает логический анализ.
Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Например: «Все студенты нашей группы, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т.п.(Все S, за исключением S1, суть Р).
Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неоднозначное понимание. Именно поэтому ряд научных положений, а также статей международных документов, законов государства выражен в форме выделяющих или исключающих суждений.
В – 15
Распредеденность терминов в суждениях
В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины — субъект и предикат.Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.
Рассмотрим, как распределены термины в суждениях А, Е,I, О.
Суждение А (Все S суть Р). «Все студенты нашей группы (S) сдали экзамены (Р)». Субъект распределен, он взят в полном объеме: речь идет обо всех студентах нашей группы. Предикат этого суждения не распределен, так как в нем мыслится только часть лиц, сдавших экзамены, совпадающая со студентами нашей группы.
Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.
Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студентом нашей группы. Следовательно, в общеотрицательных суждениях и S, и Р распределены.
Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) — отличники (Р)». Субъект этого суждения не распределен, так как в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.
Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.
Суждение О (некоторые Sне суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен, предикат распределен, в нем мыслятся все отличники, ни один из которых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.
Логические отношения между суждениями
Простые суждения
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть
Сравнимьши являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемойлогическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.
Противоположность (контрарность)  Частичная совместимость (субконтрарность) | Противоречие (контрадикторность) |
Среди сравнимых различаютсовместимые и несовместимые суждения.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1)эквивалентность (полная совместимость), 2)частичная совместимость (субконтрарность) и 3)подчинение.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение имеет место междусуждениями А иI, Е и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным
При ложности частного суждения общее суждение также будет ложным
Отношение несовместимости.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.