Пролегомены к формализованной содержательной логике
Заключе́ние - философская (логическая) категория, обозначающее суждение, являющееся результатом логического вывода (по правилам вывода) из основания в процессе рассуждения (умозаключения).
Заключение в формальной логике (ФЛ)[]
Заключение в ФЛ - суждение, которое является результатом логического вывода из посылок, составляющих Достаточное ОСНОВАНИЕ.
- Логический вывод осуществляется в процессе аргументации (доказательства и опровержения) с помощью одного из следующих методов:
В теории аргументации посылки называют АРГУМЕНТАМИ, а заключение - ТЕЗИСОМ, который необходимо доказать (опровергнуть).
Заключение в дедуктивном умозаключении[]
В дедуктивном умозаключении осуществляется переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность дедукции заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
В случае дедуктивного вывода заключение называется логическим следствием из основания умозаключения (смотри ПРАВИЛА ВЫВОДА).
Заключение в индуктивном умозаключении[]
В индуктивном умозаключении связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. Индукция может давать из истинных посылок ложное заключение; ее заключение может содержать информацию, отсутствующую в посылках.
Истинное заключение в индуктивном умозаключении возможно только в полной или математической индукции, то есть тогда, когда для всех объектов (процессов) данного множества доказана истинность логического следствия.
В процессе неполной индукции возможны лишь вероятные заключения.
Заключение по аналогии[]
Умозаключения, полученные по аналогии, представляют собой частные знания о каком-либо объекте (процессе), полученные из другого частного знания об объекте (процессе) того же класса.
Заключение, делаемое на основании подобия или равенства двух объектов (процессов) в известных определенных отношениях о подобии их в других отношениях или о дальнейшем, еще большем, их сходстве и называемое в логике аналогическим заключением, может быть признано лишь заключением вероятным, которым однако в области исследования нередко приходится пользоваться.
ЗАКЛЮЧЕНИЕ в Дианомике[]
Для справки: Терминология Дианомической ЛОГИКИ.
Здесь представлена экзогенная сеть категории ЗАКЛЮЧЕНИЕ. Таким образом категория ЗАКЛЮЧЕНИЕ является результатом диалектического отрицания категории ОСНОВАНИЕ, акциденцией категории УМОЗАКЛЮЧЕНИЕ.
Дианомическая ЛОГИКА принципиально порождает лишь гипотетические (вероятностные) заключения о качественном саморазвитии объектов (процессов) реальности, но никакая другая логическая система в этой области не способна дать вообще никаких заключений.
Позиция автора статьи:[]
Автор ещё не имеет объективных данных для построения сети внутреннего развития категории ЗАКЛЮЧЕНИЕ. Требуются дальнейшие исследования.
Мнения[]
Ниже приведены МНЕНИЯ по данной проблеме из философских справочников и энциклопедий. Для чего? Для создания видимости объективности автора статьи? Нет.
Автор статьи стремится к тому, чтобы читатель:
- минимизировал своё время для знакомства с альтернативными мнениями;
- «Имел мужество пользоваться собственным умом.» (Иммануил Кант).
Из Википедии[]
Заключение — логическая противоположность основанию. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки.
В быту понятие используется примерно с тем же значением, обозначая, в широком смысле, любой предположительно правильный вывод или следствие из чего-нибудь, как, например, в фразе «Я пришел к заключению, что вы были правы» или в выражении «заключение экспертов».
Из Ивин А. А., Никифоров А. Л. Словарь по логике - М.: Туманит, изд. центр ВЛАДОС, 1997. - c.189[]
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ - отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов «выводимо», «вытекает» и т. п. содержит неявный круг, поскольку последние являются синонимами слова «следует». Понятие Л. с. обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона и модели.
Из высказывания А логически следует высказывание В, когда импликация «Если A, то В» является частным случаем закона логики. Напр., из высказывания «Если натрий — металл, он пластичен» логически вытекает высказывание «Если натрий непластичен, он не металл», поскольку импликация, основанием которой является первое высказывание, а следствием — второе, представляет собой частный случай логического контрапозиции закона.
Иное, семантическое определение логического следования: из посылок A1, ..., Аn логически следует высказывание В, если не может быть так, что высказывания A1, ..., Аn истинны, а высказывание В ложно (т. е. если В истинно в любой модели, в которой истинны A1, ..., Аn).
Отличительной чертой Л. с. является, таким образом, то, что оно ведет от истинных высказываний только к истинным. Если выводы, относимые к обоснованным, дают возможность переходить от истины к лжи, то установление между высказываниями отношения Л.с. теряет всякий смысл, и логический вывод превращается из формы разворачивания и конкретизации знания в средство, стирающее грань между истиной и заблуждением.
В современной логике проблема адекватного описания Л. с. возникла в связи с тем, что логика классическая дает слишком широкое его описание, в ряде моментов не согласующееся с интуитивным представлением о следовании одних высказываний из других. В частности, согласно этой логике, из противоречия логически следует любое высказывание, логически истинное высказывание следует из любого и т. п. (см.: Импликация материальная, Парадоксы импликации).
Усовершенствованные описания Л. с. не содержат правил, позволяющих перейти от истинных посылок к ложному заключению. Они удовлетворяют, кроме того, ряду дополнительных условий. Выдвижение этих условий объясняется стремлением дать такое описание Л. с., при котором существование между высказываниями этого отношения зависело бы не только от истинностного значения высказываний (как в классической логике), но и от их смысловой связи. Поскольку «связь по смыслу» понимается по-разному, существуют различные неклассические теории Л. с. С их помощью решается задача исключения нежелательных, или парадоксальных, правил следования и показано, что нет привилегированной логической системы, являющейся единственно правильным описанием Л. с. Дальнейшая задача формально-логического анализа данного отношения состоит в разработке единой логической теории, взаимосвязанными фрагментами которой оказались бы уже построенные и иные возможные теории Л. с.
См. также[]
Литература[]
- Сергей Ежов. Поппер Карл Раймунд и диалектика
- Сергей Ежов. ДИАНОМИКА. Металогические пролегомены к формализованной содержательной логике.
Ссылки[]
© Dianomik (обсуждение) 05:14, октября 13, 2013 (UTC)