Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Судья Н не может участвовать в рассмотрении дела.
|
|
Лекция 6. Дедуктивные умозаключения. Выводы из простых суждений
§ 1. Умозаключение как форма мышления. Виды умозаключений
В процессе познания действительности мы приобретаем новые знания. Некоторые из них — непосредственно, в результате воздействия предметов внешнего мира на органы чувств; но большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными.
Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н — потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».
В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение — заключением.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т.п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:
Судья не может участвовать в рассмотрении дела, если он является потерпевшим.
Судья Н. — потерпевший.______________________________
Судья Н не может участвовать в рассмотрении дела.
Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. Например, из суждений: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим» и «Обвиняемый имеет право на защиту» — нельзя получить заключения, так как эти суждения не имеют общего содержания и, следовательно, логически не связаны друг с другом.
При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, должны быть истинными исходные суждения — посылки умозаключения; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.
В зависимости от строгости правил вывода различают два вида умозаключений: демонстративные (необходимые) и недемонстративные (правдоподобные). Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятное следование заключения из посылок.
Наряду с делением умозаключений по строгости вывода важное значение имеет их классификация по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Эта классификация умозаключений будет положена в основу дальнейшего изложения.
Рассмотрим дедуктивные умозаключения.
Дедуктивными (от латинского deductio — «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.
Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредствованные, в которых заключение выводится из двух посылок.
|
|