Логика: учебник для бакалавров
Год издания: 2015
Автор: Коллектив Авторов (Гусев С.С., Караваев Э.Ф., Карпов Г.В., Кобзарь В.И., Ладушкин С.И., Мигунов А.И., Микиртумов И.Б., Нечитайлов Ю.В., Слинин Я.А., Тоноян Л.Г., Федоров Б.И., Черноскутов Ю.Ю.) (ред. Мигунов А.И., Микиртумов И.Б., Федоров Б.И.)
Жанр или тематика: Учебное пособие, Учебное издание
Издательство: Проспект
ISBN: 978-5-392-16710-4
Язык: Русский
Формат: PDF
Качество: Издательский макет или текст (eBook)
Интерактивное оглавление: Нет
Количество страниц: 675
Описание: Учебник написан специалистами кафедры логики Санкт-Петербургского государственного университета. С его помощью читатель сможет не только изучить основы классической логики и истории формирования традиционного логического знания, но также выйти за пределы стандартного курса логики: познакомиться с элементами современных логических теорий, основами логической прагматики и современной теории аргументации. Книга будет полезна студентам высших учебных заведений, изучающим курс логики, тем, кто желает овладеть соответствующим теоретическим материалом и навыками рациональной аргументации, а также всем интересующимся логикой.
Примеры страниц (скриншоты)
Оглавление
глава 1. Предмет логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
(д. ф. н. В. И. Кобзарь)
Формы мысли как предмет логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Мышление и язык . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Рациональное и чувственное в познании . . . . . . . . . . . . . . . . . . . . . . . 18
Логика как метод . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
глава 2. Очерк истории логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
(д. ф. н. Я. А. Слинин; «История логики в России» —
д. ф. н. В. И. Кобзарь)
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Логика Индии . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Логика Древнего Китая . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Античная логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Логика средневековья . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Логика эпохи Возрождения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Логика Нового времени . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Логические учения XIX в . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
История логики в России . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
глава 3. Основные законы логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
(д. ф. н. В. И. Кобзарь)
Закон тождества . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Закон противоречия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Закон исключенного третьего . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Закон достаточного основания . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
глава 4. логика и язык . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
(Г. В. Карпов)
Познание законов мыслительной деятельности:
мышление и язык . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
«сказываться о подлежащем» и «находиться в подлежащем» . . . 57
Первые и вторые сущности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Категории мышления и категории языка . . . . . . . . . . . . . . . . . . . . . . . 63
глава 5. Понятие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
(к. ф. н. Г. Тоноян)
Об образовании и употреблении понятий . . . . . . . . . . . . . . . . . . . . . . 67
Этимология слова «понятие» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Понятие и представление . Понятие и слово .
Понятие и термин . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Определение и структура понятия . Объем и содержание . . . . . . . 73
Виды понятий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Отношения между понятиями . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Основные логические операции с понятиями .
Обобщение и ограничение . Закон обратного
отношения между объемом и содержанием понятий . . . . . . . . . . . . 83
Определение понятий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Исторический экскурс в теорию определения . . . . . . . . . . . . . . . . . . 87
Деление понятий . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Классификация: определение и методы .
Классификация и каталогизация . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
глава 6. суждение и высказывание . . . . . . . . . . . . . . . . . . . . . . . . . . 114
(к. ф. н. С. И. Ладушкин)
суждение как форма мысли . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Основные виды суждений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
Экспликация структуры суждений . Приведение суждений
к простому категорическому виду . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Объединенная классификация суждений по качеству
и количеству . Комплексный анализ простого
категорического суждения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Выделяющие, исключающие и определенно-частные
суждения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Реляционные суждения (суждения с отношениями,
суждения об отношениях) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Экзистенциальные суждения (суждения существования) . . . . . 144
Модельные схемы суждений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
глава 7. Учение об умозаключениях. силлогистика . . . . . . . . . . 148
(д. ф. н. Я. А. Слинин)
Общие положения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
Непосредственные умозаключения . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Теория простого категорического силлогизма .
Аристотелевская силлогистика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Аксиоматическое построение силлогистики . . . . . . . . . . . . . . . . . . 173
сокращенные, сложные и сложносокращенные
силлогизмы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
Теория силлогизмов со сложными посылками . . . . . . . . . . . . . . . . 184
глава 8. Доказательство и опровержение . . . . . . . . . . . . . . . . . . . . 192
(д. ф. н. Б. И. Федоров)
Условия логической последовательности рассуждений . . . . . . . . 192
Общая характеристика доказательства и опровержения . . . . . . . 199
структура и главные элементы доказательства
и опровержения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
Виды доказательства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
Виды опровержения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
глава 9. сложные суждения. Элементы логики
высказываний . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
(к. ф. н. С. И. Ладушкин)
синтаксис языка логики высказываний . . . . . . . . . . . . . . . . . . . . . . 216
семантика языка логики высказываний . . . . . . . . . . . . . . . . . . . . . . 219
семантика основных логических связок . . . . . . . . . . . . . . . . . . . . . . 221
Построение таблицы истинности для произвольной
формулы логики высказываний . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
Естественный вывод в логике высказываний . . . . . . . . . . . . . . . . . . 232
глава 10. Основы логики предикатов . . . . . . . . . . . . . . . . . . . . . . . . 246
(д. ф. н. И. Б. Микиртумов)
Как и зачем была создана логика предикатов . . . . . . . . . . . . . . . . . . 246
Термины языка как имена функций . . . . . . . . . . . . . . . . . . . . . . . . . . 248
Язык логики предикатов первого порядка . . . . . . . . . . . . . . . . . . . . 254
Кванторы и переменные: определения и операции . . . . . . . . . . . . 255
Выразительные возможности языка логики предикатов . . . . . . . 256
Некоторые законы логики предикатов . . . . . . . . . . . . . . . . . . . . . . . . 261
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
глава 11. индукция. индуктивные умозаключения . . . . . . . . . . 264
(д. ф. н. С. С. Гусев)
Понятие «индукция» в логике . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
Природа индуктивных умозаключений . . . . . . . . . . . . . . . . . . . . . . . 264
Особенности индуктивных умозаключений . . . . . . . . . . . . . . . . . . . 267
Виды индуктивного умозаключения . . . . . . . . . . . . . . . . . . . . . . . . . . 269
Значение несиллогистических умозаключений . . . . . . . . . . . . . . . 281
глава 12. логические парадоксы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283
(д. ф. н. И. Б. Микиртумов)
«Лжец» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
Решение Буридана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
Решение Тарского . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
Теория неподвижных точек Крипке . . . . . . . . . . . . . . . . . . . . . . . . . . 292
Несколько парадоксов вослед «Лжецу» . . . . . . . . . . . . . . . . . . . . . . . 296
Несколько парадоксов вослед парадоксу Рассела . . . . . . . . . . . . . . 304
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 310
Часть II. ОснОвные наПравления
сОвременнОгО развития лОгики
(отв. ред. д. ф. н. Б. И. Федоров)
глава 1. историческое введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
(к. ф. н. Ю. Ю. Черноскутов)
Алгебраический этап развития логики . . . . . . . . . . . . . . . . . . . . . . . . 313
становление классической логики . . . . . . . . . . . . . . . . . . . . . . . . . . . 320
Программа Давида Гильберта . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329
Теоремы Курта Геделя . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336
Возникновение неклассических логик . . . . . . . . . . . . . . . . . . . . . . . . 337
Логика и философия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
Альфред Тарский и развитие логической семантики . . . . . . . . . . 344
семантика возможных миров . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 346
Заключение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 350
глава 2. Основы модальной логики . . . . . . . . . . . . . . . . . . . . . . . . . . 351
(д. ф. н. И. Б. Микиртумов)
Язык пропозициональной модальной логики
и его выразительные возможности . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355
семантика возможных миров, или семантика Крипке . . . . . . . . . 357
Определение отношения истинности (выполнимости) . . . . . . . . 363
Отношение достижимости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
Общезначимость и выполнимость . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
структуры миров и общезначимые в них формулы . . . . . . . . . . . . 370
Элементарные умозаключения в модальной логике . . . . . . . . . . . 374
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
глава 3. Деонтическая логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
(к. ф. н. Е. Н. Лисанюк)
Введение в логику норм . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
Предмет и основные понятия логики норм . . . . . . . . . . . . . . . . . . . . 378
Виды норм и их структура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
Нормы и оценки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
Исторический обзор . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
Абсолютные деонтические системы . . . . . . . . . . . . . . . . . . . . . . . . . . 390
Особенности абсолютных систем . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 396
Парадоксы абсолютных систем . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
Относительные деонтические системы . . . . . . . . . . . . . . . . . . . . . . . 414
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
глава 4. Эротетическая логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
(д. ф. н. Б. И. Федоров)
Краткое историческое введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
Логико-лингвистическая коннотация вопроса . . . . . . . . . . . . . . . . 428
Логико-лингвистическая коннотация ответа . . . . . . . . . . . . . . . . . . 436
Логико-гносеологическая коннотация ответа
и вопроса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 439
Информационно-лингвистические границы вопроса . . . . . . . . . . 442
Полная классификация научных вопросов . . . . . . . . . . . . . . . . . . . . 449
Особенности формализации языка эротетической логики . . . . . 457
глава 5. логика компьютерного диалога . . . . . . . . . . . . . . . . . . . . . 461
(д. ф. н. Б. И. Федоров)
Логико-информационный подход к диалогу . . . . . . . . . . . . . . . . . . 461
Общие условия диалога . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467
Основы обучающего диалога . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
Компьютер в обучающем диалоге . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485
синтаксис и семантика компьютерного диалога . . . . . . . . . . . . . . . 494
глава 6. Эпистемическая логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507
(к. ф. н. Ю. В. Нечитайлов)
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507
Базовая эпистемическая логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511
Формализация разновидностей группового знания . . . . . . . . . . . 519
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 519
глава 7. временная логика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520
(д. ф. н. Э. Ф. Караваев)
Постулаты временной логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 521
Постулаты для выражения кругового характера
времени . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
Метатеоретические проблемы временной логики . . . . . . . . . . . . . 532
семантика временной логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 539
Часть III. лОгиЧеская Прагматика.
ОснОвы теОрии аргУментации
(отв. ред. к. ф. н. А. И. Мигунов)
введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547
глава 1. логическая прагматика. теория речевых актов . . . . . . 550
(к. ф. н. А. И. Мигунов)
«Как производить действия при помощи слов» . . . . . . . . . . . . . . . . 551
структура речевого действия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 553
Конститутивные правила . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 555
Импликатура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 562
Пресуппозиции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 566
глава 2. аргумент как речевое действие . . . . . . . . . . . . . . . . . . . . . 571
(к. ф. н. А. И. Мигунов)
Аргументация и отношение логического следования . . . . . . . . . . 571
структура иллокутивной силы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576
семантика аргументативного речевого акта . . . . . . . . . . . . . . . . . . . 582
глава 3. Правила и ошибки аргументации . . . . . . . . . . . . . . . . . . . . 588
(к. ф. н. Е. Н. Лисанюк)
Правила аргументации и логические правила . . . . . . . . . . . . . . . . . 589
Диалог как способ коммуникации . . . . . . . . . . . . . . . . . . . . . . . . . . . . 595
Виды диалогов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
Классификация правил и ошибок аргументации . . . . . . . . . . . . . . 615
Процедурные правила, правила тезиса и правила аргументов . . .620
Правила тезиса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .643
список литературы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .658
Предметный указатель . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .660
именной указатель . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .672
