Умозаключение, суждение

      Р Е З Ю М Е I П О Н Я Т И Е 1 Отношения между понятиями 1 Определение понятий 3 Деление понятий 4 Классификация 4 Ограничение и обобщение 4 II С У Ж Д Е Н И Е 4 Сложное суждение и его виды 5 Отношения между суждениями по значимости истинности 5 Деление суждений на модальности 6 III У М О З А К Л Ю Ч Е Н И Е 7 Дедуктивное умозаключение 7 Понятие правила вывода 8 Выводы из категорических суждений по средствам их преобразования 8 Индуктивное умозаключение 9 Индуктивные методы установления причинных связей 10 О С Н О В Н А Я Ч А С Т Ь В В Е Д Е Н И Е 11 Д О К А З А Т Е Л Ь С Т В О И О П Р О В Е Р Ж Е Н И Е 12 Понятие доказательства и его структура 12 Прямое и косвенное доказательство 13 Виды косвенных доказательств 14 Опровержение 15 Ошибки в доказательстве 16 Софизмы 18 З А К Л Ю Ч Е Н И Е 19 С П И С О К Л И Т Е Р А Т У Р Ы I ПОНЯТИЕ Это форма мышления, в которой отражаются существенные признаки одноэлементного класса или класса однородных предметов.

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

Анализ - мысленное расчленение предметов на их составные части, мысленное выделение в них признаков.

Синтез - мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа.

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

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

Объем одного понятия может входить в объем другого понятия и составлять при этом лишь его часть. При этом содержание первого понятия оказывается шире, богаче, чем содержание второго. На основе обобщения такого рода примеров можно сформулировать следующий закон: чем шире объем понятия, тем уже его содержание, и наоборот. ОТНОШЕНИЕ МЕЖДУ ПОНЯТИЯМИ Предметы мира находятся друг с другом во взаимосвязи и взаимообусловленности. Поэтому и понятия, отражающие эти предметы, также находятся в определенных отношениях.

Далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми (поэма и колодец, невоспитанность и радуга), остальные понятия называются сравнимыми. Сравнимые понятия делятся по объему на совместимые (объемы этих понятий совпадают полностью или частично) и несовместимые (их объемы не имеют общих элементов). ТИПЫ СОВМЕСТИМОСТИ: Равнозначными, или тождественными, называют понятия, которые, различаясь содержанием, имеют равные объемы.

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

Определение понятий

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

Ограничение и обобщение

II СУЖДЕНИЕ Суждение – форма мышления, в которой что-либо утверждается... Если то, о чем говорится в суждении, соответствует действительному пол... Предикатом атрибутивного суждения называется понятие о признаке предме... Связка может быть выражена одним словом (есть, суть, является), или гр... Перед субъектом суждения иногда стоит кванторное слово: все, или ни од...

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

Тождественно-истинной формулой называется формула, которая при любых комбинациях значений для входящих в нее переменных принимает значение истина. Тождественно-ложная формула – та, которая (соответственно) только значение ложь. Выполнимая формула может принимать значения как истина, так и ложь. Итак, конъюнкция (a b) истина тогда, когда оба простых суждения истинны. Строгая дизъюнкция (a b) истина тогда, когда только одно простое суждение истинно.

Нестрогая дизъюнкция (a b) истина тогда, когда хотя бы одно простое суждение истинно. Импликация (a b) истина во всех случаях, кроме одного: когда а – истинно, b – ложно. Эквиваленция (a b) истина тогда, когда оба суждения истинны или оба ложны. Отрицание (а) истины дает ложь, и наоборот. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.

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

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

Закономерности, выражающие отношения между суждениями по истинности, имеют большое познавательное значение, так как они помогают избежать ошибок при непосредственных умозаключениях, производимых из одной посылки (одного суждения). ДЕЛЕНИЕ СУЖДЕНИЙ ПО МОДАЛЬНОСТИ В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения.

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

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

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

Слова «необходимо», «возможно», «случайно» в обыденном языке употребляется в самых различных смыслах. III УМОЗАКЛЮЧЕНИЕ Умозаключение, как и понятия и суждение, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т.е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь (Все углероды горючи. Алмаз – углерод./ Алмаз горюч.). Структура всякого умозаключения включает посылки, заключение и логическую связь между посылками и заключением.

Логический переход от посылок к заключению называется выводом. Умозаключение – форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них. Умозаключение делится на такие виды: дедуктивные, индуктивные, по аналогии. Умозаключения могут быть логически необходимыми, т.е. давать истинное заключение, и вероятностными (правдоподобными), т.е. давать не истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок (при этом в качестве посылок могут быть и ложные суждения). ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В определении дедукции в логике выявляются два подхода: 1.В традиционной (не математической) логике дедукцией называют умозаключение от знания большей степени общности к новому знанию меньшей степени общности. 2.В современной математической логике дедукцией называется умозаключение, дающее достоверное (истинное) суждение.

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

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

Дедуктивные умозаключения – те умозаключения, у которых между посылками и заключением имеется отношение логического следования.

Понятие правила вывода

Правила прямого вывода позволяют из имеющихся истинных посылок получит... ВЫВОДЫ ИЗ КАТЕГОРИЧЕСКИХ СУЖДЕНИЙ ПОСРЕДСТВОМ ИХ ПРЕОБРАЗОВАНИЯ Непоср... Противопоставление предикату можно рассматривать как результат двух по... При втором подходе, присущем современной математической логике, индукц... 2.Убедиться, что признак принадлежит каждому элементу этого класса.

Индуктивные методы установления причинных связей

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

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

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

Доказательство - это правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон. Доказательство - это всегда в определенном смысле принуждение. Задача доказательства - исчерпывающе утвердить обоснованность тезиса. Раз в доказательстве идет речь о полном подтверждении, связь между аргументом и тезисом должна носить дедуктивный характер.

По своей форме доказательство -

Дедуктивное умозаключение

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

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

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

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

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

Прямое и косвенное доказательство

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

Виды косвенных доказательств

Имея дело с этим доказательством, мы все время вынуждены сосредотачива... Как только удается показать, что верным является отрицание тезиса, воп... Утверждение, являющееся по сути дела верным, может отстаиваться с помо... Опровержение может быть направлено на саму связь аргументов и тезиса. ... ОШИБКИ В ДОКАЗАТЕЛЬСТВЕ Логическая культура предполагает не только уме...

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

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

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

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

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

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

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

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

Отсюда “софист” в дурном значении - это человек, готовый с помощью любых, в том числе и недозволенных, приемов отстаивать свои убеждения, не считаясь с тем, верны они на самом деле или нет. Например: Одна и та же вещь не может иметь какое-то свойство и не иметь его.; Собственность предполагает самостоятельность, зависимость и ответственность. Заинтересованность - это, очевидно, не ответственность, а ответственность - не самостоятельность. Получается вопреки сказанному вначале, что собственность включает самостоятельность и несамостоятельность, ответственность и безответственность.; Компания, получившая когда-то кредит от банка, теперь ничего ему не должна, так как она стала иной: в ее правлении не осталось никого из тех, просил ссуду.

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

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

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

Знание законов и правил - одно из самых ценных наших знаний. Оно делает ум максимально точным и ювелирно тонким в своем анализе. И нельзя упускать возможности углубить это знание и усовершенствовать его практическое применение. 1.Гетманова А.Д. Логика. М 1998. 2.Ивин Логика. М 2002. 3.Ивлев Ю.В. Логика. М 1997. 4.Свинцов В.И. Логика. М 1987.