Дедуктивные
умозаключения: выводы из простых суждений
Логика Лекция № 6
Энциклопедия Margarita philosophica
План лекции
Введение: рассуждения и умозаключения
Структура умозаключения. Классификация
умозаключенийДедуктивные умозаключения и их виды
Непосредственные умозаключения
Простой категорический силлогизм:
термины, фигуры, модусы и правила
Виды силлогистических умозаключений:
энтимема, полисиллогизм, сложносокращенный силлогизм, эпихейрема, сорит
Заключение
Именно
умозаключения
обеспечивают
то, что мы называем
силой логики
Введение
Рассуждения
и
умозаключения
Умозаключение
- это форма мышления, посредством которой из известных знаний выводится новое знание
- это форма мышления, посредством которой из одного или нескольких суждений
с необходимостью
выводится новое суждение, заключающее в себе новое знание
Функции умозаключения
1. Эвристическая: умозаключение является способом приращения, приобретения нового знания
2.Критическая: с помощью умозаключений проверяется обоснованность суждений
3.Риторическая: умозаключение служит изобретению убедительных аргументов для доказательства истинности своей позиции
Структура умозаключения
1.Суждения, из которых делается вывод, называются посылками умозаключения. Посылки - исходное, и притом уже известное знание, служащее основанием умозаключения
2.Суждение, являющееся выводом умозаключения, называется заключением. Заключение - производное, новое знание, полученное из посылок и выступающее их следствием
3.Вывод (отношение логического следования) - логический переход от посылок к заключению
Отношение логического следования - основной закон всякого умозаключения, позволяющий раскрыть его самый глубокий и сокровенный «секрет» - принудительность вывода
Влогике логический переход обозначается либо сплошной линией, отделяющей заключение от посылок, либо, при символической записи, знаком логического следования «├ », также отделяющего заключение от посылок
Врусском языке грамматическими средствами выражения логического вывода являются слова: «следовательно», «ибо», «поэтому», «так как», «значит», «таким образом», «потому что».
А1, А2, … Аn |
А1, А2, …, Аn ├ В |
||
|
|
||
В |
|||
|
|||
Рассуждение как последовательность умозаключений
Умозаключение – это последовательность суждений, в которой последнее суждение выводится из предыдущих.
Умозаключение выступает как элементарный шаг рассуждения, т.е. процедуры обоснования высказывания путем выведения его из других высказываний. Высказывания А1, А2, … Аn , из которых делается вывод, называются посылками, а высказывание В, которое выводится из посылок, называется заключением.
А1, А2, …, Аn ├ В
Вывод является убедительным, если при верных основаниях (посылках), невозможно, чтобы заключение оказалось ложным. Такой вывод называется доказательством. Правилами построения доказательства занимается дедуктивная логика.
Умозаключение
Умозаключением называется такой прием рассуждения, посредством которого мы из некоторого исходного знания получаем новое, выводное знание.
Беспокойства и волненияM a Pистощают жизненные силы Современная жизньS полнаa M беспокойств и волнений
Современная жизнь истощает силы
S a P
посылки
заключение
Правило следования
Структура
умозаключения
Классификация
умозаключений
Виды умозаключения
По характеру направленности процесса вывода умозаключения делятся на:
дедуктивные
индуктивные
традуктивные (аналогия)
(от латинского traductio перемещение)
Кроме того, умозаключения делятся на
непосредственные и
опосредствованные.