IV.Учебно-методическое и информационное обеспечение учебного процесса
4.1. Образовательные технологии (в том числе на занятиях, проводимых в интерактивных формах).
Технологии развивающего обучения, основанная на авторском методе содержательного полиобобщения (модернизация технологии Эльконина - Давыдова), проектная технология, основанная на философской рефлексии. Круглый стол, тренинги, практикумы по решению задач.
Проблемное изложение, эвристические методы
4.2. Контрольно-измерительные (диагностические) материалы для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины.
Примерные контрольные вопросы:
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. Какие ограничения на кванторные правила, на понятия вывода и доказательства необходимы в натуральном исчислении предикатов?
42. Как осуществляется анализ рассуждений средствами натурального исчисления предикатов?
|
|
|
43. Какими метатеоретическими свойствами обладает классическое исчисление предикатов первого порядка?
44. Каковы условия истинности и ложности категорических высказываний в традиционной силлогистике?
45. Какие выводы по логическому квадрату корректны?
46. Каковы правила осуществления операций обращения, превращения, противопоставления субъекту и предикату?
47. Что входит в состав и каковы разновидности простого категорического силлогизма?
48. Как формулируются общие правила силлогизма?
49. Какими свойствами обладают правильные модусы различных фигур силлогизма?
50. Как проверить силлогизм с помощью круговых диаграмм?
51. Как осуществляется проверка энтимемы силлогизма?
52. Как производится обоснование силлогистических выводов в исчислении предикатов?
53. Каковы принципы построения многозначных логик?
54. В чем синтаксические и семантические различия нормальных систем модальной логики Т, B, S4 и S5?
55. Каковы, согласно семантике "возможных миров", условия истинности и ложности модальных высказываний?
56. Как меняется класс законов временной логики при учете в ее семантике различных свойств временного ряда?
57. В чем источники парадоксов материальной импликации и классического следования?
|
|
|
58. В чем отличия классического и обобщенного описания состояния и почему при определении непарадоксального релевантного следования используются обобщенные описания состояния?
59. Какова специфика трактовки понятия истины и логических связок в интуиционистской логике?
60. Каковы виды правдоподобных умозаключений и какое логическое отношение имеет место между их посылками и заключениями?
61. В чем отличие популярной и научной индукции?
62. Какие существуют методы установления причинных связей между явлениями?
63. В чем специфика умозаключений по аналогии и в каких сферах они наиболее часто применяются?
64. Как повысить достоверность индуктивного и статистического вывода?
65. В каких правдоподобных умозаключениях истинность посылок гарантирует истинность заключения?
66. Что представляет собой логическая форма понятия и каковы основные логические характеристики понятия?
67. В чем различие между фактическим и логическим объемом, фактическим и логическим содержанием понятия?
68. Как уточняется формулировка закона обратного отношения между объемами и содержаниями понятий в современной логике?
69. Какие основания лежат в выделении различных видов понятий?
70. Как изображаются отношения между понятиями по объему с помощью кругов Эйлера?
71. Каков алгоритм построения диаграмм Венна и какие задачи решаются с помощью этих диаграмм?
72. Какие известны операции над объемами понятий и содержаниями понятий?
73. Каков механизм осуществления операций обобщения и ограничения понятий?
74. Каковы правила деления и возможные ошибки в нем?
75. В чем различие номинальных и реальных определений?
76. Каковы правила определения и возможные ошибки в нем?
77. Каковы основные этапы формирования проблемы?
78. Как осуществляется проверка гипотезы?
79. В чем разница между эмпирическим и теоретическим знанием?
Примерные задания для самостоятельной работы
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. Выявите логическую структуру понятия, определите, к каким видам оно относится.
42. Укажите логический и фактический объемы понятия, логическое и фактическое содержания понятия.
43. Изобразите с помощью кругов Эйлера отношение между понятиями по их фактическим объемам.
44. Используя диаграммы Венна, установите отношение между понятиями по логическим объемам.
45. Используя аппарат логики предикатов, установите отношения между понятиями.
46. Осуществите операции обобщения и ограничения понятия.
47. Определите состав и вид деления понятия, установите, правильно ли оно произведено.
46. Указать состав и вид определения, осуществить его проверку.
47. С использованием таблиц истинности установить, имеет ли место отношение подтверждения между высказываниями.
48. Определить структуру и вид правдоподобного рассуждения.
Примерная тематика рефератов и курсовых работ по общему курсу логики
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. Понятие логической культуры и пути ее формирования.
Примерный перечень вопросов для подготовки к экзамену по всему курсу
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. Понятие критики. Виды и способы критики. Спор и полемика.
42. Правила и возможные ошибки в аргументации.
Дата добавления: 2018-10-26; просмотров: 195; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!