- •Логические определения.
- •22* Понятие о логическом законе
- •25* Закон исключенного третьего.
- •29. Закон достаточного основания.
- •30. Общее понятие об умозаключении. Понятие логического следования.
- •31. Обращение и превращение.
- •32. Противопоставление предикату.
- •33. Выводы по "логическому квадрату".
- •34. Категорический силлогизм. Фигуры силлогизма. Специальные правила фигур. Модусы категорического силлогизма.
- •35. Правила категорического силлогизма.
- •36. Сокращенный категорический силлогизм (энтимема).
- •37. Прогрессивный полисиллогизм.
- •38. Регрессивный полисиллогизм.
- •39. Сориты.
- •40. Эпихейрема.
- •41. Прямые выводы. Чисто условные умозаключения.
- •42. Условно-категорические умозаключения.
- •43. Разделительные умозаключения.
- •44. Условно-разделительные или лемматические умозаключения.
- •Конструктивные дилеммы.
- •45. Деструктивные дилеммы.
- •46: Индуктивные умозаключения, их роль в познании. Понятие вероятности.
- •47. Полная индукция. Её роль в познании.
- •48. Популярная индукция. Индукция через анализ и отбор факторов. Условия повышения степени вероятности этих выводов.
- •49. Научная индукция на основе установления причинной связи. Достоверность её заключений.
- •50. Индуктивные методы установления причинных связей. Метод сходства. Метод различия.
- •51. Индуктивные методы установления причинных связей. Метод сопуствующих изменений. Метод остатков.
- •Понятие вероятности.
- •52. Умозаключение по аналогии и его виды.
- •53. Понятие аргументации. Структура доказательства.
- •54. Прямое и косвенное доказательство.
- •55. Опровержение. Прямой и косвенный способы опровержения.
- •56. Правила доказательного рассуждения. Ошибки совершаемые относительно доказываемого тезиса.
- •57. Правила по отношению к аргументам. Ошибки в основаниях доказательства.
- •58. Софизмы и паралогизмы. Понятие логических парадоксов.
- •59. Гипотеза как форма развития знаний. Виды гипотез.
- •60. Построение гипотез и этапы их развития.
- •61. Способы построения и опровержения гипотез.
43. Разделительные умозаключения.
Разделительным называется такое УЗ, в котором одна или несколько Псе есть разделит. (дизъюнкт.) СС.
НБ: есть чисто-разделительные и разделительно-категорические умозаключения.
В чисто-разделительном умозаключении обе (все) Псе есть разделит. СС.
его структура: "с. есть А. или Б. или В"
А есть или А1. или А2
с. есть или А1, или А2, или Б, или В
В первой разделит. С каждое из трех простых СС (типа "с. есть А") - есть альтернатива. Из С "с. есть А" образуется ещё две альтернативы, которые составляют два члена новой дизъюнкции.
В разделительно-категорическом умозаключении одна Пс - разделит. С, другая - простое ка-тегорич. С. Это вид умозаключений содержит два модуса.
1 модус - утверяздающе-отрицающий (понендо толленс).
а W б, а или а W б, б "или" здесь строгая дизъюнкция.
б' а'
Формулы: а) ((а W б) Л а)--б'- закон логики.
б) ((а W б) Л а')--а'- закон логики.
НБ: если в этом модусе "или" есть простая дизъюнкция, то соответственно формулы не будут законами логики!
в) ((а V б) Л а)--б'- не закон логики.
г) ((а V б) Л б)--а'- не закон логики.
НБ: ошибки происходят из-за смешения смыслов соединительно-разделительного и строго разделительного союза "или" в модусе "понендо толленс".
2 модус - отрицающе-утверяедающий (толлендо понеис).
а V б, а' а V б, б' а W б, а’ а W б, б'
б а б а
Логический союз "или" здесь можно употребить в двух смыслах: как V и W, т.к. характер дизъюнкции на необходимость зк зк по этому модусу не влияет.
НБ: модусу "толендо поненс" соответствует 4 закона логики:
а) ((а V б) Л а') -- б, б) ((а V б) Л б') -- а., в) ((а W б) Л а') -- б, г) ((а W б) Л б') -- а.
НБ: Обязательными условиями при выводах по разделительно-категорическому умозаключению является соблюдение правила, согласно которому в разделит. Пс предусмотрены все возможные альтернативы, т.е. деление должно быть полным !
Это правило обязательно для отрицающе-утверждающего модуса, иначе будут ошибки в рассуждении.
44. Условно-разделительные или лемматические умозаключения.
Условно-разделительные умозаключения — в которых одна из Псе состоит из двух и большего числа условных СС, а другая - является разделит. С.
В зависимости от числа членов в разделит. Пс это умозаключение может быть дилеммой (если разделит. Пс содержит 2 члена), трилеммой (3 члена) или вообще - полилеммой (больше 2-х членов).
Конструктивные дилеммы.
Дилемма - условно-разделительное умозаключение, в котором одна Пс состоит из двух условных СС, а другая есть разделительная С, содержащая две альтернативы.
НБ: Дилемма есть сложный и трудный выбор из двух потенциально нежелательных решений.
Простая конструктивная дилемма - в первой (условной) Пс утверждается, что из двух различных оснований вытекает одно и тоже следствие.
Во второй Пс (дизъюнктив. С) утверждается, что одно или другое из этих оснований истинно. В зк утверждается следствие.
Схема ПКД: а--б, в--б, а V б
б
Соединив Псе знаком "Л", присоединив посредством "--" зк, получим формулу этого вида дилеммы: ((а--б) Л (в--б) Л (а V в)--б- тождественно-истинная формула и закон логики.
Сложная конструктивная дилемма — отличается от простой только тем, что оба следствия её первой (условной) Пс различны.
Схема СКД: а--б, ц--д. а V ц
б V д
Соединив Псе знаком "Л", присоединив посредством "--" зк, получим формулу этого вида дилеммы: ((а--б) Л (ц--д) Л (а V ц)-(б V д).