УМОВ НИКОЛАЙ АЛЕКСЕЕВИЧУМОЗАКЛЮЧЕНИЕ АПАГОГИЧЕСКОЕ

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

Найдено 20 определений термина УМОЗАКЛЮЧЕНИЕ

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] [зарубежный] Время: [советское] [постсоветское] [современное]

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Глоссарий философских терминов проекта Distance

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Краткий курс логики: глоссарий

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Традиционная логика. Словарь по книге

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Начала современного естествознания: тезаурус

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Краткий энциклопедический словарь философских терминов

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь-справочник по философии для студентов лечебного, педиатрического и стоматологического факультетов

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

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философия, практическое руководство

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: История и философия науки. Энциклопедический словарь

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философия: конспект лекций и словарь терминов (элементарный курс)

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

логическая последовательность суждений, ведущая к определенному заключению. Типы умозаключений различаются по форме и степени строгости: 1) дедукция, представляющая собой вывод частного случая из общего принципа: например, всякий человек смертен, следовательно, такойто человек смертен. Этот чисто логический тип умозаключения достаточно строг, но не всегда плодотворен; 2) индукция, идущая от частного случая (я вижу рыжую женщину) к общему закону (все женщины – рыжие). Этот тип умозаключения можно считать творческим, но не отличающимся большой строгостью. Его используют в физической науке (но с максимальной осторожностью), чтобы перейти от наблюдения фактов (как можно большего числа фактов) к определению гипотезы; 3) математическое умозаключение – синтез двух предыдущих типов, одновременно строгий и плодотворный (отсюда то двойное название, которое емудает логик Гобло: «строгая индукция» и «конструктивная дедукция»). Например, 2+2=4. В чистой логике это будет выглядеть так: 2+2 = 2+2. Образование числа 4 – это конструктивный синтез.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: «Евразийская мудрость от а до Я», толковый словарь

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

логическая последовательность суждений, ведущая к определенному заключению. Типы умозаключений различаются по форме и степени строгости: 1) дедукция, представляющая собой вывод частного случая из общего принципа: например, всякий человек смертен, следовательно, такой-то человек смертен. Этот чистотлоги-ческий тип умозаключения достаточно строг, но не всегда плодотворен; 2) индукция, идущая от частного случая (я вижу рыжую женщину) к общему закону (все женщины — рыжие). Этот тип умозаключения можно считать творческим, но не отличающимся большой строгостью. Его используют в физической науке (но с максимальной осторожностью), чтобы перейти от наблюдения фактов (как можно большего числа фактов) к определению гипотезы; 3) математическое умозаключение — синтез двух предыдущих типов, одновременно строгий и плодотворный (отсюда то двойное название, которое ему дает логик Гобло: «строгая индукция» и «конструктивная дедукция»). Например, 2+2=4. В чистой логике это будет выглядеть так: 2+2 = 2+2. Образование числа 4 — это конструктивный синтез. Это умозаключение было проанализировано Кантом как синтетическое умозаключение a priori (то есть чисто интеллектуальный синтез). См. Гипотеза, Закон.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский словарь

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

форма мышления, посредством которой получают новое суждение на основе одного или более уже принятых суждений. Исходные суждения, на основании которых получается новое суждение, называются посылками У., а новое суждение, полученное в результате сопоставления посылок, - заключением. У. подразделяются на дедуктивные и недедуктивные, или вероятностные. У. является дедуктивным, если и только если оно строится по правилам, гарантирующим получение истинного заключения при истинных посылках. В противном случае оно является недедуктивным (вероятностным). Как правило, на практике У. не выражается в полном виде, какая-то его часть (посылка, заключение), подразумеваясь, опускается. Иными словами, У. приобретает энтимематический (греч. in thymos - в уме) характер. Опасность применения энтимемы в том, что подразумеваемая часть может заключать в себе ошибку, которая остается незамеченной в силу того, что эта часть не получила явного выражения. Выявление подразумеваемой части - один из способов обнаружения ошибок в познании. У. играют исключительно важную роль в процессах познания. Они позволяют получать новые знания без непосредственного обращения к опыту. (См. также: Силлогизм).

В.Ф. Берков

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Новейший философский словарь

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

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

рассуждение, в ходе к-рого из одного или нескольких суждений, наз. посылками У., выводится новое суждение (наз. заключением или следствием), логически вытекающее из посылок. Переход от посылок к заключению всегда совершается по к.-л. правилу логики (правилу вывода). Выделение в У. посылок и заключения и установление его структуры составляют его логический анализ. У., совершающиеся по одним и тем же правилам вывода и законам логики, являются У. одной и той же логической формы. Т. обр., анализ У. служит для выявления их логических форм. У. есть форма мышления, в к-рой (наряду с понятием, суждением и др. формами мышления и способами рассуждения) протекает познание внешнего мира на ступени абстрактного мышления. Всякое правильное У. должно удовлетворять условию: если его посылки истинны, то должно быть истинным (или правдоподобным) и заключение. Это условие соблюдается, если в ходе У. не нарушаются законы логики и правила вывода. В реальном процессе мышления часто опускаются нек-рые из посылок У. и явно не формулируются правила вывода и законы логики, лежащие в его основе. Это открывает возможность ошибок в У. Логика устанавливает способы отличения правильных У. от неправильных и тем, в частности, способствует предупреждению и исправлению логических ошибок. Обычно рассуждения и доказательства представляют собой цепи У., в к-рых заключение предшествующего У. становится посылкой одного из следующих за ним У. Условием правильности доказательства является не только истинность его исходных суждений — оснований доказательства, но и правильность каждого входящего в его состав У. По своей форме У. разделяются на несколько видов. Наиболее общим делением У. является деление их на дедуктивные и индуктивные (Дедукция, Индукция).

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

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

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

3) Смоленск севернее Рязани.

Рязань севернее Тулы.

Смоленск севернее Тулы.

4) Иван - сын Петра.

Петр - сын Андрея. _____

Иван - внук Андрея.

5) Точка A лежит на прямой между точками В и С.

Точка D лежит на той же прямой между точками A и B.

Точка D лежит на данной прямой между точками В и С.

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Словарь по логике

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

формальнологический прием, состоящий в мысленном выводе из нескольких суждений, предпосылок или посылок одного суждения - вывода. В простейшем случае умозаключение состоит из двух посылок и вывода - такое умозаключение называется силлогизмом; умозаключение, содержащее более чем две посылки, должно быть разбито на ряд силлогизмов. В силлогизме субъект предложения, составляющего вывод, называется меньшим термином, посылка, которая его содержит, - меньшей посылкой; предикат вывода - большим термином, содержащая его посылка - большей посылкой; понятие, имеющееся в обеих посылках, но уже не представленное в выводе, называется средним термином. В зависимости от того, выступают ли больший и меньший термины посылок как субъект или как цредикат, возможны 4 фигуры силлогизма; 1) М есть P; S есть М, следовательно, S есть Р; 2) P есть М; S есть М и т. д.; 3) М есть P; M есть S и т. д.; 4) P есть M; M есть S и т. д. Из того факта, что посылки могут быть общеутвердительными или общеотрицательными, частноутвердительными или частноотрицательными, следует, что схематично существует 4 х 16 = 64 модуса, т.е. вида умозаключения, из них только 19 ведут к правильному выводу. Ошибки в умозаключении, которых следует избегать: 1) не должно быть учетверения термина (quaternio terminorum); 2) из двух отрицательных или из двух частных посылок нельзя получить вывода (а также, конечно, из двух частноотрицательных). Очень часто умозаключение (при опущении большей посылки) бывает сокращенным - энтимема (напр.: "Опасное запрещено, прислоняться опасно, следовательно, прислоняться запрещено", или иначе: "Прислоняться нельзя! Опасно!"). Цепь умозаключений возникает благодаря тому, что вывод одного умозаключения (просиллогизма) становится посылкой в др. умозаключении (эписиллогизме). Нечто иное представляет собой сорит. До сих пор предполагалось, что суждения умозаключения являются категорическими - категорическое умозаключение; но они могут быть и гипотетическими - гипотетическое умозаключение. Т. н. разделительное умозаключение (см. Дизъюнктивные суждения) является разновидностью категорического умозаключения. Для всех умозаключений имеет силу следующее положение: вывод умозаключения выводится из более слабой части (слабой в этом смысле является отрицательное, частное, гипотетическое - в противоположность утвердительному, всеобщему, категорическому). В таком смысле умозаключения по аналогии, индуктивные (см. Индукция) и вероятностные (см. Вероятный), хотя их и называют умозаключениями, не являются таковыми.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

умозаключение

УМОЗАКЛЮЧЕНИЕ — процедура непосредственного выведения некоторого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками, а высказывание, которое выводится из посылок, — заключением. У представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации.         По степени обоснованности выведения заключения из посылок У принято делить на демонстративные и недемонстративные. В демонстративных У. одновременная истинность посылок обеспечивает получение истинного заключения, информация заключения составляет в них часть совокупной информации посылок. В недемонстративных У, напротив, при переходе от посылок к заключению имеет место приращение информации, однако одновременная истинность посылок не гарантирует истинности заключения.         Наиболее важной и обширной разновидностью демонстративных У являются дедуктивные У (См. Дедукция). Между их посылками и заключением имеет место отношение логического следования, т.е. сама логическая форма этих У обеспечивает сохранение истинности при выведении заключения из посылок. Хорошо известны такие дедуктивные У, как однопосылочные выводы силлогистики (обращение, превращение и др.), двухпосылочные простые категорические силлогизмы, многопосылочные силлогистические выводы (сориты), ряд У, выделяемых в рамках логики высказываний (напр., modus ponens, позволяющий переходить от посылок вида «Е с л и А, то В» и «А» к заключению «В», modus tollendo ponens с посылками вида «А или В» и «Неверно, что А» и заключением «В», различные виды дилемм и т.п.).         В демонстративных У др. типов (к ним относятся, напр., математическая индукция, полная индукция, строгая аналогия) достоверность вывода, получаемого из истинных посылок, обусловлена не только логической формой входящих в У высказываний, но и значениями содержащихся в них дескриптивных терминов, особенностями универсума рассуждения.         Среди недемонстративных наибольший интерес представляют так называемые правдоподобные У, к которым относятся, напр., обратная дедукция, неполная индукция, нестрогая аналогия, статистические выводы. Правдоподобные У характеризуются наличием отношения логического подтверждения между посылками и заключением. Наиболее распространена следующая трактовка данного отношения: посылки подтверждают заключение, если и только если логическая вероятность истинности заключения возрастает (но не становится равной единице) при условии одновременной истинности посылок.         Основной сферой применения дедуктивных У являются точные науки (прежде всего, математика и логика), где особые требования предъявляются к строгости доказательств. Правдоподобные У, главным образом, используются в эмпирических науках для выдвижения и верификации гипотез, получения законоподобных утверждений, относящихся к исследуемой предметной области.         В.И. Маркин

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Энциклопедия эпистемологии и философии науки

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

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

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

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

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

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

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

В. И. Маркин

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Новая философская энциклопедия

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

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

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

Условные У, или гипотетические силлогизмы, разделены на две группы.

1. Чисто условный силлогизм, где все посылки - условные суждения.

Его самая распространенная структура (для двух посылок) следующая: Если А, то В.

Если В, то С.

Следовательно, если А, то С. Например: "Если ударить в главный колокол, то его звук будут слышать даже жители окраин. Если звук главного колокола будут слышать даже жители окраин, то на площади соберется большое количество горожан. Следовательно, если ударить в главный колокол, то на площади соберется большое количество горожан".

Формула, обосновывающая это У. в логике высказываний: (((А -> В) л (В -> С)) -> (А -> С)). Чисто условный силлогизм может также иметь следующую, близкую к конструктивной дилемме (см. ниже), структуру: Если А, то В. Если не-А, то В. Следовательно, В. Например: "Если наша душа погибает вместе с телом, то в таком случае, не обладая чувствами, мы не будем страдать после смерти; если же душа переживает тело, то она должна быть более счастлива, чем когда она была в теле. Следовательно, смерти бояться не надо".

Формула: (((А -> В) л ((-А) ->В)) -" В). 2. Условно-категорический силлогизм, где одна посылка - условное суждение, а другая - простое категорическое суждение. Здесь имеется два структурных варианта, традиционно называемых модусами (от лат. modus - способ).

- Modus ponens (утверждающий модус): Если А, то В.

А: Следовательно, В.

Например: "Если бухта замерзла, то корабли проходят мимо. Бухта замерзла. Следовательно, корабли проходят мимо".

Формула: (((А -" В) л А) -> В).

- Modus tollens (отрицающий модус): Если А, то В.

не-В.

Следовательно, не-А.

Например: "Если бухта замерзла, то корабли проходят мимо. Корабли не проходят мимо. Следовательно, бухта не замерзла".

Формула: (((А -> В) л (-,?)) ->(-??)).

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

В альтернативных У. одна или несколько посылок - дизъюнктивные суждения. Они делятся на две группы.

1. Чисто альтернативный силлогизм, где все посылки - дизъюнктивные суждения.

Структура: А есть В, или С.

В есть В1, или В2.

А есть В1, или В2, или С.

Например: "Все кислоты являются или органическими или неорганическими. Неорганическая кислота или содержит кислород, или нет. Следовательно, любая кислота является или органической, или содержащей кислород, или не содержащей кислород".

Чисто альтернативный силлогизм требует анализа субъективно-предикатной структуры суждений и не имеет адекватной формулы в логике высказываний.

2. Альтернативно-категорический силлогизм, где одна посылка - дизъюнктивное суждение, а другая - простое категорическое суждение. Это У. имеет два модуса.

- Modus ponendo tollens (утвердительно-отрицающий модус), где используется только связка "либо..., либо" - в смысле строгой (разделительной, исключающей) дизъюнкции: Либо А, либо В.

А.

Следовательно, не-В.

Например: "Слон может быть либо индийским, либо африканским. Этот слон индийский. Следовательно, он не африканский".

Формула: (((А В) л А) -> (-.В)).

- Modus tollendo ponens (отрицательно-утверждающий модус), где может использоваться связка "или" - в смысле нестрогой (соединительной) дизъюнкции: А или В.

не-А.

Следовательно, В.

Например: "Этот человек сегодня отдыхал или работал в саду. Он сегодня не отдыхал. Следовательно, он сегодня работал в саду".

Формула: (((? ? В) л ЪА)) -> В).

Здесь дизъюнктивная посылка должна предусматривать все возможные альтернативы, т. е. должно соблюдаться правило исключения в делении.

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

Конструктивная дилемма имеет следующую структуру: Если А, то В.

Если С. то D.

Либо А, либо С.

Следовательно, либо В, либо D.

Классическим примером является дилемма, перед которой поставил библиотекарей александрийской библиотеки калиф Омар: "Если ваши книги согласны с Кораном, то они излишни. Если они расходятся с ним, то они вредны. Но они должны быть либо согласны, либо расходиться с Кораном. Следовательно, они либо излишни, либо вредны".

Формула: (((А -> В) л (С -> D) л (А С)) -> (В -> ?)).

Деструктивная дилемма имеет следующую структуру: Если А, то либо В, либо С.

не-В.не-С.

Следовательно, не-А.

Классическим примером является дилемма Зенона, предназначенная для доказательства невозможности движения: "Если тело находится в движении, то оно должно двигаться либо там, где оно есть, либо там, где его нет. Но тело не может двигаться ни там, где оно есть, ни там, где его нет. Следовательно, оно вообще не может двигаться".

Формула: (((А -> (В С)) л (-В) л (-, С)) -К^А)).

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

Правдоподобные У. - это прежде всего широко известные индуктивные У, У. по аналогии, У. по методам Бэкона - Милля (методам установления причинной связи), а также множество активно изучаемых в наши дни типов У: вероятностных, статистических, немонотонных и т. д. Легко наблюдать взаимосвязь дедуктивных и правдоподобных У, например, если при наличии структуры рассмотренного выше условно-категорического силлогизма заключать от утверждения следствия к утверждению основания, или от отрицания основания к отрицанию следствия, то заключение станет лишь вероятным, а не истинным суждением. Вот два правдоподобных модуса: Если А, то В Если А, то В ________В^ ______не-А

Следовательно, А. Следовательно, не-В.

Например: "Если бухта замерзла, то корабли проходят мимо. Корабли проходят мимо. Возможно, что бухта замерзла".

Их формулы: (((А -> В) л В) -> А) и (((А -> В) л (-?)) ->(-??)) - не являются общезначимыми формулами, т. е. законами логики.

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

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

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

А. Г. Кислое

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Современный философский словарь

Найдено схем по теме УМОЗАКЛЮЧЕНИЕ — 0

Найдено научныех статей по теме УМОЗАКЛЮЧЕНИЕ — 0

Найдено книг по теме УМОЗАКЛЮЧЕНИЕ — 0

Найдено презентаций по теме УМОЗАКЛЮЧЕНИЕ — 0

Найдено рефератов по теме УМОЗАКЛЮЧЕНИЕ — 0