Определённые и неопределённые понятия

Введение

Логика – наука о формах и законах правильного мышления.

Эта наука появилась приблизительно в V в. до н. э. в Древней Греции. Её создателем считается знаменитый древнегреческий философ и учёный Аристотель. Логике 2,5 тысячи лет, однако она до сих пор сохраняет своё практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны исключительно как памятники старины, но некоторые из них пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относится геометрия Евклида (в школе мы изучаем именно её) и логика Аристотеля. В XIX в. появилась и стала быстро развиваться символическая (математическая, современная) логика, которая является разделом высшей математики. Однако наша книга посвящена исключительно аристотелевской логике.

Так зачем нам нужна логика, какую роль она играет в нашей жизни? Логика помогает нам правильно строить свои мысли и верно их выражать, убеждать других людей и лучше понимать собеседника, объяснять и отстаивать свою точку зрения, избегать ошибок в рассуждениях.

Каждый из нас хорошо знает, что по содержанию человеческое мышление бесконечно многообразно, ведь мыслить (думать) можно о чём угодно, например, об устройстве мира и происхождении жизни на Земле, о прошлом человечества и его будущем, о прочитанных книгах и просмотренных фильмах, о сегодняшних занятиях и завтрашнем отдыхе… Но самое главное заключается в том, что наши мысли возникают и строятся по одним и тем же законам, подчиняются одним и тем же принципам, укладываются в одни и те же схемы или формы. Причём если содержание нашего мышления чрезвычайно разнообразно, то форм, в которых выражается это разнообразие, совсем немного.

Приведём простой пример. Рассмотрим три совершенно различных по содержанию высказывания: «Все караси – это рыбы», «Все треугольники – это геометрические фигуры», «Все стулья – это предметы мебели». Несмотря на различное содержание, у этих высказываний есть нечто общее, что-то их объединяющее. Что? Их объединяет форма. Отличаясь по содержанию, они сходны по форме – каждое из трёх высказываний строится по форме: «Все A – это B», где A и B – какие-либо предметы. Понятно, что само высказывание: «Все A – это B», – лишено всякого содержания. Это высказывание представляет собой чистую форму, которую можно наполнить любым содержанием, например: «Все сосны – это деревья», «Все города – это населённые пункты», «Все школы – это учебные заведения», «Все тигры – это хищники».

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

Логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления; её интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она часто называется формальной логикой. Аристотелевскую (формальную) логику также часто называют традиционной.

Если по содержанию высказывание: «Все комары – это насекомые», – является нормальным, а высказывание: «Все Чебурашки – это инопланетяне», – абсурдным, то для логики эти два высказывания равноценны, так как она занимается формами мышления, а форма у этих высказываний одна и та же: «Все A – это B».

Форма мышления – это способ выражения мыслей, или схема их построения.

Существует всего три формы мышления:

1. Понятие – это форма мышления, которая обозначает какой-либо объект или признак объекта. Примеры понятий: карандаш, растение, небесное тело, химический элемент, мужество, глупость, нерадивость.

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

3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

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

Примеры умозаключений:

 

Все планеты движутся.

Юпитер – это планета.

Юпитер движется.

 

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – это металлы.

Все металлы электропроводны.

 

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

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

Основных законов мышления (или законов логики) четыре. Здесь они будут только перечислены: это законы: тождества; противоречия; исключённого третьего; достаточного основания. Подробно каждый из них будет рассмотрен после изучения форм мышления. Нарушение этих законов приводит к различным логическим ошибкам, как правило, к ложным выводам. Иногда законы логики нарушают непроизвольно, по незнанию, но иногда это делают преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль. Такие преднамеренные нарушения логических законов для внешне правильного доказательства ложных мыслей называются софизмами.

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

 

Движение вечно.

Хождение в школу – это движение.

Следовательно, хождение в школу вечно.

 

Ложный вывод получается из-за употребления слова «движение» в разных значениях: в первом суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом. Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

 

Все мои друзья знают английский язык.

Нынешний президент Америки тоже знает английский язык.

Следовательно, нынешний президент Америки – мой друг.

 

Понятно, что в этом рассуждении что-то не так. Но что именно? Тот, кто знаком с логикой, скажет, что в данном случае допущена ошибка, которая называется «нераспределённость среднего термина в простом силлогизме». Или такой пример:

 

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

Санкт-Петербург не лежит за полярным кругом.

Следовательно, в Санкт-Петербурге не бывает белых ночей.

 

Как видим, из двух истинных суждений вытекает ложный вывод. В этом рассуждении тоже есть ошибка. Вряд ли не знакомый с логикой человек сможет сразу же её найти. А тот, кто владеет логической культурой, немедленно установит эту ошибку. Она называется «расширение большего термина в простом силлогизме».

Итак, здравого смысла и жизненного опыта, как правило, достаточно для того, чтобы ориентироваться в различных затруднительных ситуациях. Но если к нашему здравому смыслу и жизненному опыту добавить ещё и логическую культуру, то мы от этого только выиграем. Конечно, логика никогда не решит всех проблем, но помочь в жизни она, несомненно, может. Давайте же познакомимся с основными положениями этой древней и в то же время всегда молодой науки.

 

Проверьте себя:

1. Что такое логика?

2. Что такое содержание и форма мышления? Почему логику часто называют формальной логикой?

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

4. Что такое законы логики? Какую роль они играют в нашем мышлении? Что такое софизмы?

5. Когда и где появилась логика? Кто считается её создателем? Какая ещё существует логика, кроме аристотелевской?

6. Как вы думаете, зачем нужна человеку логика? Какую роль она играет в нашей жизни? Можно ли, на ваш взгляд, без неё обойтись?

Глава 1
Понятие

Понятие как форма мышления

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

Понятие – это форма мышления, которая обозначает какой-либо объект или его свойство. Например, один объект мы называем горой, другой – небесным телом, третий – растением; одно свойство или признак мы называем мужеством, другой – хитростью. Любое понятие выражается в слове или словосочетании, например: дом, осенний лист, первый президент Америки. Каждое понятие имеет содержание и объём.

Содержание понятия – это наиболее важный признак (или признаки) того объекта, который обозначен (выражен) этим понятием.

Например, чтобы установить содержание понятия «человек» надо указать такой признак, который является наиболее важным для человека, который отличает его от всех других существ, объектов и предметов. Такой признак для человека – наличие разума. Следовательно, в содержание понятия «человек» входит только один важный признак – наличие разума. А в содержание понятия «мужчина» входит уже два важных признака: наличие разума (этот признак повторяется, потому что любой мужчина – это человек); принадлежность к определённому полу (к одной из половин человечества; слово «пол» происходит от слова «половина»). А если надо установить содержание понятия «русский мужчина», то следует указать три важных признака: наличие разума; принадлежность к определённому полу; принадлежность к определённой национальности. Таким образом, содержание понятия может включать в себя как один признак какого-либо объекта (или объектов), так и два или множество признаков, причём их число зависит от объекта, который обозначается данным понятием. Но почему в одном случае содержание понятия состоит из единственного признака, а в другом – из множества признаков? На этот вопрос ответить несложно, если знать, что такое объём понятия.

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

Давайте ещё раз вернёмся к содержанию и объёму понятия и вспомним приведённые выше примеры. Какое понятие – «человек» или «мужчина» – больше по содержанию? Конечно же, понятие «мужчина», потому что его содержание включает в себя два признака: наличие разума и принадлежность к определённому полу, а в содержание понятия «человек» входит только один признак: наличие разума. А теперь ответим на вопрос: какое понятие – «человек» или «мужчина» – больше по объёму? Понятие «человек» больше, потому что оно охватывает гораздо больше объектов, чем понятие «мужчина». Таким образом, между объёмом и содержанием понятия существует обратное отношение: чем больше содержание понятия, тем меньше его объём, и наоборот. Например, содержание понятия «небесное тело» является узким, так как включает в себя только один признак – находиться вне пределов Земли, однако по объёму это понятие очень широкое, потому что оно охватывает огромное количество объектов: любая звезда, планета, метеорит, комета – это небесное тело. А понятие «Солнце», наоборот, очень узкое по объёму, так как включает в себя только один объект, но очень широкое, богатое по содержанию, которое складывается из множества признаков: размер Солнца, его масса, плотность, химический состав, температура, возраст и т. д.

Все понятия по объёму и содержанию делятся на несколько видов. По объёму они бывают единичными (в объём понятия входит только один объект, например: Солнце, город Москва, первый президент России, писатель Лев Толстой), общими (в объём понятия входит много объектов, например: небесное тело, город, президент, писатель) и нулевыми (в объём понятия не входит ни одного объекта, например: Баба-яга, Кощей Бессмертный, Дед Мороз, вечный двигатель, марсианский житель, т. е. понятие существует, а объект, который оно обозначает, не существует). По объёму понятия также бывают собирательными (понятие обозначает объект, который состоит, собирается из какого-то ограниченного набора элементов, делится, распадается на какие-то составные части, например: 10 класс «А», рота солдат, музыкальный коллектив, волчья стая, созвездие) и несобирательными (понятие обозначает объект, который не состоит, не собирается из какого-то ограниченного набора элементов, не делится, не распадается на какие-то составные части, являясь чем-то единым, целым, например: человек, растение, звезда, океан, карандаш).

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

Рассмотренный выше материал можно представить в виде табл. 1.

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

 

Проверьте себя:

1. Что такое понятие?

2. Что такое содержание и объём понятия? Как они соотносятся?

Что представляет собой принцип обратного отношения между содержанием и объёмом понятия? Приведите примеры понятий, иллюстрирующие этот принцип.

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

4. Что такое логическая характеристика понятия? Как она составляется?

5. Дайте логическую характеристику следующим понятиям: Луна, растение, столица государства, музыкальный коллектив, знаменитый художник, кентавр, датский физик Нильс Бор, древний философ, Антарктида, Атлантида, сборная России, лист бумаги, молекула воды, преступное сообщество, уровень преступности, невежество, глупость, умный человек, драгоценный камень, пьяная компания, неправда, водород, геометрия, рота солдат, несправедливость, эксплуатация, воздух, философы милетской школы, знаменитое произведение искусства, тишина.

Операция деления понятия

Деление понятия – это логическая операция, которая раскрывает его объём.

Деление понятия состоит из трёх частей: делимое понятие, результаты деления, основание деления (признак, по которому производится деление). Например, в следующем делении: «Люди бывают мужчинами и женщинами», – или, что то же самое: «Люди делятся на мужчин и женщин», – делимым является понятие «люди», результаты деления – это понятия «мужчины» и «женщины», а основание данного деления – пол, т. к. люди в нём разделены по половому признаку. В зависимости от основания деление может быть различным. Например: «Люди бывают высокими, низкими и среднего роста (основание деления – рост)», «Люди бывают монголоидами, европеоидами и негроидами (основание деления – раса)», «Люди бывают учителями, врачами, инженерами и т. д. (основание деления – профессия)». Иногда понятие делится дихотомически (с греч. – пополам) по типу: «A и не A». Например: «Люди бывают спортсменами и не спортсменами». Дихотомическое деление всегда правильное, т. е. в нём автоматически исключаются все возможные в делении ошибки, о которых речь пойдёт ниже.

Мы хорошо знаем, зачем нам нужна операция определения понятия: знакомство с новым предметом начинается с его определения. Теперь ответим на вопрос, какую роль в мышлении и языке выполняет операция деления понятия. Изучая разные науки, вы заметили, что ни одна из них не обходится без различных классификаций: разделений каких-то областей действительности на группы, части, виды и т. п. (классификация растений в ботанике, животных – в зоологии, химических элементов – в химии и т. д.). Однако любая классификация – это не что иное, как логическая операция деления понятия. Классификации могут быть как обширными, подробными, научными, так и простыми, обыденными, повседневными. Когда мы говорим: «Люди делятся на мужчин и женщин» или «Учебные заведения бывают начальными, средними и высшими», – то создаём пусть маленькую и простую, но классификацию. Итак, логическая операция деления понятия лежит в основе любой классификации, без которой не обходится ни научное, ни повседневное мышление.

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

1. Деление должно проводиться по одному основанию, т. е. при делении понятия следует придерживаться только одного выбранного признака. Например, в делении: «Люди бывают мужчинами, женщинами и учителями», – используются два разных основания: пол и профессия, что недопустимо. Ошибка, возникающая при нарушении этого правила, называется подменой основания.

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

2. Деление должно быть полным, т. е. надо перечислить все возможные результаты деления: суммарный объём всех результатов деления должен быть равен объёму исходного делимого понятия.

Например, деление: «Учебные заведения бывают начальными и средними», – является неполным, т. к. не указан ещё один результат деления – «высшие учебные заведения». Но как быть, если надо перечислять не два или три, а десятки или сотни результатов деления.

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

3. Результаты деления не должны пересекаться, т. е. понятия, представляющие собой результаты деления, должны быть несовместимыми, их объёмы не должны иметь общих элементов (на схеме Эйлера круги, обозначающие результаты деления, не должны соприкасаться). Например, в делении: «Страны мира делятся на северные, южные, восточные и западные», допущена ошибка – пересечение результатов деления. На первый взгляд, приведённое деление кажется безошибочным: оно проведено по одному основанию (сторона света) и является полным (все стороны света перечислены). Чтобы увидеть ошибку, надо рассуждать так. Возьмём какую-нибудь страну, например Канаду, и ответим на вопрос, является ли она северной. Конечно, является, т. к. расположена в северном полушарии Земли. А является ли Канада западной страной?

Да, потому что она расположена в западном полушарии. Таким образом, получается, что Канада – одновременно и северная, и западная страна, т. е. она является общим элементом объёмов понятий «северные страны» (С) и «западные страны» (З), а значит, эти понятия пересекаются. То же самое можно сказать и относительно понятий «южные страны» (Ю) и «восточные страны» (В). На схеме Эйлера результаты деления из нашего примера будут располагаться так (рис. 15):

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

4. Деление должно быть последовательным, т. е. не допускающим пропусков и скачков. Рассмотрим следующее деление: «Леса бывают хвойными, лиственными, смешанными и сосновыми». Явно лишним здесь выглядит понятие «сосновые леса», в силу чего допущенная в делении ошибка напоминает подмену основания (см. первое правило). Однако основание в данном случае не менялось: деление было проведено по одному и тому же основанию – тип древесных листьев. Подмена основания присутствует в таком, например, делении: «Леса бывают хвойными, лиственными, смешанными, подмосковными и таёжными». Деление проведено по двум разным основаниям: тип древесных листьев и географическое местонахождение леса. Вернёмся к нашему первому примеру. Правильно было бы разделить леса на хвойные, лиственные и смешанные, а потом произвести второе деление – разделить хвойные леса на сосновые и еловые. Таким образом, надо было совершить два последовательных деления, а в приведённом примере второе деление пропущено, через него как бы перескочили, в результате чего два деления смешались в одно. Такая ошибка называется скачком в делении. Ещё раз отметим, что скачок в делении не следует путать с подменой основания. Например, в делении: «Учебные заведения бывают начальными, средними, высшими и университетами», – присутствует скачок, а в делении: «Учебные заведения бывают начальными, средними, высшими и коммерческими», – допущена подмена основания.

 

Проверьте себя:

1. Что такое деление понятия?

2. Какова структура деления? Что такое основание деления?

3. Какое деление называется дихотомическим? Попробуйте отметить достоинства и недостатки дихотомического деления.

4. Какую роль в научном и повседневном мышлении играет логическая операция деления понятия?

5. Каковы основные логические правила деления понятия? Какие ошибки возникают при их нарушении? Придумайте по три примера для каждой ошибки в делении понятия.

6. Почему дихотомическое деление понятия всегда безошибочно?

Каким образом оно исключает все возможные в делении ошибки?

7. Найдите ошибки в приведённых ниже примерах деления:

1) Транспорт бывает наземным, подземным, водным, воздушным, общественным и личным.

2) По темпераменту люди делятся на сангвиников, меланхоликов, флегматиков и холериков.

3) Геометрические фигуры делятся на плоские, объёмные, треугольники и квадраты.

4) Отбор в живой природе бывает искусственным или естественным.

5) Художественные романы бывают приключенческими, детективными, фантастическими, историческими, любовными и другими.

Суждение как форма мышления

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

Рассмотрим несколько важных свойств суждения, которые в то же время отличают его от понятия:

1. Любое суждение состоит из понятий, связанных между собой.

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

2. Любое суждение выражается в форме предложения (вспомним, понятие выражается словом или словосочетанием). Однако не всякое предложение может выражать суждение. Как известно, предложения бывают повествовательными, вопросительными и восклицательными. В вопросительных и восклицательных предложениях ничего не утверждается и не отрицается, поэтому они не могут выражать собой суждение. Повествовательное предложение, наоборот, всегда что-либо утверждает или отрицает, в силу чего суждение выражается в форме повествовательного предложения. Тем не менее есть такие вопросительные и восклицательные предложения, которые только по форме являются вопросами и восклицаниями, а по смыслу что-то утверждают или отрицают. Они называются риторическими. Например, известное высказывание: «И какой же русский не любит быстрой езды?» – представляет собой риторическое вопросительное предложение (риторический вопрос), т. к. в нём в форме вопроса утверждается, что всякий русский любит быструю езду.

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

3. Любое суждение является истинным или ложным. Если суждение соответствует действительности, оно истинное, а если не соответствует – ложное. Например, суждение: «Все розы – это цветы», – является истинным, а суждение: «Все мухи – это птицы», – ложным. Надо отметить, что понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие «школа» – истинное, а понятие «институт» – ложное, понятие «звезда» – истинное, а понятие «планета» – ложное и т. п. Но разве понятия «Змей Горыныч», «Кощей Бессмертный», «вечный двигатель» не ложные? Нет, эти понятия являются нулевыми (пустыми), но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает какой-либо объект, – и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, поэтому она применима только к суждениям, но не к понятиям. Поскольку любое суждение принимает одно из двух значений – истины или лжи – то аристотелевская логика также часто называется двузначной логикой.

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

Как видим, суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части:

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

2. Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении: «Все учебники являются книгами», – о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие «книги».

3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «это» и т. п.

4. Квантор – это указатель на объём субъекта. В роли квантора могут быть слова «все», «некоторые», «ни один» и т. п.

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

Например, если у суждения: «Все прямоугольники – это геометрические фигуры», – отбросить содержание и оставить форму, то получится: «Все S есть Р». Логическая форма суждения: «Некоторые животные не являются млекопитающими», – «Некоторые S не есть Р».

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

1. Равнозначность. В суждении: «Все квадраты – это равносторонние прямоугольники», – субъект «квадраты» и предикат «равносторонние прямоугольники» находятся в отношении равнозначности, потому что представляют собой равнозначные понятия (квадрат – это обязательно равносторонний прямоугольник, S = P а равносторонний прямоугольник – это обязательно квадрат) (рис. 18).

2. Пересечение. В суждении:

«Некоторые писатели – это американцы», – субъект «писатели» и предикат «американцы» находятся в отношении пересечения, т. к. являются пересекающимися понятиями (писатель может быть американцем и может им не быть, и американец может быть писателем, но также может им не быть) (рис. 19).

3. Подчинение. В суждении:

«Все тигры – это хищники», – субъект «тигры» и предикат «хищники» находятся в отношении подчинения, потому что представляют собой видовое и родовое понятия (тигр – это обязательно хищник, но хищник не обязательно тигр). Так же в суждении: «Некоторые хищники являются тиграми», – субъект «хищники» и предикат «тигры» находятся в отношении подчинения, будучи родовым и видовым понятиями. Итак, в случае подчинения между субъектом и предикатом суждения возможны два варианта отношений: объём субъекта полностью включается в объём предиката (рис. 20, a), или наоборот (рис. 20, б).

4. Несовместимость. В суждении: «Все планеты не являются звёздами», – субъект «планеты» и предикат «звёзды» находятся в отношении несовместимости, т. к. являются несовместимыми (соподчинёнными) понятиями (ни одна планета не может быть звездой, и ни одна звезда не может быть планетой) (рис. 21).

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

Как правило, все суждения подразделяют на три вида:

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

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

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

 

Проверьте себя:

1. Что такое суждение? Каковы его основные свойства и отличия от понятия?