Что такое предикат и субъект в логике

§ 2. Логическая структура суждения

§ 2. Логическая структура суждения

Суждение, как и понятие, являясь структурой мышления, имеет свою внутреннюю структуру, однако более сложную, чем понятие. Элементами логической структуры суж­дения являются: субъект, предикат, связка и квантор.

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

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

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

Читайте также

3.2. Логическая структура высказываний

3.2. Логическая структура высказываний Различие между высказываниями и предложениями проявляется в их структуре. Грамматическая структура повествовательных предложений состоит из подлежащего, сказуемого и второстепенных членов предложения. В логике суждения также

§ 3. Логическая структура понятия

§ 1. Сущность и логическая структура вопроса

§ 1. Сущность и логическая структура гипотезы

§ 1. Сущность и логическая структура гипотезы Познание любого явления действительности, как известно, начинают с собирания и накопления отдельных фактов, относящихся к этому явлению. Фактов, которыми располагают в начале познания, всегда недостаточно, чтобы полностью и

§ 2. Логическая структура доказательства

§ 2. Логическая структура доказательства Доказательство как особый логический способ обоснования истины имеет свое строение. Всякое доказательство включает: тезис, аргументы, демонстрацию. Каждый из этих элементов в логической структуре доказательства выполняет свои

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

2.2. Структура суждения Суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определенную структуру, в которой можно выделить четыре части.1. Субъект (обычно обозначается латинской буквой S) – это то, о чем идет

IV. ЛОГИЧЕСКАЯ СТРУКТУРА ДВУХ ОСНОВНЫХ ЗАКОНОВ МУЗЫКАЛbНОЙ ФОРМЫ

IV. ЛОГИЧЕСКАЯ СТРУКТУРА ДВУХ ОСНОВНЫХ ЗАКОНОВ МУЗЫКАЛbНОЙ ФОРМЫ 1Закон «золотого деления» как в искусстве вообще, так и в музыке может считаться вполне установленным и общепризнанным [160]. Не входя в конкретный анализ художественных произведений, построяемых по этому

Становление теоретического содержания и логическая структура «Манифеста Коммунистической партии»

Становление теоретического содержания и логическая структура «Манифеста Коммунистической партии» [490] За последние годы марксоведы и историки марксизма получили много новых данных относительно предыстории и истории создания Манифеста (находки и новые публикации

3. Система экономических категорий в связи с системой логических категорий. Логическая структура «Капитала»

3. Система экономических категорий в связи с системой логических категорий. Логическая структура «Капитала» Каждая отдельная наука оперирует своими специфическими категориями. Специфичность категорий каждой данной науки двояка: во-первых, все они отличаются друг от

§ 30. Логическая истинность

§ 30. Логическая истинность Суждение может иметь своим основанием другое суждение. Тогда его истинность логическая, или формальная. Имеет ли оно также и материальную истинность, остается нерешенным и зависит от того, обладает ли суждение, на которое оно опирается,

25. Простые суждения. Категорические суждения

25. Простые суждения. Категорические суждения Простые суждения бывают категорическими и ассерторическими. При этом простые ассерторические суждения в свою очередь могут быть атрибутивными (отражают свойства предмета) и экзистенциальными (связаны с представлением о

Структура презентации и структура материала

Структура презентации и структура материала Если экран телевизора представляет образ какого-либо предмета, например скелета, то собственно структуру предмета мы понимаем как «структуру материала». Если же обратиться к структуре презентации, то она совершенно иная —

§ 12. Суждения об отношениях. Суждения существования

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

Источник

Понятие суждение. Субъект, предикат суждения Виды суждений

Поможем написать любую работу на аналогичную тему

Пример. В суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.

Суждение – это форма мысли, содержащая описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности.

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

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

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

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

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

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

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

Пример. «Математика – абстрактная наука».

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

Пример. «Если вы будете хорошо учиться, то обязательно получите диплом».

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

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

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

Пример. В суждении «Солнце есть раскаленное небесное тело» субъект – «Солнце», предикат – «раскаленное небесное тело». В суждении «Земля вращается вокруг Солнца» два субъекта – «Земля» и «Солнце», предикат – отношение «вращается».

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

Атрибутивными называются суждения, в которых утверждается или отрицается наличие некоторого свойства у предмета. Логическая форма атрибутивного суждения имеет вид: S (не) есть Р.

Пример. «Солнце (S) есть раскаленное небесное тело (Р)»; «Великобритания (S) является конституционной монархией (Р)»; «Некоторые лебеди (S) белые (Р)»; «Великий комбинатор (Р) этот Остап Бендер (S)»; «Нужда (S) заставит Богу молиться (Р)».

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

Пример. «Змея-Горыныча (S) не существует в действительности (Р)»; «Природные аномалии (S) существуют (Р)»; «Нет безысходных ситуаций» («Безысходных ситуаций (S) не существует (Р)»).

Реляционные – это суждения, в которых утверждается или отрицается отношение между некоторыми предметами.

Пример. «Земля вращается вокруг Солнца»; «Петр – брат Ивана»; «Москва расположена между Петербургом и Екатеринбургом».

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

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

Утвердительными являются суждения, говорящие о принадлежности предиката субъекту суждения. Отрицательные – это суждения, говорящие об отсутствии данного предиката у субъекта.

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

По количеству атрибутивные суждения делятся на единичные, частные и общие. Количество суждения – это его характеристика, определяющая, в каком объеме рассматривается субъект суждения.

Пример. «Этот человек имеет преступные наклонности».

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

Пример. «Некоторые люди имеют преступные наклонности».

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

Пример. «Все люди имеют преступные наклонности».

Значение слова «некоторые» в естественном языке и в логике несколько различно. В естественном языке оно используется в значениях «только некоторые, но не все» и «некоторые, а может быть, и все». В логике – только в значении «некоторые, а может быть, и все».

Источник

9. Краткий курс классической логики. Суждение

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

Субъект и предикат суждения могут состоять в отношениях:
1.Равнозначности – когда объем субъекта равен объёму предиката. «Все квадраты – равносторонние прямоугольники».
2.Подчинения – когда объем субъекта входит в объем предиката или наоборот. «Все березы – это деревья». Объем понятия деревья больше понятия березы, так как береза только одно из разновидностей деревьев.
3.Пересечения – когда объемы субъекта и предиката пересекаются частично, к примеру, «Некоторые литераторы – это лауреаты нобелевской премии». Литераторы могут быть лауреатами нобелевской премии, но могут и не быть, так же как и лауреаты нобелевской премии могут быть литераторами, но могут ими и не быть. Объем этих понятий совпадает только в некоторых случаях, потому субъект и предикат находятся в отношении пересечения.
4.Несовместимости – когда объемы субъекта и предиката не имеют общих точек соприкосновения. «Звезды – это не планеты». Чаще субъект и предикат, входя в третье более общее понятия, в нашем случае – это небесные тела.

Важно заметить, что при обращении, суждения меняют свой тип, согласно ниже приведенных примеров:
Суждения типа А:
равнозначности – обращается в самое себя.
подчинения – обращается в суждения типа I.
Суждения типа I:
пересечения – обращается в самое себя.
подчинения – обращается в суждения типа I.
Суждения типа Е:
несовместимости – обращается в самое себя.
Суждения типа О:
пересечения – обращению не поддается.
подчинения – обращению не поддаётся.

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

В отличие от обращения превращение не зависит от характера отношения субъекта и предиката простого суждения:
Суждения типа А всегда превращается в суждения типа Е, и наоборот.
Суждения типа I всегда превращается в суждения типа О, и наоборот.

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

В итоге, из одного суждения, мы можем получить четыре:
1. Исходное суждение: «Все акулы являются рыбами».
2. Результат обращения: «Некоторые рыбы – это акулы».
3. Результат превращения: «Все акулы не являются не рыбами».
4. Результат противоставления предикату: «Все не рыбы не являются акулами».

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

Исходное суждение: «Идти назад – значит не идти вперед»
Обращения: «Иногда не идти вперед, значит идти назад».
Превращения: «Идти назад не означает, не идти вперед».
Противоставление предикату: «Иногда не идти вперед не означает, не идти назад».

Несовместимые суждения находятся в отношениях:
Противоположности (контарность) – суждения, в которых, так же как при отношении частичного совпадения, субъект и предикат совпадает, а связка отличается, но в этом случае суждения могут быть только общими: общеутвердительными (А) или общеотрицательными (О). «Все люди – лгут», «Все люди – не лгут». Важным признаком противоположных суждений является то, что они не могут быть одновременно истинные как несовместимые, но при этом могут быть одновременно ложными. Между этими суждениями всегда можно вставить третье, нейтральное утверждение. В нашем примере это «Некоторые люди лгут, а некоторые не лгут». Это суждение, будучи истинным, доказывает ложность двух первых.
Противоречия (контрадикторность) – это отношения между двумя суждениями в которых предикаты совпадают, связки отличаются, а субъекты находятся в родовом, видовом отношении, то есть отличаются объемами. «Все люди – являются разумными существами», Некоторые люди – не являются разумными существами». На отмену от противоположных суждений противоречивые, не могу быть одновременно ложными. Ложность одного непременно будет доказательством истинности другого, и наоборот.
Возможные отношения между простыми суждениями отображают посредством, так называемого логического квадрата:

Истинное значение суждения, связано с истинностью значений всех других сравнимых суждений. К примеру если суждения типа А: «Все акулы – являются рыбами» истинно, смотря на логический квадрат, можно определить, что суждения типа I: «Некоторые рыбы – являются акулами», тоже будет истинным. Суждения типа Е: «Все акулы – не являются рыбами», точно так же как и суждения типа О: «Некоторые акулы – не являются рыбами», будут ложными.

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

Источник

Урок 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. Если вы ввидите это сообщение в течение долгого времени, значит настройки вашего браузера не позволяют нашему порталу полноценно работать.

Источник