ЛОГИКА

1. ЛОГИКА к.филос.н. Карпенко И.А.

2. нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка

3. получение новых знаний о мире • познание ради понимания • в основе познание – удивление (Аристотель) • виды познания

4. чувственное познание рациональнее познание

5. Достоверность? формы: • ощущение • восприятие • представление

7. формы: • понятие • суждение • теория

8. знаковая система, предназначенная для фиксации, хранения, передачи, обработки … информации

9. БЗГРРРБ • значение знака • смысл знака материальный объект, выступающий для некоторого интерпретатора в качестве представителя какого-то другого предмета

10. естественные (русский, английский, китайский, испанский…) • искусственные (азбука Морзе, шахматная нотация, математика, язык программирования, нотная грамота….)

11. объектные языки • метаязыки

12. «ход белой королевской пешки через одно поле» «три точки, три тире, три точки» «SOS – сигнал бедствия»

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

14. Если Сократ человек, то он разумен Сократ разумен Следовательно, он человек Если Сократ человек, то он разумен Сократ человек Следовательно, он разумен

15. содержание рассуждения • структура рассуждения

16. если его логическая форма гарантирует, что при истинных посылках заключение будет истинным если при истинных посылках не будет ложного заключения

17. p, q, r, s, p1, q1, r1… - пропозициональные переменные (параметры простых предложений естественного языка) стрелка Пирса - логические связки (параметры союзов естественного языка) ( , ) – технические символы (скобки)

18. r r s

19. pq r ии и и и л и л и и л л л и и л и л л л и ллл p q r s - ? 2n p ил p q и и и л л и лл

22. Выполнимые • Тождественно-истинные • Тождественно-ложные

23. Если Сократ человек, то он разумен Сократ разумен Следовательно, он человек

24. Если Сократ человек, то он разумен Сократ человек Следовательно, он разумен

25. Совместимость по истинности • Совместимость по ложности • Отношение логического следования

26. Если человек не сумасшедший, то он узнает своих родных. Этот человек сумасшедший. Значит, он не узнает своих родных. • Если я не приеду к тебе завтра, значит, наступил конец света и Бог призвал меня к себе. Следовательно, если Бог не призовет меня к себе, то я обязательно приеду к тебе завтра. • Если бы он ей не сказал, она ни за что бы не узнала, а ни спроси она его, он бы хотя и знал, но не сказал. Но она узнала. Значит, она его спросила.

27. _________

28. _________

29. _________

30. Житель острова, на котором обитают только лжецы, заявляет: «Я лжец». Он лжет или говорит правду?

31. Трое жителей острова (А, B и C) разговаривали между собой в саду. Проходивший мимо незнакомец спросил у A: "Вы рыцарь или лжец?" Тот ответил, но так неразборчиво, что незнакомец не смог ничего понять. Тогда незнакомец спросил у B: "Что сказал A?" "А сказал, что он лжец", - ответил B. "Не верьте B! Он лжет! - вмешался в разговор островитянин C.Кто из островитян B и C рыцарь и кто лжец?

32. Предположим, что незнакомец задал A другой вопрос: "Сколько рыцарей среди вас?" И на этот вопрос A ответил неразборчиво. Поэтому незнакомцу пришлось спросить у B: "Что сказал A?" B ответил: "А сказал, что среди нас один рыцарь". И тогда C закричал: "Не верьте B! Он лжет!"Кто из двух персонажей B и C рыцарь и кто лжец?

33. В этой задаче два персонажа: A и B. Каждый из них либо рыцарь, либо лжец. A высказывает следующее утверждение: "По крайней мере один из нас лжец".Кто из двух персонажей A и B рыцарь и кто лжец?

34. условно-категорические ______ ______

35. разделительно-категорические ______ ______

36. условно-разделительные умозаключения

37. тождества А A исключенного третьего A А противоречия (A А) Де Моргана  (А B) (AB) Дунса Скота (AА) В Пирса ((А  В)  А)  А) …

38. содержательные • формализованные • формальные

39. 1. Если идет дождь, то на улице сыро 2. Если на улице сыро, то все вымокли 3. Идет дождь Следует ли из этого, что все вымокли? 4. На улице сыро – из 1,3 5. Все вымокли – из 2,4

40. 1. Если идёт дождь, то на улице сыро 2. Неверно, что на улице сыро Следует ли из этого, что дождь не идёт? 3. Дождь идёт - допущение 4. На улице сыро – из 1, 3 5. Неверно, что идёт дождь – из 2,4

41. 1. – посылка 2. – посылка 3. – посылка 4. – 1,3 иск. 5. – 2,4 иск. 6. – 3,4 введ. 7. – 2,6 введ. 8. – 1,7 введ.

42. 1. – посылка 2. – посылка 3. – посылка 4. – 1,3 иск. 5. – 2,4 иск. 6. – 3,4 введ. 7. – 2,6 введ. 8. – 1,7 введ.

43. 1. – посылка 2. – посылка 3. – посылка 4. – 3 иск. 5. – 1,4 иск. 6.– 2,5введ. 7. – 6 иск. 8. – 2,7 введ. 9. – 1,8 введ.

44. 1. – посылка 2. – посылка 3. – посылка 4. – 3 иск. 5. – 1,4 иск. 6.– 2,5 введ. 7. – 6 иск. 8. – 2,7 введ. 9. – 1,8 введ.

45. Доказательство – это вывод из пустого множества неисключённых посылок

46. 1 – я: в качестве посылки берется левая часть импликации (антецедент) до тех пор, пока не остается правая часть (консеквент), не содержащая импликации ((А  В)  ((А С) ((А  В) ((А  С)  (А А)) ((А  В)  ((А  С)  (С (А А)))

47. 2 – я: применяется строго после первой. В качестве посылки берется отрицание консеквента (доказательство от противного, цель вывода – получение противоречия) ((А  В)  ((А  С) С ((А  В)  ((А  С)  (А  А)) (А  А) ((А  В)  ((А  С)  (С (А А))) (А А)

48. 3 – я: применяется строго после первой и второй эвристик к формулам вида:А B В качестве посылки можно взять А, В, А, В или и то, и другое После применения 3-й эвристики цель вывода получение противоречия

49. *С – последняя посылка в выводе

50. 1. AB - посылка 2. (А B) - посылка 3. А B - 2 иск.  4. A - 1 иск. 5. В - 3,4 иск.  6. B- 1 иск. 7. (А B) - 5,6 введ.  8.  (А B) - 7 иск.  9. (AB)  (А B) – 1,8 введ. 