Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Переносимый признак должен быть тесно связан с другими рассматриваемыми в аналогии общими признаками.






Аналогия служит своеобразным генератором новых идей. С ее помощью раскрываются новые грани идей, уже доказавших свою эффективность, устанавливаются связи между новыми идеями, гипотезами и достоверным знанием.

 

Контрольные вопросы и упражнения.

І

1. Структура умозаключения.

2. Понятия дедуктивного и индуктивного умозаключения.

3. Понятие вывода в логике высказываний.

4. Типология правил вывода логики высказываний.

5. Определение основных прямых правил вывода.

6. Характеристика основных непрямых правил вывода.

7. Способы обоснования правил вывода логики высказываний.

8. Построение доказательства правила вывода.

9. Понятие аналитического правила.

10. Определение метода аналитических таблиц.

11. Построение аналитической таблицы.

12. Структура аналитической таблицы.

13. Условно-категорическое умозаключение и его правильные виды.

14. Правило транзитивности импликации.

15. Виды разделительно-категорического силлогизма.

16. Понятие дилеммы.

17. Правила построения разделительно-категорических умозаключений.

18. Логическая структура дилемм.

19. Обращение как непосредственное умозаключение.

20. Характеристика превращения и противопоставления предикату как непосредствен-

ных умозаключений.

21. Умозаключения по логическому квадрату.

22. Обоснование умозаключений по логическому квадрату.

23. Структура простого категорического силлогизма.

24. Понятия фигуры и модуса простого категорического силлогизма.

25. Общие правила простого категорического силлогизма.

26. Специальные правила фигур простого категорическог силлогизма и их обоснование.

27. Виведение правильных модусов фигур простого категорического силлогизма.

28. Обоснование модусов П, Ш, и ІУ фигур путем сведения их к модусам І фигуры.

29. Применение аналитических таблиц для обоснования силлогистических умозаклю- чений.

30. Определение недедуктивного умозаключения.

31. Типология умозаключений.

32. Характерные особенности полной индукции.

33. Своеобразие математической индукции.

34. Виды неполной индукции.

35. Определение популярной индукции.

36. Меры повышения надежности заключения в популярной индукции.

37. Характеристика методов нахождения причинных связей.

38. Определение аналогии как умозаключения.

39. Структура умозаключений по аналогии.

40. Виды аналогий.

41. Условия повышения эффективности аналогий.

 

П

1. Построить доказательство таких правил вывода:

[(p É q) & (p É r) & (Ø q Ú Ø r)] |= Ø p;

[(p É r) & (q É r) & (p Ú q)] |= p;

[(p É q) & (r É s) & (p Ú r)] |= (q Ú s);

[(p É q) & (r É s) & (Ø q Ú Ø s)] |= (Ø p Ú r).

2. Обосновать методом аналитических таблиц такие правила вывода:

[(p & q) É r] |= [(p & Ø r) É Ø q];

[(p & Ø r) É `q] |= [(p & q) É r];

[(p É (q É r)] |= [(p & q) É r];

[(p É q) & (p É r) & (Ø q Ú Ø r)] |= Ø p

3. Построить доказательство следующих правил вывода по логическому квадрату:

Asp |= Ø Esp;

Asp |= Ø a Ï р;

а Ï р |= Ø Esp;

Ø Isp |= Osp;

а Ï р |= Osp.

4. Привести примеры умозаключений путем обращения, превращения и противопоставления предикату.

5. Привести примеры нарушений специальных правил І и ІУ фигур простого категорического силлогизма.

6. Построить доказательство специальных правил Ш и ІУ фигур простого категорического силлогизма.

7. Построить доказательство правильных модусов П, Ш и ІУ фигур простого категорического силлогизма путем сведения их модусов к І фигуре:

П фигура: АЕЕ, ЕІО

Ш фигура: ААІ, ЕАО, ОАО, ІАІ

ІУ фигура: ААІ, ЕАО, АЕЕ.

8. Методом аналитических таблиц проверить правильность таких силлогистических умозаключений:

" x (S(x) É P(x)) |= $x (P(x) & S(x))

" x (S(x) É P(x)) |= $x (S(x) & Ø P(x))

[" x (P(x) É M(x)) & $x (S(x) & Ø M(x)] |= $x (S(x) & P(x))

[" x (M(x) É P(x)) & " x (M(x) É S(x))] |= $x (S(x) & P(x))

[" x (P(x) É Ø M(x)) & " x (M(x) É S(x))] |= $x (S(x) & Ø P(x)).

9. Привести пример на каждый из индуктивных методов нахождения причинных связей.

10. Привести пример умозаключения, содержащего ошибку «поспешное обобщение».

11. Привести примеры аналогии отношений.

 

РАЗДЕЛ ХІ. А Р Г У М Е Н Т А Ц И Я

В практике рассуждений мы часто сталкиваемся с ситуацией, когда необходимо не только располагать истинным положением, но и продемонстрировать окружающим, почему то или иное положение является истинным или ложным, в чем заключается его целесообразность или же нецелесообразность. Данный вид интеллектуальной деятельности называют аргументацией.

Аргументацию можно определить как способ рассуждения, который состоит из доказательства и опровержения, в ходе которых формируется убежденность в истинности либо ложности какого-либо положения как у самого автора, так и у его оппонентов.

Доказательством и опровержением широко пользуются в различных науках и других областях человеческой интеллектуальной деятельности. Но только в логике раскрывается природа доказательства и опровержения, описывается их структура, определяются специальные правила.

 






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.