Логика. Суждение. Значение изучения и знания формальной логики

Вариант 6

Вопрос 1. - Суждение, его специфические характеристики. Виды суждений

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

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

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

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

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

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

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

Простые суждения классифицируются:

1. По объему субъекта (по количеству) - единичные - суждения, включающие утверждение или отрицание об одном предмете. Формула такого суждения: Это S есть (не есть) P.

Так, суждение "Эрмитаж в Санкт-Петербурге - крупнейший музей России" - единичное суждение, так как объем субъекта включает конкретное учреждение культуры.

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

В неопределенных суждениях логическая схема такова: "Некоторые 8 есть Р". Слово "некоторые" придает им неопределенность. Например: "Некоторые проблемы политологии носят философский характер".

Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему: "Только некоторые S есть Р". Например: "Только некоторые проблемы языкознания носят философский характер".

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

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

Утвердительные суждения, выражающие принадлежность предмету некоторого признака: например, "Научная организация труда повышает эффективность деятельности инженера".

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

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

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

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

Суждения отношения выражают различные связи между предметами мысли по месту, времени, величине и прочее: например, суждение "Эверест выше Монблана" - определяется отношением (через сравнение) одной горы с другой; или "Л.Н. Толстой был современником И.С. Тургенева и А.М. Горького".

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

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

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

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

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

Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его структура: "Ни одно S не есть Р". Символом общеотрицательных суждений служит буква "Е". Например: "Ни один тигр не есть травоядное животное". Полная несовместимость субъекта и предиката характерна для всех общеотрицательных суждений, т.е. их объемы полностью исключают друг друга.

Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: "Некоторые S есть Р". Символом частноутвердительных суждений служит буква "I". Например: "Некоторые студенты - книголюбы"; "Некоторые техники - филателисты".

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

Частноотрицательное суждение - частное по объему и отрицательное по качеству связки. Его структура: "Некоторые S не есть Р", а символом служит буква "О". Например: "Некоторые европейские государства не являются франкоязычными"; "Некоторые студенты не являются спортсменами". Объемные отношения субъекта и предиката в этих суждениях напоминают аналогичные схемы в частноутвердительных суждениях с той лишь разницей, что в тех суждениях речь идет о совпадающей части объемов терминов, а в частноотрицательных - о несовпадающей части объема субъекта с объемом предиката (см. схему).

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".

Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".

Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.

Условные суждения (импликативные) - это такие суждения, которые образованы из двух посредством логических союзов: "если...то", "там...где", "постольку... поскольку". Например: мысль, высказанная таджикским поэтом XI в. Кабусом гласит: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.

Вопрос 2. - Значение изучения и знания формальной логики

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

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

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

Пример:

Все металлы электропроводны. Металл (М)

Серебро - металл.

Серебро электропроводно.

Серебро (S) Электропроводность (Р)

Логический смысл силлогизма - связь двух терминов через третий - отражает суть основной геометрической фигуры - треугольника. Следуя этой геометрической трактовке, суждение можно представить отрезком прямой, а термин - точкой. Средний термин М занимает центральное место. В силлогизме: он связывает, замыкает крайние термины: S и Р. Каждый из терминов простого силлогизма может выступать средним термином другого силлогизма. Таким образом, суждения связываются между собой, образуя цепи силлогизмов - рассуждения.

Структура силлогизма троична. Силлогизм состоит из трех терминов: средний термин - М, меньший термин (субъект заключения) - S, больший термин (предикат заключения) - Р.

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

Четыре фигуры простого силлогизма

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

Общие правила силлогизма

1. Силлогизм имеет только три термина.

2. Средний термин должен быть распределен, по крайней мере, в одной из посылок.

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

4. Из двух отрицательных посылок заключение не следует.

5. Из двух частных посылок заключение не следует.

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

7. Если одна из посылок - частная, заключение - частное.

Специальные правила силлогизма

Для I фигуры.

Меньшая посылка должна быть утвердительной.

Большая посылка должна быть общей.

Для II фигуры.

Одна из посылок должна быть отрицательной.

Большая посылка должна быть общей.

Для III фигуры.

Меньшая посылка должна быть утвердительной.

Заключение должно быть частным.

Для IVфигуры.

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

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

Дальнейший вклад в развитие Формальной логики внесли ранние стоики, в средние вв. - схоласты (Петр испанский, Дуно Скот, Окнам, Луллий я др.); в новое время - прежде всего Лейбниц. Отход от многовековой традиции изучения проблем дедуктивной Логики связан о исследованием индукции и попыткой сформулировать правила индуктивных умозаключения (Ф. Бэкон, позднее Мигель и др.).

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

Список использованных источников

1. Философия: Энциклопедический словарь / Под ред. А.А. Ивина. -- М.: Гардарики, 2004. -- 1072 с.

2. Гетманова А.Д. Учебник по логике. М., 2001.

3. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 2007.