- •Предмет логики как науки.
- •Мышление как объект и инструмент познания.
- •Понятие логической формы. Истинность и правильность мысли.
- •Язык как знаковая система. Принципы отношения именования.
- •Семантические категории языковых выражений.
- •Объем и содержание понятий, операции ограничения и обобщения понятий.
- •Виды понятий.
- •Отношения между понятиями.
- •Определение понятий и виды определений. Приемы, сходные с определением.
- •Правила определения. Ошибки в определениях.
- •Деление понятий и его виды.
- •13. Правила деления и ошибки, возможные при делении.
- •15. Суждение как форма мышления. Суждение и предложение.
- •16. Простые суждения и их виды.
- •17. Категорические суждения. Объединенная классификация суждений.
- •18. Распределенность терминов в категорических суждениях. Условия истинности категорических суждений.
- •19. Отношения между простыми суждениями. ≪Логический квадрат≫.
- •20. Сложные суждения и их виды. Логическая форма сложных суждений.
- •21. Семантические таблицы истинности.
- •22. Отношения между сложными суждениями. Понятие логического
- •23. Основные законы логики.
- •24. Рассуждение, его структура. Характеристика умозаключения и его
- •25. Отличительные черты дедуктивных умозаключений и их роль в
- •26. Силлогистический вывод. Непосредственные умозаключения, их
- •2. Обращение.
- •27. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •29. Энтимема. Способы образования и проверки энтимем.
- •30. Сложные силлогизмы (полисиллогизмы и сориты).
- •31. Условно-категорические умозаключения, их использование при
- •32. Чисто условные умозаключения, их роль в доказательстве.
- •33. Разделительно-категорические умозаключения, условия правиль-
- •34. Дилеммы, их виды и правильные формы.
- •35. Недедуктивные умозаключения, их виды и роль в познании.
- •36. Индукция как метод познания. Индуктивные умозаключения.
- •37. Причинные отношения. Типичные ошибки, возникающие при анализе причинных связей.
- •38. Методы сходства и различия. Объединенный метод.
- •39. Методы сопутствующих изменений и остатков.
- •40. Умозаключения по аналогии, их структура и виды. Аналогия и
- •43. Виды опровержения.
- •44. Правила по отношению к тезису: возможные ошибки и уловки.
- •46. Правила по отношению к демонстрации и возможные ошибки.
- •47. Софизмы и парадоксы, их роль в развитии знания.
- •48. Условия и источники возникновения логики.
- •49. Аристотелевская логика, ее роль в развитии науки и культуры.
- •50. Развитие методов дедукции и индукции в Новое время.
- •51. Символическая логика и создание искусственных языков.
- •52. Основные формы теоретического знания.
31. Условно-категорические умозаключения, их использование при
аргументации.
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе ) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
Схема:
p—»q,p
q
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения ( q )
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Схема отрицающего модуса:
p---»q, q
p
32. Чисто условные умозаключения, их роль в доказательстве.
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Например:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения ( q ).
Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(р -> q) (q -> г)
р —> r
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
33. Разделительно-категорические умозаключения, условия правиль-
ности вывода.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отри-цающе-утверждающий.
1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q) Схема утверждающе-отрицающего модуса:
pVVq, p
q
VV (друг под другом)— символ строгой дизъюнкции.
Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными ( q )
Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Схема отрицающе-утверждающего модуса:
< pvq >, p
q
< > — символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.