Суждение, Предложение ,Высказывание

    Отношения между суждениями В повседневной деятельности человек сталкивается с различными мнениями, суждениями, которые необходимо сравнивать и  определять их совместимость. Для верного  анализа высказываний надо иметь  четкое представление о тех отношениях, в которых могут находиться между  собой суждения. Основу отношений  между суждениями составляет их сходство по содержанию, выражаемое в таких  логических характеристиках, как смысл  и истинность суждений. В соответствии с этим логические отношения устанавливаются  не между любыми, а лишь между  сравнимыми суждениями, т.е. теми, которые  имеют общий смысл. Рассмотрим отношения  между простыми суждениями, а затем - между сложными. Сравнимыми среди  простых суждений являются суждения, имеющие одинаковые термины и  различающиеся по качеству или количеству. Несравнимыми среди простых суждений являются такие, которые имеют различные  субъекты или предикаты. Сравнимые  суждения делятся на совместимые  и несовместимые. Совместимыми являются суждения, которые одновременно могут  быть истинными. Различают три вида совместимости. 1. Разнозначащие (эквивалентные) суждения выражают одну и ту же мысль: например, "для того, чтобы всегда говорить правду, требуется сила духа"; и "Правдивые люди - сильные духом; "Студент Петров А.И. сделал ошибку по логике" и "Причина ошибки по логике заключается в действиях  студента Петрова А.И.". Это две  пары разнозначащих суждений, каждое из которых имеет одно и то же смысловое содержание, но их логическое построение различно. 2. Частичная совместимость (субконтрарность) характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно (в то же время) ложными. Например: "Некоторые  студенты хорошо знают культурологию" и "Некоторые студенты не знают  хорошо культурологию". 3. Отношения  подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении  логического подчинения. Например: "Все промышленно развитые страны на современном этапе развития применяют  нетрадиционные методы овладения ресурсами  развивающихся стран" и "Некоторые  промышленно развитые страны на современном  этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся  стран". В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего - подчиненное  всегда будет истинным. А в целом  для них характерны следующие  зависимости: · при истинности общего суждения частное всегда будет истинным; · при ложности частного суждения общее суждение также будет ложным; · при ложности общего суждения частное  неопределенно; · при истинности подчиненного частного суждения общее  неопределенно. · Кратко рассмотрим отношения между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Такие суждения делятся на следующие виды: контрарные (противоположные); подконтрарные и  противоречащие. 1. Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: "Все люди имеют врожденные пороки" и "Ни один человек не имеет  врожденных пороков"; "Все люди обладают второй сигнальной системой" и "Ни один человек не обладает второй сигнальной системой". Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждений "Все студенты - учащиеся" сразу же дает ответ, что суждение "Ни один студент не является учащимся" - ложно. При ложности же одного из противоположных  суждений, другое остается неопределенным. Оно может быть как истинным, так  и ложным. Например, при ложности суждения "Все войны справедливы" ему противоположное "Ни одна война  не является справедливой" тоже оказывается  ложным. 2. Подконтрарными называются частные  суждения, которые выражают противоположную  мысль. Например: "Некоторые студенты являются отличниками" и "Некоторые  студенты не являются отличниками"; "Некоторые люди справедливы" и "Некоторые люди несправедливы".  
3. Противоречащими называются суждения, которые взаимно исключают друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным: например, "Ни одна кибернетическая машина не способна мыслить" и "Некоторые кибернетические машины способны мыслить"; "Все люди говорят на русском языке" и "Некоторые люди не говорят на русском языке". Отношения между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации. Вершины квадрата обозначают вид суждения по объединенной классификации А,Е,0,I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие (контрадикторность). Перейдем к рассмотрению отношений между сложными суждениями. Сравнимые среди сложных - это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание: например, "Норвегия или Швеция являются членами НАТО" и "Неверно, что Норвегия и Швеция являются членами НАТО". Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение, второе - отрицание конъюнкции. Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями. Например, нельзя сравнивать следующие два суждения: "Слух обо мне пройдет по всей Руси великой, и назовет меня всяк сущий в ней язык, и гордый внук славян, и финн, и ныне дикой тунгус, и друг степей калмык" и "Чем дальше в лес, тем больше дров". Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями. Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности. Модальность суждений Рассматривая сущность и специфику простых и сложных видов суждений, важно иметь также представление об их модальности. Модальность суждения - это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений. Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической, зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность. Например, в суждении "Очевидно автор "Задонщины" был участником "Куликовской битвы" устанавливается связь между освещаемыми событиями XIV в. и непосредственными знаниями автора. Во-вторых, выделяют фактическую обусловленность или детерминированность. Так, в суждении "Париж расположен западнее Варшавы" устанавливается именно фактическая модальность. В данном случае не требуется каких-либо особенных доказательств. Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Утверждение "Я знаю, что знаю мало в области философии" показывает обоснованность понимания данной проблемы. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими. Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие -"имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан". Таким образом, раскрыв сущность, содержание и специфику суждений можно прийти к выводу о том, что мысли человека всегда формируются в суждениях, которые могут быть либо истинными, либо ложными. Суждение дает уже готовую мысль, фиксирует ее, но не развивает. Для развития мысли, получения нового знания о мире, требуется более сложная форма мышления; она называется умозаключением. 
 
 
 
 
 
 
 

    2.Предложение

    Предложение — это корректно сформированная формула Φ, которая не содержит свободных вхождений переменных (т.е. вхождений, не находящихся в области действия каких-либо кванторов в Φ). Грубо говоря, предложение не должно содержать "параметров", могущих повлиять на значение истинности предложения в подразумеваемой "семантической структуре": таким образом, в каждой такой структуре предложение имеет единственно возможное истинностное значение.

    Образования и развитие логического суждения невозможны без грамматической формы  предложения. Предложение по отношению  к суждению является своеобразной материальной оболочкой, а суждение составляет идеальную, смысловую сторону предложения. Результат становления, образования  суждения закрепляется в языке с  помощью предложения. Благодаря  предложению люди передают друг другу  те или иные суждения. Предложение  же, в свою очередь, тоже нуждаются  в законченности мысли, которая  обретается в форме суждения. Определенность, законченность мысли выступает  специфическим признаком предложения. Итак, суждение как логическая форма  мышления отлична от предложения, которая  является его языковой оболочкой.

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

    Во-вторых, одно и то же суждение можно выражать в различных грамматических формах, то есть с помощью различных предложений, например, на различных языках мира или по – разному выражая смысл  суждения на одном национальном языке. Например: одно и то же суждение можно  выразить по – разному, а именно – «Студент Иванов успешно перешёл  на 4 курс» или «Серди тех, то успешно  перешёл на 4 курс есть и студент  Иванов» и т.д.. Или в английском: «2 was told about my future work yesterday» или «Yesterday they informed me about my work in future», и т.д.

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

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

    3.Высказывание

    Логические  высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.

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

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

    Элементарные  логические высказывания — это высказывания не относящиеся к составным. Примеры: «Петров — врач», «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».

    Основные  операции над логическими  высказываниями:

    Отрицание логического высказывания — логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.

    Конъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны.

    Дизъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.

    Импликация двух логических высказываний A и B — логическое высказывание, ложное только тогда, когда B ложно, а A истинно.

    Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.

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

    Кванторное логическое высказывание с квантором существования ( ) — логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.

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

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

    Заключение

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

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

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