логика_лекции+задания / Суждение в логике

«Суждение» в логике 1. Суждение как форма мышления

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

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

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

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

Предложение представляет собой грамматическую форму суждения. Однако это вовсе не означает полного совпадения между суждением и предложением. Между ними

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

Предикат суждения - то, что говориться о субъекте суждения.

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

Состав суждения можно выразить формулой: «S есть P» или «S не есть Р»

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

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

2. Простые суждения, их виды и состав

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

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

Атрибутивное суждение - это суждение о признаке предмета. В нем либо утверждается, либо отрицается связь между предметом и его признаком. Например: Все короли - люди богатые; преступник - опасный человек. Схема такого суждения: S есть Р или S не есть Р.

Суждение с отношениями - это суждение, отражающее отношение между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные отношения. Например: А=В; С>D; этот угол меньше 90о; Анэль - кузина Доры; Алма-Ата южнее Москвы. Схема такого суждения А R B, где А и В - имена предметов, аRотношение между ними.

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

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

3. Деление суждений по количеству и качеству

Деление по количеству

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

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

произведение - ноктюрн Фридерика Шопена. Формула такого суждения: Это S есть (не есть) P.

. В частных суждениях что-либо утверждается или отрицается о части предметов класса. Такие суждения выражаются, как правило, предложениями, имеющими в своем составе слова: некоторые, многие, немногие, большинство и т.п. Например: большинство цветов имеют приятный запах; некоторые писатели являются классиками; многие люди хотят побывать в Европе. Формула такого суждения: некоторые S есть P.

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

. Утвердительные суждения выражают принадлежность предмету некоторого признака. Например: все права авторов защищены; все бриллианты драгоценны, некоторые дети капризны.

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

Особое место в классификации суждений занимают выделяющие и исключающие суждения:

. Суждения, отражающие факт принадлежности (непринадлежности) признака только данному предмету, называются выделяющими. Например: только Сергей

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

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

Общеутвердительное суждение (суждение группы А) – общее по объему субъекта и утвердительное по качеству связки. Формула таких суждений: все S суть Р. Например: каждый талантливый человек способен создать выдающееся произведение; все книги – творение человека;

все аксиомы самоочевидны. Общеотрицательные суждения (суждения группы Е) – общие по объему субъекта и отрицательные по качеству связки. Формула для таких суждений: ни один S не есть Р. Например: ни один слабый духом не способен совершить подвиг;

ни один из римских рабов не имел гражданских прав;

ни одна планета не является астероидом. Частноутвердительные суждения (суждения группы I) – частные по объему субъекта, утвердительные по качеству связки. Формула таких суждений: некоторые S суть Р. Например: некоторые свечи сделаны из воска;

часть народов мира принадлежит к негроидной расе; некоторые вещества хрупки. Частноотрицательные суждения (суждения группы О) – частные по объему субъекта и отрицательные по качеству связки. Формула

таких суждений: некоторые S не суть Р. Например: некоторые растения не употребляются в пищу; некоторые христиане не являются православными; некоторые соли не растворяются в воде.

На основе данной классификации формулируются правила распределенности терминов в суждениях.

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

Нераспределенным считается термин, если он мыслится только в части своего объема (речь идет о части класса предметов).

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

Например: некоторые рабочие – новаторы. В некоторых частноутвердительных суждениях объем субъекта шире объема предиката; например: некоторые писатели – герои России. Объем предиката здесь входит в объем субъекта, но объем субъекта только частично совпадает с объемом предиката.

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

4. Сложные суждения и его виды

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

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

. Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения, объединяемые связкой «или». Различают слабую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим, например, «Я подарю ей цветы или конфеты»; «Он будет цитировать Толстого или Чехова», и сильную дизъюнкцию, когда союз или имеет исключающе-разделяющий0 смысл, например, «Я полечу на Юг на самолете или поеду на поезде»; «Я куплю новую квартиру или перееду жить к своей сестре».

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

гостиницу, то сделка не состоялась». Аргумент, начинающийся со слова «если» - основание, а составляющая, начинающаяся со слова «то»- следствие.

строго дизъюнктивные AvB (либо, либо)

3.5. Логические отношения между суждениями.

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

Сравнимые суждения имеют в своем составе общий термин - субъект или предикат.

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

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

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

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

1.Из истинности общего суждения следует истинность частного суждения.

2.Если общее суждение ложно, частное суждение будет неопределенным.

3.Если частное суждение истинно, общее суждение будет неопределенным.

4.Ложность частного суждения обуславливает и ложность общего суждения.

Несовместимыми называются суждения, которые выражают противоположные или противоречащие мысли. Такие суждения делятся на следующие виды:

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

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

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

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

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

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

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

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

Отношения между суждениями иллюстрируют с помощью схемы, получившей название логического квадрата. Вершины квадрата обозначают вид суждения по объединенной классификации A, E, O, I. Стороны и диагонали символизируют логические отношения между суждениями. Верхняя сторона – отношение А и Е – противоположность (контрарность), нижняя сторона – отношение I и О – частичная совместимость (субконтрарность), две вертикальные стороны – отношения A и I, E и О – подчинение, диагонали – отношения А и О, Е и I – противоречие (контрадикторность).

6. Понятие модальности суждений.

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

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

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

Операторы таких суждений: предполагается, вызывает сомнение.

. Деонтическая модальность (самая строгая) включает суждения с выраженным в них побуждением к конкретному поведению в форме разрешения, запрета, долженствования, обязанности. Например: граждане нашей страны имеют право на отдых; запрещено посещать библиотеку без читательского билета; в нашей стране разрешено получать паспорт с 14-ти лет, а водительские права - с 18-ти. В таких суждениях часто присутствуют операторы запрещено, разрешено, имеет право, обязан, должен. . Аксиологическая модальность. В таких суждениях часто присутствуют операторы хорошо, плохо, превосходно. Например: хорошо, что завтра выходной; превосходно, что в наш офис установили еще один компьютер; плохо, что сегодня я задержался на работе до позднего вечера. . Временная модальность. В таких суждениях встречаются следующие операторы: всегда, никогда, одновременно, раньше, позже. Например: всегда можно найти выход из сложной ситуации; раньше я любил бродить по тихим улочкам и мечтать; никогда не вороши прошлое.

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

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

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

Операторы таких суждений: предполагается, вызывает сомнение.

. Деонтическая модальность (самая строгая) включает суждения с выраженным в них побуждением к конкретному поведению в форме разрешения, запрета, долженствования, обязанности. Например: граждане нашей страны имеют право на отдых; запрещено посещать библиотеку без читательского билета; в нашей стране разрешено получать паспорт с 14-ти лет, а водительские права - с 18-ти. В таких суждениях часто присутствуют операторы запрещено, разрешено, имеет право, обязан, должен. . Аксиологическая модальность. В таких суждениях часто присутствуют операторы хорошо, плохо, превосходно. Например: хорошо, что завтра выходной; превосходно, что в наш офис установили еще один компьютер; плохо, что сегодня я задержался на работе до позднего вечера. . Временная модальность. В таких суждениях встречаются следующие операторы: всегда, никогда, одновременно, раньше, позже. Например: всегда можно найти выход из сложной ситуации; раньше я любил бродить по тихим улочкам и мечтать; никогда не вороши прошлое.