Суждение как форма мышления. 1. 2. Понятие о суждении. Состав простого суждения и его виды. Сложное суждение и его виды.
Суждение это форма мышления, представляющая собой утверждение или отрицание существования предметов и явлений, связей между предметами и их свойствами или об отношениях между предметами.
Признаки суждения n n n может быть истинным или ложным, выражается в языке с помощью повествовательных предложений риторических вопросов
В суждении выделяют: предмет, или субъект суждения (который обычно обозначают латинской буквой S) и предикат суждения (обозначается латинской буквой Р), а также связку, выражаемую словами "есть" (утвердительная связка) или "не есть" (отрицательная связка), или их синонимическими эквивалентами.
Простейшая форма суждения а) (S есть Р) - форма утвердительного суждения б) (S не есть Р) - форма отрицательного суждения. Различают суждения простые: "Иванов - студент", "Иванов любит музыку" и т. п. , и сложные суждения: "Иванов - студент и любит музыку".
Простое суждение содержит одно утверждение или одно отрицание. Истинность простых суждений устанавливается обращением к соответствующим предметам непосредственно
Сложное суждение состоит из двух или большего числа простых суждений, утверждений или отрицаний, соединенных особыми логическими союзами (пропозициональными связками), которые в языке выражаются словами "и" (конъюнкция), "или", "либо" (нестрогая и строгая дизъюнкция) и т. д.
Истинность сложных суждений зависит от истинности простых суждений и логических союзов (пропозициональных связок), которые в них используются.
Истинным суждением является такое суждение, которое соответствует действительности: "Москва столица России" - истинное суждение. "Киев - столица Белоруссии" - ложное суждение, т. к. действительности не соответствует.
Виды простых суждений n 1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «У розы приятный запах» , «Певец исполняет арию из оперы «Евгений Онегин» , «Всякий терьер — собака» . Схемы этого вида суждения: S есть Р или S не есть Р.
Виды простых суждений 2. Суждения с отношениями. В этих суждениях говорится об отношениях между предметами. Например, «Всякий протон тяжелее электрона» , «Эльбрус выше Монблана» , «Н. В. Гоголь родился позднее А. С. Грибоедова»
Формула, выражающая суждение с двухместным отношением, записывается как а. Rb или R (а, b), где а и b — имена предметов, a R — имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не о двух, а о трех, четырех или большем числе предметов. Например, «Бологое находится между Санкт-Петербургом и Москвой» . Такие суждения выражаются формулой R (a 1 , а 2 , а 3. . . , аn ).
Виды простых суждений Суждения существования (экзистенциальные). В них утверждается или отрицается существование предметов (материальных или идеальных) в действительности. «Существует атомный реактор в Чернобыле» , «Не существует беспричинных явлений» .
В традиционной логике все три указанных вида представляют простые категорические суждения. По качеству связки ( «есть» или «не есть» ) категорические суждения делятся на утвердительные и отрицательные. Суждения «Все страусы — птицы» утвердительное. Суждения «Некоторые дома не являются благоустроенными» , отрицательное.
Суждения делятся на: общие, частные и единичные, в зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, Например, «Все соболя — ценные пушные звери» и «Все здравомыслящие люди хотят долгой, счастливой и полезной жизни» (Поль С. Брэгг) — общие суждения; «Некоторые цветы — розы» — частное; «Везувий — действующий вулкан» — единичное.
Структура общего суждения: «Все S есть (не есть) Р» . Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.
Выделяющие суждения общие суждения в состав которых входит кванторное слово «только» , — «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующие: «Поль С. Брэгг пил только дистиллированную воду» ,
Исключающие суждения К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук. Среди общих суждений имеются, например: «Все студенты нашей группы, за исключением больных, пришли на семинар» .
Частные суждения n n Делятся на неопределенные и определенные. Имеют структуру: «Некоторые S есть (не есть) Р» . Неопределенное частное суждение. например, «Некоторые грибы — съедобны» В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.
Единичные суждения имеют структуру: «Это S есть (не есть) Р» . Примеры единичных суждений: «Эверест — высочайшая вершина мира» , «Третьяковская галерея в Москве — крупнейший в России музей, где собраны лучшие произведения отечественного искусства» .
n В каждом суждении имеется количественная и качественная характеристика. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие 4 типа суждений.
Типы суждений n А — общеутвердительное суждение. Структура его: «Все S есть Р» . Например, «Все люди — позвоночные» . Условные обозначения для утвердительных суждений взяты от слова affirmo — утверждаю (при этом берутся две первые гласные буквы: А — для обозначения общеутвердительного)
n I — частноутвердительное суждение. Структура его: «Некоторые S есть Р» . Например, «Некоторые элементарные частицы имеют положительный заряд» . (affirmo — утверждаю, вторая гласная: I — для обозначения частноутвердительного суждения).
n Е — общеотрицательное суждение. Его структура: «Ни одно S не есть Р» . Пример: «Ни один дельфин не является рыбой» .
n О — частноотрицательное суждение. Структура его: «Некоторые S не есть Р» . Например, «Некоторые люди не являются долгожителями» . Условные обозначения для отрицательных суждений взяты от слова nego — отрицаю.
Суждение А общеутвердительное. Структура: «Все S есть Р» . Если объем Р больше (шире) объема S, то Р не распределен.
Суждение I частноутвердительное. Структура: «Некоторые S есть Р» . Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.
Суждение Е общеотрицательное Структура: «Ни одно S не есть Р » .
Суждение О частноотрицательное. Структура: «Некоторые S не есть Р» .
Распределенность терминов n в категорических суждениях можно выразить в виде схемы где знаком (+) выражена распределенность термина, а знаком (-) его нераспределенность. В ней же дана объединенная информация о простых суждениях.
СЛОЖНОЕ СУЖДЕНИЕ И ЕГО ВИДЫ n Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ n Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
Несовместимые высказывания n В логике два высказывания р и q называются несовместимыми, если из истинности одного необходимо следует ложность другого (т. е. p и q никогда не могут оказаться одновременно истинными).
Совместимые высказывания n Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). ( «Юрий Гагарин — первый космонавт» и «Юрий Гагарин первым полетел в космос» ).
n Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.
n Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения.
Логический квадрат
n Умозаключение по логическому квадрату - это такой вид непосредственных умозаключений, который позволяет получать вывод, учитывая свойства отношений между категорическими суждениями А, Е, I, О.
С помощью логического квадрата n устанавливается следование истинности или ложности одного суждения из истинности или ложности другого суждения в соответствии с теми логическими законами, которые проявляют себя в соответствующих отношениях.
Пример суждений с помощью логического квадрата n пусть дана истинная посылка А: "Все войны есть продолжение политики насильственными средствами". Из нее следуют выводы:
Вывод 1 n 1) Е - "Ни одна война не является продолжением политики насильственными средствами" - ложный;
Вывод 2 n 2) I - "Некоторые войны являются продолжением политики насильственными средствами" - истинный;
Вывод 3 n 3) О - "Некоторые войны не являются продолжением политики насильственными средствами" - ложный.
Смысл умозаключений n по логическому квадрату состоит в том, что знание зависимости истинности или ложности одних суждений от истинности или ложности других помогает делать правильные выводы в процессе рассуждения.
Непосредственные умозаключения n представляют собой преобразование отдельно взятых суждений, учитывающие особенности их субъектнопредикатной формы. Они позволяют точнее, полнее, определеннее осмысливать особенности таких суждений.
Спасибо за внимание!