Суждение как форма логического мышления

Тема работы: Суждение как форма логического мышления

Оглавление

Введение

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

2. Типы суждений

3. Логический квадрат

4. Суждение и предложение

Заключение

Список использованной литературы

Введение

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

Суждение -- это мысль о предмете, в которой посредством утверждения или отрицания раскрывается его признак или отношение к другим предметам. Логическая функция суждения состоит в том, что, сопоставляя одно понятие с другим, мы судим о предметах реального мира. Посредством суждений мы охватываем предмет в различных его проявлениях. Например, высказывая суждения "Право есть надстройка"; "Право есть совокупность правил поведения"; "Право не существует без государства"; "Право есть средство проведения политики" и т. д., мы выявляем различные стороны права и его связь с другими явлениями.

О предметах можно судить верно и неверно; в суждениях выражается истинная или ложная мысль. Истинность суждения, как и понятия, определяется его соответствием объективной действительности.

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

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

суждение умозаключение истинность

В содержании суждения прежде всего имеются два важнейших компонента - субъект и предикат.

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

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

Последний элемент суждения -- связка - выражает отношение между субъектом и предикатом, между «S» и «Р». Связка выразима в русском языке словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», «имеется» - «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Так, вместо «Он есть добр» мы говорим «Он добр», вместо «Дуб есть дерево» -- «Дуб -- дерево» и т.п. Когда же мы имеем дело с простыми суждениями отношения или модальности, то роль связки могут выполнять другие слова: «большее», «меньше», «равно», «справа», «слева», «лучше», «хуже», «было», «будет» и пр.

Используя символику, любое простое категорическое суждение можно записать в виде формулы «S--Р», где тире между субъектом суждения «S» и предикатом «Р» будет обозначать связку, логическую связь, отношение между ними.

Кроме названных элементов в суждениях имеется еще и не всегда явно выразимый, как бы непостоянный, плавающий элемент, отражающий количественную характеристику субъекта суждения. Этот логический оператор называется "квантор" суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п. - квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др. - квантор существования. Например: «Все S суть Р», «Некоторые S не есть Р», «Часть S есть Р», «Большинство S не есть Р» и т.п. В некоторых случаях квантор лишь подразумевается, как в суждении «Студенты нашей группы любят спорт»: тут не ясно, все или некоторые студенты группы любят спорт, а данное обстоятельство может иметь существенное значение при дальнейшем использовании и анализе суждения. Поэтому, весьма важно уметь уточнять этот логический показатель. Символическое обозначение квантора общности (всеобщности) -- V, квантора существования -- I.

2. Типы суждений

В логике принято делить суждения с четырёх точек зрения: 1) количества, 2) качества, 3) отношениями 4) модальности.

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

Формула общего суждения:

Все S суть P

Формула частного суждения:

Некоторые S суть P

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

Качество суждения. С точки зрения качества суждения делятся на утвердительные и отрицательные. Формулы их таковы:

S есть Р.

S не есть Р.

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

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

Формулы этих суждений будут следующие: .

1. Обще-утвердительное суждение: «все S суть Р». Например, «все люди  боятся смерти».

2. Частно-утвердительное  суждение: «некоторые S суть Р». Например, «некоторые люди имеют чёрный  цвет кожи».

3. Обще-отрицательное суждение: «ни одно S не есть Р». Например, «ни один человек не всеведущ».

4. Частно-отрицательное суждение: «некоторые S не суть Р». Например, «некоторые люди не имеют чёрного  цвета кожи».

Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ А, первую гласную глагола affirm-утверждаю; для частно-утвердительного -- I, вторую гласную того же глагола; для обще-отрицательного -- Е, первую гласную глагола nego -- отрицаю; для частно-отрицательного -- О, вторую гласную того же глагола.

Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:

А Все S суть Р.

I Некоторые S суть Р.

Е Ни одно S не есть Р.

O Некоторые S не суть Р.

Отношение между подлежащим и сказуемым. Суждения различаются также по отношению, какое устанавливается между субъектом и предикатом. С этой точки зрения суждения разделяются на категорические, условные и разделительные. Если я говорю «все люди смертны», то здесь я беру отношение между субъектом и предикатом безусловно. Это будет категорическое суждение. Категорическое суждение есть такое, в котором сказуемое утверждается или отрицается относительно субъекта без какого-либо ограничения во времени, в пространстве или вообще в каких-либо обстоятельствах. Когда я ограничиваю отношение каким-либо условием, тогда получается условное суждение, а когда в суждении оставляется место неопределенности, тогда получается разделительное суждение.

Категорические суждения. Схема категорического суждения:

S есть Р.

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

Если А есть S, тo С есть D.

Пример условного суждения: «если дождь пойдёт, то почва будет мокрая». Здесь во втором суждении сказуемое может быть приписано подлежащему при условии допущения истинности первого суждения. Другой пример условного суждения: «если луна становится между солнцем и землёю, то солнце затмевается». Из этих примеров можно видеть, что условие, которое поставляется в одном из суждений, делает отношение между подлежащим и сказуемым другого суждения не категорическим, а условным. Первое суждение принято называть основанием, а второе -- следствием. В условных суждениях, таким образом, мы имеем два суждения, которые находятся друг к другу в отношении основания к следствию. Суждение, которое содержит условие, называется также предыдущим; суждение, которое содержит следствие, называется последующим.

Разделительные суждения. Разделительные суждения имеют, двоякий вид:

1) S есть или А, или В, или С.

2) Или А, или В, или С  есть Р

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

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

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

• «треугольники бывают или прямоугольные, или тупоугольные»;
• «человек бывает или образованный, или бедный».

Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:

Если А есть 8, то С есть или D, или Е, или F,

или в более общей форме эту схему можно изобразить так:

Если есть A, то есть или а, или b, или с,

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

Модальность суждений. Остаётся рассмотреть четвёртое отношение между суждениями, именно с точки зрения модальности. С этой точки зрения рассматривается, с какой квалификацией, т. е. каким образом в суждении сказуемое приписывается подлежащему. Таких квалификаций можно признать три, а отсюда получается деление суждений по модальности на три разряда:

1. Проблематические-«S, вероятно, есть Р». «Илиада есть, вероятно, продукт коллективного творчества». В проблематическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение.

2. Ассерторические - «S есть Р». «Киев стоит на Днепре», «вода состоит из водорода и кислорода».

3. Аподиктические - «S необходимо должно быть Р». Например, «две прямые линии не могут замыкать пространства».

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

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

3. Логический квадрат

Благодаря количественным и качественным характеристикам даже суждения с одними и теми же субъектами и предикатами могут различаться между собой. Их называют суждениями с одинаковой материей, потому что в них речь идет об одних и тех же предметах и об тех же самых их свойствах, только в утвердительных суждениях эти свойства приписываются, а в отрицательных - отрицаются, в частных говорится о некоторых из предметов, в то время как в общих речь идет обо всех. Суждения, в которых одно и то же подлежащее и сказуемое, но которые имеют разные качества или количества или и то и другое, будут противоположными друг другу. Например, суждения А и I, суждения Е и А противоположны друг другу.

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

Например, кто-нибудь утверждает, что все люди мудры, и я это отрицаю, то я в то же время сознаю, что я могу признать истинность суждения «некоторые люди мудры». Эти два суждения совместимы друг с другом.

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

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

Возьмём квадрат и проведём в нём диагонали. У вершин четырёх его углов поставим буквы А, Е, I, О, т. е. символы четырёх классов суждений. Возьмём какое-нибудь суждение и представим его в формах суждений всех четырёх классов: А - «все люди честны», Е - «ни один человек не честен», I - «некоторые люди честны», О - «некоторые люди не суть честны».

Между суждениями А и О, Е и I существует отношение, которое называется противоречием. Эти суждения отличаются и по количеству и по качеству.

Отношение между А и Е называется противностью. Эти общие суждения отличаются друг от друга по качеству.

Между А и I, Е и О есть отношения подчинения. Здесь суждения отличаются по количеству.

Между I и О - отношение подпротивности. Здесь два частных суждения отличаются по качеству.

Рассмотрим каждую пару этих суждений в отдельности.

Противоречие (А - О, Е - I). Я высказываю суждение А - «все люди искренни». Вы находите, что это суждение ложно. В таком случае вы должны признать истинным суждение О- «некоторые люди не искренни». Если вы не допустите истинности этого последнего суждения, то вы не можете признать ложности суждения А. Следовательно, при ложности суждения А, суждение О должно быть истинным.

Возьмём суждение О - «некоторые люди не суть смертны». Это суждение мы должны признать ложным, потому что мы признаём- истинным суждение А - «все люди смертны». Следовательно, при ложности О, суждение А - истинно.

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

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

Противность (А - Е). Если признать суждение А - «все металлы суть элементы» истинным, то никак нельзя допустить, что «ни один металл не есть элемент». Следовательно, если А истинно, то Е ложно. Если мы признаём суждение Е - «ни один человек не всеведущ» истинным, то мы, конечно, не будем иметь никакого права утверждать суждение А - «все люди всеведущи». Следовательно, если Е истинно, то А ложно. Таким образом, из истинности одного из противных суждений следует ложность другого.

Но следует ли из ложности А истинность Е или из ложности Е истинность А? Отнюдь нет. В этом мы можем убедиться из следующих примеров. Возьмём суждение А - «все бедняки порочны» - и признаем, что это суждение ложно. Можно ли в таком случае утверждать суждение Е - «ни один бедняк не порочен»? Конечно, нельзя, потому что в действительности может оказаться, что только некоторые бедняки не порочны, а некоторые - порочны. Если я выскажу суждение Е - «ни один алмаз не драгоценен» - и вы станете отрицать истинность этого cуждения, то сочтёте ли вы себя вправе утверждать, что «все алмазы драгоценны»? Конечно, нет. Отрицая моё утверждение, вы в свою очередь можете только утверждать, что «некоторые алмазы драгоценны», допуская в то же время, что «некоторые алмазы не драгоценны». Следовательно, при ложности одного из противных суждений нельзя признать истинность другого, потому что между ними всегда может быть нечто среднее.

Итак, в двух противных суждениях из истинности одного следует ложность другого, но из сложности одного не следует истинность другого; оба суждения не могут быть истинными (потому что если одно истинно, то другое ложно), но оба могут быть ложными (потому что при ложности одного ложным может быть другое).

Подчинение (А--I, Е--О). Если А истинно, то I тоже, истинно. Например, если суждение А -- «все алмазы драгоценны» -- истинно, то истинно суждение I -- «некоторые алмазы драгоценны». Если Е истинно, то О тоже истинно. Если «ни один человек не всеведущ», то, конечно, это предполагает, что «некоторые люди не всеведущи». От истинности общих суждений, следовательно, зависит истинность частных.

Но можно ли сказать, наоборот, что от истинности частных суждений зависит истинность общих суждений? Нельзя. В самом деле, если I истинно, то А может не быть истинно. Например, суждение I -- «некоторые люди мудры» -- истинно. Будет ли следствие этого истинным суждение А -- «все люди мудры»? нет. Если О истинно, то Е может быть не истинно. Если мы признаём истинным О -- «некоторые люди не искренни», то можем и мы вследствие этого признать истинным суждение Е -- «ни один человек не искренен»? Конечно, нет.

Ложность общего суждения оставляет неопределённой важность и истинность подчинённого частного. При отрицании истинности А мы не можем сказать, будет ли I истинным или ложным. При отрицании истинности Е мы не можем ни утверждать, ни отрицать истинности О. Если мы, например, отрицаем истинность А -- «все люди честны», то мы можем признавать тинным суждение I -- «некоторые люди честны». Если мы отрицаем суждение истинности Е -- «ни один человек не есть мудр», то мы можем признавать истинность О -- «некоторые люди не суть мудры».

Но ложность частного приводит к ложности общего. Если I ложно, то А ложно. Если нельзя сказать «некоторые люди всеведущи», потому что это ложно, то тем более нельзя сказать «все люди всеведущи». Если О ложно, то Е ложно. Если нельзя сказать «некоторые люди не суть смертны», то нельзя сказать и «один человек не есть смертен», потому что если чего-нибудь нельзя утверждать относительно части класса, то этого же тем более нельзя утверждать относительно всего класса.

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

Подпротивная противоположность (I--О). Если I истинно, то О может быть истинно. Если истинно суждение «некоторые люди мудры», то что сказать о суждении «некоторые (другие) люди не суть мудры»? Это суждение может быть истинным, потому что одни люди могут быть мудрыми, а другие -- немудрыми. Если О истинно, то I может быть истинно. Если мы скажем, что «некоторые люди не суть искренни», то мы в то же время можем предполагать, что «некоторые люди суть искренни»; одно суждение не исключает другого. Таким образом, суждения I и О могут быть в одно и то же время истинными.

Если I ложно, то О истинно. Если нельзя сказать «некоторые люди всеведущи», то это происходит оттого, что истинно противоречащее суждение Е -- «ни один человек не есть всеведущ», а если это суждение истинно, то истинно подчинённое суждение О -- «некоторые люди не суть всеведущи».

Если О ложно, то I истинно. Если ложно, что «некоторые люди не суть смертны», то это происходит от истинности противоречащего суждения «все люди смертны», а из истинности этого суждения следует истинность подчинённого суждения «некоторые люди смертны».

Следовательно, оба подпротивных суждения могут быть в одно и то же время истинными, но оба не могут быть ложными (потому что при ложности одного суждения другое является истинным).

Наибольшая противоположность. Мы рассмотрели пары суждений противных и противоречащих. Спрашивается: какие суждения представляют наибольшую противоположность? Нужно думать, что таковыми являются суждения А и Е; между этими суждениями возникает наибольшая противоположность, когда мы их сопоставляем друг с другом. Если кто-нибудь скажет, что «все книги содержат правду», и мы на это замечаем, что «ни одна книга не содержит правды», то противоположность между первым суждением и вторым чрезвычайно велика. Не так велика будет противоположность в том случае, если на утверждение «все книги содержат правду» мы скажем, что «некоторые книги не содержат правды». Из этих примеров видно, что противоположность между А и Е больше, чем между А и О, т. е. несогласие больше в первом случае, чем во втором. Таким образом, наибольшая противоположность содержится в суждениях противных. Эта противоположность называется диаметральной.

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

4. Суждение и предложение

Суждение есть известное умственное построение; будучи выражено в словах, оно называется предложением. Всякое суждение выразимо предложением, но не всякое предложение может выражать суждение. Любое предложение допустимо рассматривать как суждение, когда его можно оценить с точки зрения истинности. Не выражают суждений, т.е. не отражают ни истины, ни лжи, и не устанавливают логических отношений между несколькими понятиями, вопросительные, побудительные, назывные и безличные предложения. Так, не представляют собой суждений высказывания вроде: "Что есть истина?"; "Встать, суд идет!"; "Шапки долой, коли я говорю". Хотя они и являются формами мысли, но суждениями признаны быть не могут. Суждения при адекватном отражении предмета мысли и его свойства, или признака - истинны, при неадекватном отражении - ложны. Логика, отвлекаясь от конкретного содержания понятий, тем самым, не занимается обстоятельно и содержанием суждений, но общую качественную особенность содержания суждения она отмечает: суждения по содержанию могут быть либо истинными, либо ложными. Как форма мысли суждение - идеальное отражение чего бы то ни было, и как идеальное - оно нуждается в материальном (языковом, знаковом и пр.) выражении. Грамматической формой выражения суждения выступают повествовательные предложения.

Однако, признаки суждения и признаки предложения (знакового комплекса) не совпадают и не тождественны друг другу. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Грамматически повествовательные предложения значительно сложнее адекватных им логических структур. Например: "В белом плаще с кровавым подбоем, шаркающей кавалерийской походкой, ранним утром 14 числа весеннего месяца нисана в крытую колоннаду между двумя крыльями дворца Ирода Великого вышел пятый прокуратор Иудеи Понтий Пилат". Довольно сложное по словесной формулировке предложение. Логической же формой этого пространного предложения будет главное - Понтий Пилат вышел в крытую колоннаду.

У предложения, в отличие от суждения, структурных элементов бывает больше. Теоретически это означает, что некоторые оттенки смысла, выражаемые словами в естественных языках, выпадают из рассмотрения, когда на предложение смотрят как на суждение. Оно в этом случае теряет какую-то часть окраски, хотя утрату чаще всего трудно заметить. Лучше просто переформулировать предложение, чтобы отчетливее обозначить в нем структурные элементы суждения. Скажем, известное изречение "Повинную голову меч не сечет" может иногда характеризовать правосудие и тогда оно означает: "Карающий меч не (есть то, что) обращают на повинившегося человека" (S - карающий меч, P - то, что обращают на повинившегося человека). Но бывает, что эти слова прилагаются к раскаявшемуся преступнику и тогда в качестве суждения они должны звучать так: "Повинившийся человек не (есть такой, кого) карают мечем" S - повинившийся человек, P - те, кого карает меч).