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

Найдено 29 определений
Показать: [все] [проще] [сложнее]

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

УМОЗАКЛЮЧЕНИЕ
логический прием, состоящий в мысленном выводе из нескольких суждений одного суждения — вывода.

Источник: Философско-терминологический словарь 2004

УМОЗАКЛЮЧЕНИЕ
умственное действие, представляющее собой процесс выведения одних суждений из других, уже имеющихся.

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

УМОЗАКЛЮЧЕНИЕ
форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

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

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

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

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

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

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

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

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

Источник: Философия логика и методология науки Толковый словарь понятий. 2010 г.

УМОЗАКЛЮЧЕНИЕ
мыслительная операция, посредством которой из некоторого количества заданных суждений выводится иное суждение, определенным образом связанное с исходным.

Источник: Словарь науки. Общенаучные термины и определения. 2008 г.

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

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

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

Источник: Философия антропокосмизма авторский словарь.

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

Источник: Истина и ложь в терминах понятиях и определениях. Анапа. 2018

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

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

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

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

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

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

Источник: Философский словарь или краткое объяснение философских и других научных выражений встречающихся в истории философии. 1876

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

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

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

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

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

Источник: Философия и методология науки (понятия категории проблемы школы направления). Терминологический словарь-справочник 2017

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

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

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

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

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

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

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

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

УМОЗАКЛЮЧЕНИЕ
(Schluß) — логический прием, состоящий в мысленном выводе из нескольких суждений, предпосылок или посылок, одного суждения — вывода. В простейшем случае умозаключение состоит из двух посылок и вывода умозаключения: такое умозаключение называется силлогизмом; умозаключение, содержащее более чем две посылки, должно быть разбито на ряд силлогизмов. Ошибки в умозаключении, которых следует избегать: 1) не должно быть учетверения термина (quaternio terminorum); 2) из двух отрицательных или из двух частных посылок нельзя получить вывода (а также, конечно, из двух частноотрицательных). Очень часто умозаключение (при опущении большей посылки) бывает сокращенным — энтимема (например: «Опасное запрещено, прислоняться опасно, следовательно, прислоняться запрещено», или кратко: «Прислоняться нельзя! Опасно!»). Цепь умозаключений возникает благодаря тому, что вывод одного умозаключения становится посылкой в другом умозаключении (эписиллогизм) и наоборот (просиллогизм). Нечто иное представляет собой сорит. До сих пор предполагалось, что суждения умозаключения являются категорическими — категорическое умозаключение; но они могут быть и гипотетическими — гипотетическое умозаключение. Так называемое разделительное умозаключение (см. Дизъюнктивный) является разновидностью категорического умозаключения. Для всех умозаключений имеет силу следующее положение: заключение в них выводится из более слабой части (слабой в этом смысле является отрицательное, частное, гипотетическое — в противоположность утвердительному, всеобщему, категорическому). Отсюда умозаключения по аналогии, индуктивные (см. Индукция) и вероятностные (см. Вероятный), хотя их и называют «умозаключениями», не являются умозаключениями.
Raab. Wesen und Systematik der S.formen, 1891; G. Lebzeltern. Der Syllogismus, 1948; B. v. Freytag-Löringhoff. Logik — Ihr System und ihr Verhalten zur Logistik, 1955; S. Read. Relevant Logic. Oxford, 1988.

Источник: Философский словарь [Пер. с нем.] Под ред. Г. Шишкоффа. Издательство М. Иностранная литература. 1961

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

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

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

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

Источник: Краткий словарь по философии. 1970

УМОЗАКЛЮЧЕНИЕ
формальнологический прием, состоящий в мысленном выводе из нескольких суждений, предпосылок или посылок одного суждения - вывода. В простейшем случае умозаключение состоит из двух посылок и вывода - такое умозаключение называется силлогизмом; умозаключение, содержащее более чем две посылки, должно быть разбито на ряд силлогизмов. В силлогизме субъект предложения, составляющего вывод, называется меньшим термином, посылка, которая его содержит, - меньшей посылкой; предикат вывода - большим термином, содержащая его посылка - большей посылкой; понятие, имеющееся в обеих посылках, но уже не представленное в выводе, называется средним термином. В зависимости от того, выступают ли больший и меньший термины посылок как субъект или как цредикат, возможны 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) л (А С)) -> (В -> ?)).
Деструктивная дилемма имеет следующую структуру: Если А, то либо В, либо С.
не-В.не-С.
Следовательно, не-А.
Классическим примером является дилемма Зенона, предназначенная для доказательства невозможности движения: "Если тело находится в движении, то оно должно двигаться либо там, где оно есть, либо там, где его нет. Но тело не может двигаться ни там, где оно есть, ни там, где его нет. Следовательно, оно вообще не может двигаться".
Формула: (((А -> (В С)) л (-В) л (-, С)) -К^А)).
При соблюдении структур дедуктивных У. из истинных посылок с необходимостью следует истинное заключение. В правдоподобных же У. соблюдение структуры лишь повышает степень вероятности истинности заключения при наличии истинных посылок.
Правдоподобные У. - это прежде всего широко известные индуктивные У, У. по аналогии, У. по методам Бэкона - Милля (методам установления причинной связи), а также множество активно изучаемых в наши дни типов У: вероятностных, статистических, немонотонных и т. д. Легко наблюдать взаимосвязь дедуктивных и правдоподобных У, например, если при наличии структуры рассмотренного выше условно-категорического силлогизма заключать от утверждения следствия к утверждению основания, или от отрицания основания к отрицанию следствия, то заключение станет лишь вероятным, а не истинным суждением. Вот два правдоподобных модуса: Если А, то В Если А, то В ________В^ ______не-А
Следовательно, А. Следовательно, не-В.
Например: "Если бухта замерзла, то корабли проходят мимо. Корабли проходят мимо. Возможно, что бухта замерзла".
Их формулы: (((А -> В) л В) -> А) и (((А -> В) л (-?)) ->(-??)) - не являются общезначимыми формулами, т. е. законами логики.
Другой любопытный факт рассматриваемой взаимосвязи - возможность интерпретации дедуктивных У. как правдоподобных У. с максимальной степенью вероятности полученного заключения.
Представленная классификация У. ни в коей мере не претендует на завершенность, а лишь, принимая во внимание исторически сложившуюся традицию изложения материала, демонстрирует свою возможность. Реально же проблема классификации У. не получила в логике однозначного решения, существенные различия в этой классификации зависят от разных подходов к логическому знанию: типы У. изучались в зависимости от тех аспектов оформления мыслительных процессов, которые анализировались в данный культурно-исторический период; менялись принципы обоснования последовательного описания как самих У, так и взаимоотношений между ними; менялись научные стандарты логических исследований.
Обращение к У. связано с возникновением проблемных ситуаций, и потому изучение У. играет большую роль в рамках аргументацией ной деятельности, предлагая основы для систем доказательства и опровержения, для формулировки и проверки гипотез, для построения научных теорий и т. д.
А. Г. Кислое

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

Найдено научных статей по теме — 4

Читать PDF
152.82 кб

Логика форм и логика фигур в контексте стратегий опровержения софистических умозаключений

Лузянин Иван Сергеевич, Столбова Наталья Викторовна
Рассматриваются два варианта умозрительного нахождения истины в споре: с одной стороны, диалог Платона, где значимость имеет конфигурация фигур участников диалога, а с другой стороны, руководство общими правилами раскрытия софисти
Читать PDF
255.81 кб

Умозаключения рассудка и разума как факторы текстуальности в философском дискурсе И. Канта

Копцев Иван Демьянович
На материале Кантова текста сделана попытка показать, что 2-частные и 3-частные логико-семантические построения по Канту, суждения рассудка и разума представляют собой логически организованные комплексы пропозиций, группирующихся
Читать PDF
433.44 кб

О формализации умозаключения в процессуальной логике. Часть i

Смирнов Андрей Вадимович
Читать PDF
451.47 кб

О формализации умозаключения в процессуальной логике. Часть II

Смирнов Андрей Вадимович

Похожие термины:

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

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

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

    умозаключение, выводы которого содержат знание, более общее по сравнению со знанием, содержавшемся в посылках.
  • РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

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

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

    вид сорита, развитие которого в бесконечность приостановлено (Хрисипп).
  • РАЗДЕЛИТЕЛЬНО-УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ

    см.: Дилемма.
  • НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ

    дедуктивное умозаключение, содержащее только одну посылку.
  • НЕПРАВИЛЬНОЕ УМОЗАКЛЮЧЕНИЕ

    см.: Умозаключение.
  • УМОЗАКЛЮЧЕНИЕ ОПОСРЕДОВАННОЕ

    в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии.
  • УМОЗАКЛЮЧЕНИЕ ОШИБОЧНОЕ

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

    - 1) умозаключение, связанное с переносом результата статистического исследования в некоторой выборке на всю популяцию; 2) умозаключение, связанное с переносом вероятности, характеризующей частот
  • УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ

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

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

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

    суждения, получаемые в результате умозаключения.
  • ЛОЖНЫЕ УМОЗАКЛЮЧЕНИЯ

    (Trugschlüsse) (Софизмы) неправильные умозаключения, основывающиеся (вольно или невольно) на логической ошибке; например: «Что ты не потерял, ты имеешь; ты не потерял рогов, следовательно, они у тебя есть»
  • УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ

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

    умозаключения, в к-рых заключение непосредственно следует только из одной посылки. К Н. у. относятся выводы по квадрату логическому, обращение, превращение и др. Н. у. противопоставляются опосредст
  • НЕСИЛЛОГИСТИЧЕСКИЕ УМОЗАКЛЮЧЕНИЯ

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