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

А. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ В процессе рассуждения иногда за дедуктивные принимают умозаключения, которые таковыми не являются. Последние называют неправильными дедуктивными умозаключениями, а (собственно) дедуктивные - правильными.Выделение способов рассуждения,

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

§ 4. УМОЗАКЛЮЧЕНИЯ ПО АНАЛОГИИ Слово “аналогия” греческого происхождения. Его смысл может быть истолкован как “сходство объектов в каких-то признаках”.Умозаключением по аналогии называется рассуждение, в котором из сходства двух объектов в некоторых признаках

§ 2. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ Суждение, содержащее новое знание, может быть получено посредством преобразования суждения. Так как исходное (преобразуемое) суждение рассматривается как посылка, а суждение, полученное в результате преобразования, - как заключение,

3.8. Умозаключения с союзом «или» Обе посылки и вывод простого, или категорическом силлогизма являются простыми суждениями (А, I, Е, О). Если же одна из посылок силлогизма или обе его посылки представлены сложными суждениями (конъюнкция, нестрогая и строгая дизъюнкция,

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

Умозаключение - это непосредственный переход от одного или нескольких высказываний А 1 , А 2 , …, А n к высказыванию В. А 1 , А 2 , …, А n называют посылками. Посылка может быть одна, их может быть две, три, четыре, в принципе - сколько угодно. В посылках содержится известная нам информация. В - это заключение. В заключении находится уже новая информация, которую мы извлекли из посылок с помощью специальных процедур. Эта новая информация уже содержалась в посылках, но в скрытом виде. Так вот задача умозаключения сделать это скрытое явным. Кроме того, иногда посылки называют аргументами, а заключение - тезисом, а само умозаключение в этом случае называют обоснованием. Разница между умозаключением и обоснованием состоит в том, что в первом случае, мы не знаем, к какому заключению мы придём, а во втором - тезис нам уже известен, мы просто хотим установить его связь с посылками-аргументами.

В качестве иллюстрации умозаключения можно взять рассуждения Эркюля Пуаро из «Убийства в восточном экспрессе» Агаты Кристи:

Но я почувствовал, что он перестроился на ходу. Предположим, он хотел сказать: «А разве ее не сожгли?» Следовательно, Маккуин знал и о записке, и о том, что ее сожгли, или, говоря другими словами, он был убийцей или пособником убийцы.

Над чертой располагаются посылки, под чертой - заключение, а сама черта обозначает отношение логического следования.

Критерии истинности умозаключений

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

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

Змеи едят яйца.
Девочки едят яйца.
Значит, девочки - это змеи.

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

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

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

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

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

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

• Неверно, что все S есть P
• Неверно, что некоторые автомобили не имеют колёс. Поэтому неверно, что все автомобили не имеют колёс.
• Неверно, что все S не есть P
• Неверно, что некоторые вина не являются спиртными напитками. Таким образом, неверно, что все вина не являются спиртными напитками.

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

По закону контрарного противоречия будут истинными следующие виды умозаключений:

• Все S есть P
• Все яблоки - это фрукты. Следовательно, неверно, что ни одно яблоко не является фруктом.
• Ни один S не есть P
• Неверно, что все S есть P
• Ни один кит не умеет летать. Поэтому неверно, что все киты умеют летать.

Отношения субконтрарности (подпротивоположности) означают, что высказывания типа «Некоторые S есть P» и «Некоторые S не есть P» не могут быть одновременно ложными, хотя могут быть одновременно истинными. На этом основании может быть сформулирован закон субконтрарного исключённого третьего: Некоторые S не есть P или Некоторые S есть P.

• Согласно этому закону правильными будут следующие умозаключения:
• Неверно, что некоторые S есть P
• Некоторые S не есть P
• Неверно, что некоторые продукты полезны для здоровья. Поэтому некоторые продукты не полезны для здоровья.
• Неверно, что некоторые S не есть P
• Некоторые S есть P
• Неверно, что некоторые ученики из нашего класса не являются двоечниками. Таким образом, некоторые ученики из нашего класса являются двоечниками.

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

На этих законах строятся умозаключения следующих видов:

• Все S есть P
• Неверно, что некоторые S не есть P
• Все дети нуждаются в заботе. Следовательно, неверно, что некоторые дети не нуждаются в заботе.
• Некоторые S не есть P
• Неверно, что все S есть P
• Некоторые книги не являются скучными. Поэтому, неверно, что все книги являются скучными.
• Неверно, что все S есть P
• Некоторые S не есть P
• Неверно, что все сотрудники нашей фирмы усердно работают. Таким образом, некоторые сотрудники нашей фирмы не работают усердно.
• Неверно, что некоторые S не есть P
• Все S есть P
• Неверно, что некоторые зебры не имеют полосок на коже. Следовательно, все зебры имеют полоски на коже.
• Ни один S не есть P
• Неверно, что некоторые S есть P
• Ни одна картина в этом зале не относится к XX веку. Поэтому неверно, что некоторые картины в этом зале относятся к XX веку.
• Некоторые S есть P
• Неверно, что ни один S не есть P
• Некоторые студенты занимаются спортом. Таким образом, неверно, что ни один студент не занимается спортом.
• Неверно, что ни один S не есть P
• Некоторые S есть P
• Неверно, что ни один учёный не интересуется искусством. Следовательно, некоторые учёные интересуются искусством.
• Неверно, что некоторые S есть P
• Ни один S не есть P
• Неверно, что некоторые коты курят сигары. Таким образом, ни один кот не курит сигары.

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

Ещё одним видом однопосылочных умозаключений является обращение. Это такой тип умозаключений, при которых субъект посылки совпадает с предикатом заключения, а субъект заключения совпадает с предикатом посылки. Грубо говоря, в заключении S и P просто меняются местами.

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

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

Итак, существует два вида обращения: чистое и с ограничением. Чистое обращение происходит тогда, когда количественная характеристика не изменяется, то есть если в посылке было слово «все», то и в заключении тоже будет слова «все»/«ни один», если в посылке слово «некоторые», то и в заключении «некоторые. Соответственно, при обращении с ограничением количественная характеристика меняется: были «все», а стали «некоторые». Для высказываний типа «Ни один S не есть P» и «Некоторые S есть P» правильным будет следующее чистое обращение:

• Ни один S не есть P
• Ни один P не есть S
• Ни один человек не может выжить без воздуха. Следовательно, ни одно живое существо, способное выжить без воздуха, не является человеком.
• Некоторые S есть P
• Некоторые P есть S
• Некоторые змеи ядовиты. Поэтому, некоторые ядовитые существа - это змеи.
• Для высказываний типа «Все S есть P» и «Ни один S не есть P» верно обращение с ограничением:
• Все S есть P
• Некоторые P есть S
• Все пингвины - это птицы. Таким образом, некоторые птицы - это пингвины.
• Ни один S не есть P
• Некоторый P не есть S
• Ни один крокодил не ест зефир. Следовательно, некоторые существа, едящие зефир, не являются крокодилами.
• Высказывания типа «Некоторые S не есть P» вообще не обращаются.

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

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

Упражнение «Подберите ключ»

В этой игре вам нужно создать ключ правильной формы. Для этого установите засечки нужной длины (от 1 до 3, 0 – быть не может), а затем нажмите кнопку «Попробовать». Вам будут даны 2 суждения, сколько засечек выбранной длины присутствуют в ключе (для простоты значение «наличие»), и сколько из выбранных находятся на своём месте (для простоты значение «на месте»). Скорректируйте своё решение и пробуйте, пока не подберёте ключ.

Упражнения

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

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

Сделайте обращения с теми, высказываниями, с которыми это возможно:

• Никто ещё не построил машину времени.
• Некоторые официанты очень назойливы.
• Все профессионалы опытны в своём деле.
• Некоторые книги не имеют твёрдой обложки.

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

• Некоторые кролики не носят белые перчатки. Следовательно, некоторые кролики носят белые перчатки.
• Неверно, что никто не был на Луне. Таким образом, некоторые люди были на Луне.
• Все люди смертны. Поэтому все смертные - это люди.
• Некоторые птицы не умеют летать. Следовательно, некоторые существа, не умеющие летать, это птицы.
• Ни один ягнёнок не имеет пристрастия к виски. Следовательно, ни одно существо, имеющее пристрастие к виски, не является ягнёнком.
• Некоторые морские животные млекопитающие. Таким образом, неверно, что ни одно морское животное не является млекопитающим.

Проверьте свои знания

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

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

Размещено на http://www.allbest.ru/

ТЕМА ДОКЛАДА: ЛОГИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

Челябинск 2011г.

Логические формы мышления как продукты мыслительного процесса

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

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

Логика - это наука о формах и законах мышления.

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

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

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

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

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

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

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

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

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

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

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

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

Пример индуктивного умозаключения: "Железо проводит электрический ток. Олово проводит электрический ток. Медь проводит электрический ток. Цинк проводит электрический ток. Алюминий проводит электрический ток. Платина проводит электрический ток. Железо, олово, медь, цинк, алюминий, платина - металлы. Все металлы проводят электрический ток". Правильно ли сделано заключение? Это можно установить только из дополнительных исследований, а пока их не проводили, можно говорить только о вероятной (возможной) истинности полученного заключения.

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

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

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

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

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

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

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

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

Развернуто о каждом методе.

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

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

Пример дедуктивного умозаключения:

1. Все люди смертны.

2. Сократ-- человек.

3. Следовательно, Сократ смертен.

Индукция (inductio-- наведение)-- процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.

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

Индуктивный метод

Различают двоякую индукцию:

· полную (induction complete) и

· неполную (inductio incomplete)

Полная индукция

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

Схема полной индукции:

Множество А состоит из элементов: А 1 , А 2 , А 3 .

· А 1 имеет признак В

· А 2 имеет признак В

· А 3 имеет признак В

Следовательно, все элементы множества А имеют признак В .

Неполная индукция

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

Схема неполной индукции:

· А 1 имеет признак В

· А 2 имеет признак В

· А 3 имеет признак В

А 1 , А 2 , А 3 ,… ,А n принадлежат множеству А.

Следовательно, вероятно, А 4 и остальные элементы множества А имеют признак В .

Пример ошибочного результата:

· В Аргентине говорят на испанском языке.

· В Венесуэле и Эквадоре говорят на этом же языке.

· Аргентина, Венесуэла и Эквадор-- латиноамериканские страны.

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

Традуктивное умозаключение (traductio-- перемещение)-- умозаключение, в котором посылки и заключение (вывод) являются суждениями одинаковой степени общности, т.е., когда вывод идёт от знания определённой степени общности к новому знанию, но той же степени общности . Например:

Иван-- брат Петра;

Пётр-- брат Степана;

Следовательно: Иван-- брат Степана.

По характеру посылок и вывода трансдукция может быть трёх типов:

1) Заключение от единичного к единичному;

2) Заключение от частного к частному;

3) Заключение от общего к общему.

Традуктивным умозаключением является аналогия

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

Земля имеет атмосферу, на Земле есть жизнь.

Луна не имеет атмосферы, следовательно, там нет жизни.

Марс имеет атмосферу, следовательно, там есть жизнь.

Список литературы

· Дедукция // Энциклопедический словарь Брокгауза и Ефрона Большая советская энциклопедия, ред. Прохоров, А. М.; Байбаков, Н. К.; Благонравов, А. А.-- М.: Советская Энциклопедия, 1969--1978

· Кондаков Н. И. Логический словарь-справочник

· Ивлев Ю. В. Учебник логики: Семестровый курс

· Бочаров В. А., Маркин В. И. Основы логики: Ионин Л. Г. Социология культуры: Учебник.-- М.: ГУ ВШЭ, 2004г.

· Светлов В.А. Финская школа индукции // Вопросы философии.1977

· Индуктивная логика и формирование научного знания. М.,1987.

· Михаленко Ю.П.Античные учения об индукции и их современные интерпретации // Зарубежное философское антиковедение. Критический анализ

· Кондаков Н.И. Логический словарь-справочник. 2-е изд. М.: "Наука" 1976. 2. Философский словарь. Под ред. М.М. Розенталя. 3-е изд. М.: "Политиздат"

Размещено на Allbest.ru

Подобные документы

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

реферат , добавлен 13.08.2010


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

реферат , добавлен 24.07.2011


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

презентация , добавлен 25.12.2011


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

реферат , добавлен 06.02.2016


Умозаключение как сложная форма мышления. Сущность теории умозаключений. Значение изучения индукции. Классификация умозаключений по направленности логического следования. Вывод нового суждения. Непосредственные умозаключения через отношение суждений.

реферат , добавлен 10.02.2009


Понятия полной индукции и ее роль в познании. Индукция через простое перечисление (популярная). Понятие о математической индукции. Особенности индуктивных умозаключений. Индукция через анализ и отбор фактов. Условия повышения степени вероятности выводов.

контрольная работа , добавлен 09.04.2015


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

контрольная работа , добавлен 21.10.2011


Виды вероятностных умозаключений. Индуктивное умозаключение. Виды индукции. Индуктивные методы установления причинно-следственных связей. Умозаключение по аналогии. Условия состоятельности выводов по аналогии. Аналогия свойств и аналогия отношений.

реферат , добавлен 22.02.2009


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

лекция , добавлен 05.10.2009


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

УМОЗАКЛЮЧЕНИЕ

УМОЗАКЛЮЧЕНИЕ

Лит.: Челпанов Г. И., Учебник логики, М., 1946; Асмус В. Ф., Логика, М., 1947; его же, Учение логики о доказательстве и опровержении, М., 1954; Τарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Горский Д. П., Логика, 2 изд., М., 1963; Чёрч Α., Введение в математическую логику, пер. с англ., т. 1, М., 1960.

А. Субботин. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

УМОЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

В. И. Маркин

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Антонимы :

Смотреть что такое "УМОЗАКЛЮЧЕНИЕ" в других словарях:

Умозаключение … Орфографический словарь-справочник

См. вывод строить умозаключение... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. умозаключение заключение, традукция, энтимема, дедукция, рассуждение, силлогизм, софизм, паралогия,… … Словарь синонимов

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

умозаключение - одна из логических форм мышления (см. также понятие и суждение). У. характеризуется выводом на основе правил логики заключения или следствия из нескольких суждений (посылок). В логике разрабатываются классификации У. Психология … Большая психологическая энциклопедия

Умственное действие на основе присущих индивидуальному сознанию норм выводов, во многом совпадающих с правилами и законами логики … Большой Энциклопедический словарь

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

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

УМОЗАКЛЮЧЕНИЕ, я, ср. (книжн.). Вывод, заключение (в 3 знач.). Сделать, вывести у. Правильное у. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова

Англ. conclusion/deduction; нем. Schlu?folgerung. Рассуждение, в ходе к рого из одного или нескольких суждений, называемых посылками У., выводится новое суждение, логически вытекающее из посылок. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии

/D/ Schlub /E/ Deduction/F/ Deduction/Esp/ Deduction

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

Отличное определение

Неполное определение ↓

УМОЗАКЛЮЧЕНИЕ

логич. форма получения выводного знания (см. Вывод), состоящая в переходе от определенных исходных данных к новому знанию, вытекающему из этих данных. Структуру У. составляет непустое (причем, обычно небольшое по числу элементов) множество исходных суждений (высказываний), называемых посылками, или основаниями, У. и логически следующее из них суждение (высказывание), называемое заключением, или следствием У. Необходимым условием правильности всякого У. является выполнение требования: если посылки У. истинны, то должно быть истинно и заключение. Выполнение этого требования достигается построением У. соответственно определенным логич. законам и правилам (см. Мышления законы, Правило вывода), что, собственно, и означает логич. следование заключения из исходных данных У. У. описываются и изучаются в логике. Современная (теоретическая, символическая) логика представляет собой совокупность различных формально логич. систем (см. Формальная логика), средствами к-рых и моделируются У. различных типов. К У. одного и того же типа естественно относить У., описываемые в одной и той же логич. системе, а У., описываемые в различных логич. системах, считать У. разных типов (впрочем, этот критерий относителен, т.к. одно и то же У., вообще говоря, возможно описывать средствами различных логич. систем. См. Форма логическая). С этой т. зр., наиболее общим делением У. является их подразделение на дедуктивные и индуктивные, соответствующее аналогичному фундаменталь-ному разделению систем логики (см. Дедукция, Логика индуктивная). В дедуктивной логике, далее, выделяются силлогистические, модальные, вероятностные и др. типы У.; подразделяются на типы У. и в индуктивной логике. Если в данной логич. системе У. совершаются по одним и тем же логич. законам и правилам, то они считаются У. одинаковой логич. формы; различие же в используемых логич. законах и правилах свидетельствует о различии логич. формы соответствующих У. В естественном содержат. мышлении нек-рые из посылок У. часто явно не формулируются; в еще большей мере это касается тех логич. законов и правил, к-рые лежат в основе данного У. Это создает возможность неправильных (ошибочных) У. Собственно, этим и объясняется задача формально логич. анализа У., выявления и уточнения их формы. Средства логич. теории и служат для отличения правильных У. от неправильных, что способствует предупреждению и исправлению логических ошибок. Логич. анализ У. нужен и потому, что У. составляют элементарные звенья цепочек разного рода рассуждений и доказательств (см. Доказательство в формальной логике), а условием правильности последних является не только истинность их оснований, но и правильность каждого У., входящего в эти рассуждения или доказательства. См. также ст. Неполная индукция, Непосредственное умозаключение, Несиллогистические умозаключения, Обращение, Превращение. Лит.: Челпанов Г. И., Учебник логики, М., 1946; Асмус В. Ф., Логика, М., 1947; его же, Учение логики о доказательстве и опровержении, М., 1954; ?арский?., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Горский Д. П., Логика, 2 изд., М., 1963; Черч?., Введение в математическую логику, пер. с англ., т. 1, М., 1960. А. Субботин. Москва.

Отличное определение

Неполное определение ↓