- •1. Логика в системе культуры. Формы логич-го знания
- •2. Логика: понятие,структура,функции
- •3. Язык логики. Основные семантические категории
- •4. Имена. Общая характеристика
- •5. Логические отношения имен
- •6. Логическое ограничение объема имен
- •7. Определение (дефиниция): понятие, формы, правила, ошибки
- •8. Логическое деление. Классификация
- •9. Высказывания. Общая характеристика
- •10. Простые высказывания: понятие, структура, формы. Логический квадрат
- •11. Сложные высказывания. Логическая характеристика.
- •12. Таблица логических значений сложных высказываний
- •13. Умозаключения. Общая характеристика.
- •14. Дедуктивные умозаключения. Непосредственные силлогические выводы
- •15. Простой категорический силлогизм: фигуры, правила, ошибки
- •16. Сложные дедуктивные умозаключения. Условно-категорические и разделительно-категорические умозаключения
- •4 Основных вида:
- •17. Индуктивные умозаключения. Понятие, виды
- •18. Понятие вероятности
- •19. Аналогия. Виды аналогии
- •20. Понятие логического закона. Основные формально-логические законы
- •21.Закон тождества
- •22. Закон противоречия
- •23. Закон исключения третьего
- •24. Закон достаточного основания
- •25. Логич-я правильность и истинность мысли.
- •26. Доказательство и опровержение: понятие, структура, виды
- •27. Вопрос. Структура, виды, правила постановки.
- •1)По степени выраженности в тексте:
- •28. Ответ
- •29. Задача и проблема
- •30. Доказательство и опровержение: понятие, структура, виды, правила
- •3 Вида опровержений:
9. Высказывания. Общая характеристика
Высказывание – форма мышления, в которой что-либо утверждается или отрицается о предмете мысли.
Виды высказываний:
1)Простые 2)Сложные Виды простых высказываний:
Атрибутивные – указывается на свойство или состояние, присущее или неприсущее предмету;
Релятивные – высказывания с отношениями (указывается на отношения между некоторыми предметами мысли);
Экзистенциальные – отображается факт существования либо несуществования предметов.
Структура атрибутивного высказывания:
Субъект(S) – обозначает предмет мысли;
Предикат(Р) – признак предмета мысли;
Логическая связка – устанавливает отношение между S и P.
Всякое атрибутивное высказывание имеет качественные и количественные характеристики.
Повествовательные предложения явл. высказыванием.
Не явл. высказыванием вопросительные и восклицательные предложения за исключением риторических вопросов.
По качеству высказывания бывают:
1)Утвердительные; 2)Отрицательные
По количеству высказывания бывают:
1)Единичные; 2)Общие; 3)Частные
Виды атрибутивных высказываний по кол-ву и кач-ву:
Общеутвердительное(по кач-ву – общее; по кол-ву – утвердительное)=А
Все S есть P (SaP)
Пример: всякий товар имеет стоимость.
Общеотрицательное (Е) Все S не есть P (SeP)
Пример: ни одно насекомое не явл. позвоночным.
Частноутвердительное (I) Некоторые S есть P (SiP)
Пример: некоторые грибы съедобные.
Частноотрицательные (О) Некоторые S не есть P (SoP)
10. Простые высказывания: понятие, структура, формы. Логический квадрат
Виды простых высказываний:
Атрибутивные – указывается на свойство или состояние, присущее или неприсущее предмету;
Релятивные – высказывания с отношениями (указывается на отношения между некоторыми предметами мысли);
Экзистенциальные – отображается факт существования либо несуществования предметов.
Структура атрибутивного высказывания:
Субъект(S) – обозначает предмет мысли;
Предикат(Р) – признак предмета мысли;
Логическая связка – устанавливает отношение между S и P.
Всякое атрибутивное высказывание имеет качественные и количественные характеристики.
По качеству высказывания бывают:
1)Утвердительные; 2)Отрицательные
По количеству высказывания бывают:
1)Единичные; 2)Общие; 3)Частные
Виды атрибутивных высказываний по кол-ву и кач-ву:
Общеутвердительное (А) (по кач-ву – общее; по кол-ву – утвердительное) Все S есть P (SaP)
Пример: всякий товар имеет стоимость.
Общеотрицательное (Е) Все S не есть P (SeP)
Пример: ни одно насекомое не явл. позвоночным.
Частноутвердительное (I) Некоторые S есть P (SiP)
Пример: некоторые грибы съедобные.
Частноотрицательные (О) Некоторые S не есть P (SoP)
Логический квадрат:
Д
ва
высказывания находятся в отношении
противоположности,
если, и только если они не могут быть
одновременно истинными, но могут быть
одновременно ложными.
Два высказывания находятся в отношении подчинения, если, и только если всякий раз, когда подчиняющему соответствует истинное высказывание, подчиненному также соответствует истинное, наоборот не обязательно.
Два высказывания находятся в отношении частичной совместимости, если, и только если они могут быть одновременно истинными, но не могут быть одновременно ложными.
Два высказывания находятся в отношении противоречия, если, и только если они не могут быть одновременно ни истинными, ни ложными.
