Реферат: Умозаключение

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

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

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

Литературным вариантом определения 1. является следующее определение:

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

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

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

Иначе говоря, дополнительно к определению 1. принимается следующее определение:

Силлогизм- сложный символ, используемый с целью обозначения (именования, указания) умозаключения.

Разницу между умозаключением и силлогизмом легко пояснить на конкретном примере. Пусть имеется утверждение:

Петр не политик, так как он не властолюбив, а все политики властолюбивы. (2)

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

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

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

Простой категорический силлогизм.

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

Простой категорический силлогизм- система трех логически взаимосвязанных высказываний, каждое из которых является высказыванием вида А (Все S есть Р), вида Е (Все S не есть Р), вида 1 (Некоторые S есть Р) или вида О (Некоторые S не есть Р).

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

Общая структура простого категорического силлогизма такова:

(1) Первая посылка (высказывание вида А, Е, 1 или О)-

(2) Вторая посылка (высказывание вида А, Е, 0)

(3) Заключение (высказывания вида А, Е, 1, О).

В структуре сплошная черта символизирует логическую выводимость заключения из посылок (логический переход от (1), (2) к (3)).

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

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

(1) Все самодовольные болтуны-утомительные собеседники

(2) Некоторые люди.-самодовольные болтуны С1

(3) Некоторые люди - утомительные собеседники

выражение «утомительные собеседники» есть больший термин (и, следовательно (1),-большая посылка); слово «люди», есть меньший термин (и, следовательно (2), - меньшая посылка), а выражение «самодовольные болтуны» является средним термином, так как входит только в посылки, но не в заключение.

--> ЧИТАТЬ ПОЛНОСТЬЮ <--