Современная логика. Учебное пособие
Год: 2006
Автор: Светлов В. А.
Жанр: Логика
Издательство: Питер
ISBN: 5-469-00876-2
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы + слой распознанного текста
Интерактивное оглавление: Да
Количество страниц: 402 (в книжном варианте 400)
Описание: Цель учебного пособия — дать представление о современной логике, раскрыть ее познавательный и методологический потенциал. В книге представлены традиционная, классическая и неклассическая символическая логика, а также теория и техника логического анализа задач в естественном и формализованном языках. На многочисленных примерах показано использование оригинальной техники решения логических задач.
Учебное пособие подготовлено на основе авторских курсов по логике для специалистов самого разного профиля и соответствует требованиям Госстандарта.
Адресовано студентам, аспирантам, преподавателям, а также всем, кто самостоятельно изучает логику.
Доп. информация: Слой распознанного текста не вычитывался
Практическая логика:
Первое издание
Второе издание
Третье издание
"Четвертое издание"
Логика (2011)
здесь
Оглавление
Предисловие 6
Введение. Предмет и значение логики 7
Логика как наука о законах открытия, обоснования и сохранения истины 7
Логические законы как принципы открытия, обоснования и сохранения истины 15
Часть I. ТРАДИЦИОННАЯ ЛОГИКА 35
Глава 1. Понятие 37
Определение понятия 37
Содержание и объем понятия. Обобщение и ограничение понятий 41
Основные требования к определению понятий 53
Виды понятий 59
Логические операции с понятиями 70
Деление объема понятия (классификация) 74
Глава 2. Суждение 82
Определение суждения 82
Простые суждения 85
Нормальная форма простых суждений 92
Логические преобразования суждений 95
Превращение 95
Обращение 97
Противопоставление (контрапозиция) 99
Совместимые и несовместимые суждения. Логический квадрат 102
Простые суждения и пустые классы 109
Коммуникативная природа суждений 111
Глава 3. Дедуктивные умозаключения 114
Определение умозаключения 114
Отношение логического следования 118
Простые суждения и деревья 120
Дедуктивные умозаключения с двумя посылками (простые силлогизмы) 123
Дедуктивные умозаключения с тремя и более посылками (сложные силлогизмы) 137
Восстановление посылок в простых энтимемах 145
Восстановление посылок в сложных энтимемах 152
Глава 4. Дедуктивное доказательство и опровержение 160
Общее представление о дедуктивном доказательстве и опровержении 160
Дедуктивное доказательство 162
Дедуктивное опровержение 164
Главные логические ошибки 176
Глава 5. Доказательство и опровержение как искусство риторики 183
Определение риторики 183
Изобретение обращения 185
Изложение обращения 188
Словесное выражение обращения 193
Логика спора 198
Правила спора 199
Часть II. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ 207
Глава 6. Логика высказываний 210
Основные определения и допущения логики высказываний 210
Синтаксис логики высказываний 213
Семантика логики высказываний 219
Определение логического отрицания 220
Определение конъюнкции 221
Определение слабой дизъюнкции 222
Определение импликации 223
Определение эквивалентности 224
Определение сильной дизъюнкции 225
Логически истинные, логически ложные и логически нейтральные формулы 227
Отношение логического следования в логике высказываний 230
Основные законы логики высказываний 233
Деревья в логике высказываний 237
Правила образования деревьев в логике высказываний 237
Поиск нетривиальных следствий и допущений 241
Логика высказываний как исчисление 247
Основные модусы правильных умозаключений логики высказываний 253
Условные умозаключения 253
Разделительные умозаключения 254
Условно-разделительные умозаключения 254
Правило дедукции (введение импликации) 255
Рассуждение от противного 256
Приведение к абсурду 256
Разбор случаев 257
Глава 7. Логика предикатов 261
Основные понятия и допущения логики предикатов 261
Синтаксис логики предикатов 266
Семантика логики предикатов 272
Отношение логического следования в логике предикатов 277
Деревья в логике предикатов 280
Логика предикатов как исчисление 283
Основные законы логики предикатов 292
Закон удаления квантора общности 292
Закон введения квантора существования 292
Закон подчинения кванторов 292
Закон противоречия 292
Закон непустоты универсума логического квадрата 293
Законы взаимоопределимости кванторов 293
Законы дистрибутивности кванторов относительно знака конъюнкции 293
Законы дистрибутивности кванторов относительно знака дизъюнкции 293
Законы дистрибутивности кванторов относительно знака импликации 294
Законы перестановки кванторов 295
Часть III. НЕКЛАССИЧЕСКАЯ ЛОГИКА 297
Глава 8. Индуктивная логика 299
Основные определения и допущения индуктивной логики 299
Основные теоремы индуктивной логики 305
Глава 9. Модальная логика 331
Основные определения и допущения модальной логики высказываний и предикатов 331
Базисная модальная логика 336
Модальная силлогистика 343
Модальный шестнадцатиугольник 343
Объемы простых модальных суждений 344
Решение модальных силлогизмов 348
Правила вывода (определения модальности заключения) 352
Глава 10. Парадоксы 365
Ахиллес и черепаха 365
Движется ли летящая стрела 368
Спор Протагора с Еватлом 370
Парадокс лжеца 374
Парадокс подтверждения К. Гемпеля 378
Парадокс индуктивной вероятностной поддержки К. Поппера 381
Всe ли лебеди белые? 385
Может ли ученик стать своим собственным учителем? 387
