- •1. Предмет логики, её значение и место в системе научных знаний.
- •2.Основные формы познания. Чувственное познание и абстрактное мышление, их взаимосвязь. Особенности абстрактного мышления.
- •3. Исторические этапы развития логики как науки.
- •4. Логический и сематический анализ языка и мышления. Именные и пропозициональные функции.
- •5. Понятие как форма мышления. Объем и содержание понятий.
- •6. Логическая характеристика понятий. Виды понятий по объему и содержанию.
- •7. Соотношение понятий. Сравнимые и несравнимые. Совместные и несовместные понятия. Виды совместимости и несовместимости понятий.
- •10. Логические операции с понятиями: деление понятий. Виды деления. Правила деления и ошибки, вытекающие из нарушений.
- •8.Логические операции с понятиями: обобщение и ограничение, анализ и синтез, абстрагирование и идеализация.
- •9.Логические операции с понятиями: определение понятий. Виды определения. Правила определения и ошибки, вытекающие из их нарушений.
- •14. Выделяющие и исключающие суждения, их логическая структура.
- •15. Правила распределенности терминов в атрибутивных суждениях.
- •16. Модальные суждения. Виды модальности.
- •17. Отношения между простыми суждениями. Правила логического квадрата.
- •18. Сложные конъюктивные и дизъюктивные суждения, условия их истинности.
- •19. Сложные суждения импликации, эквиваленции и суждения внешнего отрицания, условия их истинности.
- •20. Умозаключение как форма логического мышления. Структура и виды умозаключений.
- •21.Непосредственные умозаключения: логические операции превращения, обращения, противопоставления предикату и преобразования по логическому квадрату.
- •22. Умозаключения из суждений с отношениями.
- •23. Простой категорический силлогизм, его логическая структура. Аксиома силлогизма.
- •24. Общие правила посылок и терминов простого категорического силлогизма.
- •25. Первая и вторая фигуры простого категорического силлогизма, особые правила фигур.
- •28. Сокращенные умозаключения и их восстановление до полного силлогизма.
- •29. Чисто условное умозаключение, его модусы.
- •30. Условно-категорическое умозаключение, его модусы.
- •31. Разделительно-категорическое умозаключение, его модусы.
- •32.Условно-разделительные умозаключения. Конструктивная и деструктивная диллемы.
- •33. Индуктивные умозаключения. Виды индукции, условия состоятельности выводов.
- •34. Методы установления причиненных связей в индуктивных умозаключениях: метод сходства и метод различия, метод остатков и метод сопутствующих изменений.
- •35. Умозаключение по аналогии. Виды аналогии. Характер вывода умозаключении по аналогии.
- •36. Основные законы логики. Закон тождества. Закон непротиворечия. Закон исключительного третьего. Закон достаточного основания.
- •37. Логические основы аргументации.
- •38. Логическая характеристика доказательств. Виды доказательств, его структура.
- •39. Логическая характеристика опровержения. Виды опровержения, его структура.
- •40. Гипотеза и её структура. Виды гипотез. Версия. Способы доказательств гипотезы.
16. Модальные суждения. Виды модальности.
Модальные суждения – это суждения, содержащие некоторую дополнительную информацию.
Модальность — это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
ВИДЫ:
Эпистемическая модальность — это выраженная в суждении информация об основаниях принятия и степени его обоснованности.
Деонтическая модальность — это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
17. Отношения между простыми суждениями. Правила логического квадрата.
Отношения устанавливаются не между любыми, а лишь между сравнимыми, т. е. имеющими общий смысл суждениями.
равнимыми являются суждения с одинаковыми субъектами и предикатами.
Для иллюстрации отношений между простыми суждениями используется логический квадрат:
Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).
18. Сложные конъюктивные и дизъюктивные суждения, условия их истинности.
Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество, относится к умышленным преступлениям». Если первое обозначать р, а второе — q, то соединительное суждение символически можно выразить как р л q, где р и q — члены конъюнкции (или конъюнкты), л — символ конъюнкции.
Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых: «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-продажи может быть заключен в письменной форме». Если первое обозначить р, а второе — q, то разделительное суждение символически можно выразить как р v q, где р и q — члены дизъюнкции (дизъюнкты), v — символ дизъюнкции.
19. Сложные суждения импликации, эквиваленции и суждения внешнего отрицания, условия их истинности.
Импликация – сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент) истинно, а последующее (консеквент) ложно.
В естественном языке импликация выражается союзом «если..., то» в смысле«наверно, что А и не В». Например, «Если число делится на 9, то оно делится и на 3».
Эквивалентность – сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением, т. е. одновременно либо истинны, либо ложны.
Логический союз эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если». Например, «Если и только если треугольник равносторонний, то он и равноугольный».
Внешним отрицанием.
Речь идет о суждении, в котором утверждается отсутствие некоторой ситуации. Оно чаще всего выражается предложением, начинающимся слово-сочетанием «неверно, что». Внешнее отрицание обозначается символом , называемым знаком отрицания.
