Понятие суждения. Типы простых суждений

Содержание

 

 

1. Введение

2. Понятие суждения. Типы простых суждений.

3. Разделительное и разделительно-категорическое умозаключение.

 

4. Закон исключенного третьего.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение

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

 

 

 

 

Понятие, признаки и характеристика суждения

 
Суждение есть такая форма мысли, в которой что-либо утверждается или отрицается о существовании  предметов и явлений, о связях между предметами и их свойствами или об отношениях между предметами. 
 
Наличие утверждения или отрицания служит отличительной характеристикой суждения как особой формы мысли. Именно благодаря этому суждение обладает еще одним важным признаком: оно может быть истинным или ложным. В этом заключается величайшая ценность суждений для познания: именно в суждении выражается та истина, которую мы ищем, на которую опираемся в своей деятельности и в своих рассуждениях. 
 
В языке суждения выражаются посредством повествовательных предложений. Вопросительные предложения не выражают суждений, ибо не содержат в себе ни утверждения, ни отрицания, характерных для суждений. Правда, вопрос опирается на суждение или, как говорят, неявно содержит в себе суждение. И если суждение, лежащее в его основе, истинно, вопрос оценивается как осмысленный, если же оно ложно, вопрос не имеет смысла. Восклицательные предложения, когда они выражают побуждение к действию или эмоциональное состояние, также не являются суждениями.  
 
Итак, только повествовательные предложения выражают суждения. Но и то не все. Когда-то считали, что любое правильно построенное повествовательное предложение выражает суждение. Однако в конце XIX – начале XX в. было обнаружено, что среди правильно построенных предложений могут встречаться бессмысленные предложения, т.е. такие, которые не выражают суждений. К сожалению, несмотря на усилия многих ученых, логика до сих пор не может ясно ответить на вопрос о том, когда некоторое предложение является осмысленным, а когда – бессмысленным. Здесь приходится полагаться на интуицию. Логика вырабатывает все более точные и тонкие критерии осмысленности предложений, но человеческий язык всегда будет выходить за пределы этих критериев.  
 
Следует отметить, что признаки суждения и признаки предложения (знакового комплекса) не совпадают и не тождественны друг другу. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Важно, учитывая различные элементы суждения и повествовательного предложения, выработать определенный навык перевода грамматических форм (предложений) в адекватные им логические, что не всегда просто. Грамматически повествовательные предложения значительно сложнее адекватных им логических структур. 
 
Логическое подлежащее — это понятие, отражающее предмет (явление, процесс), на который направлено внимание мыслящего, поэтому оно и называется предметом мысли. В терминологии логики, на ее языке этот элемент называется субъектом суждения и символически обозначается символом – заглавной латинской буквой «S» (от лат. Subjectum). 
 
Логическое сказуемое — это понятие, которое отражает присущий или не присущий предмету мысли признак. Логическое сказуемое терминологически называется предикатом суждения и символически обозначается заглавной буквой «Р» латинского алфавита (от лат. Praedicatum). 
 
Последний элемент суждения — связка. Она выражает отношение между субъектом и предикатом (между «S» и «Р»). Связка выразима в русском языке словами «есть»/«не есть», «суть»/«не суть», «является»/«не является», «имеется»/ «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Желательно выработать навык перевода таких грамматических выражений в адекватные им логические формы. Когда же мы имеем дело с простыми суждениями отношения или модальности, то роль связки могут выполнять другие слова: «большее», «меньше», «равно», «справа», «слева», «лучше», «хуже», «было», «будет» и пр.  
 
Используя символику, любое простое категорическое суждение можно записать в виде формулы «S—Р», где тире между субъектом суждения «S» и предикатом «Р» будет обозначать связку, логическую связь, отношение между ними. Для суждений отношения символическая запись их несколько иная, поскольку там не выделяется субъект и предикат. 
 
Кроме названных элементов в суждениях имеется еще и не всегда явно выразимый, как бы непостоянный, плавающий элемент, отражающий количественную характеристику субъекта суждения. Этот логический оператор называется "квантор" суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п. – квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др. – квантор существования. В некоторых случаях квантор лишь подразумевается. Поэтому, весьма важно уметь уточнять этот логический показатель. Символическое обозначение квантора общности (всеобщности) — V, квантора существования — I. 
 
В соответствии с количественным и качественным показателями составляющих суждение элементов, суждения подразделяются на несколько видов. По числу субъектов и предикатов суждения делятся на простые и сложные. Простые — те, в которых связь устанавливается между одним субъектом и одним предикатом. Например, «S—Р». Сложные — это такие суждения, в которых могут быть как несколько субъектов, так и несколько предикатов: несколько субъектов при одном предикате, несколько предикатов при одном субъекте, несколько и субъектов и предикатов. Правда, логически более приемлемо следующее определение сложного суждения — это такое суждение, в котором логическая связь устанавливается между несколькими простыми суждениями. Достоинство последнего определения состоит в том, что оно сразу же высвечивает главный и отличительный признак сложных суждений — новую логическую связь, называемую логическим союзом. 
 
Среди простых суждений по качественной характеристике связки-отношения можно выделить суждения действительности (ассерторические), необходимости (аподиктические) и возможности (проблематические). В целом всю эту группу суждений называют суждениями модальности. Модальность — это степень достоверности содержания того или иного простого суждения, что в логической форме выражается связкой и другими логическими операторами. 
 
Суждения действительности — те, которые адекватно или неадекватно, но все равно категорично отражают настоящее. 
 
Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р». 
 
Суждения возможности тоже отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью оператора «возможно», «вероятно» и пр.: «Возможно, что S есть Р». 
 
Особую группу составляют суждения существования (экзистенциальные суждения), утверждающие существование того или иного предмета (явления, процесса). Связка и предикат этих суждениях как бы сливаются (отождествляются или подразумеваются). Чисто внешне кажется, что они представляют собой неполное простое категорическое суждение, только его часть: «S есть», «S—». Наличие суждений существования позволяет выдвинуть положение о сокращенной записи простых суждений, восстановление которых дает полное суждение. 
 
Поскольку в любом суждении логические связи устанавливают отношения между крайними, составляющими эту структуру, элементами, постольку всякое суждение может считаться суждением отношения. В более строгом, узком значении слова в логике суждениями отношения называют те, в которых устанавливаются отношения причины и следствия, части и целого, пространственные, временные и другие, выразимые в языке словами (операторами): больше, меньше, старше, правее, выше, южнее и т.п.  Символически суждения отношения выражаются формулой "в R с", где символы в (предшествующий член отношения) и с (последующий) соответствуют отдельным понятиям, а символ R – отношению между ними. Читается формула: "в и с находятся в отношении R", или "в находится в отношении R к с".  
 
Свойства, зависимости и особенности этих отношений — предмет современной формальной (математической) логики, вооруженной специальными средствами исследования (математическими методами, исчислениями), помогающими рассмотреть многообразие зависимостей и связей, следствий этих отношений. Традиционная логика, не обладая такими средствами, необходимо сужает, по сравнению с современной, предмет своего исследования, ей не под силу детальное рассмотрение многообразных модальных отношений, тоже требующих для своего исследования сложного научного аппарата.  
 
Есть еще так называемые выделяющие простые категорические суждения, отражающие принадлежность (или нет) чего-то только данному предмету (группе их). 
 
В традиционной формальной логике основное внимание уделяется, как правило, рассмотрению простых категорических суждений, и лишь некоторых сложных, в большей степени, условных и разделительных, в меньшей – соединительных и эквивалентности. 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

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

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

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

Категорические  суждения бывают утвердительные и отрицательные, а также общие, частные и единичные.

Разделительно-категорическое умозаключение

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

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

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация  предъявительская (q)

Данная облигация не является именной (не-q)

Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило:большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

Утвердительный вывод  получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

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

Условно-разделительное умозаключение

Умозаключение, в котором  одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 ЗАКОН ИСКЛЮЧЁННОГО ТРЕТЬЕГО 

 

Формула закона исключённого третьего: из двух противоречащих мыслей одна является истинной,

а вторая ложной; третьего не дано (закону исключённого третьего подчиняются  только противоречащие мысли).

 

 

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

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

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

Если утверждение-тезис  противоречит фактам или истине (если чёрное выдают за белое), возникаетлогическая ошибка "ложный тезис".

Пример. "Экономика России за годы демократических реформ совершила  мощный рывок в развитии, доказав  фактами преимущество перед экономикой СССР".

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

А противоречивая теория –  чушь собачья.

Противоречия обычны для  пустомель.

Пример 1. (диалог)

-  Убеждений нет!

-  Это ваше убеждение?

-  Да.

Пример 2. (противоречивые утверждения Ельцина Б. Н.)

"1995 год мы начали лучше, чем в прошлом году. В половине отраслей промышленности отмечается рост производства" (18.03.1995. "Российская газета").

"О подъёме отечественного производства. Мы об этом в 1995 – 1996 годах и не  мечтали  (1997.Радиообращение).

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

ВНИМАНИЕ! Закон исключённого третьего работает при выполнении закона тождества (при наличии однозначного смысла в утверждениях).

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

Пример 1. "Дух – зеленый" или "Дух – не зеленый"? Какое из двух утверждений истинно?

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

 

Пример 2.

-  Он успел на поезд.

-  Он не успел на поезд.

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

Совместимые мысли не отрицают друг друга.

 

 

 

 

 

 

 

 

 

СПИСОК ЛИТЕРАТУРЫ:

 

1.Анисимов А.М. Современная  логика. – Москва. 2002 г.

2. Гетманова А.Д. Логика. – Москва: Добросвет, 2002 г.

3. Иванов А. Логика. Москва, 2002 г.

4.Ивлев Ю.В. Логика. Москва: Проспект, 2002 г.

5.Кириллов В.И. Старченко  А.А. Логика. – Москва: Юрист, 2002 г.