Вопросы для самопроверки
1. Что является предметом формальной логики и в чем ее значение?
2. К чему приводит обобщение знания об отдельных предметах и их свойствах и отношениях?
3. Чем отличается логическая форма от формы предметов?
4. Какие значения принимают логические высказывания?
5. Что такое семантические категории?
Распределение часов курса по темам и видам работ (дневное отделение)
№ | Название раздела, темы | Количество часов | |||
Аудиторные занятия | Самостоятельная работа | ВСЕГО | |||
Лекции | Семинары | ||||
Предмет и значение науки логики. Формальный язык и семантические категории | |||||
Понятие как форма мысли и итог познания | 3,5 | 5,5 | |||
Логические операции над понятиями | 3,5 | 5,5 | |||
Суждение как форма мышления | 3,5 | 5,5 | |||
Логические операции с суждениями | 3,5 | 5,5 | |||
Умозаключение как форма выводного знания | 5,5 | ||||
Логические операции с умозаключениями | 3,5 | 5,5 | |||
Силлогизм как опосредованное умозаключение | 3,5 | 5,5 | |||
Логические операции с категорическим силлогизмом и его модификациями | 3.5 | 5,5 | |||
Доказательство и опровержение | 3,5 | 5,5 | |||
Правила и ошибки в доказательстве и опровержении | 3,5 | 5,5 | |||
Гипотеза и ее познавательное значение | 3,5 | 5,5 | |||
Дедукция, индукция и аналогия в правдоподобных умозаключениях | 3,5 | 5,5 | |||
Методы установления причинной связи | 3,5 | 5,5 | |||
Условные умозаключения | 3,5 | 5,5 | |||
Основные законы логики | |||||
Элементы логики высказываний | |||||
ИТОГО |
Основная литература
1. Бочаров В.А., Маркин В.И. Основы логики. - М.,1997
2. Войшвилло Е.К. Понятие как форма мышления. - М.,1989
3. Войшвилло Е.К. Символическая логика: классическая и релевантная. - М.,1989
4. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. - М.,1994
5. Ивлев Ю.В. Логика. - М.,1997
6. Ивлев Ю.В. Модальная логика. - М.,1991
7. Кайберг Г. Вероятность и индуктивная логика. - М.,1978 Карнап Р. Значение и необходимость. - М.,1959
8. Карнап Р. Философские основания физики. - М.,1971
9. Карпенко А.С. Пропозициональная многозначная логика. - М., 1986
10. Костюк В.Н. Элементы модальной логики. - Киев,1978 Мендельсон Э. Введение в математическую логику. - М.,1984
11. Поварнин С.И. Искусство спора. - М.,1992
Смирнова Е.Д. Основы логической семантики. - М.,1990
Дополнительная литература
1. Алексеев А.П. Аргументация. Познание. Общение. - М.,1991
2. Аристотель Соч. в 4-х т. Т. 2. - М.,1978
3. Арно А., Николь П. Логика, или искусство мыслить. - М.,1991
4. Арутюнова Н.Д. Типы языковых значений. - М.,1988
5. Баженов Л.Б. Строение и функции естественнонаучной теории. - М.,1978
6. Белнап Н., Стил Т. Логика вопросов и ответов. - М.,1981
7. Берка К. Измерения. - М.,1987
8. Бессонов А.В. Теория объектов в логике. - Новосибирск,1987
9. Блинов А.Л., Петров В.В. Элементы логики действий. - М.,1991
10. Брюшинкин В.Н. Логика, мышление, информация. - Л.,1988
11. Бочаров В.А. Аристотель и традиционная логика. - М.,1984
12. Васильев Н.А. Воображаемая логика. - М.,1989 Войшвилло Е.К. Предмет и значение логики. - М.,1960
13. Войшвилло Е.К. Философско-методологические аспекты релевантной логики. - М.,1988
14. Фон Вригт Г.-Х. Логические исследования. - М.,1986
15. Горский Д.П. Определение. - М.,1984 Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. - М.,1991
16. Гейтинг А. Интуиционизм. - М.,1975
17. Джини К. Логика в статистике. - М.,1973 Ершов Ю.А.,
18. Палютин Е.А. Математическая логика. - М.,1987
19. Ивин А.А. Логика норм. - М.,1973
20. Ивин А.А. Основания логики оценок. - М.,1970
21. Индуктивная логика и формирование научного знания. - М.,1987 Исследования по логике научного познания. - М.,1990
22. Исследования по неклассическим логикам и формальным системам. - М.,1983
23. Ишмуратов А.Т. Логические теории временных контекстов. - Киев, 1981
24. Ишмуратов А.Т. Логический анализ практических рассуждений. - Киев, 1987
25. Карпенко А.С. Фатализм и случайность будущего. - М.,1990
26. Клини С.К. Математическая логика. - М.,1973
27. Концептуализация и смысл. - Новосибирск,1990
28. Лакатос И. Доказательства и опровержения. - М.,1967
29. Логика и компьютер. - М.,1990
30. Логика и компьютер. Выпуск 4. - М., 1998
31. Логика: наука и искусство. - М.,1993
32. Логико-семантический анализ структур знания. - Новосибирск, 1989
33. Логические исследования. - М.,1983
34. Логические исследования. Выпуск.5, - М.,1993
35. Логический подход к искусственному интеллекту. - М.,1990
36. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. - М.,1959
37. Маркин В.И. Силлогистические теории в современной логике. - М.,1991
38. Методология развития научного знания. - М.,1982
39. Методы логического анализа. - М.,1977
40. Меськов В.С. Очерки по логике квантовой механики. - М.,1986
41. Модальные и интенсиональные логики и их применение к проблемам методологии науки. - М.,1984
42. Новиков П.С. Элементы математической логики. - М.,1973
43. Попов П.С. История логики Нового времени. - М.,1960
44. Поппер К. Логика и рост научного знания. - М.,1983
45. Рузавин Г.И. Научная теория: логико-методологический анализ. - М.,1978
46. Семантика модальных и интенсиональных логик. - М.,1981
47. Синтаксические и семантические исследования неэкстенсиональных логик. - М.,1989
48. Сидоренко Е.А. Логическое следование и условные высказывания. - М.,1983
49. Смирнов В.А. Формальный вывод и логические исчисления. - М.,1972
50. Смирнов В.А. Логические методы анализа научного знания. - М.,1987
51. Смирнова Е.Д. Логическая семантика и философские основания логики. - М.,1986
52. Смирнова Е.Д. Формализованные языки и проблемы логической семантики. - М.,1982
53. Современная логика и методология науки. - М.,1987
54. Стяжкин Н.И. Формирование математической логики. - М.,1967
55. Фейс Р. Модальная логика. - М.,1974
56. Хинтикка Я. Логико-эпистемологические исследования. - М.,1980
57. Философия, логика, язык. - М.,1987
58. Целищев В.В. Логическая истина и эмпиризм. - Новосибирск,1974
59. Черч А. Введение в математическую логику. - М.,1960