- •1.Формы рационального познания, логика как наука, основные понятия и проблемы.
- •2. Логика и язык. Логическая форма. Логические законы и теории.
- •3. Предложение, суждение, высказывание. Виды сложных высказываний, условия их истинности.
- •4. Классическая логика высказываний. Язык и табличное построение. Понятие закона логики высказываний
- •5. Логические отношения между сложными высказываниями.
- •6. Отношение логического следования. Методы проверки правильности рассуждений (табличный и сокращенный).
- •7. Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания.
- •8. Отношения между атрибутивными высказываниями
- •9. Непосредственные умозаключения. Умозаключения по логическому квадрату.
- •10. Простой категорический силлогизм. Общие правила силлогизма.
- •11. Методы проверки категорического силлогизма. Алгоритм восстановления энтимемы в силлогизм.
- •12. Понятие как форма рационального познания. Общая характеристика понятий. Закон обратного отношения между содержанием и объемом.
- •13. Виды понятий
- •14.Отношения между понятиями по объему.
- •15. Операции ограничения, обобщения, деления. Виды и правила деления.
- •1. Деление должно быть соразмерным.
- •2. Деление должно производиться только по одному основанию.
- •4. Деление должно быть непрерывным.
- •16. Определение. Виды и правила.
10. Простой категорический силлогизм. Общие правила силлогизма.
Общеутвердительные |
S+ a P- |
Частноутвердительные |
S- i P- |
Общеотрицательные |
S+ e P+ |
Частноотрицательные |
S- o P+ |
Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина – быть связующим звеном между крайними терминами, между субъектом и предикатом вывода.
1) наименования «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина; 2) с переменой места любого термина в посылке обозначение его не меняется – больший термин (предикат вывода) всегда обозначается символом Р, меньший (субъект вывода) – символом S, средний – символом М; 3) от перемены порядка посылок в силлогизме вывод, то есть логическая связь между крайними терминами, не зависит.
Таким образом, логический анализ силлогизма нужно начинать с вывода, с уяснения его субъекта и предиката, с установления отсюда меньшего и большего терминов силлогизма. В зависимости от этого выделяется большая и меньшая посылка, а также средний термин, повторяющийся в обеих посылках.
При построении силлогизма нужно следить за подбором посылок, позволяющих по содержанию сделать объективный вывод. При этом необходимо строго учитывать логическое основание всякого силлогистического вывода, так называемую аксиому силлогизма.
В зависимости от положения среднего термина различаются четыре фигуры силлогизма:
М ––– Р Р ––– М М ––– Р Р ––– М
S ––– M S ––– M M ––– S M ––– S
(предполагается, что большая посылка ставится первой, а меньшая - второй). Различия силлогизмов в зависимости от местоположения среднего термина в посылках называется фигурами силлогизма. Все силлогизмы делятся по этим четырем фигурам.
Модусами называются виды силлогизма, различающиеся количественным и качественным характером посылок. По каждой фигуре силлогизма есть определенные сочетания посылок, дающие правильный вывод. Некоторые же сочетания противоречат основным правилам (силлогизма, поэтому правильных выводов дать не могут. Отсюда возникает необходимость установить правильные модусы каждой фигуры.
Каждая фигура силлогизма имеет свои правильные модусы:
I фигура – ААА, ЕАЕ, AII, EIO;
II фигура – ЕАЕ, АЕЕ, ЕIO, AOO;
III фигура – AAI, IAI, EAO, EIO, АII, ОАО;
IV фигура – ААI, IАI, АЕЕ, ЕАО, ЕIО.
Структура силлогизма подчинена определенным логическим правилам, без соблюдения которых невозможно построить силлогизм.
Имеется хотя бы одна утвердительная посылка.
Если имеется отрицательная посылка, то и заключение отрицательное.
Если есть 2 утвердительные посылки, то заключение утвердительное.
Cредний термин должен быть распределен в хотя бы одной из посылок.
Если термин распределен в заключении, то он должен быть распределен в посылке.
