Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Камчатский государственный технический университет»
В. В. Агафонов логика
Учебно-методическое пособие для студентов всех специальностей и направлений подготовки очной и заочной форм обучения
Петропавловск-Камчатский
2
014
УДК 16(075.8)
ББК 87.4я73
A23
Рецензент:
Агафонов, Владислав Валерьевич
A23 Логика : учебно-методическое пособие для студентов всех специальностей и направлений подготовки очной и заочной форм обучения / В. В. Агафонов. – Петропавловск-Камчатский: КамчатГТУ, 2014. – 227 с.
Учебно-методическое пособие по дисциплине «Логика» для студентов всех специальностей и направлений подготовки составлено в соответствии с требованиями к обязательному минимуму содержания основной образовательной программы федерального государственного образовательного стандарта высшего профессионального образования.
Учебно-методическое пособие по дисциплине «Логика» для студентов всех специальностей и направлений подготовки очной и заочной форм обучения рассмотрены и утверждены на заседании УМС (протокол №__ от «__» ___________2014 г.)
УДК 16(075.8)
ББК 87.4я73
© КамчатГТУ, 2014
©
В. В. Агафонов, 2014
СодержАние
Краткая характеристика дисциплины 6
Место дисциплины в учебном процессе 6
Цели и задачи изучения дисциплины 7
Содержание лекционных занятий 8
1 ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ КАК НАУКИ 8
1.1 Предмет логики 8
1.2 Логическая характеристика процесса познания 8
1.3 Логическая форма. Отношение логического следования 9
1.4 Язык как знаковая система 16
2 ПОНЯТИЕ КАК ФОРМА МЫСЛИ И ФОРМА ПОЗНАНИЯ 27
2.1 Признаки и их виды 27
2.2 Объем и содержание понятия (логическая характеристика) 31
2.3 Виды отношений между понятиями 40
2.4 Обобщение и ограничение понятий 42
2.5 Деление и классификация 44
2.6 Определение (дефиниция) 45
3 классическая логика высказываний и предикатов 53
3.1 Классическая логика высказываний 53
3.2 Рассуждения основанные на свойствах логики высказываний 61
3.3 Логика предикатов 67
4 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ 80
4.1 Основные характеристики логических исчислений 81
4.2 Аксиоматическое исчисление высказываний и предикатов 82
4.3 Натуральное исчисление высказываний и предикатов 90
4.4 Метатеоретические свойства системы исчисления со схемами аксиом и натурального исчисления высказываний 98
5 СИЛЛОГИСТИКА: общие основания 105
5.1 Категорические, реляционные и экзистенциальные суждения 105
5.2 Интерпретация категорических высказываний 109
5.3 Общая характеристика умозаключений (в традиционной силлогистике). Виды умозаключений 111
5.4 Непосредственные умозаключения 112
6 Силлогистика: простой категорический силлогизм; сложные, сокращенные и сложносокращенные силлогизмы 118
6.1 Общая характеристика простого категорического силлогизма 118
6.2 Правила простого категорического силлогизма 118
6.3 Сокращенные, сложные и сложносокращенные умозаключения 123
7 ПРАВДОПОДОБНЫЕ рассуждения 127
7.1 Понятие правдоподобного умозаключения 127
7.2 Обратно-дедуктивный метод обоснования гипотез 129
7.3 Индуктивные выводы, их виды и характеристика 129
7.4 Статистические выводы 132
7.5 Выводы по аналогии 134
7.6 Эмпирические методы обоснования индуктивных обобщений 136
8 проблема, гипотеза и теория как формы развития знания 142
8.1 Проблема и проблемная ситуация 142
8.2 Общая характеристика гипотез 147
8.3 Виды гипотез 149
8.4 Подтверждение и опровержение гипотез 150
8.5 Общая характеристика теорий 153
Содержание практических занятий 156
1 Общая характеристика процесса познания 156
2 Логический анализ языка 160
3 Понятие как форма мышления 161
4 Основные операции над понятиями 163
5 Классическая логика высказываний 167
6 Классическая логика предикатов 171
7 Нормальные формы 174
8 Исчисление высказываний 177
9 Исчисление предикатов 180
10 Суждение как форма мышления. Модальность 182
11 Силлогистика: непосредственные умозаключения 186
12 Силлогистика: простой категорический силлогизм; сложные, сокращенные и сложносокращенные умозаключения 188
13 Умозаключения основанные на свойствах логики высказываний 191
14 Метод аналитических таблиц 193
15 Правдоподобные рассуждения 195
16 Основы аргументации и критики 198
задания для самостоятельной работы 199
Пример выполнения задания 199
Варианты заданий 204
перечень вопросов к промежуточной аттестации 239
Рекомендуемая литература 241