Суждение

Автор работы: Пользователь скрыл имя, 15 Ноября 2012 в 13:41, реферат

Краткое описание

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

Содержание

Введение 3
Общая характеристика суждения 4
Категорические суждения. 5
Отношения между суждениями. 7
Сложное суждение. 10
Таблицы истинности. 12
Логические связки. 13
Отношения между сложными суждениями. 16
Общая характеристика доказательства. 18
Превращение. 21
Обращение. 22
Противопоставление предикату. 24
Простой категорический силлогизм. 25
Законы математической логики. 27
Список использованной литературы 29

Вложенные файлы: 1 файл

Готовый суждение.doc

— 158.50 Кб (Скачать файл)

Содержание

 

 

Введение

 

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

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

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

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

 

Общая характеристика суждения.

 

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

Простым суждением является суждение, ни одна логическая часть которого не является суждением.
Сложным является суждение,  какая-либо логическая часть которого является суждением 

В состав суждения входит субъект  S и предикат Р

Квантор – это количественная характеристика суждения.

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

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

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

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

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

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

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

В суждениях выражается истинная или ложная мысль. Истинность суждения, как и понятия, определяется его соответствием объективной действительности. Истинные - это такие суждения, в которых связь понятии правильно отражает реальные свойства и отражения предмета мысли. Ложные - это такие суждения, в которых связь понятий искажает объективные свойства и отношения предмета мысли.

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

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

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

По количественному  показателю они делятся на единичные, частные и общие.

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

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

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

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

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

Между видами простых  категорических суждений устанавливаются  следующие отношения.

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

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

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

Отношения между суждениями.

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

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

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

1. Разнозначащие (эквивалентные) суждения выражают одну и ту же мысль: например, "для того, чтобы всегда говорить правду, требуется сила духа"; и "Правдивые люди - сильные духом; "Студент Петров А.И. сделал ошибку по логике" и "Причина ошибки по логике заключается в действиях студента Петрова А.И.". Это две пары разнозначащих суждений, каждое из которых имеет одно и то же смысловое содержание, но их логическое построение различно.

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

3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например: "Все промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран" и "Некоторые промышленно развитые страны на современном этапе развития применяют нетрадиционные методы овладения ресурсами развивающихся стран". В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего - подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости:

  • при истинности общего суждения частное всегда будет истинным;
  • при ложности частного суждения общее суждение также будет ложным;
  • при ложности общего суждения частное неопределенно;
  • при истинности подчиненного частного суждения общее неопределенно.

Отношения между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Такие суждения делятся на следующие виды: контрарные (противоположные); подконтрарные и противоречащие.

1. Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: "Все люди имеют врожденные пороки" и "Ни один человек не имеет врожденных пороков"; "Все люди обладают второй сигнальной системой" и "Ни один человек не обладает второй сигнальной системой". Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждений "Все студенты - учащиеся" сразу же дает ответ, что суждение "Ни один студент не является учащимся" - ложно.

При ложности же одного из противоположных  суждений, другое остается неопределенным. Оно может быть как истинным, так и ложным. Например, при ложности суждения "Все войны справедливы" ему противоположное "Ни одна война не является справедливой" тоже оказывается ложным.

2. Подконтрарными называются частные суждения, которые выражают противоположную мысль. Например: "Некоторые студенты являются отличниками" и "Некоторые студенты не являются отличниками"; "Некоторые люди справедливы" и "Некоторые люди несправедливы".

3. Противоречащими называются суждения, которые взаимно исключают друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным: например, "Ни одна кибернетическая машина не способна мыслить" и "Некоторые кибернетические машины способны мыслить"; "Все люди говорят на русском языке" и "Некоторые люди не говорят на русском языке".

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

Сложные суждения.

Сложное суждение – суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.

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

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

1) логическим значением простых  суждений, входящих в сложное;

2) характером логической связки, соединяющей простые суждения;

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

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

Сложное суждение, образованное из двух простых посредством логического  союза «если..., то…», называется условным (импликативным). Например, «Если хочешь иметь друзей, то не будь мстительным» (Таджикский поэт XI века Кабус).

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

Информация о работе Суждение