
- •Эвристические приемы поиска вывода в натуральном исчислении высказываний.
- •3. Основные метатеоретические свойства логических исчислений: семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и полнота, разрешимость.
- •4. Семантическая непротиворечивость и полнота, разрешимость исчисления высказываний
- •5. Синтаксическая непротиворечивость и полнота исчисления высказываний
- •6. Классическая логика предикатов: язык, интерпретация нелогических символов, понятие модели, правило приписывания значений термам
- •8. Аналитико-табличный метод в логике предикатов
- •9. Аксиоматическое исчисление предикатов: схемы аксиом, и правила вывода, понятие доказательства, вывода и теоремы
- •10. Натуральное исчисление предикатов: правила вывода, понятия вывода, завершенного вывода и доказательства.
- •11. Метатеоретические свойства классического исчисления предикатов первого порядка
- •12. Логика предикатов с равенством. Прикладные первопорядковые теории.
- •1. Логика отношения эквивалентности
- •2. Отношение частичного порядка
- •3. Отношение строгого порядка
- •4. Отношение строгого линейного порядка
- •13. Логика предикатов второго порядка
- •14. Традиционная силлогистика: язык, условия истинности категорических высказываний, понятие закона и правильного умозаключения в силлогистике
- •15. Отношения между категорическими высказываниями. Логический квадрат.
- •16. Непосредственные умозаключения: выводы по логическому квадрату.
- •17. Непосредственные умозаключения: обращение, превращение, противопоставление субъекту и предикату.
- •18. Простой категорический силлогизм: его состав, фигуры и модусы. Общие правила силлогистики.
- •19. Свойства правильных модусов фигур силлогизма.
- •20. Проверка силлогизма с использованием круговых диаграмм. Энтимема и метод ее проверки.
- •1. Доказательство метатеоремы о семантической полноте исчисления высказываний.
- •2. Доказательство метатеоремы о синтаксической полноте исчисления высказываний с конечным числом аксиом и правилом подстановки.
18. Простой категорический силлогизм: его состав, фигуры и модусы. Общие правила силлогистики.
Опосредованные умозаключения. Одно из них - простой категорический силлогизм (ПКС).
ПКС – умозаключение, состоящее из 2-х посылок и заключения, которые являются категорическими высказываниями и содержат 3 термина, один из терминов входит в обе посылки и не входит в заключение, а каждый из 2-х других содержится в одной из посылок и в заключении.
Вывод об отношении между двумя классами. На основании отношения между двумя классами к третьему (к термину М).
ПКС – умозаключение, в котором вывод об объемном отношении между двумя общими терминами делается на основании объемном отношении каждого из них к третьему.
Состав ПКС:
Средний термин – входит в обе посылки и не входит в заключение (М)
Крайние термины – каждый из ни входит только в одну посылку и оба входят в заключение.
Субъект заключения – меньший термин
Предикат заключения – больший термин.
(Чтобы выяснить какой из терминов больший, а какой меньший надо посмотреть на заключение)
В силлогизме выделяют большую посылку и меньшую посылку:
Большая посылка – та, которая содержит больший термин
Меньшая посылка – та, которая содержит меньший термин
Общие правила силлогизмов – система критериев, которой должен удовлетворять каждых правильный силлогизм. Набор правил. Если хотя бы одному правилу не удовлетворяет – силлогизм неправильный.
Понятие распределенности термина в категорическом высказывания.
Объем сказывания – та часть субъекта, к которой относится содержащееся в высказывании утверждение или отрицание.
Термин распределен в высказывании если на любой модельной схеме, на которой высказывание данного типа истинны, данный термин полностью включается или полностью исключается из объема сказывания.
(+) – термин распределен
(-) – термин не распределен
S(+) a P(-), S(-) i P(-), S(+) e P(+), S(-) o P(+)
Первая группа правил – правила терминов:
1. Средний термин должен быть распределен по крайней мере в одной из посылок.
Запрещается: М(-)
М(-)
2. Если крайний термин не распределен в посылке, то он не должен быть распределен в заключении.
Запрещается: Т
Т(-)
Т(+)
Вторая группа правил - правила посылок:
1. По крайней мере одна посылка должна быть утвердительной
Запрещается: отриц.
отриц.
2. Если одна из посылок отрицательная, то заключение должно быть тоже отрицательным
Запрещается: отриц.
утвердит.
3. Если обе посылки утвердительные, то заключение не может быть отрицательным
Запрещается: утвердит.
утвердит.
Отриц.
19. Свойства правильных модусов фигур силлогизма.
Виды силлогизмов:
1. Деление на фигуры
2. Деление на модусы
Деление на фигуры зависит от того, как в силлогизме расположен средний термин.
Первая фигура:
М – P (в большей посылке М – субъект)
S – M ( в меньшей посылке М – предикат)
S – P
Вторая фигура:
P – M
S – M
S – P
Третья фигура:
M – P
M – P
S – P
Четвертая фигура:
P – M
M – S
S – P
Модус – обусловлен типом посылок и заключений (общеутв., частноутв., общеотриц., частноотриц.).
1. Определить тип большей посылки.
2. Определить тип меньшей посылки.
3. Определить тип заключения.
Например, eio
64 варианта модусов х 4 фигуры = 256 типов силлогизмов. Правильные только 24 (по 6 на каждую фигуру).
Свойства правильных фигур силлогистики.
Есть свойства, присущие всем правильным модусам данной фигуры, но они присущи и некоторым неправильным модусам.
Свойства правильных модусов различных фигур силлогизма.
1 фигура
свойства: 1) Большая посылка – общее суждение
2) Меньшая посылка – утвердительная
2 фигура
свойства: 1) Большая посылка – общее суждение
2) Одна из посылок – отрицательная
3 фигура (дипломатическая)
свойства: 1) Меньшая посылка – утвердительная
2) заключение – частное отверждение
Эти правила отбрасывают силлогизмы неправильные. Для обоснования корректности их недостаточно.
Можно доказать правильность силлогизма исходя из фигуры и исходя из правил распределенности. Доказать каждый из 6 тезисов.
В правильных силлогизмах первой фигуры большая посылка – общая. Доказательство:
+1. Б.п. – частная
2. М (-) в б.п. (из 1, по правилу распределенности терминов)
3. М(+) в м.п. (из 2, по первому правилу терминов)
4. м. п – отриц. (из3, по правилу распред. терминов и из особенностей первой фигуры)
5. б.п. – утвердительная (из4, по 1 правилу посылок)
6. заключение – отрицательное (из 4, по 2 правилу посылок)
7. Р(-) больший термин не распред в б. п. (из 5. по правилу распред терминов, особенности 1 фигуры)
8. Р(+) больш термин распеределн в заключении (из 6, по правилу распред терминов)
9. Р(-) больш теремин не должен быть распеределен в заключении (из 7, по 2 правилу терминов)
10. Б.п. – общяя
исключаются пункты с 1 по 9.