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