Что такое субъект и предикат
Что такое субъект и предикат
мЕЛГЙС 4 ртпуфпе ухцдеойе
1. пВЭБС ИБТБЛФЕТЙУФЙЛБ УХЦДЕОЙС.
2. уФТХЛФХТБ Й ЛМБУУЙЖЙЛБГЙС РТПУФПЗП УХЦДЕОЙС
рПМОБС УФТХЛФХТБ РТПУФПЗП УХЦДЕОЙС ЧЛМАЮБЕФ ЮЕФЩТЕ ЬМЕНЕОФБ:
УЧСЪЛБ (Ч СЪЩЛПЧПК ЖПТНЕ ЧЩТБЦБЕФУС УМПЧБНЙ «ЕУФШ/ОЕ ЕУФШ», «УХФШ/ОЕ УХФШ, «СЧМСЕФУС/ОЕ СЧМСЕФУС» Й Ф.Р., МЙВП ЧППВЭЕ ФПМШЛП РПДТБЪХНЕЧБЕФУС). пФТБЦБЕФ ОБМЙЮЙЕ /ПФУХФУФЧЙЕ ПРТЕДЕМЕООПК УЧСЪЙ УХВЯЕЛФБ Й РТЕДЙЛБФБ;
рТПУФЩЕ УХЦДЕОЙС РПДТБЪДЕМСАФУС РП ЛБЮЕУФЧХ ОБ: ХФЧЕТДЙФЕМШОЩЕ Й ПФТЙГБФЕМШОЩЕ, Б РП ЛПМЙЮЕУФЧХ ОБ:
рП ИБТБЛФЕТХ РТЕДЙЛБФБ ТБЪМЙЮБАФ УХЦДЕОЙС:
БФТЙВХФЙЧОЩЕ. бФТЙВХФЙЧОЩН ОБЪЩЧБЕФУС УХЦДЕОЙЕ П РТЙЪОБЛЕ РТЕДНЕФБ, ОБРТЙНЕТ: «мЙУФ ЪЕМЕОЩК»;
У ПФОПЫЕОЙЕН. тЕМСФЙЧОЩН ОБЪЩЧБЕФУС УХЦДЕОЙЕ ПВ ПФОПЫЕОЙЙ НЕЦДХ РТЕДНЕФБНЙ. оБРТЙНЕТ, «нПУЛЧБ ВПМШЫЕ лТБУОПСТУЛБ»;
УХЭЕУФЧПЧБОЙС. ч УХЦДЕОЙСИ УХЭЕУФЧПЧБОЙС ЧЩТБЦБЕФУС УБН ЖБЛФ УХЭЕУФЧПЧБОЙС ЙМЙ ОЕУХЭЕУФЧПЧБОЙС РТЕДНЕФБ УХЦДЕОЙС. оБРТЙНЕТ: «чЩУЫЕЕ ПВТБЪПЧБОЙЕ ЕУФШ».
тБУРТЕДЕМЕООПУФШ ФЕТНЙОПЧ Ч УХЦДЕОЙСИ
пВЯЕДЙОСС ЛПМЙЮЕУФЧЕООХА Й ЛБЮЕУФЧЕООХА ИБТБЛФЕТЙУФЙЛЙ, УХЦДЕОЙС ДЕМСФУС ОБ:
фЕТНЙО УЮЙФБЕФУС ТБУРТЕДЕМЕООЩН (ПВПЪОБЮБЕФУС»+»), ЕУМЙ ПО ЧЪСФ Ч РПМОПН ПВЯЕНЕ. фЕТНЙО УЮЙФБЕФУС ОЕТБУРТЕДЕМЕООЩН (ПВПЪОБЮБЕФУС»-«), ЕУМЙ ПО ЧЪСФ Ч ЮБУФЙ ПВЯЕНБ.
уХЦДЕОЙЕ б: пВЭЕХФЧЕТДЙФЕМШОПЕ
«чУЕ УФХДЕОФЩ ОБЫЕК ЗТХРРЩ УДБМЙ ЪБЮЕФ РП МПЗЙЛЕ»
уХЦДЕОЙЕ I: юБУФОПХФЧЕТДЙФЕМШОПЕ
«оЕЛПФПТЩЕ УФХДЕОФЩ УДБМЙ ЪБЮЕФ»
уХЦДЕОЙЕ е: пВЭЕПФТЙГБФЕМШОПЕ
«оЙ ПДЙО УФХДЕОФ ОЕ УДБМ ЪБЮЕФ»
уХЦДЕОЙЕ п: юБУФОППФТЙГБФЕМШОПЕ
«оЕЛПФПТЩЕ УФХДЕОФЩ ОЕ УДБМЙ ЪБЮЕФ»
3. пФОПЫЕОЙС НЕЦДХ РТПУФЩНЙ УХЦДЕОЙСНЙ. мПЗЙЮЕУЛЙК ЛЧБДТБФ.
оЕУТБЧОЙНЩНЙ УТЕДЙ РТПУФЩИ УХЦДЕОЙК СЧМСАФУС УХЦДЕОЙС, ЙНЕАЭЙЕ ТБЪМЙЮОЩЕ УХВЯЕЛФЩ ЙМЙ РТЕДЙЛБФЩ.
уТБЧОЙНЩНЙ СЧМСАФУС УХЦДЕОЙС У ПДЙОБЛПЧЩНЙ УХВЯЕЛФБНЙ Й РТЕДЙЛБФБНЙ.
дМС ЙММАУФТБГЙЙ ПФОПЫЕОЙК НЕЦДХ РТПУФЩНЙ УХЦДЕОЙСНЙ ЙУРПМШЪХЕФУС МПЗЙЮЕУЛЙК ЛЧБДТБФ:
I. пФОПЫЕОЙЕН РПДЮЙОЕОЙС УЧСЪБОЩ УХЦДЕОЙС б Й I, е Й п. пВЭЙЕ УХЦДЕОЙС (б Й е) СЧМСАФУС РПДЮЙОСАЭЙНЙ, Б ЮБУФОЩЕ (I, п) РПДЮЙОЕООЩНЙ. дМС УХЦДЕОЙК ОБИПДСЭЙИУС Ч ПФОПЫЕОЙЙ РПДЮЙОЕОЙС, ЙНЕЕФ ЪОБЮЕОЙЕ ХУМПЧЙЕ ЙУФЙООПУФЙ: еУМЙ ЙУФЙООП б(е), ФП ЙУФЙООП Й I(O), ОП ОЕ ОБПВПТПФ.
4. пРЕТБГЙЙ У РТПУФЩНЙ УХЦДЕОЙСНЙ (ОЕРПУТЕДУФЧЕООЩЕ ХНПЪБЛМАЮЕОЙС).
рТЙ РПНПЭЙ ПРЕТБГЙК ПВТБЭЕОЙС, РТЕЧТБЭЕОЙС Й РТПФЙЧПРПУФБЧМЕОЙС РПМХЮБАФУС ОПЧЩЕ УХЦДЕОЙС, ЬЛЧЙЧБМЕОФОЩЕ ЙУИПДОЩН.
уНЩУМ ПВТБЭЕОЙС ЛБЛ ПРЕТБГЙЙ ЪБЛМАЮБЕФУС Ч ФПН, ЮФП УХВЯЕЛФ Й РТЕДЙЛБФ УХЦДЕОЙС НЕОСАФУС НЕУФБНЙ (ПВТБЭБАФУС), ОЕ НЕОСС ЛБЮЕУФЧБ УХЦДЕОЙС.
еУМЙ ЛПМЙЮЕУФЧП РТЙ ЬФПН УПИТБОСЕФУС, ФП ЬФП УХЦДЕОЙЕ ВЕЪ ПЗТБОЙЮЕОЙС (РТПУФПЕ ЙМЙ ЮЙУФПЕ), ЕУМЙ ЛПМЙЮЕУФЧП ЙУИПДОПЗП УХЦДЕОЙС НЕОСЕФУС, ФП ЬФП УХЦДЕОЙЕ У ПЗТБОЙЮЕОЙЕН.
I. A→I
уХЦДЕОЙЕ б ПВТБЭБЕФУС Ч I У ПЗТБОЙЮЕОЙЕН (ПЗТБОЙЮЕОЙЕ УЧСЪБОП У ФЕН ЮФП РПОСФЙС S Й т ЧЪСФЩ Ч ТБЪОПН ПВЯЕНЕ, Ч ЬФПН МЕЗЛП ХВЕДЙФУС РТЙ РПНПЭЙ УИЕНЩ). чУЕ S ЕУФШ т
оЕЛПФПТЩЕ т ЕУФШ S
оБРТЙНЕТ: «еУМЙ ЧУЕ МАДЙ УНЕТФОЩ, ФП МЙЫШ ОЕЛПФПТЩЕ УНЕТФОЩЕ УХЭЕУФЧБ СЧМСАФУС МАДШНЙ» (еУМЙ ЧУЕ S ЕУФШ т, ФП ОЕЛПФПТЩЕ т ЕУФШ S). чПЪНПЦОП ПВТБЭЕОЙЕ б→б: еУМЙ ЧУЕ ЛЧБДТБФЩ(S) СЧМСАФУС ТБЧОПУФПТПООЙНЙ РТСНПХЗПМШОЙЛБНЙ, ФП ЧУЕ ТБЧОПУФПТПООЙЕ РТСНПХЗПМШОЙЛЙ(P) СЧМСАФУС ЛЧБДТБФБНЙ (S) (еУМЙ ЧУЕ S ЕУФШ т, ФП ЧУЕ т ЕУФШ S)
II. е→е
уХЦДЕОЙЕ е ПВТБЭБЕФУС Ч е ВЕЪ ПЗТБОЙЮЕОЙС
оБРТЙНЕТ: «еУМЙ ЧУЕ ФЕБФТЩ ОЕ СЧМСАФУС РПМЙЛМЙОЙЛБНЙ, ФП ЧУЕ РПМЙЛМЙОЙЛЙ ОЕ СЧМСАФУС ФЕБФТБНЙ». чУЕ S ОЕ-ЕУФШ т
чУЕ т ОЕ-ЕУФШ S
III. I→I
уХЦДЕОЙС I ПВТБЭБЕФУС Ч I ФБЛЦЕ ВЕЪ ПЗТБОЙЮЕОЙС.
оЕЛПФПТЩЕ S ЕУФШ т
оЕЛПФПТЩЕ т ЕУФШ S
оБРТЙНЕТ: еУМЙ ОЕЛПФПТЩЕ УФХДЕОФЩ СЧМСАФУС УРПТФУНЕОБНЙ, ФП ОЕЛПФПТЩЕ УРПТФУНЕОЩ СЧМСАФУС УФХДЕОФБНЙ
IV. п→?
уХЦДЕОЙЕ п ОЕ ПВТБЭБЕФУС
4. юБУФОППФТЙГБФЕМШОЩЕ УХЦДЕОЙС (п) РХФЕН РТПФЙЧПРПУФБЧМЕОЙС УХВЯЕЛФХ, Ч УЙМХ ОЕПРТЕДЕМЕООПУФЙ ЛЧБОФПТБ «ОЕЛПФПТЩЕ», ОЕ РПЪЧПМСАФ ХЛБЪБФШ ЕДЙОУФЧЕООПЕ УМЕДУФЧЙЕ ЙЪ ЙУИПДОПЗП УХЦДЕОЙС.
Урок 4. Суждения и высказывания. Введение в силлогистику
В прошлых уроках рассказывалось о том, как правильно работать с понятиями и определениями. Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика – это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно из главных её достоинств – возможность применения в повседневных ситуациях без особых усилий.
Содержание:
Суждения и высказывания
Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение – это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.
Суждение – это мысль об утверждении или отрицании наличия некоторой ситуации в мире.
В естественном языке суждения передаются с помощью повествовательных предложений, или высказываний. Примеры суждений, выраженных в высказываниях: «Пришла осень», «Катя не знает английского языка», «Я люблю читать», «Трава зелёная, а небо голубое». Одно и то же суждение может быть выражено с помощь разных высказываний, в частности: «Небо голубое» и «The sky is blue» – разные высказывания, но суждение они выражают одно и то же, так как они передают одну и ту же мысль. Точно также высказывания «Никто не покидал дома» и «Все оставались дома» разные, но они передают одно суждение.
Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “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 находятся в отношении противоречия или соподчинения: «Некоторые тракторы – это самолёты», «Некоторые ложные высказывания истинны».
Частноотрицательные высказывания типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих отношениях:
Это отношения: пересечения, дополнительности, включения, противоречия и соподчинения. Очевидно, что первые три отношения совпадают с тем, что было верно и для частноутвердительных высказываний. Все они как раз представляют случаи, когда некоторые S есть P, и в то же время некоторые S не есть P. Примеры подобных истинных высказываний: «Некоторые здоровые люди не употребляют алкоголь», «Некоторые наши работники из категории младше сорока ещё не достигли возраста и двадцати пяти», «Некоторые деревья не являются вечнозелёными».
По тем же причинам, по которым отношения равнообъёмности и обратного подчинения представляли собой условия истинности для частноутвердительных высказываний, отношения противоречия и соподчинения будут верны для частноотрицательных высказываний. Из высказывания, имеющего форму «Некоторые S не есть P» нельзя логично вывести высказывание «Некоторые S есть P». Однако из высказывания «Все S не есть P» можно перейти к высказыванию «Некоторые S не есть P», так как на основании информации, которой мы обладаем обо всех элементах объёмов терминов S и P, можно сделать вывод и об их отдельных представителях. Поэтому верными будут высказывания: «Некоторые журналы не являются книгами», «Некоторые глупцы не являются умными» и т.п.
Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».
Итак, мы выяснили, при каких условиях высказывания той или иной формы будут истинными и ложными. При этом стало понятно, что не всегда истинность и ложность высказываний с логической точки зрения совпадает с нашими интуитивными представлениями. Иногда одинаковые на первый взгляд высказывания оцениваются совершенно по-разному, так как за ними скрываются разные логические формы и, следовательно, разные отношения между входящими в них терминами. Эти условия истинности важно запомнить. Они пригодятся, когда в следующем уроке мы научимся складывать высказывания в цепочки рассуждений и будем пытаться найти такие формы умозаключений, которые будут всегда правильными.
Игра «Пересечение множеств»
В этом упражнении вам нужно внимательно прочитать текст задания и правильно расположить множества, соответствующие понятиям.
Напоминаем, что для полноценной работы сайта вам необходимо включить cookies, javascript и iframe. Если вы ввидите это сообщение в течение долгого времени, значит настройки вашего браузера не позволяют нашему порталу полноценно работать.
Упражнения
Прочитайте следующие категориальные атрибутивные высказывания. Определите, к какому типу они относятся. С помощью диаграмм покажите, истинны они или ложны.
Проверьте свои знания
Если вы хотите проверить свои знания по теме данного урока, можете пройти небольшой тест, состоящий из нескольких вопросов. В каждом вопросе правильным может быть только 1 вариант. После выбора вами одного из вариантов, система автоматически переходит к следующему вопросу. На получаемые вами баллы влияет правильность ваших ответов и затраченное на прохождение время. Обратите внимание, что вопросы каждый раз разные, а варианты перемешиваются.
Напоминаем, что для полноценной работы сайта вам необходимо включить cookies, javascript и iframe. Если вы ввидите это сообщение в течение долгого времени, значит настройки вашего браузера не позволяют нашему порталу полноценно работать.
Понятие суждение. Субъект, предикат суждения Виды суждений
Поможем написать любую работу на аналогичную тему
Пример. В суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.
Суждение – это форма мысли, содержащая описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности.
Важнейший отличительный признак суждения – утверждение или отрицание чего-либо о чем-либо. В понятии ничего не утверждается и не отрицается. В нем лишь выделяется сам предмет мысли (например: «день», «ночь», «солнечный день», «несолнечный день»). В суждении же акцентируется внимание на самом соотношении между какими-либо предметами мысли: «День солнечный» или «День не солнечный», «День прошел», «Ночь настала».
И в самых простых, и в достаточно сложных суждениях всегда утверждается или отрицается наличие тех или иных признаков у некоторых объектов. Поэтому в общем виде определение суждения можно сформулировать и следующим образом:
Суждение – это мысль, в которой утверждается или отрицается наличие связи между объектами и признаками.
Знаком, в виде которого выражается суждение, является повествовательное предложение. Смыслом этого знака должна быть связанная с ним мысль. Это и есть само суждение. Что касается значения предложения, то иногда в качестве него рассматривают ситуацию, которая имеет или не имеет места в действительности и которая описывается суждением. Однако чаще всего значением предложения принято считать истину или ложь.
В современной логике вместо термина «суждение» предпочитают употреблять термин «высказывание». В традиционной логике термином «суждение» обозначали именно некоторый смысл повествовательного предложения с учетом того, что он может быть общим для различных знаковых форм. Иначе говоря, одно и то же суждение может быть выражено в различных формах повествовательных предложений.
Пример. Можно утверждать, что «Всякий человек способен мыслить» и что «Все люди обладают способностью мышления», но в обоих случаях выражается одна и та же мысль (одно и то же суждение).
Виды суждений. При выделении видов суждений, прежде всего, различают простые и сложные. Простым называется такое суждение, ни одна логическая часть которого не является суждением.
Пример. «Математика – абстрактная наука».
Сложным является такое суждение, которое содержит в качестве своей правильной части, т.е. части, не совпадающей с целым, некоторое другое суждение.
Пример. «Если вы будете хорошо учиться, то обязательно получите диплом».
Виды простых суждений. Основными частями простых суждений являются один или несколько субъектов суждения (логических подлежащих) и предикат суждения (логическое сказуемое). Субъект и предикат суждения называются терминами этого суждения.
Субъект суждения – это термин, возможно, выражающий понятие и представляющий предмет, о котором нечто утверждается или отрицается. Субъект суждения принято обозначать буквой S.
Предикат суждения – часть суждения, выражающая то, что утверждается или отрицается о предметах, которые представляют субъекты. Предикат обозначается буквой Р.
Пример. В суждении «Солнце есть раскаленное небесное тело» субъект – «Солнце», предикат – «раскаленное небесное тело». В суждении «Земля вращается вокруг Солнца» два субъекта – «Земля» и «Солнце», предикат – отношение «вращается».
В зависимости от содержания предиката суждения, т.е. от того, что именно утверждается или отрицается о тех или иных предметах, различают атрибутивные, экзистенциальные и реляционные суждения.
Атрибутивными называются суждения, в которых утверждается или отрицается наличие некоторого свойства у предмета. Логическая форма атрибутивного суждения имеет вид: S (не) есть Р.
Пример. «Солнце (S) есть раскаленное небесное тело (Р)»; «Великобритания (S) является конституционной монархией (Р)»; «Некоторые лебеди (S) белые (Р)»; «Великий комбинатор (Р) этот Остап Бендер (S)»; «Нужда (S) заставит Богу молиться (Р)».
Экзистенциальными называются суждения, в которых утверждается или отрицается существование предмета.
Пример. «Змея-Горыныча (S) не существует в действительности (Р)»; «Природные аномалии (S) существуют (Р)»; «Нет безысходных ситуаций» («Безысходных ситуаций (S) не существует (Р)»).
Реляционные – это суждения, в которых утверждается или отрицается отношение между некоторыми предметами.
Пример. «Земля вращается вокруг Солнца»; «Петр – брат Ивана»; «Москва расположена между Петербургом и Екатеринбургом».
В атрибутивных суждениях, как и в суждениях существования, имеется всегда лишь один субъект. В суждениях об отношении – более чем один.
Виды атрибутивных суждений. По качеству атрибутивные суждения делятся на утвердительные и отрицательные.
Утвердительными являются суждения, говорящие о принадлежности предиката субъекту суждения. Отрицательные – это суждения, говорящие об отсутствии данного предиката у субъекта.
При определении вида суждения по качеству надо обращать внимание на качество связки «есть» («не есть»). Суждение «Это нехороший человек» –утвердительное, так как в нем говорится о принадлежности субъекту («человек») предиката «нехороший». Суждение «Он никогда не был хорошим другом» – отрицательное, так как в нем говорится об отсутствии у субъекта («он») предиката «хороший друг». В этом суждении логическая связка «есть» («был») стоит с отрицанием «не».
По количеству атрибутивные суждения делятся на единичные, частные и общие. Количество суждения – это его характеристика, определяющая, в каком объеме рассматривается субъект суждения.
Пример. «Этот человек имеет преступные наклонности».
В частных суждениях предикат высказывается о некоторых элементах объема субъекта.
Пример. «Некоторые люди имеют преступные наклонности».
В общих суждениях предикат высказывается обо всем объеме субъекта.
Пример. «Все люди имеют преступные наклонности».
Значение слова «некоторые» в естественном языке и в логике несколько различно. В естественном языке оно используется в значениях «только некоторые, но не все» и «некоторые, а может быть, и все». В логике – только в значении «некоторые, а может быть, и все».