Дедукция: сущность, правила и виды дедуктивного вывода.
Введение
Актуальность работы связана с преемственностью логики научного рассуждения, укоренного традицией научного знания классической науки. Позиции классической науки достаточно сильны, также и в интерпретациях классической науки дедукция как метод применяется достаточно активно. К примеру, такой раздел дедуктивных выводов как силлогистика продолжает исследоваться, интерпретироваться средствами символической логики. Но для нас и важна практическая значимость дедуктивных рассуждений в учебно-исследовательском научном процессе. Кроме того, нужно учитывать мировоззренческий аспект культуры. В связи с культурой образа, складывающегося в современности, наметился сдвиг в сторону ассоциативного мышления. Это с одной стороны неплохо, но рационализм в России остается актуален, как и в 19-ом веке, в связи с большим количеством иррациональных моментов в российской культуре вообще, поэтому целесообразно поддержать традицию дедуктивного способа мышления. У всех людей в той или иной степени имеется то, что называют логической культурой.
Дедуктивные умозаключения имеют место в осмыслении и усвоении теоретических вопросов логики и методологии науки. Всякий процесс рассуждения основывается на использовании законов логики. Убеждение других людей опирается на принципы теории аргументации, то есть на рациональные способы рассуждения, в частности широко используются категорические силлогизмы. Дедуктивные умозаключения, в частности силлогизмы, например, энтимемы, предназначены для того, чтобы с максимальной ясностью и отчетливостью формулировать мысли, придавать нашим мыслям максимально определенную форму. Это, например, относиться к спорам и дискуссиям. В процессах аргументации центральным звеном являются доказательства и опровержения. Большинство аргументативных процедур может быть выражено с помощью доказательства и опровержения. Логическое учение о доказательстве и опровержении служит ориентиром для планирования и реализации процедур аргументации, с помощью которых обосновывается истинность либо ложность суждений. Дедукция в процессе доказательства играет значительную роль, в частности непрямые дедуктивные выводы составляют основу доказательства и опровержения.
Данная работа будет опираться на взгляды современных отечественных ученых – авторов монографий, научных статей, учебников и т.д. Среди них таких исследователи как В.А. Бочаров, В.Н. Брюшинкин, Е.К. Войшвилло, А.Д. Гетманова и др.
Целью данной работы является рассмотрение проблемы дедукции как логического научного вывода. В связи с этим ставятся следующие задачи:
1) Дать общую характеристику дедуктивного умозаключения, привести классификацию его видов;
2) Дать характеристику теории силлогистики на примере простого категорического силлогизма (ПКС); раскрыть понятие сокращенных и сложных силлогизмов.
3)Раскрыть особенности дедуктивного вывода из суждений с отношениями;
4) Охарактеризовать непрямые дедуктивные выводы.
Объектом работы является логика и методология науки.
Предмет – теория дедукции.
Методология работы: общенаучные логические методы: анализ, сравнение, обобщение, абстрагирование, классификация и др.
Структура работы: введение, четыре раздела, заключение, список использованной литературы. Объем –22 с.
1. Общая характеристика дедуктивных умозаключений, их классификация
Начнем с определения умозаключения, под логической операцией умозаключения или, другими словами, логического вывода понимают рациональную процедуру, в результате которой из одного или нескольких принятых утверждений или, другими словами, посылок выводится новое утверждение, которое называется заключением или следствием. Определяющим моментом отличительного признака дедуктивного умозаключения является наличие логической связи между исходным суждением и выводным суждением. Под отношением логического следования понимают необходимую связь между истинными суждениями. В дедуктивном умозаключении эта связь опирается на логический закон. Как правило, дедуктивные умозаключения предполагают движение от более общего вида знания к менее общему виду знания. Дедукции противопоставлена индукция как переход от единичного к частному и общему. В процессе познания дедукция и индукция связаны друг с другом. Это проявляется в том, что единичные факты, на основе обобщения, которых индукция строит общие утверждения, являются объясненными, когда они включены в некоторую стабильную систему понятий, из которой могут быть получены дедуктивным путем. Дедукция связана с объяснением наблюдаемых явлений. Если объясняемое явление заранее дано, то его можно объяснить через общий закон, таким образом, дедукция оказывается связанной с такой функцией теории как объяснение.
Выводы дедуктивного умозаключения обладают таким качеством, как достоверность. Надежность дедуктивного умозаключения основывается на том, что оно не расширяет объёма знаний субъекта, совершающего умозаключение. Информация, которая содержится в заключение, составляет всего лишь часть информации, которая содержится в посылках. Поэтому дедуктивные умозаключения иногда называют аналитическими, отсюда, связь с таким общенаучным логическим методом познания как анализ. Так как в заключение происходит объединение знаний в отдельных посылках, то дедукция связана с синтезом. Вопрос о том дает ли дедуктивный вывод новое знание остается открытым в научной методологии. Некоторые исследователи, к примеру, полагают, что дедуктивное умозаключение не дает нового знания, но проясняет уже имеющееся знание, в этом смысле оно актуализирует скрытую информацию, тем самым и проясняя связи и отношения между элементами знания.
При выявлении правил дедуктивного вывода существенное значение имеет формализация. Результатом формализации является знаковая система в виде некоторого искусственного языка. Для того, чтобы построить формальную систему следует задать определенный алфавит, правила, которые позволяют переходить от одних формул к другим формулам. Содержательно правила дедуктивного вывода определяются характером посылок, которые могут быть простыми или сложными суждениями. Также нужно отметить, что правила вывода могут определяться и внутренней структурой суждения, это характерно в частности для математической логики, для логики предикатов. Также нужно отдельно сказать про выводы для умозаключений отношений, у них особые правила логического вывода по сравнению с умозаключениями логики атрибутивных суждений, то есть суждений свойств. В зависимости от количества посылок, которые используются, умозаключения бывают непосредственные и опосредованные, от этого зависит какие конкретно правила логического вывода будут использованы.
Непосредственные умозаключения – это умозаключения, в которых вывод заключения реализуется из одной посылки путём её преобразования. Различают следующие виды непосредственных умозаключений: превращение, обращения, противопоставления предикату, противопоставление субъекту и выводы по «логическому квадрату». Также к ним иногда относят операцию отрицания. Выводы в каждом из этих умозаключений получаются в соответствии с определёнными логическими правилами, которые, в свою очередь, обуславливаются количественной и качественной характеристиками суждения, так что в этом отношении они называются категорическими
Зарегистрируйся, чтобы продолжить изучение работы
.
В опосредованных умозаключениях вывод следует из двух или нескольких суждений, которые имеют логическую связь между собой. В нём различают три элемента: а) исходное знание (посылки); б) обосновывающее знание (логическое основание вывода); в) выводное знание (заключение).
Среди опосредованных умозаключений выделяют два вида:
1) Дедуктивные умозаключения, которые основаны на структуре простых категорических суждений, или силлогизмы; исторически теория силлогистики была разработана в античности Аристотелем. Среди простых категорический силлогизмов выделяют сокращенные силлогизмы или энтимемы, которые характеризуются или какой-либо пропущенной поылкой, или заключением. Среди простых категорических суждений выделяют сложные – полисиллогизмы и расширенные полисиллогизмы или сориты, у которых пропущено несколько посылок. Также имеется вид и сложносокращенных умозаключений такого вида, так называемая эпихейрема. В зависимости от вида пропущенных посылок данные силлогизмы могут быть регрессивными или прогрессивными.
2) Дедуктивные умозаключения, основанные на связях между суждениями, или умозаключения логики суждений: условные умозаключения (чисто условные умозаключения; условно-категорические умозаключения); разделительные умозаключения (условно-разделительные умозаключения; разделительно-категорические умозаключения); а, также, непрямые (косвенные) выводы – от противного, сведение к абсурду, рассуждение по случаям; исторически умозаключения логики суждения восходят к античности, к работам логиков Стои. Отметим, что имеются обобщения, которые пытаются свести силлогистические умозаключения и умозаключения логики суждений в одну теорию.
Таким образом, дедукция соотносится с общей формальной теорией логического вывода и с применением ее различных схем к конкретному содержанию знания. Дедуктивное умозаключение в традиционной логике – это рациональная форма познания, которая логически представляет собой вывод из одного суждения или нескольких заключения по определенным правилам. Характеризуется связью логического следования, основанной на истинности посылок и заключения. В связи с этим такие умозаключения достоверны, но не обладают способностью существенно расширять знание. Примерно также как в традиционной логики дедуктивный вывод понимается и в математической логике. Дедуктивный вывод является доказательством, если посылки вывода являются сами по себе обоснованными истинами.
Глава 2. Силлогистика как вид дедуктивных выводов
Простой категорический силлогизм (ПКС) — это дедуктивное умозаключение, посредством которого из 2 категорических суждений выводится новое категорическое суждение.
Пример простого категорического силлогизма:
Все люди обладают головным мозгом. Посылка.
Все студенты — люди. Посылка.
Следовательно, все студенты обладают головным мозгом. Заключение.
Посылки силлогизма – это суждения, из которых выводится новое суждение.
Следовательно – это слово, которое обозначает связку силлогизма.
Логическая связь между посылками и заключениями основывается на структуре категорических суждений.
Посылка ПКС бывает большой и малой посылкой. Понятия, которые входят в посылки или заключение силлогизма, назовем терминами данного силлогизма. В силлогизме обычно встречаются 3 термина. Субъект заключения – это меньший термин. Предикат заключения - это больший термин. Термин, который находится в посылках, но отсутствует в заключении, это средний термин. В силлогизмах меньший термин обычно обозначается буквой S, больший термин – буквой P, а средний термин – буквой M.
Если в силлогизме провести замену терминов на их обозначения, то получится схема, по которой происходит вывод в данном силлогизме:
Все M есть P.
Все S есть M.
Все S есть P.
Под содержание силлогизма понимаются понятия, которые встречаются в нем в качестве терминов. Под формой силлогизма понимают связь, которая придается терминам. Рациональный принцип, на котором построены силлогизмы или силлогистика, основана на правильности формы, которая не зависит от его содержания. Это синтаксическое требование, также имеется и семантическое требование, но оно носит психологический характер с точки зрения здравого смысла, а в теории доказательства является необходимым требованием, что отличает умозаключение от доказательства. Семантическое требование – это необходимость истинности посылок и заключения правильного (по форме) умозаключения, в данном случае ПКС.
В силлогистике в качестве основания принудительного характера силлогизмов сформулирована аксиома силлогизма, которая раскрывает два главных вида отношений между терминами силлогизма, на которых основывается убедительная сила всех правильных силлогизмов.
Аксиома силлогизма 1: все, что утверждается относительно всего множества, утверждается и относительно каждого его подмножества, и все, что отрицается относительно всего множества, отрицается и относительно каждого его подмножества. Этот рациональный принцип (dictum de omni et nullo) позволяет обосновать целый класс силлогизмов, к которым сводятся остальные силлогизмы, вследствие чего он может считаться основанием всех вообще силлогизмов.
Аксиома силлогизма 2: С этим рациональным принципом имеет связь другой принцип ( nota notae) – признак признака.
Признак признака есть признак самой вещи, а то, что отрицается относительно признака вещи, отрицается и относительно самой вещи.
Можно доказать, что эти два принципа равносильны, если принять следующее утверждение: объем понятия А есть часть объема понятия В, если и только если В есть признак А. Dictum de omni et nullo формулируется для объемов терминов, которые входят в силлогизм, а nota notae – для содержаний терминов силлогизма.
Отсюда следует, что достоверность тех силлогизмов основывается на том, что термин P высказывается обо всем объеме термина M, а, следовательно, в соответствии с принципом dictum de omni et nullo обо всяком подмножестве объема понятия M, а значит, и об S. Если признак P отрицается относительно всего объема M, а, следовательно, в соответствии с аксиомой силлогизма отрицается и относительно любого подмножества M, т.е. в том числе и S. Помимо этих двух рациональных принципов или аксиом силлогистики, имеются правила, которые также отчасти выводятся из этих аксиом, отчасти создаются внешним образом, как следствия законов логики вообще. Правила силлогизмов делятся на общие правила и правила фигур. Фигура силлогизма – это схема построения силлогизма, в зависимости от нахождения в его содержании среднего термина. Их 4. Общие правила силлогизма делятся на правила по отношению к терминам, и на правила по отношению к посылкам. Есть еще особые правила для каждой из 4 фигур силлогизма.
В соответствии с 4 видами положения среднего термина выделяются 4 фигуры силлогизмов, которые графически можно изобразить:
Каждая из 4 фигур силлогизма дает свои модусы. Модус – это вид ПКС, который имеет характеристику, сводимую к определенному количеству и качеству суждения
50% реферата недоступно для прочтения
Закажи написание реферата по выбранной теме всего за пару кликов. Персональная работа в кратчайшее
время!
на новый заказ в Автор24. Это бесплатно.
Задать вопрос
