Отношения между совместимыми понятиями по объему.
Объективные отношения между самими предметами находят свое отражение в отношениях между понятиями. Все многообразие этих отношений также можно классифицировать на основе содержания и объема понятий.
Сравнимые и несравнимые понятия. Сравнимыми называют понятия, в содержании которых имеется хотя бы один общий признак. Почти все понятия являются сравнимыми. В данном случае опровергается известная пословица «Нельзя сравнивать Божий дар с яичницей». С точки зрения логики, это также сравнимые понятия, так как о них, по крайней мере, можно сказать, что и то, и другое – предмет. Это и будет их общий признак. Несравнимыми называют понятия, в содержании которых нет ни одного общего признака. Некоторые авторы в качестве примера несравнимых понятий приводят понятия «предмет» и «свойство». Сравнимые понятия могут быть совместимыми или несовместимыми.
Совместимые и несовместимые понятия. Понятия называются совместимыми, если их объемы имеют хотя бы один общий элемент.
Несовместимые – это понятия, в объемах которых нет ни одного общего элемента. Обычно отношения между понятиями изображают с помощью так называемых кругов Эйлера (рис. 2, 3).
Виды совместимых понятий. Совместимые понятия могут быть равнозначными (тождественными), перекрещивающимися, а также подчиненным и подчиняющим.
Изучение отношений между понятиями имеет огромное значение для правильного употребления понятий в устной и письменной речи. И наоборот, незнание этих отношений способно повлечь за собой искаженное отражение действительности – отношений между самими вещами.
21. Суждение как форма мышления.
|
|
Суждение – это логическая форма, которая используется для инициализации мыслительного процесса. Само понятие – это еще не мышление. Оно начинается тогда, когда что-то отрицается или подтверждается, когда происходит сопоставление и описание свойств, форм предмета или явлений. Именно эту роль и выполняет суждение как форма мышления.
Суждения чаще всего приобретают форму повествовательных предложений. К примеру: «Земля вращается вокруг своей оси» - это мысль, выраженная в форме суждения. Суждение может быть правдивым или ложным. Каково оно и как определить степень правдивости, дело логики.
Простые и сложные суждения
Суждение, как логическая форма мышления может быть простым и сложным. Простое суждение состоит из одного субъекта и его характеристики, либо оно может заключаться в сравнении двух субъектов. Главная опознавательная черта простых суждений – это факт того, что будучи разделенными, слова простого суждения не имеют сами по себе свойств суждений. К примеру:
«Грасс меньше Гренобля» - это сравнение двух субъектов, при этом, разделите его на две части и вы не получите смысла.
Сложные суждения – это комбинации нескольких суждений:
· сложное + сложное суждение;
· сложное + простое;
· простое + простое.
Его части по отдельности имеют смысл, по крайней мере, смысловое значение должно быть у одного отрезка предложения. К примеру: «Если лето сухое, вероятность лесных пожаров повышается». В данном случае частица «вероятность лесных пожаров повышается» может выступать в качестве полноценного простого суждения.
|
|
Связки
Сложные суждения, как форма логического мышления содержат также и специфические грамматические связки, которые соединяют по два простых суждения. Это – «но», «и», «или», «если …, то», «и …, и ….» и т.д.
Различие суждения и других форм мышления
Суждения часто путают с понятием и умозаключением, которые являются родственными формами мышления. Простая характеристика поможет увидеть очевидную разницу.
Понятие – этот обобщающая форма мышления. Оно состоит из выражения единства систем, общих свойств, систем мыслей. Простой пример – это понятие «человек», которое одновременно говорит о человечестве в общем, о всех людях, а также дает понять отличие человека от всего остального мира.
Умозаключение – это вывод, естественный результат суждений. Этот процесс подразумевает наличие исходного суждения, из которого путем умственной деятельности человека рождается заключение – или новое суждение.
22. Суждения. Виды суждений.
Наряду с понятием к числу основных форм мышления относится суждение. Эта форма мышления является, по существу, обязательным элементом всякого познания, в особенности, связанного с процессами рассуждения, с осуществлением выводов и построением доказательств. В этой форме фиксируются результаты познания отдельных предметов, классов предметов, некоторых ситуаций вообще. В мысли этого типа содержится, с одной стороны, описание или хотя бы просто обозначение этих предметов, классов, ситуаций, а с другой - утверждение или отрицание наличия у них той или иной характеристики.
Пример. В суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.
|
|
Суждение – это форма мысли, содержащая описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности.
Важнейший отличительный признак суждения – утверждение или отрицание чего-либо о чем-либо. В понятии ничего не утверждается и не отрицается. В нем лишь выделяется сам предмет мысли (например: «день», «ночь», «солнечный день», «несолнечный день»). В суждении же акцентируется внимание на самом соотношении между какими-либо предметами мысли: «День солнечный» или «День не солнечный», «День прошел», «Ночь настала».
И в самых простых, и в достаточно сложных суждениях всегда утверждается или отрицается наличие тех или иных признаков у некоторых объектов. Поэтому в общем виде определение суждения можно сформулировать и следующим образом:
Суждение – это мысль, в которой утверждается или отрицается наличие связи между объектами и признаками.
Знаком, в виде которого выражается суждение, является повествовательное предложение. Смыслом этого знака должна быть связанная с ним мысль. Это и есть само суждение. Что касается значения предложения, то иногда в качестве него рассматривают ситуацию, которая имеет или не имеет места в действительности и которая описывается суждением. Однако чаще всего значением предложения принято считать истину или ложь.
В современной логике вместо термина «суждение» предпочитают употреблять термин «высказывание». В традиционной логике термином «суждение» обозначали именно некоторый смысл повествовательного предложения с учетом того, что он может быть общим для различных знаковых форм. Иначе говоря, одно и то же суждение может быть выражено в различных формах повествовательных предложений.
Виды суждений. При выделении видов суждений, прежде всего, различают простые и сложные. Простым называется такое суждение, ни одна логическая часть которого не является суждением.
Пример. «Математика – абстрактная наука».
Сложным является такое суждение, которое содержит в качестве своей правильной части, т.е. части, не совпадающей с целым, некоторое другое суждение.
Пример. «Если вы будете хорошо учиться, то обязательно получите диплом».
Виды простых суждений. Основными частями простых суждений являются один или несколько субъектов суждения (логических подлежащих) и предикат суждения (логическое сказуемое). Субъект и предикат суждения называются терминами этого суждения.
Субъект суждения – это термин, возможно, выражающий понятие и представляющий предмет, о котором нечто утверждается или отрицается. Субъект суждения принято обозначать буквой S.
Предикат суждения – часть суждения, выражающая то, что утверждается или отрицается о предметах, которые представляют субъекты. Предикат обозначается буквой Р.
Пример. В суждении «Солнце есть раскаленное небесное тело» субъект – «Солнце», предикат – «раскаленное небесное тело». В суждении «Земля вращается вокруг Солнца» два субъекта – «Земля» и «Солнце», предикат – отношение «вращается».
В зависимости от содержания предиката суждения, т.е. от того, что именно утверждается или отрицается о тех или иных предметах, различают атрибутивные, экзистенциальные и реляционные суждения.
Атрибутивными называются суждения, в которых утверждается или отрицается наличие некоторого свойства у предмета. Логическая форма атрибутивного суждения имеет вид: S (не) есть Р.
Пример. «Солнце (S) есть раскаленное небесное тело (Р)»; «Великобритания (S) является конституционной монархией (Р)»; «Некоторые лебеди (S) белые (Р)»; «Великий комбинатор (Р) этот Остап Бендер (S)»; «Нужда (S) заставит Богу молиться (Р)».
Экзистенциальными называются суждения, в которых утверждается или отрицается существование предмета.
Пример. «Змея-Горыныча (S) не существует в действительности (Р)»; «Природные аномалии (S) существуют (Р)»; «Нет безысходных ситуаций» («Безысходных ситуаций (S) не существует (Р)»).
Реляционные – это суждения, в которых утверждается или отрицается отношение между некоторыми предметами.
Пример. «Земля вращается вокруг Солнца»; «Петр – брат Ивана»; «Москва расположена между Петербургом и Екатеринбургом».
В атрибутивных суждениях, как и в суждениях существования, имеется всегда лишь один субъект. В суждениях об отношении – более чем один.
23. Простые суждения. Классификация простых суждений.
Простым называется суждение, выражающее связь двух понятий или выраженное одним понятием, когда второе подразумевается, лишь мыслится. Например, «Сидоров имеет высшее юридическое образование», «Ночь», «Моросит». Суждение, состоящее из нескольких простых суждений, называется сложным. Например, «Преступность и наказуемость деяния определяется уголовным законом, действовавшим во время совершения этого деяния». Это суждение состоит из двух простых: «Преступность деяния определяется уголовным законом, действовавшим во время совершения этого деяния» и «Наказуемость деяния определяется уголовным законом, действовавшим во время совершения этого деяния».
Простые суждения классифицируются по следующим основаниям.
1. По объему субъекта (по количеству):
Единичные - суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения. Их формула:
Это S есть (не есть) Р
Так, выражение «Московский гуманитарно-экономический институт готовит квалифицированных юрисконсультов» - единичное суждение, так как объем субъекта - «Московский гуманитарно-экономический институт» -включает конкретное высшее учебное заведение.
Частные - суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определенной и неопределенной. В зависимости от данного обстоятельства частные сужения подразделяются на определенные и неопределенные.
Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:
Только некоторые S есть (не есть) Р
Например, «Только некоторые правовые концепции базируются на философских принципах».
Логическая схема неопределенного суждения такова:
Некоторые S есть (не есть) Р
Квантор «некоторые» придает ему неопределенность. Например: «Некоторые проблемы юриспруденции носят философский характер».
Общие - суждения, в которых что-либо утверждается или отрицается о каждом предмете данного класса. Логические схемы таких суждений имеют вид:
Все S есть Р или Ни одно S не есть Р
Например, «Каждая страна имеет свой гимн» является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.
2. По качеству связки (по качеству) суждение может быть утвердительным или отрицательным.
Утвердительное суждение выражает принадлежность предмету некоторого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».
Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».
При этом следует различать отрицательное суждение, (например, «Захватническая война не имеет законного основания») и негативную форму выражения утвердительного суждения (например, «Захватническая война незаконна»). Такого вида суждения не всегда идентичны.
3. По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существования (экзистенциальное).
Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состояния. Например, «Прокурор - это человек, имеющий специальное юридическое образование».
Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. Например, «Благополучие государства зависит от законов» (Аристотель).
Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли. К таким суждениям относятся, например, «Нет преступления без указания о том в законе» или «Не существует абсолютной повторяемости явлений».
В классической логике различают также категорическое суждение, в котором утверждение или отрицание выражается без формулировки каких-либо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.
Таковы основные виды простых суждений. Любое суждение имеет количественную и качественную определенность. Поэтому в логике применяется объединенная классификация суждений по количеству и но качеству. В результате получаем четыре вида суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Рассмотрим их подробно.
Общеутвердительное суждение - общее по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы».
Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е». Например, «Ни один подложный документ не является доказательством».
Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики».
Частноотрицательное суждение — частное по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных являются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».
Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская прокуратура проводит расследование», так как имеется в виду весь объем субъекта.
С отношениями объемов терминов в суждении связана проблема их распределенности.
Распределенным термин считается тогда, когда он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема. Исследование распределенности терминов суждения — это не формальная логическая операция, а подтверждение правильной связи субъекта и предиката в суждении, то есть ее соответствия объективному отношению самих предметов.
24. Сложные суждения. Классификация сложных суждений.
Сложным называется суждение, в составе которого можно выделить хотя бы одно простое суждение. В зависимости от союза, с помощью которого простые суждения входят в состав сложного, выделяется, как правило, шесть видов сложных суждений. Конъюнктивное суждение или конъюнкция — это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком «/\». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы а /\ в (читается «а и в»), где а и в — это два каких-либо простых суждения. Например, сложное суждение «Сверкнула молния, и загремел гром» является конъюнктивным или конъюнкцией (соединением) двух простых суждений. 1)Сверкнула молния. 2)Загремел гром.
Конъюнкция может состоять не только из двух, но и из большего количества простых суждений. Например: «Сверкнула молния, и загремел гром, и пошел дождь» (а /\ в /\ с). Дизъюнктивное суждение или дизъюнкция — это сложное суждение с разделительным союзом «или». Этот союз может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Неудивительно поэтому, что дизъюнктивные суждения делятся на два вида. Нестрогая дизъюнкция — это сложное суждение с разделительным союзом «или» в его неисключающем (нестрогом) значении, который обозначается условным знаком \/. С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы а \/ в (читается «а или в»), где а и в — это два каких-либо простых суждения. Например, сложное суждение «Он изучает английский, или он изучает немецкий» является нестрогим дизъюнктивным или нестрогой дизъюнкцией (разделением) двух простых суждений. 1)Он изучает английский. 2)Он изучает немецкий.
Как видим, эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, в силу чего данная дизъюнкция является нестрогой. Строгая дизъюнкция — это сложное суждение с разделительным союзом «или» в его исключающем (строгом) значении, который обозначается условным знаком «\/». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы а \/ в (читается «или а, или в»), где а и в — это два каких-либо простых суждения. Например, сложное суждение «Он учится в 9 классе, или он учится в 11 классе» является строгим дизъюнктивным или строгой дизъюнкцией (разделением) двух простых суждений. 1) Он учится в 9 классе. 2)Он учится в 11 классе. Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9 и в 11 классе (если он учится в 9 классе, то обязательно не учится в 11 классе, и наоборот), в силу чего данная дизъюнкция является строгой. Как нестрогая, так и строгая дизъюнкция могут состоять не только из двух, но из большего числа простых суждений. Например: «Он изучает английский или он изучает немецкий, или он изучает французский» (а \/ в \/ с) или «Он учится в 9 классе или он учится в 10 классе, или он учится в 11 классе» (а \/ в \/ с). Импликативное суждение или импликация — это сложное суждение с условным союзом «если… то», который обозначается условным знаком →.
С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы а → в (читается «если а, то в»), где а и в — это два каких-либо простых суждения. Например, сложное суждение «Если вещество является металлом, то оно электропроводно» представляет собой импликативное суждение или импликацию (причинно-следственную связь) двух простых суждений. 1)Вещество является металлом. 2) Вещество электропроводно. Как видим, в данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество — металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом).
Первая часть импликации называется основанием, а вторая — следствием. Эквивалентное суждение или эквиваленция — это сложное суждение с союзом «если… то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентом). В данном случае этот союз обозначается условным знаком ↔, с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы а ↔ в (читается «если а, то в, и если в, то а»), где а и в — это два каких-либо простых суждения.
Например, сложное суждение «Если число является четным, то оно делится без остатка на 2» представляет собой эквивалентное суждение или эквиваленцию (равенство, тождество) двух простых суждений. 1) Число является четным. 2) Число делится без остатка на 2. Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго — первое: если число четное, то оно обязательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно четное. Понятно, что в эквиваленции, в отличие от импликации, не может быть ни основания, ни следствия, т.к. две ее части являются равнозначными суждениями. Отрицательное суждение или отрицание — это сложное суждение с союзом «неверно, что…», который обозначается условным знаком. С помощью этого знака отрицательное суждение можно представить в виде формулы а (читается «неверно, что а»), где а — это какое-либо простое суждение.
25. Отношения между простыми суждениями. Логический квадрат.
Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются суждения с одинаковыми субъектами и предикатами.
РисунокДля иллюстрации отношений между простыми суждениями используется логический квадрат:
Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).
I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.
II. Отношением противоречия связаны суждения Е и I, А и О. Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О - ложно
Если А - ложно, то О - истинно
Если О - истинно, то А - ложно
Если О - ложно, то А - истинно
Если Е - истинно, то I - ложно
Если Е - ложно, то I - истинно
Если I -истинно, то E - ложно
Если I - ложно, то E - истинно
III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).
IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны)
26. Отношения между сложными суждениями.
Сопоставление сложных суждений позволяет разделить их на группу независимых и группу зависимых суждений.
К независимым относятся суждения, которые не имеют общих составляющих; для них характерны все сочетания истинных значений. Зависимые - это суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание. Пример зависимых сложных суждений: "Норвегия или Швеция имеют выход к Балтийскому морю" и "Не верно, что Норвегия и Швеция имеют выход к Балтийскому морю". Хотя эти суждения различны по логической форме (первое из них - дизъюнктивное суждение, а второе - отрицание конъюнкции), вместе с тем они зависимы, поскольку включают одинаковые составляющие.
Сложные зависимые суждения могут быть совместимыми и несовместимыми.
Отношение совместимости.
К совместимым относятся суждения, которые одновременно могут быть истинными. Как и в случае простых суждений различают три вида совместимости сложных суждений: эквивалентность, частичная совместимость и подчинение.
Эквивалентными являются такие суждения, которые принимают одни и те же значения, т. е. одновременно являются либо истинными, либо ложными.
Отношение эквивалентности позволяет выражать одни сложные суждения через другие - конъюнкцию через дизъюнкцию или импликацию, и наоборот.
Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего, подчиненное всегда будет истинным.
Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного, составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна - противоположность, другая - противоречие.
Противоположность - отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
Противоречащими являются суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
Чтобы получить сложное суждение, противоречащее исходному, последнее нужно подвергнуть отрицанию.
Сопоставление суждений в дискуссиях. Отчетливое представление об отношениях, в которых могут находиться суждения, позволяет логически грамотно анализировать высказывания участников дискуссий. Встречаются ситуации, когда логический анализ показывает совместимость различных по структуре суждений. Нередко это случается с частными суждениями. Пропонент утверждает, что "Некоторые S есть Р"; оппонент настаивает, что "Некоторые S не есть Р". На поверку же выходит, что эти суждения не исключают друг друга, а являются частично совместимыми и оба могут оказаться истинными.
В спорах и дискуссиях могут смешиваться противоречащие и противоположные суждения; Например, обвинитель утверждает, что в рассматриваемом случае имело место убийство, которое совершено умышленно. Защитник не отрицает факта убийства, но считает, что оно было совершено без умысла. Каждый из них считает, что утверждения исключают друг друга как альтернативные. В действительности же оказывается, что эти высказывания находятся в отношении противоположности. Отсюда следует, что если будет показана в целом несостоятельность утверждения обвинителя, то это еще не означает правоту защитника. Точно так же опровержение утверждений защитника логически не обязывает принимать точку зрения обвинителя. Может оказаться, что оба утверждения ложны, и задача сведется к поиску нового объяснения фактам.
27. Правила построения таблицы истинности.
28. Умозаключение. Структура умозаключений.
Познавая окружающую действительность, мы приобретаем новые знания. Некоторые из них – непосредственно, при помощи чувств; другие же — опосредованно, на основании логического мышления, путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными. Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Логическая сущность умозаключения состоит в движении мысли от анализа имеющегося знания к синтезу нового знания. Это движение имеет объективный характер и определяется реальными связями действительности. Объективная связь, отраженная в сознании, обеспечивает логическую связь мыслей. Напротив, отсутствие объективных связей действительности приводит к логическим ошибкам.
Структура любого умозаключения включает 3 элемента [3, c.157]:
· посылки - исходное знание (суждение), из которого выводится новое суждение;
· обосновывающее знание, выражающееся в правилах или выводе умозаключения (логический переход от посылок к заключению);
· выводное знание, выражающееся в заключении или выводе (новое суждение, полученное логическим путем из посылок).
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг над другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. В соответствии с этим рассмотрим следующий пример умозаключения:
Все граждане России имеют право на образование – посылка
Новиков – гражданин России - посылка
Новиков имеет право на образование – заключение
При наличии содержательной связи между посылками можно получить в процессе рассуждения новое истинное знание при соблюдении двух условий.
Во-первых, должны быть истинными исходные суждения – посылки. Однако следует сказать, что иногда и ложные суждения могут дать истинное заключение. Так, в результате специального подбора ложных посылок в следующем рассуждении получим истинное заключение: Все слоны имеют крылья. Все птицы – слоны. Все птицы имеют крылья.
Это свидетельствует о том, что ориентация только на форму (структуру) посылок при игнорировании их объективно – истинных связей может создать видимость правильного умозаключения.
Во-вторых, в процессе рассуждения необходимо соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение. Например: Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница.
29. Умозаключение. Классификация умозаключений.
Умозаключение -- это способ получения нового знания на основе некоторого имеющегося.
Он представляет собой переход от некоторых высказываний, фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию и соответственно к знанию о наличии ситуации, которую описывает это высказывание. Например, в механике известно, что у всякого тела, плотность которого одинакова во всех его частях, геометрический центр и центр тяжести совпадают. Известно также (в результате астрономических наблюдений), что у Земли эти центры не совпадают. Отсюда естественно заключить, что плотность Земли не является одинаковой во всех ее частях. Едва ли нужно специально говорить о значении этой операции в познавательной и практической деятельности. Посредством умозаключений мы получаем приращение знаний, не обращаясь к исследованию предметов и явлений самой действительности, имеем возможность открывать такие связи и отношения действительности, которые невозможно усмотреть непосредственно.