21. Суждение. Общая характеристика и структура суждения.

Познавая мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между самими предметами. Находить сходство и различие между предметами и приписывать им какие-либо признаки, значит судить, или рассуждать.

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

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

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

Первый элемент называется субъектом суждения. Субъект суждения выражает знание о предмете суждения, то есть то, о чём говорится в данном суждении. Сокращённо субъект суждения обозначается буквой S (от латинского слова Subjektum).

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

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

22. Состав суждения.

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

По составу субъекта и предиката суждения делятся на простые и сложные.

Состав простого суждения

Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.

- Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

- Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

- Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

- нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как  ;

- строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как  .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как   или  . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как   (у разных математиков по-разному, хотя математический знак тождества всё-таки  ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).