V. Приклади практичних завдань модульних контрольних робіт

1. Дати логічну характеристику поняттю:

«старший брат» – загальне, конкретне, роздільне, позитивне, відносне.

«суперечність» – загальне, абстрактне, роздільне, позитивне, безвідносне.

2. Встановити відношення між поняттями:

А – красива річ;

В – антикварна річ;

С – коштовна річ.

 

 

А – Азія;

В – Китай;

С – Пекін.

3. Зробити висновок за логічним квадратом:

«Невірно, що всі птахи красиво співають».

Af → Ot. Отже: «Не всі птахи красиво співають».

4. Зробити висновок за оберненням:

«Усі науковці (S) задумливі люди (P)».

SаP

PіS

Отже, «Серед задумливих людей є науковці».

5. Зробити висновок за перетворенням:

«Не всі більшовики (S) були письменними (P)».

SоP

Sі ~Р

Отже: «Деякі більшовики були неписьменними».

6. Зробити висновок за протиставленням предикату:

«Дехто з політиків (S) не знає історії (P)».

SоP

~ PіS

Отже: «Серед тих, хто не знає історії, є політики».

7. Зробити висновок за протиставленням суб’єкту:

«Розумна (S) людина не палить (P)».

SеP

Pа ~S

Отже: «Усі, хто палить – нерозумні».

8. Провести формалізацію складного судження:

«Суспільство формується законами (p), а атеїсти, що є філософами, можуть вести під захистом цих законів дуже розумне й дуже щасливе життя (q), отже суспільство, що складається з одних лише атеїстів, може існувати (r)». (Вольтер).

(p ٨ q) → r

9. Скласти таблицю істинності для вислову:

p	q	r	(p ٨ q) → r
t	t	t	t t
t	t	f	t f
t	f	f	f t
t	f	t	f t
f	t	t	f t
f	t	f	f t
f	f	t	f t
f	f	f	f t

 

10. Встановити, чи є вислови семантично адекватними:

«~ p v ~ q» та «~ (p ↔ q)»

p	q	~ p v ~ q	~ (p ↔ q)
t	t	f	f
t	f	t	t
f	t	t	t
f	f	f	f

Отже, вислови є семантично адекватними, оскільки вони набувають однакових значень істинності при однаковому значенні перемінних.

11. Встановити, чи є вислів тотожно-істинним (законом), тотожно-хибним (суперечністю) чи нейтральним:

p → (p v q)

p	q	p → (p v q)
t	t	t
t	f	t
f	t	t
f	f	t

Отже, вислів є тотожно-істинним (законом).

12. Перевірити, чи є правильним умовно-категоричний умовивід:

«Підозрюваний говорить правду (~q), оскільки, якщо людина суперечить (p), то вона говорить неправду (q), а підозрюваний не суперечив (~p)»

p → q

~p

~q

Даний модус умовиводу для імплікації не є правильним, отже висновок робити таким чином не можна.

13. Зробіть висновок за категоричним силогізмом:

«Чоловіки (Р) не плачуть (М). Усі, хто плаче (М) – слабкі люди (S), отже…».

IV фігура, модус ЕАО

Отже, «Деякі слабкі люди не є чоловіками».

VІ. ТЕМИ РЕФЕРАТІВ

1. Семантичні парадокси в мові.

2. Поняття знака. Загальна характеристика та види знаків.

3. Модальна логіка: основні проблеми та принципи.

4. Основи теорії іменування.

5. Різноманітність функцій мови.

6. Універсальні та неточні поняття й їх роль у процесі мислення.

7. Теоретичне та практичне значення класифікації.

8. Беззмістовні та невизначені судження.

9. Види простих висловлювань: атрибутивні, екзистенціальні, реляційні.

10. Роль дедукції в процесі пізнання.

11. Роль індукції в процесі пізнання.

12. Роль аналогії в процесі пізнання.

13. Види запитань та відповідей.

14. Поняття софізмів: історія та роль у процесі спілкування.

15. Логічні парадокси.

16. Проблеми інтуїціоністської логіки.

17. Багатозначні логіки.

18. Паранесуперечлива логіка.

19. Помилки та виверти в процесі доведення та спростування.

20. Л. Керрол («Логічна гра») та його метод розв’язання категоричних силогізмів.

 

VIІ. ПИТАННЯ ДО ІСПИТУ (ЗАЛІКУ)

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. Modus ponens умовно-категоричного умовиводу.

38. Modus tollens умовно-категоричного умовиводу.

39. Суто-умовний умовивід.

40. Роздільно-категоричний умовивід: правила та модуси.

41. Скорочений силогізм (ентимема).

42. Складні та скорочені силогізми.

43. Парадокси в логіці.

44. Паралогізми та софізми в логіці.

45. Види аналогії.

46. Характеристика індуктивних умовиводів. Елімінативна й енумеративна індукція.

47. Наукова індукція.

48. Основні методи індукції.

VIІI. ЛІТЕРАТУРА

1. Бартон В. И. Логика: учеб. пособ. / В. И. Бартон. – Мн.: Новое знание, 2001.

2. Гетманова А. Д. Логика для юристов: учеб пособ. / А. Д. Гетманова. – М.: Омега-Л; 2005.

3. Гетманова А. Д. Логика: учеб. для студентов вузов / А. Д. Гетманова. – М.: Изд-во Омега-Л, 2006.

4. Горский Д. П. Краткий словарь по логике / Д. П. Горский. – М., 1991.

5. Грядовой Г. И. Логика. Практический курс основ формальной логики: учебное пособие в кратком изложении и упрощениях / Г. И. Грядовой. – М., 2004. – 256 с.

6. Гуляихин В. Н. Учебно-методический комплекс «логика»: учебно-методическое пособие для студентов гум. фак-тов / В. Н. Гуляихин, О. Н. Васильев. – ВолГУ., 2003.

7. Ерышев А. А. Логика: курс лекций / А. А. Ерышев. – К, 2000.

8. Ивин А. А. Логика: учебник / А. А. Ивин. – М.: Гардарики, 2004.

9. Ивин А. А. Словарь по логике / А. А. Ивин, А. Л. Никифоров. – М., 1997.

10. Кириллов В. И. Логика: учебн. пособ. / В. И. Кириллов. – М., 2002.

11. Кириллов В. И. Логика: учеб. для юридич. вузов и факультетов / В. И. Кириллов, А. А. Старченко. – М., 1987.

12. Яшин Б. Л. Логика в вопросах и ответах: учеб. пособ. / Б. И. Яшин. – М., 2004.

 

Сборники задач и дополнительная литература

1. Зегет В. Элементарная логика / В. Зегет. – М., 1985.

2. Ивлев Ю. В. Логика: Сборник упражнений: учеб. пособ. / Ю. В. Ивлев. – М., 2004.

3. Ивин А. А. Практическая логика: учеб. пособ. / А. А. Ивин. – М., 2002.

4. Кириллов В. И. Логика: учеб. пособ. / В. И. Кириллов. – М., 2002.

5. Кэррол Л. Логическая игра / Л. Кэрролл. – М., 1991.

6. Стрелкова Н. В. Логика в задачах и упражнениях: учеб. пособ. / Н. В. Стрелкова. – М., 2004.

7. Хаваш К. Так – логично! / К. Хаваш. – М., 1985.

8. Яшин Б. Л. Задачи и упражнения по логике. / Б. Л. Яшин. – М., 1996.

 

Навчальне видання

 

КУЛІКОВА Тетяна Миколаївна

 

Логіка

Комплекс навчально-методичних матеріалів

для студентів гуманітарних факультетів

 

 

Редактор Т. М. Кулікова

Коректор

Компютерна верстка

Макет обкладинки

 

Підписано до друку

Формат

Гарнітура

Облік.-вид. арк.

 

Площа Свободи, 4, Харків, 61077

Харківський національний університет імені В. Н. Каразіна,

Видавництво Харківського національного університету імені В. Н. Каразіна