Контрольная работа по "Логика "

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

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

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

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

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

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

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

Таким образом, выше было рассмотрено понятия как наиболее простейшая формы мысли, состоящей из объема и содержания.

Суждение. Определение суждений.

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

Представители номиналистической логики рассматривают логику как науку о языке. “Логика, - говорит английский номиналист Р. Уэтли, - имеет дело только с языком. Язык вообще, для какой бы цели он не служил, составляет предмет грамматики, язык же, насколько он служит средством для умозаключения, составляет предмет логики». Исходя из такого понимания предмета логики, номиналисты отождествляют суждение с предложением. Для них суждение – это сочетание слов или имен. “Предложение, - говорит номиналист Гоббс, - есть словесное выражение, состоящее из двух, связанных между собой связкой имен…». Таким образом, согласно номиналистам, то о чем мы, что–либо утверждаем (или отрицаем) в суждении, есть определенная связь этих слов. Такое истолкование природы суждения неправильно. Конечно, всякое суждение выражается в предложении. Однако предложение есть только языковая оболочка суждения, а не само суждение.

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

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

Классификация суждений.

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

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

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

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

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

Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности. Так, например, в таких простых суждениях, как: “существуют космические луга”, “Русалки не существуют в действительности” и т.п., мы непосредственно утверждаем (или отрицаем) существование предмета суждения в действительности. В прочих простых суждениях существование предмета суждения в действительности нам уже заведомо известно. Не только в суждениях существования, а и во всяком простом суждении содержится знание о существовании или не существовании этого суждения в действительности.

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

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

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

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

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

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

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

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

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

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

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

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

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

Отрицание суждений.

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

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

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

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

S есть Р S не есть Р

______________ ___________

S не есть не-Р S есть не Р

Общеутвердительное суждение «Все студенты есть учащиеся» превращается в общеотрицательное «Все студенты не есть не учащиеся», а общеотрицательное «Все растения не есть фауна» – в общеутвердительное «Все растения есть не-фауна». Частноутвердительное суждение «Часть студентов есть спортсмены» превращается в частноотрицательное «Часть студентов не есть не-спортсмены». Частноотрицательное суждение «Некоторые цветы есть домашние» превращается в частноутвердительное «Некоторые цветы не есть не-домашние»

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

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