5. Приведите содержательный пример энтимемы. Произведите восстановление энтимемы и дайте ее логический анализ.
Энтимема - это умозаключение с опущенной посылкой или выводом, которые подразумеваются очевидными. Например:
Рассмотрим механизм образования энтимем.
Все пороки вызывают отвращение
зависть – порок
зависть вызывает отвращение
Из этого силлогизма можно построить следующие энтимемы:
Зависть вызывает отвращение, потому что зависть - порок; - опущена большая посылка;
Зависть вызывает отвращение, потому что все пороки вызывают отвращение; - опущена меньшая посылка;
Все пороки вызывают отвращение, а зависть - порок; - опущен вывод.
6. Приведите содержательные примеры (по одному) умозаключений вида modus ponens и modus tollens. Обоснуйте их правильность, используя таблицу истинности для импликации.
Условный силлогизм - силлогизм, в котором хотя бы одна посылка является импликативным (условным) суждением.
Виды:
а) чисто условный (гипотетический) силлогизм, в котором обе посылки и заключение - условные суждения:
p→q Если учить уроки, можно успешно сдать контрольные
q→r Если успешно сдать контрольные, то можно получать похвалу
p→r Если учить уроки, то можно получать похвалу
Правило условного силлогизма: следствие следствия есть следствие основания.
б) условно-категорический силлогизм, в котором одна посылка - условное суждение, а другая и заключение - категорические суждения.
У этого силлогизма возможны 4 модуса:
Поненс |
|
|
Толленс |
p→q |
p→q |
p→q |
p→q |
p |
q |
¬p |
¬q |
|
|
|
|
q |
p |
¬q |
¬p |
Достоверные модусы
Модус поненс (лат. modus ponens) - утверждающий модус (его заключение утвердительное суждение)
Модус толленс (лат. modus tollens) отрицающий(его заключение отрицательное суждение).
Примеры:
Модус поненс (рассуждение идет от утверждения основания к утверждению следствия):
p→q |
Если учить уроки, можно успешно сдать контрольные
|
p |
Я успешно сдал контрольные |
|
|
q |
Я учил уроки |
Модус толленс (рассуждение идет от отрицания следствия к отрицанию основания):
p→q |
Если учить уроки, можно успешно сдать контрольные. |
¬q |
Контрольные я не сдал успешно |
|
|
¬p |
Я не учил уроки. |
7. Приведите примеры индуктивных умозаключений в Вашей практике. Укажите вид индукции и формальную структуру вывода.
Индуктивное умозаключение — это мыслительная структура (форма мысли), вид умозаключения, в котором общий вывод следует из двух и более частных или единичных посылок. Если дедукция предполагает знание какого-то закона, общего положения (топоса, по Аристотелю) и дедуктивное рассуждение в таком случае — конкретизация этого общего положения, то индукция — наоборот, поиск общего через рассмотрение ряда единичных или частных положении. Это способ практического, опытного овладения, освоения окружающего предметного мира, это переход от знания меньшей степени общности к знанию большей степени общности.
В виде схемы структура индуктивного умозаключения имеет такой вид:
S 1 есть Р
S 2 есть Р
S 3 есть Р
S 1 , S 2 , S 3 составляют часть предметной области S
Все S есть P
Примеры индуктивных умозаключений:
1. Полная индукция:
В группе 17 студентов.
1-ый ученик сдал контрольные по логике
2-ой ученик сдал контрольные по логике
3-ий ученик сдал контрольные по логике
4-ый ученик сдал контрольные по логике
………………………………………………
17-ый ученик сдал контрольные по логике
Все 17 учеников в классе сдали контрольные по логике
2. Неполная индукция:
В группе 17 студентов.
1-ый ученик сдал контрольные по логике
3-ий ученик сдал контрольные по логике
4-ый ученик сдал контрольные по логике
8-ой ученик сдал контрольные по логике
1-ый, 3-ий, 4-ый и 8-ой ученик в группе сдали контрольные по логике