- •Логика как наука и ее значение в системе образования.
- •Формирование и основные этапы развития логики. Современная л. И основные сферы ее практ. Применения.
- •Познание – основные уровни и формы. Понятие логической формы мышления.
- •Мышление и язык. Естественные и искусственные языки. Основные функции языка.
- •Язык логики. Основные понятия.
- •Семиотика как наука и ее основные понятия: знак и значение, объектный язык и метаязык, синтаксис, семантика и прагматика.
- •Понятие как форма мышления. Содержание и объем понятия.
- •Отношения между понятиями и их изображение на схемах.
- •Операция деления понятий. Правила деления. Классификация.
- •Операция определения понятия (термина). Правила и виды определений.
- •Суждение (высказывание) и его логическая структура. Виды суждений. Суждение как минимальная единица информации.
- •Логические приемы образования понятий.
- •Суждение как форма мышления.
- •Основные виды суждений. Состав и виды простых суждений.
- •Объединенная классификация суждений по количеству и качеству. Распределенность терминов в суждении.
- •Основные виды сложных суждений и их истинность.
- •Логические отношения между простыми суждениями.
- •Логические отношения между сложными суждениями.
- •Отношение между суждениями по логическому квадрату.
- •Модальность суждений. Основные виды модальности. Модальные операторы.
- •Язык логики высказываний (алфавит, понятие формулы). Табличное определение логических связок.
- •Виды формул по истинности. Построение таблиц истинности.
- •Законы логики как тождественно-истинные формулы логики высказываний.
- •Классическая и неклассическая логика.
- •Понятие умозаключения и его логическая характеристика, основные виды умозаключений.
- •Дедуктивные умозаключения (логический вывод) и их логическая характеристика. Понятие логического следования.
- •Непосредственные умозаключения и их виды.
- •Простой категорический силлогизм и его структура.
- •Силлогизм. Его разновидности. Правила силлогизма.
- •Правила терминов
- •Правила посылок
-
Простой категорический силлогизм и его структура.
Простым категорическим силлогизмом (ПКС) называется необходимое умозаключение, состоящее из трех категорических суждений (двух посылок и заключения), включающих три понятия (термина), и в котором вывод осуществляется на основе знания отношений двух терминов к некоторому третьему термину.
Фигуры. Фигура КС – форма силлогизма различная по положению среднего термина в посылках. Различают 4-ре фигуры.
Правила фигур.1)Большая посылка должна быть общей, меньшая – утвердительна.
2)Большая посылка общая и одна из посылок, а также заключение отрицательные.
3)Меньшая посылка должна быть утвердительна, а закл-е частное.
4)Общеутвердительное заключение не дает никогда, если большая посылка – утвердительна , то меньшая общая, а если одна из посылок отрицательная, то большая – общая.
-
Силлогизм. Его разновидности. Правила силлогизма.
Силлогизм -умозаключение, в к-ром из двух ранее установленных суждений, называемых посылками, получается третье суждение, называемое выводом
Правила фигур (разновидности):
1)Большая посылка должна быть общей, меньшая – утвердительна.
2)Большая посылка общая и одна из посылок, а также заключение отрицательные.
3)Меньшая посылка должна быть утвердительна, а закл-е частное.
4)Общеутвердительное заключение не дает никогда, если большая посылка – утвердительна , то меньшая общая, а если одна из посылок отрицательная, то большая – общая
Правила терминов
1)В силлог. д.б. только 3 термина (Может возникнуть ошибка, которая называется учетверение терминов, вызванная не тождественностью среднего термина в обеих посылках)
2) Средний термин д.б. распределен хотя бы в одной из посылок.
3) Термин не распределенный в посылках не м.б. распределен и в заключении. (Имеются в виду крайние термины) Применяется когда меньшая посылка «-».
Правила посылок
1) Хотя бы одна из посылок д.б. утвердительной (Из двух отрицательных посылок заключение с необходимостью не следует.)
2) Хотя бы одна из посылок д.б. общей (Из двух частных посылок заключение с необходимостью не следует, а из двух единичных – возможно (аналогично общим)
3) Если одна из посылок частная, то и заключение будет частным.
4) Если одна из посылок «-», то и заключение будет «-».