Суждения в логике. Что это - суждение, виды суждений

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

Примеры суждений: «Волга впадает в Каспийское море», «А.С. Пушкин написал поэму «Медный всадник», «Уссурийский тигр занесен в Красную книгу», и т.д.

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

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

  1. Субъект (лат. subjektum – «лежащий в основе») – то, о чем говорится в данном суждении, его предмет («S»).
  2. Предикат (лат. praedicatum – «сказанный») – отражение признака предмета, то, что говорится о субъекте суждения («Р»).
  3. Связка – отношение, между субъектом («S») и предикатом («Р»). Определяет наличие/отсутствие у субъекта какого-либо свойства, выраженного в предикате. Может как подразумеваться, так и обозначается знаком «тире» либо словами «является» («не является»), «имеется», «есть», «суть» и др.
  4. Квантор (кванторное слово) определяет объем понятия, к которому относится субъект суждения. Стоит перед субъектом, но может также и отсутствовать в суждении. Обозначается такими словами, как «все», «многие», «некоторые», «ни один», «никто» и др.

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

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


Если утверждение, содержащееся в суждении, не соответствует действительности, мы имеем дело с ложным суждением: «Солнце вращается вокруг Земли», «Килограмм железа тяжелее, чем килограмм ваты» и др. Правильные суждения составляют основу правильных умозаключений.

Однако помимо двузначной логики, в которой суждение может быть либо истинным, либо ложным, существует также многомерная логика. Согласно ее условиям, суждение может быть еще и неопределенным. Особенно это касается будущих единичных суждений: «Завтра произойдет / не произойдет морское сражение» (Аристотель, «Об истолковании»). Если предположить, что это истинное суждение, то морское сражение завтра уже не может не произойти. Следовательно, необходимо, чтобы оно произошло. Либо наоборот: утверждая, что данное суждение в настоящий момент является ложным, мы тем самым делаем необходимой невозможность завтрашнего морского сражения.суждение это


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

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

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


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

Качество суждения

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

В отрицательном суждении, напротив, свойство от субъекта отнимается: «Теория 25-го кадра Джеймса Вайкери не имеет экспериментального подтверждения».

Количественная характеристика

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

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

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

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

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

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

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

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

Экзистенциальное суждение – это утверждение существования/несуществования предмета (как материального, так и идеального): «Нет пророка в своем отечестве», «Луна является спутником Земли».

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

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

Сложные суждения и виды логических связок

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

  • Конъюнкция (а ʌ b – соединительные суждения). Суждения-конъюнкты имеют связку «и»: «Осуществление прав и свобод человека и гражданина не должно нарушать права и свободы других лиц».
  • Дизъюнкция (a v b – разделительные суждения). В качестве составных элементов используются суждения-дизъюнкты, в качестве связки – союз «или». Например: «Истец вправе увеличить или уменьшить размер исковых требований».
  • Импликация (a → b – суждение-следствие). Если в структуре сложного суждения выделяется посылка и следствие, то можно утверждать, что такое суждение относится к импликативным. В качестве связки в данном виде используются такие союзы, как «если…то». Например: «Если через проводник пропустить электрический ток, то проводник нагреется», «Хочешь быть счастливым – будь им».
  • Эквиваленция (a ≡ b – тождественные суждения). Имеет место в том случае, когда значения a и b совпадают (либо оба истинны, либо оба ложны): «Человек создан для счастья, как птица для полета».качество суждения
  • Отрицание (¬a, ā – суждение-инверсия). Каждому исходному утверждению ставится в соответствие составное утверждение, отрицающее исходное. Осуществляется с помощью связки «не». Соответственно, если исходное утверждение выглядит так: «Бык реагирует на красный свет» (а) - то отрицание будет звучать как: «Бык НЕ реагирует на красный свет» (¬a).

Суждения. Формы суждений. Простые суждения
Суждение – это одна из основных форм мышления человека, которая является неотъемлемым элементом всякого познания. Особенно если данный процесс связан с размышлениями, выводами и построением доказательств. В логике суждение также определяют словом ...
далее
Умозаключение - это обоснованное суждение
Новые знания мы приобретаем в процессе познания действительности. Некоторые из них мы получаем в результате воздействия предметов окружающего нас мира на органы чувств. Но основную часть информации мы берем путем извлечения новых знаний из тех, что ...
далее
Фактический характер это... Узнаем как его определить?
Далеко не все люди знают, с чем сталкиваются в повседневной жизни. Многим студентам и школьникам нужно научиться отличать фактический и оценочный характер суждения. Какие различия между этими терминами существуют, можно понять, прочитав статью.
далее
Что это - предикат? Определение и понятие
Очень широко используется предикат как термин в языкознании, особенно в терминологических системах Западной Европы. В русском языке тоже известно, что такое предикат, только у нас этот термин заменяется "сказуемым", хотя это не совсем ...
далее
Что это - логика: определение и законы
Логика - многообразное понятие, которое часто фигурирует в человеческой речи. Сегодня мы с вами ответим на вопрос: "Что такое логика: определение, виды и законы ?", и узнаем из чего состоит человеческое мышление.
далее
Символическая логика: понятие, язык логики, традиционная и современная логика
Символическая логика - это упрощенный язык философской мысли, которая выражена математическими формулами и достоверными заключениями решений. Если логика в математике будет учитывать все истинные и ложные высказывания, то основания в поиске правдивости будут приведены как алгебраические теоремы.
далее
Символическая логика: понятие, язык логики, традиционная и современная логика
Примеры умозаключения. Что это - умозаключение? Непосредственные умозаключения
Что такое умозаключение? Это определённая форма мышления и единственно правильно сделанный вывод. Конкретика такова: в процессе познания становится понятно, что утверждения, подсказанные очевидностью, не все являются истиной, а лишь определённая их часть.
далее
Примеры умозаключения. Что это - умозаключение? Непосредственные умозаключения
Логика: предмет. Логика: понятие, значение, объект и предмет логики как науки
Предмет логика изучает мышление человека со стороны тех закономерностей, которыми пользуется человек в процессе познания истины. На самом деле, поскольку логика как наука очень многогранна, ее изучают при помощи нескольких методов. Давайте их рассмотрим.
далее
Логика: предмет. Логика: понятие, значение, объект и предмет логики как науки
Какие бывают нарушения мышления? Нарушение мышления: возможные причины, симптомы, классификация
Все люди разные в своих суждениях, у каждого свой анализ событий. Но где грань между индивидуальностью и патологией мышления? В этой статье кратко изложены основные нарушения мыслительного процесса, их причины и проявления.
далее
Какие бывают нарушения мышления? Нарушение мышления: возможные причины, симптомы, классификация