Умозаключение как форма мышления

МИНИСТЕРСТВО  ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Уральский государственный экономический  университет

ЦЕНТР ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ

 

 

 

 

 

 

 

 

Контрольная работа

по дисциплине «ЛОГИКА»

 

Тема 9: УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ

 

 

 

 

 

 

 

ЦДО	Исполнитель: Астапова Т.А. Направление «Финансы и кредит»  Группа: ФК-11
	Рецензент:Епина  Л.В.____________ к.ф.н., доцент

 

 

 

 

 

Омск 

2012

 

СОДЕРЖАНИЕ

ВВЕДЕНИЕ………………………………………………………………………………..3

ГЛАВА 1 ОБЩЕЕ  ПОНЯТИЕ ОБ УМОЗАКЛЮЧЕНИИ. СТРУКТУРА УМОЗАКЛЮЧЕНИЯ……………………………………………………………………..4

1.1 Умозаключение………………………………………………………………...4

1.2 Структура и основные виды умозаключений………………………………..6

ГЛАВА 2 РАЗНОВИДНОСТИ  УМОЗАКЛЮЧЕНИЙ…………………………………8

2.1 Индукционное  умозаключение……………………………………………….8

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

2.3 Умозаключения по аналогии…………………………………………………10

ЗАКЛЮЧЕНИЕ…………………………………………………………………………..13

СПИСОК ИСПОЛЬЗАВАННЫХ ИСТОЧНИКОВ……………………………………14

 

 

ВВЕДЕНИЕ

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

Умозаключение – это форма мышления, посредством которой осуществляется переход от известного (имеющегося) знания в новому знанию. В структуре умозаключения выделяют

- посылки – исходное знание, служащее основанием умозаключения;

- заключение – производное (новое) знание, получаемое из посылок;

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

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

 

 

ГЛАВА 1 ОБЩЕЕ  ПОНЯТИЕ ОБ УМОЗАКЛЮЧЕНИИ. СТРУКТУРА УМОЗАКЛЮЧЕНИЯ

 

1.1 Умозаключение

 

Умозаключение — это  способ получения нового знания на основе некоторого имеющегося.

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

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

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

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

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

Переход от содержательного  умозаключения к формально-алогическому, т.е. формализация умозаключений, осуществляется посредством выявления - и явной  фиксации ее в виде высказываний - всей информации, которая явно или неявно используется в содержательном рассуждении. Так, в примере с ласточками неявно используемая информация может быть выражена в общих суждениях: 
«Всегда, когда мошкара опускается к земле, опускаются и ласточки, охотящиеся за ней», «Всегда, когда намокает волосяной покров насекомого, то оно опускается к земле» и т.п. При решении того или иного уравнения, процесс которого представляет, собой содержательное рассуждение, также подразумеваются какие-либо посылки - общие утверждения специально- математического, а не логического характера, например: «Если к обеим частям уравнения прибавить (или вычесть) одно и то же число, то равенство сохраняется. Равенство сохраняется также при умножении обеих частей на одно и то же число и при делении их на одно и то же число, отличное от нуля».

 

1.2 Структура и основные виды умозаключений.

 

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

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

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

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

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

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

 

ГЛАВА 2 РАЗНОВИДНОСТИ  УМОЗАКЛЮЧЕНИЙ

2.1 Индукционное умозаключение

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

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

1) индуктивный  вывод строится на множестве  посылок;

2) заключение  возможно при всех отрицательных  посылках;

3) все посылки  индуктивного умозаключения - единичные  или частные суждения.

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

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

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

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

 Впервые систематический анализ одной из разновидностей дедуктивных умозаключений — силлогистических умозаключений, посылками и заключениями которых являются атрибутивные высказывания,— был осуществлен Аристотелем в “Первой Аналитике” и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и—особенно подробно—в средневековой логике. Были выделены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условноразделительные (лемматические) и др.

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

Средствами  современной логической теории удается  задать всю совокупность форм правильных дедуктивных умозаключений в  рамках определенного формализованного языка. Если теория строится семантически, то переход от формул Ai, Ai, ..., An к формуле В объявляется формой корректного дедуктивного умозаключения при наличии логического следования В из Αι, Αι, „., An, данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой Ai, Ai,..., An принимают выделенное значение (значение истины), формула В также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от А, Ai, .... An к В выступает существование формального вывода формулы В из формул Ai, Ai, .. An, осуществляемого в соответствии с правилами данной системы .