Это является пропозициональной функцией, т.е. высказыванием, в котором речь идет об определенном свойстве предмета или отношении между предметами по неопределенности самого предмета (предметов ), обозначенного лишь переменной, содержание которого (высказывания ) превращается в истинное или неистинное при подстановке вместо переменной имени предмета из определенной предметной области.

Выделяют также именную функцию. Именная функция - это выражение, которое при замене переменных постоянными превращается в обозначение предмета.

Так, в именной функции «отец у », подставив имя «философ Вл. С. Соловьев», получим «отец философа Вл. С. Соловьева» - имя предмета (здесь имя человека).

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

Структура суждения:

- субъект (от лат. subjektum - предмет), или логическое подлежащее - элемент суждения, который обозначает предмет мысли - материальный объект, явление или процесс S );

- предикат (от лат. praedikatum - признак), или логическое сказуемое - элемент суждения, который обозначает признак предмета мысли (обозначается прописной латинской литерой P );

- связка - элемент суждения, который выражает отношение между субъектом и предикатом, т.е. утверждает или отрицает наличие у предмета мысли S признака P (обозначается символом «-» , т.е. «тире» или выражается глаголами (словосочетаниями) «есть» , «не есть» , «является» , «не является» , «суть» , «не суть», которые могут опускаться и лишь подразумеваться);

- квантор , который показывает, в каком количестве берется субъект суждения (выражается словами «все» , «некоторые» , « ни один» и др.).

Следовательно, логическая структура суждения («Ни один двигатель не является вечным») состоит из субъекта (S - «двигатель»), предиката (P - «вечный»), связки («нет») и квантора («ни один»). Здесь главными элементами являются первые три, среди которых логическое подлежащее (субъект ) и логическое сказуемое (предикат ) называются терминами суждения.

Виды простых суждений

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

Суждения подразделяют на виды суждений по количественному, качественному и качественно-количественному основаниям.

Качество суждения определяется логической связкой, а не содержанием терминов.

Простые суждения по качеству делят на такие виды суждений по качеству: утвердительные и отрицательные, атрибутивные (от лат. attributo -приписывание; атрибутивные категорические - от греч. κατηγορικες - ясный, безусловный), суждения существования (экзистенциальные категорические - от лат. existential - существование) и суждения отношений (релятивные - от лат. relativus - относительный).

Виды простых суждений по качеству:

- атрибутивное , или суждение свойства - это суждение, в котором утверждается или отрицается наличие определенных свойств у предметов (общая формула: S - P: утвердительного: S есть P: «Украина - суверенное государство», отрицательного: S не есть P, или ¬(S есть P ), т.е. «Неверно, что S есть Р »: «Украина не является членом НАТО»). Связки: «есть», «не есть», «суть», «не суть», «является», «не является» и др. Атрибутивное суждение является категорическим, т.е. атрибутивным категорическим суждением , т.к. оно строгое и однозначное, не допускает неопределенности в понимании его содержания. В атрибутивном суждении о принадлежности или непринадлежности признака предмету выражается в безусловной форме, третье исключено. Поскольку постоянными элементами атрибутивного суждения являются субъект, предикат и связка, данное суждение имеет субъектно-предикатную структуру, где связка есть имманентный закон и выполняет конструктивную функцию, а квантор непостоянен. Субъект и предикат могут быть как совместимыми, так и несовместимыми. А значит, между терминами могут иметь место все виды отношений между сравнимыми понятиями: тождество, пересечение, подчинение, соподчинение, противоречие и противоположность: (Термины суждения «Московская немощенная улица 17 в. была очень неопрятна» являются общими, положительными, сравнимыми, совместимыми понятиями, находящиеся в отношении субординации. Термины суждения «Моральные нормы не являются ценностями материальной культуры» - общие, сравнимые, несовместимые понятия, находящиеся в отношении координации. Термины суждения «Язык есть форма общественной культуры, представляющий собой материальную знаково-символическую систему для общения и передачи информации между людьми» - общие, положительные, сравнимые, совместимые понятия, находящиеся в отношении тождества. Термины суждения «Некоторые свидетели обязаны давать показания» - общие, положительные, сравнимые, совместимые понятия, находящиеся в отношении пересечения. Термины суждения «Ни один монист не является дуалистом» - общие, положительные, сравнимые, несовместимые понятия, находящиеся в отношении противоположности. Термины суждения «Ни один человек не является лицом, освобожденным от исполнения закона» - общие, сравнимые, несовместимые, находящиеся в отношении противоречия );

- экзистенциальное , или суждение существования - это суждение, в котором выражается факт существования или несуществования предмета суждения (формула: S - ): утвердительного: S есть: «Бытие есть», отрицательного: S не есть , или ¬(S есть ), т.е. «Неверно, что S существует»: «Небытия нет». Связки: «есть», «не есть», «существует», «не существует». Здесь четко выделяется только субъект. Предикат всех экзистенциальных категорических суждений объединен со связкой, ибо в предикате не указывается иных признаков, кроме отношения к бытию («то, что есть (существует)»);

- релятивное , или суждение отношений - это суждение, в котором устанавливаются или отрицаются объективные отношения между двумя и более предметами мысли - пространственные, временные, причинно-следствен-ные, количественные, родственные (aRb, где а, b - члены отношения, а R - отношение между ними: «Белое море холоднее Черного»). Связки: «больше», «меньше», «равно», «старше», «младше», «выше», «ниже», «быстрее», «медленнее», «правее», «левее», «севернее», «южнее», «западнее», «восточнее», «детерминируется», «порождается» и т.п. Специфика данных суждений определяется отсутствием субъекта и предиката. Постоянная составляющая релятивных суждений - понятия-термины и понятия-связки. Понятия-элементы релятивного суждения, обозначающие предметы мысли, называются терминами (от лат. terminus - граница), или членами отношения . Понятие-элемент, обозначающее отношения между предметами, - предикатор . В зависимости от места по отношению к связке выделяют два вида терминов: предшествующий и последующий члены отношения. Количество терминов в релятивном суждении называется местностью . Если отношение связывает два термина, то суждение называется двухместным , три - трехместным и т.д. С трехместного суждения («Внук младше отца и деда»), а также с суждения, в котором отражается более одного отношения («Рейкьявик севернее и западнее Дели»), начинаются сложные релятивные суждения;

- утвердительное - это суждение, в котором констатируется существование предмета мысли, наличие связи между предметами либо принадлежность предмету определенного признака: (формула: «Все (некоторые, данное) S есть P »: «Все люди являются живыми существами»; «Некоторые из стран мира расположены в Европе»; «Париж является столицей Франции»);

- отрицательное - это суждение, в котором констатируется отсутствие у предмета определенного признака, отсутствие связи между предметами либо несуществование предмета мысли: (формула: «Все (некоторые, данное) S не есть P »: «Ни один лев не является травоядным животным»; «Некоторые из людей не являются частными предпринимателями»; «Ханин И. О. не работает в театре»).

Простые суждения все являются либо утвердительными («Дифференциальная рента есть избыток прибыли сверх средней прибыли»), либо отрицательными («Цена производства товара не меньше издержек его производства»), независимо от их видов по другим основаниям.

Количество суждения определяется количеством понятия, отражающего предмет мысли. В суждении количество выражено квантором (от лат. quantum - сколько). Квантор - это дополнительный элемент суждения, выражающий количественную характеристику предмета мысли.

Существует два вида кванторов: общности и существования.

Квантор общности указывает, что в объеме субъекта мыслятся все элементы данного класса (обозначается символом - , и выражается словами: «все», «любой», «всякий», «каждый», «без исключения», «ни один» и т.п.): «В любой рыночной экономике действует закон стоимости».

Квантор существования указывает, что в объеме субъекта мыслится лишь часть элементов данного класса (обозначается символом - , и выражается словами: «часть», «большинство», «меньшинство», «не все», «не каждый», «некоторые», «отдельные» и т.п.): «Не все граждане обладают избирательными правами».

Простые суждения по количеству делят на такие виды суждений по количеству: общие, частные и единичные.

Виды простых суждений по количеству:

- общее - это суждение, в котором за каждым мыслимым в субъекте элементом множества утверждается или отрицается определенный признак: (формула: «Все S есть (не есть) P »): «Все самолеты предназначены для полетов в воздухе»; «Ни один человек не живет на Марсе»;

- частное - это суждение, которое содержит знание о наличии или отсутствии определенного признака у части предметов, которые мыслятся в субъекте: (формула: «Некоторые S есть (не есть) P »): «Некоторые военные являются курсантами»; «Некоторые рабочие не работают на госпредприятии»;

- единичное - это суждение, субъектом которого является единичное понятие, которое обозначает один предмет мысли: (формула: «Данное S есть (не есть) P »): «Планета Марс находится в Солнечной системе»; «Киев не является столицей Франции».

Простые суждения по качественно-количественным основаниям подразделяют на такие виды суждений по качественно-количественным основаниям: общеутвердительные (А ), частноутвердительные (І ), общеотрицательные (Е ), частноотрицательные (О ).

А - образовано по 1-й букве лат. слова affirmo - утверждаю: «Каждый человек имеет право на счастье» ( S есть P ); «Все принимающие участие в этих выборах кандидаты существуют» ( S есть ).

I - образовано по 2-й гласной лат. слова affirmo - утверждаю: «В библиотеке случаются интересные книги» ( S есть P ); «Некоторые мертвые языки по-прежнему используются» ( S есть ).

Е - образовано по 2-й букве лат. слова nego - отрицаю: «Никто не может быть наказан за правду» ( S не есть P); «Неверно, что все позвоночные - животные» ¬( S есть P )); «Ни одно идеальное государство не существует» ( S не есть ); «Неверно, что существуют беспричинные явления» ¬( S есть ).

O - образовано по 2-й гласной лат. слова nego - отрицаю: «Некоторые студенты не являются спортсменами» ( S не есть P ); «Неверно, что некоторые электроны являются положительно заряженными» ¬( S есть P ); «Некоторые языки более не существуют» ( S не есть ); «Неверно, что некоторые абсолютно черные тела существуют» ¬( S есть ).

Выделяют также единичноутвердительные и единичноотрицательные суждения.

Единичноутвердительные (обозначения нет) - это суждения единичные по количеству и утвердительные по качеству. («А. В. Суворов - генералиссимус» - атрибутивное, «Численность населения Киева больше Донецка» - релятивное, «Сбербанк Украины существует» - экзистенциальное).

Единичноотрицательные (обозначения нет) - это суждения единичные по количеству и отрицательные по качеству. («Алхимия не является наукой» - атрибутивное, «Объем выборки данного КСИ не больше объема генеральной совокупности» - релятивное, «Корпорация «Пронто» не существует» - экзистенциальное).

Любое суждение имеет и качественную, и количественную характеристику, т.е. является либо утвердительным, либо отрицательным по содержанию и либо общим, либо частным, либо единичным по объему.

Важным аспектом для последующего рассмотрения суждения как формы мышления есть вопрос о распределенности терминов суждений. Терминами суждения являются субъект и предикат. Вопрос о том, какая информация в суждении имеется, а какая отсутствует (но может домысливаться) решается с помощью следующих понятий:

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

- нераспределенный термин (знак «-» ) - термин, объем которого только частично включается в объем другого («Только некоторые религии мировые») или лишь частично исключается из него («Только некоторые религиозные организации не зарегистрировали свой устав в органах государственной власти»).

Распределенность терминов в суждениях типа А, I, Е, О:

- в общеутвердительных суждениях типа А («Все S есть P» ) субъект всегда распределен, а предикат в большинстве случаев - нераспределен. 1) «Все (квантор общности) православные (S ) - христиане (Р )». Здесь S , т.к. речь идет о всех предметах, составляющих данный класс (объем понятия-субъекта), а именно о всех православных, т.е. S является видовым понятием и всем объемом полностью включен в объем Р , а Р , т.к. речь идет лишь о той части объема Р , которая совпадает с объемом S , т.е. Р является родом, и часть элементов его объема не тождественна элементам, мыслимым в объеме S : не все христиане - православные. Потому, как правило, Р в суждениях А . Отсюда, если объем Р больше (шире ) объема S , то Р. 2) Однако, как исключение, Р в суждениях А , если S и Р связаны отношением тождества, т.е. если в Р мыслятся те и только те предметы, которые мыслятся в объеме S . «Все (квантор общности) квадраты (S ) - равносторонние прямоугольники (Р )». Здесь S и Р , т.к. их объемы полностью совпадают; различаются они только содержанием. Если S равен по объему Р, то Р , что бывает в определениях и в выделяющих суждениях;

- в частноутвердительных суждениях типа I («Некоторые S есть P» ) распределенность и субъекта, и предиката нельзя определить сугубо логическими средствами, т.е. по структуре. 1) «Некоторые (квантор существования) инженеры (S ) - электрики (Р )». Здесь S , т.к. в нем мыслится только часть инженеров, т.е. объем S Р . Но и Р , т.к. он также лишь частично включен в объем S : только некоторые электрики являются инженерами. Это значит, что S и Р связаны отношением пересечения: не все инженеры - электрики и не все электрики - инженеры. Отсюда, если понятия S и Р перекрещиваются, то Р. 2) Однако, как исключение, Р в суждениях I , если S и Р связаны отношением субординации, т.е. если в Р мыслятся те и только те предметы, которые полностью включаются в объем S как подчиняющего понятия. «Некоторые (квантор существования) писатели (S ) - драматурги (Р )». Здесь S , т.к. в нем мыслится только часть писателей, т.е. объем S лишь частично включается в объем Р , а Р , т.к. объем Р уже объема S и полностью входит в него, т.е. в объем S . Р , если объем Р меньше объема S , что бывает в частных выделяющих суждениях;

- в общеотрицательных суждениях типа Е («Ни одно S не есть P» ) и субъект, и предикат всегда распределены. «Ни один (квантор общности) депутат ВР Украины (S ) не может состоять на государственной службе (Р )». Здесь и S , и Р , т.к. объем S полностью исключается из объема Р, и наоборот. Необходимо дополнить, что всегда в суждениях Е (как и в суждениях А ) S , т.к. в нем мыслятся все предметы данного класса, а Р всегда, т.к. его объем полностью исключается из объема S . Ни один предмет, обладающий признаками, отраженными в Р S .

- в частноотрицательных суждениях типа О субъект является нераспределенным (за исключением некоторых случаев ), а предикат всегда распределен, поскольку мыслится в полном объеме, т.е. его объем полностью исключается из объема субъекта, или (как и в суждениях Е ) в суждениях О ни один предмет, обладающий признаками, отраженными в Р , как установлено связкой, не входит в объем S . «Некоторые (квантор существования) студенты (S ) не являются спортсменами (Р )». Здесь S , т.к. мыслится лишь часть студентов, а Р , ибо в нем мыслятся все спортсмены и ни один из них не включен в ту часть студентов, которая мыслится в S .

Таким образом, S распределен в общих суждениях и нераспределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р≤ S .

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

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

Примеры:

− единичноутвердительное суждение: «Только студент данной группы Сытин С.П. - отличник», или оно же: «Студент данной группы Сытин С.П., и только он, является отличником»;

− единичноотрицательное суждение: «Только студент данной группы Немов Е.М. не является успевающим», или оно же: «Студент данной группы Немов Е.М., и только он, не является успевающим»;

− частноутвердительное суждение: «Только некоторые студенты данной группы являются троечниками», или «Некоторые, и только некоторые, студенты данной группы являются троечниками»;

− частноотрицательное суждение: «Только некоторые студенты данной группы не выполняют учебную программу вуза», или «Некоторые, и только некоторые, студенты данной группы не выполняют учебную программу вуза».

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

Пример: «Лишь некоторые, а не все студенты - отличники» - определенное частное. В нем не установлен объем предиката, ведь отличниками являются не только студенты. В частноотрицательном суждении «Некоторые государства, и только, являются тоталитарными» точно установлено и отношение субъекта - «государство» - к предикату, и отношение предиката - «тоталитарное государство» - к субъекту. Действительно, тоталитарными могут быть или не быть лишь государства: весь объем предиката включен в объем субъекта.

Исключающими являются суждения, в которых признак, мыслимый в предикате, характеризует все предметы, кроме определенной их части. В исключающих атрибутивных категорических суждениях используется логический оператор «за исключением», «кроме», «помимо». Он может быть пропущен, но подразумеваться содержанием суждения. Здесь (в отличие от выделяющих) единичные и общие суждения исключающими быть не могут. Исключающими могут быть только частные суждения. Действительно, с одной стороны, в субъекте мыслится множество элементов, а с другой - наличие подмножества элементов объема, которые признак, отражающийся в предикате, не характеризует (в утвердительном суждении этот признак не принадлежит, а в отрицательном - принадлежит предмету мысли). Потому исключающее суждение не может быть общим.

Примеры: «Вузы данного города, за исключением семи, не являются государственными», «Обязательными для государства являются все международные договоры, кроме нератифицированных».

Отношения между видами простых суждений

Между суждениями различных видов устанавливаются логические отношения. бывают сравнимые и несравнимые. Сравнимые простые суждения, имеющие в своем составе общий термин S или P , но которые разные по качеству и по количеству, иногда называют суждениями одной материи: «Некоторые люди являются студентами» и «Некоторые люди не являются студентами».

Сравнимые простые суждения - это суждения с общими терминами, различающиеся по количеству или качеству: «Все зрители аплодировали» и «Некоторые зрители аплодировали». Эти суждения имеют одинаковые S («зрители») и Р («аплодирующие зрители»), но лишь различные кванторы: первое суждение: «» - «все», второе суждение: «» - «некоторые».

Несравнимые простые суждения - это суждения, различающиеся хотя бы одним термином: «Дефицит бюджета существует» и «Профицит бюджета существует». Здесь различные S .

Сравнимые простые суждения бывают совместимыми и несовместимыми:

- совместимые - это суждения, которые выражают мысль полностью или частично: «Т.Г.Шевченко жил в 19 в.» и «Автор поэмы «Сон» жил в 19 в.».

Отношения совместимости: отношения тождества, подчинения (субординации ) и подпротивоположности, или частичной совместимости (субконтрарности );

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

Отношения несовместимости: противоположности (контрарности ) и противоречия (контрадикторности ).

Отношения между простыми суждениями удобно рассматривать с помощью мнемонической фигуры (мнемоника: от греч. μνημονικόν - искусство запоминания), которая имеет название логического квадрата.

Логический квадрат - это искусственная схема, которая, апеллируя к воображению человека, облегчает ему запоминание характера отношений между суждениями типа А, I , Е, О, в которых речь идет об одном и том же предмете, в одно и то же время и в одном и том же отношении :

Вершины символизируют простые категорические суждения: А, I , Е, О, стороны и диагонали - логические отношения между суждениями:

- верхняя сторона символизирует отношение (А - Е ) противоположности (контрарности ):

А «Все люди трудятся добросовестно» и

Е «Ни один человек не трудится добросовестно»

(отношения несовместимости ).

Отношение противоположности - нестрогое по истинностной характеристике суждений.

Отношение противоположности простых суждений определяется так:

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

Отношение (А - Е ) противоположности (контрарности ) - это отношение между суждениями, которые не могут быть одновременно истинными, но бывают одновременно неистинными.

Отсюда: 1) если одно из них истинное, то второе - неистинное; 2) если одно из них неистинное, то это не значит, что и второе неистинное, ибо оно может быть либо неистинным, либо истинным.

Символично это можно записать следующим образом (« t» - истинность (от англ. truth - истина), « f» - неистинность (от англ. false - ошибочный), «→» - знак импликации, который отвечает союзу «если, то» , « Ú » - знак нестрогой (слабой) дизъюнкции, отвечающего союзу «или» ):

А (t )→ E (f ), E (t )→ A (f ), A (f )→ E (t ) ÚE (f ), E (f )→ A (t ) ÚA (f );

- нижняя сторона - отношение (I - О ) подпротивоположности, или частичной совместимости (субконтрарности ):

I «Некоторые свидетели дают истинные показания» и

О «Некоторые свидетели не дают истинных показаний»

(отношения совместимости ).

Отношение подпротивоположности простых суждений определяется так:

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

Отношение (I - О ) частичной совместимости (субконтрарности ) - это отношение между суждениями, которые могут быть одновременно истинными, но не могут быть одновременно неистинными.

Это отношение характеризуется особой неопределенностью. Здесь не существует прямой взаимозависимости между суждениями. Об отношении этих суждений иногда можно сделать выводы, исходя из знания отношения противоречащих и противоположных суждений, или противоречащих суждений и тех, которые находятся в отношении подчинения. Если суждение I неистинное, то суждение О истинное. Так же, если суждение О неистинное, то суждение I истинное. Однако, если суждение I истинное, из этого не вытекает ни неистинность, ни истинность суждения О . Это касается и истинности суждения О :

I (f )→ O (t ), O (f )→ I (t ), I (t )→ O (t ) ÚO (f ), O (t )→ I (t ) ÚI (f );

- две вертикальных стороны - отношение (А - I , Е - О ) подчинения (субординации ):

А «Все студенты этой группы - спортсмены» (подчиняющее ) и

I «Некоторые студенты этой группы - спортсмены» (подчиненное ),

Е «Ни один человек не является долгожителем» (подчиняющее ) и

О «Некоторые люди не являются долгожителями» (подчиненное )

(отношения совместимости ).

Отношение подчинения простых суждений определяется так:

Подчинение (субординация ) - это отношение между двумя простыми суждениями, одинаковыми по качеству и различающимися по количеству.

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

Подчиняющее - это общее суждение в числе двух суждений, связанных отношением субординации.

Подчиненное - это частное суждение в числе двух суждений, связанных отношением субординации.

Отношение (А - I , Е - О ) подчинения (субординации ) - это отношение между суждениями, истинность одного из которых необходимо влечет за собой истинность другого.

Здесь суждения А и Е будут подчиняющими, а суждения I и О - подчиненными: суждение I - подчиненным суждению А , а суждение О - подчиненным суждению Е .

Если суждение А истинное, то и суждение I истинное. Это касается и отношения суждений Е и О . Однако, если суждение А неистинное, из этого не вытекает неистинность суждения І . Это также касается и отношения суждений Е и О . Знание о суждении I не дает знания об истинности или неистинности суждения А . Это касается и суждения О относительно суждения Е :

А (t )→ I (t ), E (t )→ O (t ), I (f )→ A (f ), O (f )→ E (f ), A (f )→ I (t ) ÚI (f ), E (f )→ O (f ) ÚO (t ),

I (t )→A (f ) ÚA (t ), O (t )→E (f ) ÚE (t );

- диагонали - отношение (А - О, Е - I ) противоречия (контрадикторности ):

А «Все люди обладают даром слова» и

О «Некоторые люди не обладают даром слова»,

Е «Ни один летчик не является космонавтом» и

I «Некоторые летчики - космонавты»

(отношения несовместимости ).

Отношение противоречия простых суждений определяется так:

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

Отношение противоречия - самое строгое по истинностной характеристике суждений.

Отношение (А - О, Е - I ) противоречия (контрадикторности ) - это отношение между суждениями, истинностные характеристики которых не могут совпадать.

Эти суждения не могут быть одновременно истинными и одновременно неистинными. Знание об истинности одного из них свидетельствует о неистинности второго, а неистинность одного свидетельствует об истинности другого.

A (t )→O (f ), O (t )→A (f ), E (t )→I (f ), I (t )→E (f).

Знать отношения между перечисленными суждениями - значит быть способным определить логическое значение (истинность или неистинность) одного суждения относительно других.

Зависимость истинного значения суждений А, I , Е, О , в которых речь идет об одном и том же, можно передать схемой (где 1 - истинное, 0 - неистинное):

Отношение тождества логическим квадратом не иллюстрируется.

Тождество - это отношение между суждениями, являющимися либо не являющимися истинными.

Тождественными являются суждения, между которыми наблюдаются лишь нелогические различия: лексико-грамматическая или языковая форма выражения. Тождественными будут одинаковые суждения, в которых для выражения S и/или Р используются понятия-синонимы, суждения, различающиеся грамматической формой квантора («все», «ни один», «всякий», «любой», «без исключения» и т.п.) или лексической формой выражения отношения («детерминируется», «обусловливается», «порождается», «вызывается» и т.д.).

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

Истинностные характеристики суждений логического квадрата

Зависимости неопределенных по истинностной характеристике суждений можно выразить формулами противоположных: ¬А→(Е¬Е), ¬Е→(А¬А); подпротивоположных: I→(О¬О), О→(I¬I); субординативных: ¬А→(I¬I), ¬Е→(О¬О), I→(А¬А). О→(Е¬Е).

Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика - это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно их главных её достоинств - возможность применения в повседневных ситуациях без особых усилий.

Суждения и высказывания

Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение - это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.

Суждение - это мысль об утверждении или отрицании наличия некоторой ситуации в мире.

В естественном языке суждения передаются с помощью повествовательных предложений, или высказываний. Примеры суждений, выраженных в высказываниях: «Пришла осень», «Катя не знает английского языка», «Я люблю читать», «Трава зелёная, а небо голубое». Одно и то же суждение может быть выражено с помощь разных высказываний, в частности: «Небо голубое» и «Theskyisblue» - разные высказывания, но суждение они выражают одно и то же, так как они передают одну и ту же мысль. Точно также высказывания «Никто не покидал дома» и «Все оставались дома» разные, но они передают одно суждение.

Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» - истинное, а высказывание «Апельсины фиолетовые» - ложное.

Рисунки последовательно представляют отношения: пересечения, дополнительности, подчинения, равнообъёмности и обратного подчинения. С первыми тремя картинками всё должно быть довольно ясно: видно, что объёмы терминов S и P пересекаются, поэтому в области пересечения находятся элементы, которые одновременно обладают и признаком S и признаком P. Примеры истинных высказываний таких типов: «Некоторые актёры хорошо поют», «Некоторые автомобили с ценой ниже миллиона стоят больше шестисот тысяч», «Некоторые грибы съедобны».

Что касается отношений равнообъёмности и обратного подчинения, то может возникнуть вопрос, почему они тоже представляют собой условия истинности для частноутвердительных высказываний, если на картинках, обозначающих их, чётко видно, что не только некоторые S есть P, но все S есть P. Правда, естественный язык толкает нас к идее, что если некоторые S есть P, то ещё существуют и другие S, которые не есть P: некоторые грибы съедобны, а некоторые несъедобны. Для логиков такое заключение неверно. Из высказывания «Некоторые S есть P» нельзя вывести заключение, что некоторые S не есть P. Зато из высказывания «Все S есть P» можно заключить, что и некоторые S есть P, потому что если что-то верно относительно всех элементов объёма термина, то оно будет верно и относительно некоторых отдельных элементов. Поэтому в силлогистике слово «некоторые» употребляется в значении «по крайней мере некоторые», но не в значении «только некоторые». Таким образом, из высказывания «Все папоротники размножаются спорами» можно смело вывести и высказывание «Некоторые папоротники размножаются спорами», а из высказывания «Все ученики пятого класса являются пионерами» - высказывание «Некоторые ученики пятого класса являются пионерами».

Частноутвердительные высказывания будут ложными, только если термины S и P находятся в отношении противоречия или соподчинения: «Некоторые тракторы - это самолёты», «Некоторые ложные высказывания истинны».

Типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих :

Это отношения: пересечения, дополнительности, включения, противоречия и соподчинения. Очевидно, что первые три отношения совпадают с тем, что было верно и для частноутвердительных высказываний. Все они как раз представляют случаи, когда некоторые S есть P, и в то же время некоторые S не есть P. Примеры подобных истинных высказываний: «Некоторые здоровые люди не употребляют алкоголь», «Некоторые наши работники из категории младше сорока ещё не достигли возраста и двадцати пяти», «Некоторые деревья не являются вечнозелёными».

По тем же причинам, по которым отношения равнообъёмности и обратного подчинения представляли собой условия истинности для частноутвердительных высказываний, отношения противоречия и соподчинения будут верны для частноотрицательных высказываний. Из высказывания, имеющего форму «Некоторые S не есть P» нельзя логично вывести высказывание «Некоторые S есть P». Однако из высказывания «Все S не есть P» можно перейти к высказыванию «Некоторые S не есть P», так как на основании информации, которой мы обладаем обо всех элементах объёмов терминов S и P, можно сделать вывод и об их отдельных представителях. Поэтому верными будут высказывания: «Некоторые журналы не являются книгами», «Некоторые глупцы не являются умными» и т.п.

Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».

Итак, мы выяснили, при каких условиях высказывания той или иной формы будут истинными и ложными. При этом стало понятно, что не всегда истинность и ложность высказываний с логической точки зрения совпадает с нашими интуитивными представлениями. Иногда одинаковые на первый взгляд высказывания оцениваются совершенно по-разному, так как за ними скрываются разные логические формы и, следовательно, разные отношения между входящими в них терминами. Эти условия истинности важно запомнить. Они пригодятся, когда в следующем уроке мы научимся складывать высказывания в цепочки рассуждений и будем пытаться найти такие формы умозаключений, которые будут всегда правильными.

Игра "Пересечение множеств"

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

Упражнения

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

• Всё действительное разумно, всё разумное действительно.
• Соль - это яд.
• Яд - это соль.
• Все музыканты имеют хороший слух.
• Некоторые музыканты имеют хороший слух.
• Все люди, имеющие хороший слух, - музыканты.
• Некоторые люди, имеющие хороший слух, - музыканты.
• Некоторые вампиры опоздали на работу.
• Волколаки - это разновидность оборотней.
• Все круглые квадраты не имеют углов.
• Никто не любит, когда у него болят зубы.
• Ни один попугайчик не пьёт виски.
• Некоторым не нравится их работа.
• Иван Иванович поссорился с Иваном Никифоровичем.
• Фильмы Тарковского считаются классикой русского кино.
• Достоевский никогда не играл в карты.
• Некоторые куздры совсем не глокие.
• Каждый сотрудник мечтает о повышении.
• Некоторые псы умеют читать.
• Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему.
• Некоторые акулы - это рыбы.
• Некоторые люди не летали на Марс.

Проверьте свои знания

Если вы хотите проверить свои знания по теме данного урока, можете пройти небольшой тест, состоящий из нескольких вопросов. В каждом вопросе правильным может быть только 1 вариант. После выбора вами одного из вариантов, система автоматически переходит к следующему вопросу. На получаемые вами баллы влияет правильность ваших ответов и затраченное на прохождение время. Обратите внимание, что вопросы каждый раз разные, а варианты перемешиваются.

ЛОГИЧЕСКОЕ СУЖДЕНИЕ

Человек при помощи сознания познает объективный мир. Познание мира начинается с опытного сопоставления предметов и явлений между собой, с установления их сходства и различия. Содержание опыта становится знанием, когда оно осмысленно и принимает форму определенного высказывания. При этом понятие как логическая форма мышления не в состоянии передать все разнообразие и богатство человеческой мысли; оно всегда лишь основа рассуждений человека о тех или иных свойствах, качествах предметов и явлений. Между тем мысль, которая выражена в форме сочетания понятий, заключает знание о свойствах и отношениях предметов реальной действительности. Обусловленное объективным ходом вещей, это сочетание понятий обладает устойчивой структурой, внутренней закономерной связью, составляющей особую форму человеческого мышления - суждение.

Вопросительные предложения не являются суждениями, ибо они не поддаются логическому анализу. Сущность вопросительного предложения заключается в постановке вопроса и можно лишь говорить о правильно или неправильно сформулированных вопросах. Вопрос предполагает некоторое суждение, истинность или ложность которого определяет логическую правильность или неправильность самого вопроса. Так, например, вопрос: "Кто водрузил Знамя Победы над рейхстагом в мае 1945 года?" - правильно поставлен. Он предполагает истинное суждение: "Кто-то водрузил Знамя Победы над рейхстагом".

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

Субъект суждения - это понятие о предмете мысли, т.е. то. о чем говорится в данном суждении. Обозначается буквой "S" (от лат. subjektum - лежащий в основе).

Предикат суждения выражает значение о признаке предмета мысли, т.е. то, что говорится о субъекте суждения. Обозначается буквой "Р" (от лат. слова predikatum - сказанный).

Связка выражает отношения, установившиеся в суждении между субъектом и предикатом, и характеризует принадлежность предмету мысли того или иного свойства, отраженного в предикате. Обозначается знаком "тире" (-) и может подразумеваться или быть выражена одним словом или группой слов: "есть", "суть", "не является", "имеется" и т.п.

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

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

Таким образом, каждое суждение состоит из трех элементов -субъекта, предиката и связки (двух терминов и связки). Каждый из этих членов суждения обязательно имеется или подразумевается во всех суждениях. Состав суждения можно выразить общей формулой:

"S есть Р" или "S не есть Р"

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

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

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

В -четвертых, логический строй мысли и грамматическая форма речи также не совпадают. Подлежащее в предложении должно стоять, как известно, в именительном падеже. Что же касается данного требования относительно выражения субъекта суждения, то оно не обязательно. Предложение включает так называемые второстепенные члены. Все же элементы суждения входят в состав субъекта и предиката. Приведем в качестве примера следующее суждение: "Труд на благо Родины является важной чертой духовного облика россиян". Грамматическое выражение его будет состоять из подлежащего (труд), сказуемого (является) и ряда поясняющих членов предложения. С точки зрения логического состава, понятием о предмете мысли в этом суждении будет "духовный облик россиян", а предикатом "важной чертой которого является труд на благо Родины".

Простые и сложные суждения

Простые суждения - суждения, составными частями которых являются понятия . Простое суждение можно разложить только на понятия.

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

Состав простого суждения

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

• Субъект суждения - это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
• Предикат суждения - мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
• Логическая связка - мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
• Квантор - указывает, относится ли суждение ко всему объёму понятия , выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

Импликационные суждения образуются с помощью импликации , (эквивалентно союзу «если …, то»). Записывается как или . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Классификация простых суждений

По качеству

• Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».
• Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

• Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
• Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

• Категорические - суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
• Условные - суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
  • Основание - это (предыдущее) суждение, которое содержит условие.
  • Следствие - это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

Логический квадрат, описывающий отношения между категорическими суждениями

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

• Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
• Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

• Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

• Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

• Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

• Прим.: «Некоторые книги полезны»

• Прим.: «Некоторые животные суть Позвоночные»

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

• Прим.: «Некоторые животные не суть позвоночные (S)»

• Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

Общая классификация:

• общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)
• частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»
• общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»
• частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

• Суждения тождества - понятия субъекта и предиката имеют один и тот же объём. Пример: «Всякий равносторонний треугольник есть равноугольный треугольник».
• Суждения подчинения - понятие с менее широким объёмом подчиняется понятию с более широким объёмом. Пример: «Собака есть домашнее животное».
• Суждения отношения - именно пространства, времени, отношения. Пример: «Дом находится на улице».

• Экзистенциальные суждения или суждения существования - это такие суждения, которые приписывают только лишь существование.
• Аналитические суждения - суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.
• Синтетические суждения - суждения, расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.

Модальность суждений

Модальные понятия , или модальности - понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

В зависимости от модальности выделяются следующие основные виды суждений:

• Суждения возможности - «S, вероятно, есть Р» (возможность ). Пример: «Возможно падение метеорита на Землю».
• Ассерторические - «S есть P» (действительность ). Пример: «Киев стоит на Днепре».
• Аподиктические - «S необходимо должно быть P» (необходимость ). Пример: «Две прямые линии не могут замыкать пространства».

Примечания

См. также

Литература

• Г. Челпанов. «Учебник логики». 9-е издание. Москва 1998 г.
• А. Д. Гетманова Логика // Изд. Книжный дом «Университет». 1998. - 480с.

Wikimedia Foundation . 2010 .

• Краснозаводск
• Солнечногорский район Московской области

Смотреть что такое "Суждение" в других словарях:

СУЖДЕНИЕ - мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия

Суждение - Суждение ♦ Jugement Мысль, имеющая ценность или притязающая на обладание ценностью. Вот почему всякое суждение оценочно, даже если предметом оценки служит истина (притом, что истина сама по себе не является ценностью). Суждение… … Философский словарь Спонвиля

суждение - Суд, отзыв, отчет, мнение, рассуждение, соображение, понимание, взгляд; усмотрение, благоусмотрение, уразумение, глазомер, прозорливость, проницательность. Представить на чье усмотрение (благоусмотрение). В мои года не должно сметь свое суждение… … Словарь синонимов

СУЖДЕНИЕ - СУЖДЕНИЕ, суждения, ср. 1. только ед. Действие по гл. судить в 1 знач., обсуждение (книжн. устар.). «С общего сужденья приговорили.» Крылов. Длительное суждение о деле. 2. Мнение, заключение. «Не смею моего сужденья произнесть.» Грибоедов. «В мои … Толковый словарь Ушакова

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

СУЖДЕНИЕ - СУЖДЕНИЕ, суженый, см. судить Толковый словарь Даля. В.И. Даль. 1863 1866 … Толковый словарь Даля

суждение - СУЖДЕНИЕ (нем. Urteil; англ., франц. Judgement) мыслительный акт, выражающий отношение лица к содержанию высказываемой им мысли. В форме утверждения или отрицания С. необходимо сопровождается той или иной модальностью, сопряженной, как… … Энциклопедия эпистемологии и философии науки

суждение - СУЖДЕНИЕ, предположение СУДИТЬ, предполагать … Словарь-тезаурус синонимов русской речи

СУЖДЕНИЕ - 1) то же, что высказывание.2) Умственный акт, реализующий отношение говорящего к содержанию высказываемой мысли и связанный с убеждением или сомнением в ее истинности или ложности … Большой Энциклопедический словарь

Суждение - выражение элементов чувственного опыта в общезначимой словесной форме … Психологический словарь

Книги

• Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени , Добрянский-Сачуров. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени / Соч. ... Галицко-рус. деятеля и патриота Адольфа Ивановича…

Логика: Учебное пособие для юридических вузов Демидов И. В.

§ 3. Виды простых суждений

§ 3. Виды простых суждений

Для уяснения сущности суждения, а также его роли в познавательно-практической деятельности юриста большое значение имеет его классификация. Суждения делятся на простые и сложные.

Простым называется суждение, выражающее связь двух понятий или вы­раженное одним понятием, когда второе подразумевается, лишь мыслится. Например, «Сидоров имеет высшее юридическое образование», «Ночь», «Моросит». Суждение, состоящее из нескольких простых суждений, называ­ется сложным. Например, «Преступность и наказуемость деяния определя­ется уголовным законом, действовавшим во время совершения этого дея­ния». Это суждение состоит из двух простых: «Преступность деяния определяется уголовным законом, действовавшим во время совершения это­го деяния» и «Наказуемость деяния определяется уголовным законом, дей­ствовавшим во время совершения этого деяния».

Простые суждения классифицируются по следующим основаниям.

1. По объему субъекта (по количеству):

Единичные - суждения, включающие утверждение или отрицание об од­ном предмете субъекта рассуждения. Их формула:

Это S есть (не есть) Р

Так, выражение «Московский гуманитарно-экономический институт го­товит квалифицированных юрисконсультов» - единичное суждение, так как объем субъекта - «Московский гуманитарно-экономический институт» -включает конкретное высшее учебное заведение.

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

Определенное частное суждение содержит знание и о той, и о другой ча­сти субъекта суждения. Оно имеет такую логическую схему:

Только некоторые S есть (не есть) Р

Например, «Только некоторые правовые концепции базируются на фи­лософских принципах».

Логическая схема неопределенного суждения такова:

Некоторые S есть (не есть) Р

Квантор «некоторые» придает ему неопределенность. Например: «Неко­торые проблемы юриспруденции носят философский характер».

Общие - суждения, в которых что-либо утверждается или отрицается о каж­дом предмете данного класса. Логические схемы таких суждений имеют вид:

Все S есть Р или Ни одно S не есть Р

Например, «Каждая страна имеет свой гимн» является общим суждени­ем, так как объем субъекта включает весь класс отображаемых предметов.

2. По качеству связки (по качеству) суждение может быть утвердитель­ным или отрицательным.

Утвердительное суждение выражает принадлежность предмету некото­рого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».

Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».

При этом следует различать отрицательное суждение, (например, «За­хватническая война не имеет законного основания») и негативную форму выражения утвердительного суждения (например, «Захватническая война незаконна»). Такого вида суждения не всегда идентичны.

Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состоя­ния. Например, «Прокурор - это человек, имеющий специальное юридиче­ское образование».

Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. На­пример, «Благополучие государства зависит от законов» (Аристотель).

Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли. К таким суж­дениям относятся, например, «Нет преступления без указания о том в зако­не» или «Не существует абсолютной повторяемости явлений».

В классической логике различают также категорическое суждение, в ко­тором утверждение или отрицание выражается без формулировки каких-ли­бо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.

Таковы основные виды простых суждений. Любое суждение имеет коли­чественную и качественную определенность. Поэтому в логике применяется объединенная классификация суждений по количеству и но качеству. В результате получаем четыре вида суждений: общеутвердительные, общеот­рицательные, частноутвердительные и частноотрицательные. Рассмотрим их подробно.

Общеутвердительное суждение - общее по объему субъекта и утвердитель­ное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы».

Общеотрицательное суждение - общее по объему субъекта и отрицатель­ное по качеству связки. Его логическая структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е». Например, «Ни один подложный документ не является доказательством».

Частноутвердительное суждение - частное по объему субъекта и утвер­дительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты - юристы» или «Некоторые писатели - фронтовики».

Частноотрицательное суждение - частное по объему субъекта и отрица­тельное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных яв­ляются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».

Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская прокуратура проводит расследо­вание», так как имеется в виду весь объем субъекта.

С отношениями объемов терминов в суждении связана проблема их рас­пределенности.

Распределенным термин считается тогда, когда он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема. Исследо­вание распределенности терминов суждения - это не формальная логичес­кая операция, а подтверждение правильной связи субъекта и предиката в суждении, то есть ее соответствия объективному отношению самих предме­тов. Рассмотрим, как распределены термины в суждениях А, Е, I и О на кон­кретных примерах.

В общеутвердительном суждении «Все адвокаты - юристы» объем предиката «юристы» шире объема субъекта «адвокаты». Объемные отношения субъекта и предиката в таких суждениях можно изобразить в виде указанной круговой схе­мы. Из нее видно, что объем S составляет только часть объе­ма Р, так что кроме S в объем Р могут входить объемы других понятий (в приведенном примере это могут быть «прокуроры», «следователи» и т.д.), значит S - распределен, а Р - не распределен.

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

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

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

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

Однако в некоторых частноутвеpдительных суждениях обьем субъекта шире объема предиката.

Например, «Некоторые студенты - отличники». Объем предиката «отличники» здесь входит в объем субъекта «сту­денты», так как кроме отличников есть студенты хорошисты, троечники и т. д., поэтому объем субъекта только частич­но совпадает с объемом предиката - значит, в данном случае субъект не распределен, а предикат распределен.

Следовательно, в частноутвердительных суждениях субъект и предикат не распределены или предикат распределен, а субъект не распределен. Объемные отношения субъекта и предиката в частноотрицательных суждениях, например «Некоторые европейские государства не являют­ся членами НАТО», напоминают ана­логичные схемы в частноутвердитель­ных суждениях с той лишь разницей, что в тех случаях речь идет о совпадающей части объемов терминов, а в частноотрицательных - о несовпадающей части объема субъекта с объемом предиката.

Следовательно, в частноотрицательных суждениях субъект не распреде­лен, а предикат распределен в обоих случаях.

На основе произведенного анализа суждений по объединенной классификации сформулируем правила распределенности терминов:

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

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

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

4. В частноотрицательных суждениях субъект не распределен, а предикат всегда распределен.

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

Для запоминания распределенности терминов в суждениях приведем следующую таблицу, обозначив распределенность термина знаком «+», нераспределенность - знаком «-».

Таким образом, субъект всегда распределен в общих суждениях и не рас­пределен в частных суждениях; но предикат распределен в отрицательных суждениях и не распределен в утвердительных суждениях. Исключение со­ставляют некоторые общеутвердительные и частноутвердительные суждения, у которых предикат может быть распределен.

1. Понятие и виды простых суждений Как известно, все суждения можно разделить на простые и сложные. Практически все суждения, приведенные выше, являются простыми. Простые суждения можно определить по контрасту со сложными. Последние состоят из нескольких простых