Умозаключение - форма мышления, посредством которой из одного или нескольких суждений с необходимость выводится новое суждение
Структура:
Посылки - исходное знание, основание для умозаключения
Заключения - производное из посылок, их следствие
Связь между посылками и выводом - отношение между ними, делающее возможным переход
Виды:
Дедукция - переход от общего к частному
Индукция - переход от частного к общему
Аналогия - умозаключение о принадлежности предмету определенного признака
Непосредственные умозаключения - те, которые делаются из одной посылки
Обращение - непосредственное умозаключение, в котором субъект заключения совпадает с предикатом посылки,а предикат заключ. с субъектом посылки
Превращение - непосредственное умозаключение, в котором субъект заключения совпадает с субъектом посылки, а предикат заключения является термином, противоречащим предикату посылки
Противопоставление предикату - непосредственное умозаключение, в котором в заключении место субъекта занимает понятие противоречащее предикату посылки, а место предиката субъект посылки
К ним относятся такие умозаключения, посылки и заключения которых являются суждениями отношения.
Например:
Андрей – брат Павла.
Павел – брат Сергея.
Андрей – брат Сергея.
23. Простой категорический силлогизм, его логическая структура. Аксиома силлогизма.
Это умозаключение об отношении двух терминов на основании их отношения к третьему
Состоит из предиката - большего термина, субъекта - меньшего термина и М - среднего термина, к которому относятся первые два термина
Аксиома: Все, что утверждается/отрицается относительно всех предметов класса, утверждается или отрицается относительно каждого предмета этого класса
Правила терминов:
1. В силлогизме должно быть только три термина
2. Средний термин должен быть распределен хотя бы в одной из посылок
3. Термин, распределенный в посылке не может быть распределен и в заключении
Правила посылок:
1. Из двух отрицательных посылок нельзя сделать вывод
2. Из двух частных посылок нельзя сделать вывод
3. Если одна из посылок - отрицательное суждение, то заключение отрицательное
4. Если одна из посылок - частное суждение, то и заключение должно быть частным
Фигурами силлогизма называются формы силлогизма, различаемые по положению среднего термина в посылках
В первой фигуре средний термин - субъект в большей посылке и предикат в меньшей
Правило: Большая посылка должна быть общим суждением (А, Е), меньшая посылка – утвердительное суждение (А, I).
Во второй - предикат в обеих посылках
Правило: Большая посылка – общее суждение (А, Е), одна из посылок – отрицательное суждение (Е, О).
В третьей фигуре средний термин - субъект в обеих посылках
Правило: Меньшая посылка – утвердительное суждение (А, Г), а заключение – частное суждение (I, О).
В четвертой - предикат в большей посылке и субъект в меньшей
Правило: Общеутвердительных заключений не дает (т.е. кроме А).
Сложный силлогизм (полисиллогизм) - сцепление ряда силлогизмов, при котором заключение одного силлогизма становится посылкой для другого. В полисиллогизме различают просиллогизм (предшествующий силлогизм) и эписиллогизм (последующий силлогизм). Существуют два основных типа полисиллогизмов: прогрессивные и регрессивные. В прогрессивном силлогизме осуществляется переход от общих понятий к менее общим за счет того, что заключение одного силлогизма становится большей посылкой другого. В регрессивном - наоборот.
Эпихейрема - сложноскоращенный силлогизма, в котором посылками служат энтимемы. Обосновывается не только вывод, но и каждая посылка.
Силлогизм, в котором выпущена (не выражена явно) какая-нибудь из его частей (посылка или заключение), называется сокращённым силлогизмом или энтимемой.
В простых случаях подразумеваемые в рассуждении посылки или заключение можно установить, не прибегая к специальным приёмам, – по общему смыслу рассуждения. Но во многих случаях восстановить недостающую часть силлогизма по общему смыслу не так просто. Однако это можно сделать, выполняя операцию восстановления силлогизма до полной формы, которая состоит из нескольких этапов:
1) определение пропущенного элемента силлогизма (посылки или заключения).
2) определение терминов силлогизма (меньшего, большего и среднего);
3) определение вида пропущенной посылки (если пропущена именно посылка) – большая или меньшая;
4) определение фигуры и модуса силлогизма;
5) формулировка силлогизма в полной форме.
29. Чисто условное умозаключение, его модусы.
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Модус: a-b,b-c // a-c
30. Условно-категорические умозаключение, его модусы.
Двухпосылочное умозаключение в котором одна из посылок является услоным высказыванием, а другая, а также заключение - первым простым высказыванием первой посылки, либо вторым, либо отрицанием того и другого.
Модус поненс: a-b,a // b
modus tollens: a-b, -b // -a
31. Разделительно-категорическое умозаключение, его модусы.
32. Условно-разделительные умозаключения. Конструктивная и деструктивная дилеммы.
33. Индуктивные умозаключения. Виды индукции, условия состоятельности вывода.
34. Методы установления причинных связей в индуктивных умозаключениях: метод сходства и метод различия, метод остатков и метод сопутствующих изменений.
35. Умозаключение по аналогии. Виды аналогии. Характер вывода в умозаключении по аналогии.
Аналогия -умозаключение о принадлежности предмету определенного признака (т. е. свойства
или отношения) на основе сходства в признаках с другим предметом.Аналогия -умозаключение о принадлежности предмету определенного признака (т. е. свойства
или отношения) на основе сходства в признаках с другим предметом.
В зависимости от характера информации, переносимой с модели на прототип, аналогия
делится на два вида: аналогия свойств и аналогия отношений. В аналогии свойств
рассматриваются два единичных предмета или два множества однородных предметов (два
класса), а переносимыми признаками являются свойства этих предметов (аналогия между
Марсом и Землей, аналогия в симптомах протекания болезни у двух людей и др.).
Кроме деления аналогий на эти два вида - свойств и отношений, - умозаключения по
аналогии по характеру выводного знания (по степени достоверности заключения) можно
разделить на три вида:
1) строгая аналогия, которая дает достоверное заключение;
2) нестрогая аналогия, дающая вероятное заключение;
3) ложная аналогия, дающая ложное заключение.
(закон тождества)Этот закон формулируется так: “В процессе определенного рассуждения всякое понятие и
суждение должны быть тождественны самим себе”.
(закон непротиворечия)Закон непротиворечия читается так: “Два противоположных суждения не могут быть
истинными в одно и то же время и в одном и том отношении”
(закон исключенного третьего) В двузначной традиционной логике закон исключенного третьего формулируется так:
”Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано”.
(закон достаточного основания)Этот закон формулируется так: “Всякая истинная мысль должна быть достаточно обоснованной”. Речь идет об обосновании только истинных мыслей: ложные мысли обосновать
нельзя
УБЕЖДАЮЩЕЕ ВОЗДЕЙСТВИЕ, безличный характер доказательства главное отличие доказательства от аргументации
Доказательство - это совокупность логических приемов обо снования истинности тезиса.
Доказательство связано с убеждением, но не тождественно ему: доказательства должны
основываться на данных науки и общественно-исторической практики
Тезис - это суждение, истинность которого надо доказать.
Аргументы - это те истинные суждения, которыми пользуются при доказательстве тезиса.
Формой доказательства, ил демонстрацией, называется способ логической связи между
тезисом и аргументами.
Непрямое (косвенное) доказательство - это доказательство, в котором истинность
выдвинутого тезиса обосновывается путем доказательства ложности антитезиса. Если тезис об
значить буквой а, то его отрицание будет антитезисом, т.е. противоречащим тезису
суждением.
Апагогическое косвенное доказательство (или доказательство “от противного”)
осуществляется путем ycтановления ложности противоречащего тезису суждения.
Разделительное доказательство (методом исключения). Антитезис является одним из
членов разделительного суждения, в котором должны быть обязательно перечислены все
возможные альтернативы
Опровержение - логическая операция установления ложности или необоснованности ранее
выдвинутого тезиса.
Опровержение должно показать, что:
1) неправильно построено само доказательство
(аргументы или демонстрация);
2) выдвинутый тезис ложен или не доказан.
Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с
помощью которых опровергается тезис, называются аргументами опровержения,
Существуют три способа опровержения: I) опровержение тезиса (прямое и косвенное); II)
критика аргументов; III) выявление несостоятельности демонстрации
Опровержение тезиса осуществляется с помощью следующих трех способов (первый -
прямой способ, второй и третий -косвенные способы)
(1. Опровержение фактами Должны быть приведены действительные события, явления,
статистические данные, которые противоречат тезису, т. опровергаемому суждениюмммДолжны быть приведены действительные события, явления,
статистические данные, которые противоречат тезису, т. опровергаемому суждению
2. Устанавливается ложность (или противоречивость) следствий, вытекающих из тезиса.
Доказывается, что из данного тезиса вытекают следствия, противоречащие истине
3. Опровержение тезиса через доказательство антитезиса. По отношению к
опровергаемому тезису (суждению а ) выдвигается противоречащее ему суждение (т. е. не-а),
и суждение не-а (антитезис) доказывается)- P.s мб это и не надо Аминь
II. Критика аргументов
Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его
тезиса. Доказывается ложность или несостоятельность этих аргументов
III. Выявление несостоятельности демонстрации
Этот способ опровержения состоит в том, что показываются ошибки в форме доказательства