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

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

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

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

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

Предикат обозначается - P (от лат. слова «predicatum» - сказанное) (логическое сказуемое) – термин, обозначающий свойство, наличие которого утверждается или отрицается у этих предметов.

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

Связка – слово, которое утверждает или отрицает наличие некоторого свойства у субъекта. Связки делятся на утвердительные («есть, «является», «суть») и отрицательные («не есть», «не является», «не суть»).

Например, в суждении «Некоторые студенты являются стипендиатами», субъект – «студенты», предикат – «стипендиаты», связка – «являются» и квантор – «некоторые». Субъект и предикат называются терминами суждения.

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

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

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

Общеутвердительные суждения – это суждения, которые одновременно являются общими и утвердительными. Оно имеет вид: «Все S есть P». Например, «Все гуси умеют плавать». Общеутвердительное суждение обозначается латинской буквой A и записывается в виде SAP.

Общеотрицательные суждения – это суждения, которые являются одновременно и общими, и отрицательными. Они обозначаются латинской буквой E и записываются «Ни одно S не есть P» или вкратце SEP. Например, «Ни один воробей не умеет плавать».

Частноутвердительные суждения – это суждения, которые одновременно являются и частными, и утвердительными. Они имеют вид: «Некоторые S суть P». Они обозначаются латинской буквой I и записываются в виде SIP. Например, «Некоторые студенты являются отличниками учебы».

Частноотрицательные суждения – это суждения, которые являются одновременно частными и отрицательными. Они имеют вид: «Некоторые S не есть P». Обозначаются они латинской буквой O и записываются в виде SOP.Например, «Некоторые студенты не живут в общежитии».

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

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

Реляционные суждения – это суждения, в предикате которых выражаются определенные отношения между предметами. Например, в суждении «Город Вологда находится севернее города Калуги» утверждается, что отношение «находится севернее» имеет место между Вологдой и Калугой. В суждении «Александр старше Бориса, а Борис старше Владимира» утверждается, что отношение «старший» имеет место между Александром, Борисом и Владимиром.

Суждения об отношениях делятся по характеристикам качества и количества. По качеству они подразделяются на утвердительные и отрицательные. В утвердительных суждениях об отношениях говорится о том, что предметы находятся в определенном отношении, а в отрицательных - что они не находятся в определенном отношении. Например суждение, «Озеро Байкал больше Чудского озера» является утвердительным, а в суждение «Река Урал не глубже реки Енисей» является отрицательным.

По количеству суждения о двухместных отношениях делятся на: единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные и частно-общие. Например, «Челябинск западнее Новосибирска» (единично-единичное); «Каждая собака знает каждого жителя деревни» (обще-общее); «Некоторые студенты МГУ им. М.В. Ломоносова знают некоторых студентов РЭУ им. Г.В. Плеханова» (частно-частное); «Сидоров знает всех хоккеистов команды «ЦСКА» (единично-общее); «Абрамович богаче некоторых олигархов России» (единично-частное); «Все первокурсники изучают «Историю» (обще-единичное); «Некоторые студенты университета изучают «Культурологию» (частно-единичное); «Все аспиранты сдают кандидатский экзамен по «Истории и философии науки»(обще-частное); «Некоторые студенты-выпускники знают всех преподавателей университета»(частно-общее). Также аналогично деление по количеству суждений о трехместных, четырехместных и т.д. отношениях.

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

Упражнение.Определите субъект и предикат суждений, их вид.

1. Таганрог расположен южнее Воронежа.

2. Люблю грозу в начале мая.

3. Ранняя осень грачи улетели.

4. Любимая пора, очей очарованье.

5. Все студенты вузов изучают философию.