
- •1. Анализ суждений в традиционной логике. Классификация простых атрибутивных суждений. Интерпретация пас. Понятие распределенности терминов в пас.
- •2. Отношения пас по логическому квадрату. Умозаключения по логическому квадрату. Основные принципы классической логики с точки зрения пас.
- •3. Непосредственные умозаключения из пас (обращение, превращение).
- •4. Простой категорический силлогизм (пкс). Термины и посылки пкс. Понятие фигуры и модуса пкс. Общие правила пкс.
- •5. I фигура пкс.
- •6. II фигура пкс.
- •7. III фигура пкс.
- •8. IV фигура пкс.
- •9. Сведение модусов II, III, IV фигур к модусам I фигуры.
- •10. Опровержение неправильных модусов. Силлогистика в диаграммах Эйлера – Венна.
- •11. Возможность расширения силлогистики. Гамильтонова силлогистика. Силлогистика с негативными терминами.
- •12. Полисиллогизм, энтимема, сорит, эпихейрема.
- •13. Аксиоматическое построение силлогистики.
- •14. Силлогистика и логика предикатов.
- •15. Общая характеристика понятия. Объем и содержание понятия. Классификация понятия. Род, вид, видовое отличие.
- •16. Виды понятий.
- •17. Отношения между понятиями.
- •19. Обобщение и ограничение понятий. Закон обратного соотношения объема и содержания понятий.
- •20. Деление понятий. Классификация.
- •21. Определение. Структура и правила определений.
- •22. Виды определений.
- •24. Общая характеристика интуционистской логики. Критика закона исключенного третьего.
- •25. Принципы построения многозначных логик и их содержательная интерпретация.
- •26. Трехзначная логика Лукасевича.
- •27. Понятие релевантной логики. Парадоксы материальной импликации и логического следования. Различные виды условной связи и понятие релевантного следования.
- •28. Паранепротиворечивые логики. Относительная и абсолютная противоречивость.(найти!!!)
- •29. Модальная логика.
- •31 Вопрос. Нормальные модальные системы и их интер. В семантике возможных миров.
- •32. Общая характеристика правдоподобных умозаключений.
- •34. Элиминативная индукция. Понятие причинной зависимости. Методы эл. Индукции: единственного сходства, единственного различия, сопутствующих изменений, остатков.
- •35. Умозаключения по аналогии: виды аналогий, методы повышения достоверности вывода по аналогии.
- •36. Гипотетико-дедуктивный метод. Гипотеза и проблема.
- •37. Структура доказательств. Виды аргументации.
- •38. Ошибки и правила аргументации.
- •39. Способы опровержения доказательств.
5. I фигура пкс.
I фигура
В 1-й фигуре средний термин занимает место субъекта в большей посылке предиката в меньшей.
Пример:
Все металлы (М) - электропроводны (Р)
Медь (S) - металл (М)
Медь (S) - электропроводна (Р)
Правила 1-й фигуры:
1) бoльшая посылка должна быть общей (А или Е);
2) мeньшая посылка должна быть утвердительной (А или I).
6. II фигура пкс.
II фигура
Во 2-й фигуре средний термин занимает место предиката в обеих посылках
Пример:
Этот смертельный удар (Р) нанесен человеком огромной силы (M)
Обвиняемый (S) не является человеком огромной силы (М)
Обвиняемый (S) не нанес этот смертельный удар (P)
Правила 2-й фигуры:
1) бoльшая посылка должна быть общим суждением (А, Е);
2) одна из посылок должна быть отрицательным суждением (E, I).
7. III фигура пкс.
III фигура
В 3-ей фигуре средний термин занимает место субъекта в обеих посылках.
Пример:
Ни один страус (М) не летает (Р)
Все страусы (М) птицы (S)
Некоторые птицы (S) не летают (P)
Правила 3-й фигуры:
1) мeньшая посылка должна быть утвердительным суждением (А, I);
2) заключение должно быть частным суждением (I, О).
8. IV фигура пкс.
IV фигура
В 4-й фигуре средний термин занимает место предиката в большей и субъекта в меньшей посылке.
Пример:
Ни один счастливый человек(Р) не стремится к справедливости (М)
Некоторые стремящиеся к справедливости люди (M) являются юристами (S)
Некоторые юристы несчастны
9. Сведение модусов II, III, IV фигур к модусам I фигуры.
Модусы, для которых между посылками и заключение существует отношение логического следования, называются правильными.
Только в первой фигуре есть модусы всех суждений в заключении. Модусы первой фигуры интуитивно понятны , поэтому первая фигура совершенна.
Если в фигуре есть S, то операция чистое обращение
P – ограниченное обращение
N – меняем местами посылки
C – сводим косвенным образом, используя контрапозицию.
Начальные буквы в названии говорят о том, что когда мы будем сводить к модусу первой фигуры, то модус должен начинаться с той же буквы.
10. Опровержение неправильных модусов. Силлогистика в диаграммах Эйлера – Венна.
- можно использовать правила построения ПКС
- отношения по логическому квадрату
Способы изображения простых категорических высказываний могут служить средством проверки правильности выводов из категорических суждений, а тем самым и средством способа отбора правильных модусов в пределах различных фигур и средством решения вопроса о том, какое заключение можно правильно вывести из некоторых данных категорических высказываний.
Отбор правильных модусов простого категорического силлогизма.
№ п\п |
Все возможные отношения терминов в большей посылке |
Все возможные отношения терминов в меньшей посылке |
Заключение или причина его возможности |
1 |
MoP |
SaM SiM MaS MiS SeM
SoM MeS MoS
|
SaP SiP SiP SiP Нераспределенный в посылке распределен в заключении То же -//- -//- |
2 |
MeP |
SaM Sim MaS MiS SeM
SoM MeS MoS |
SeP SoP SoP SoP Обе посылки – отрицательные суждения То же -//- -//- |
3 |
MiP |
SaM
SiM
SeM
SoM
MaS MiS
MeS
MoS
|
M не распределен в обеих посылках Обе посылки частные – частные суждения. М не распределен в обеих посылках
Нераспределенный в посылке Р распределен в заключении Обе посылки – частные суждения
SiP Обе посылки-частные суждения М не распределен в обеих посылках. Нераспределенный в посылке Р распределен в заключении Обе посылки-частные суждения; М не распределен в обеих посылках |
4 |
MoP |
SaM
SiM
MiS SeM
SoM MaS MeS MoS |
М не распределен в обеих посылках Обе посылки-частные суждения; М не распределен в обеих посылках Обе посылки–частные суждения Обе посылки - отрицательные суждения Обе посылки –частноотрицате - льные суждения SoP Обе посылки- отрицат.суждения Обе посылки – частноотрицательные суждения |
5 |
|
SeM SoM MaS MeS SaM
SiM MoS MiS
|
SeP SoP SiP SeP М не распределен в обеих посылках То же -//- -//-
|
6 |
PiM |
SaM
SiM
SeM
MeS MaS MiS SoM MoS |
М не распределен в обеих посылках Оба суждения - частные; М не распределен в обеих посылках Нераспределенный в посылке Р распределен в заключении
То же SiP Обе посылки-частные суждения Обе посылки - частноотрица- тельные суждения То же |
7 |
PeM |
SaM SiM MaS MiS SeM
SoM MeS MoS |
SeP SoP SoP SoP Обе посылки – отрицательные суждения То же -//- -//- |
8 |
PoM |
SaM
MaS SeM
MeS SiM MiS SoM
MoS |
Нераспределенный в посылке Р распределен в заключении То же Обе посылки- отрицательные суждения То же Обе посылки-частные суждения То же Обе посылки-частноотрицатель- ные суждения То же |