С его помощью читатель сможет не только изучить основы классической логики и истории формирования традиционного логического знания, но также выйти за пределы стандартного курса логики: познакомиться с элементами современных логических теорий, основами логической прагматики и современной теории аргументации. <...> И. Б. Микиртумов) Как и зачем была создана логика предикатов . <...> И. Б. Микиртумов) Язык пропозициональной модальной логики и его выразительные возможности . <...> . 615 Процедурные правила, правила тезиса и правила аргументов . <...> Понятие — это простейшая форма мысли, определяющая своей структурой (закон обратного отношения объема и содержания) всю сложность, диалектичность науки логики, и естественно, что именно с понятия следует начинать освоение как традиционной формальной логики, так и современной. <...> Каждая форма мысли в свою очередь может подразделяется на несколько подвидов, например простое суждение — не только категорическое, но и суждение отношения, модальное суждение, суждение существования. <...> Основы логики Москва — самый крупный город в нашей стране и она же — столица страны. <...> . В логике стоиков имеются разделы о категориях, о качестве и количестве суждений («логический квадрат»), о родах и видах, о категорических силлогизмах, об ошибках в доказательствах. <...> В трактате «Силлогизм» Аль-Фараби не ограничивается разбором аристотелевской теории категорического силлогизма; он рассматривает также условные и разделительные силлогизмы, правила построения которых восходят к стоикам. <...> Большое влияние на развитие логики Нового времени оказали работы французского логика XVI в. <...> Гамильтон знаменит тем, что разработал систему категорической силлогистики, расширенной по сравнению с силлогистикой Аристотеля: в силлогистике Гамильтона имеется гораздо больше правильных модусов, чем в аристотелевской. <...> В качестве базовой ее части он взял пропозициональную логику, которая в структурном отношении изоморфна <...>
Логика.pdf
Стр.1
Стр.2
Стр.3
Стр.4
Стр.5
Стр.6
Стр.7
Стр.8
Логика.pdf
УДК 16(075.8)
ББК 87.4ÿ73
Ë69
Электронные версии книг
на сайте www.prospekt.org
Авторы:
Ñ. Ñ. Ãóñåâ, ä-ð ôèëîñ. наук — ãë. 11 ÷. I; Ý. Ô. Êàðàâàåâ, ä-ð ôèëîñ. наук — ãë. 7 ÷. II;
Ã. Â. Карпов —ãë.4÷.I; Â. È. Êîáçàðü, ä-ð ôèëîñ. наук — ãë. 1, «Èñòîðèÿ логики в Ðîññèè»
ãë. 2, 3 ÷. I; Ñ. È. Ëàäóøêèí, êàíä. ôèëîñ. наук — ãë. 6, 9 ÷. I; Å. Í. Ëèñàíþê, êàíä.
ôèëîñ. наук — ãë. 3 ÷. II, ãë. 3 ÷. III; À. È. Ìèãóíîâ, êàíä. ôèëîñ. наук — ãë. 1, 2 ÷. III;
È. Á. Микиртумов, ä-ð ôèëîñ. наук — ãë. 10, 12 ÷. I, ãë. 2 ÷. II; Þ. Â. Нечитайлов, êàíä.
ôèëîñ. наук — ãë. 6 ÷. II; ß. À. Ñëèíèí, ä-ð ôèëîñ. наук — ãë. 2 ÷. I (êðîìå «Èñòîðèè логики
в Ðîññèè»), ãë. 7 ÷. I; Ë. Ã. Òîíîÿí, êàíä. ôèëîñ. наук — ãë. 5 ÷. I; Á. È. Ôåäîðîâ, ä-ð ôèëîñ.
наук — ãë. 8 ÷. I, ãë. 4, 5 ÷. II; Þ. Þ. Черноскутов, êàíä. ôèëîñ. наук — ãë. 1 ÷. II.
Под редакцией кандидата философских наук А. И. Мигунова, доктора философских наук
И. Б. Микиртумова, доктора философских наук Б. И. Федорова.
Логика: учебник для бакалавров / С. С. Гусев, Э. Ф. Караваев,
Ë69
Ã. Â. Карпов [è äð.]; под ðåä. À. È. Ìèãóíîâà, È. Á. Микиртумова,
Á. È. Ôåäîðîâà. — Москва : Ïðîñïåêò, 2017. — 680 ñ.
ISBN 978-5-392-23094-5
Учебник написан специалистами кафедры логики Санкт-Петербургского государственного
университета. С его помощью читатель сможет не только изучить
основы классической логики и истории формирования традиционного логического
знания, но также выйти за пределы стандартного курса логики: познакомиться с
элементами современных логических теорий, основами логической прагматики и
современной теории аргументации.
Книга будет полезна студентам высших учебных заведений, изучающим курс
логики, тем, кто желает овладеть соответствующим теоретическим материалом и
навыками рациональной аргументации, а также всем интересующимся логикой.
УДК 16(075.8)
ББК 87.4ÿ73
Учебное издание
Мигунов Анатолий Иванович, Микиртумов Иван Борисович,
Федоров Борис Иванович и др.
ЛОГИКА
Учебник для бакалавров
Оригинал-макет подготовлен компанией ООО «Оригинал-макет»
www.o-maket.ru; òåë.: (495) 726-18-84
Санитарно-эпидемиологическое заключение
¹ 77.99.60.953.Ä.004173.04.09 от 17.04.2009 ã.
Подписано в печать 05.04.2017. Формат 60ƀ90 1
Печать цифровая. Печ. л. 42,5. Тираж 50 экз. Заказ №
/16
ООО «Проспект»
111020, ã. Ìîñêâà, óë. Áîðîâàÿ, ä. 7, ñòð. 4.
.
ISBN 978-5-392-23094-5
© Коллектив àâòîðîâ, 2010
© ООО «Ïðîñïåêò», 2010
Стр.2
Содержание
(отв. ред. д. ф. н. И. Б. Микиртумов)
Часть I. ОснОвы лОгики
глава 1. Предмет логики
Формы мысли как(д. ф. н. В. И. Кобзарь) предмет логики
Мышление и язык
глава 2. Очерк истории логики
Логика Индии
9
Рациональное и чувственное в познании
Логика как метод
д. ф. н. В. И. Кобзарь(д. ф. н. Я. А. Слинин; «История логики в России» —)
Введение
Логика Древнего Китая
Античная логика
Логика средневековья
Логика эпохи Возрождения
Логика Нового времени
Логические учения XIX в
История логики в России
глава 3. Основные законы логики
Закон тождества(д. ф. н. В. И. Кобзарь)
Закон противоречия
Закон исключенного третьего
Закон достаточного основания
глава 4. логика и язык
Познание законов мыслительной деятельности:(Г. В. Карпов)
мышление и язык
вторые сущности
12
15
18
19
22
22
22
23
23
28
34
35
39
43
47
48
51
52
53
54
54
59
63
Первые и«сказываться о подлежащем» и «находиться в подлежащем» 57
Категории мышления и категории языка
Стр.3
4
Содержание
глава 5. Понятие
(к. ф. н. Г. Тоноян)
Об образовании и употреблении понятий
Этимология слова «понятие»
67
67
Понятие и представление Понятие и слово
Понятие и термин
Отношения между понятиями
Определение и структура понятия Объем и содержание
Виды понятий
Основные логические операции с понятиями
Обобщение и ограничение Закон обратного
отношения между объемом и содержанием понятий
Определение понятий
Исторический экскурс в теорию определения
Деление понятий
Классификация: определение и методы
Классификация и каталогизация
глава 6. суждение и высказывание
Экспликация структуры суждений Приведение суждений
к простому категорическому виду
иОбъединенная классификация суждений по качеству
количеству Комплексный анализ простого
категорического суждения
Выделяющие, исключающие и определенно-частные
суждения
Реляционные суждения (суждения с отношениями,
суждения об отношениях)
Экзистенциальные суждения (суждения существования)
Модельные схемы суждений
глава 7. Учение об умозаключениях. силлогистика
Общие положения(д. ф. н. Я. А. Слинин)
Непосредственные умозаключения
Теория простого категорического силлогизма
Аристотелевская силлогистика
Аксиоматическое построение силлогистики
(к. ф. н. С. И. Ладушкин)
суждение как форма мысли
Основные виды суждений
70
71
73
75
79
83
84
87
97
105
114
114
120
125
127
136
140
144
144
148
148
149
156
173
Стр.4
Содержание
5
силлогизмысокращенные, сложные и сложносокращенные
Теория силлогизмов со сложными посылками
глава 8. Доказательство и опровержение
Условия логической последовательности рассуждений(д. ф. н. Б. И. Федоров)
Общая характеристика доказательства и опровержения
иструктура и главные элементы доказательства
Виды доказательства
Виды опровержения
опровержения
высказыванийглава 9. сложные суждения. Элементы логики
(к. ф. н. С. И. Ладушкин)
синтаксис языка логики высказываний
семантика языка логики высказываний
семантика основных логических связок
179
184
192
192
199
203
208
211
212
216
Построение таблицы истинности для произвольной
формулы логики высказываний
Естественный вывод в логике высказываний
глава 10. Основы логики предикатов
Как(д. ф. н. И. Б. Микиртумов)
219
221
228
232
и зачем была создана логика предикатов
Термины языка как имена функций
Язык логики предикатов первого порядка
246
246
Кванторы и переменные: определения и операции
Выразительные возможности языка логики предикатов
Некоторые законы логики предикатов
список литературы
глава 11. индукция. индуктивные умозаключения
Понятие «индукция» в(д. ф. н. С. С. Гусев)
Природа индуктивных умозаключений
Особенности индуктивных умозаключений
Виды индуктивного умозаключения
логике
Значение несиллогистических умозаключений
248
254
255
256
261
263
264
264
264
267
269
281
Стр.5
6
Содержание
глава 12. логические парадоксы
«Лжец»(д. ф. н. И. Б. Микиртумов)
Решение Буридана
Решение Тарского
Теория неподвижных точек Крипке
Несколько парадоксов вослед «Лжецу»
283
286
Несколько парадоксов вослед парадоксу Рассела
список литературы
289
291
292
296
304
310
сЧасть II. ОснОвные наПравления
глава 1. историческое введение
Алгебраический этап развития логики(к. ф. н. Ю. Ю. Черноскутов)
становление классической логики
Программа Давида Гильберта
Теоремы Курта Геделя
Возникновение неклассических логик
Логика и философия
ОвременнОгО развития лОгики
(отв. ред. д. ф. н. Б. И. Федоров)
311
313
Альфред Тарский и развитие логической семантики
семантика возможных миров
Заключение
глава 2. Основы модальной логики
семантика возможных миров, или семантика Крипке
Определение отношения истинности (выполнимости)
Отношение достижимости
иЯзык пропозициональной модальной логики(д. ф. н. И. Б. Микиртумов)
его выразительные возможности
Общезначимость и выполнимость
структуры миров и общезначимые в них формулы
Элементарные умозаключения в модальной логике
список литературы
глава 3. Деонтическая логика
Введение в(к. ф. н. Е. Н. Лисанюк) логику норм
320
329
336
337
340
344
346
350
351
355
357
363
365
367
370
374
377
377
377
Стр.6
Содержание
7
Предмет и основные понятия логики норм
Виды норм и их структура
Нормы и оценки
Исторический обзор
Абсолютные деонтические системы
Особенности абсолютных систем
Парадоксы абсолютных систем
глава 4. Эротетическая логика
Краткое историческое введение(д. ф. н. Б. И. Федоров)
вопроса
Относительные деонтические системы
список литературы
378
379
382
383
390
396
405
414
424
Логико-лингвистическая коннотация вопроса
Логико-лингвистическая коннотация ответа
424
424
иЛогико-гносеологическая коннотация ответа
Информационно-лингвистические границы вопроса
Полная классификация научных вопросов
428
436
Особенности формализации языка эротетической логики
глава 5. логика компьютерного диалога
Логико-информационный подход к(д. ф. н. Б. И. Федоров)
Основы обучающего диалога
Общие условия диалога
Компьютер в обучающем диалоге
диалогу
синтаксис и семантика компьютерного диалога
глава 6. Эпистемическая логика
Введение(к. ф. н. Ю. В. Нечитайлов)
Базовая эпистемическая логика
глава 7. временная логика
Постулаты временной логики(д. ф. н. Э. Ф. Караваев)
Формализация разновидностей группового знания
список литературы
439
442
449
457
461
461
467
479
485
494
507
507
511
519
519
Постулаты для выражения кругового характера
времени
520
521
527
Стр.7
8
Содержание
Метатеоретические проблемы временной логики
семантика временной логики
Часть III. лОгиЧеская Прагматика.
ОснОвы теОрии аргУментации
(отв. ред. к. ф. н. А. И. Мигунов)
введение
глава 1. логическая прагматика. теория речевых актов
«Как(к. ф. н. А. И. Мигунов) производить действия при помощи слов»
структура речевого действия
Конститутивные правила
Импликатура
Пресуппозиции
глава 2. аргумент как речевое действие
Аргументация и(к. ф. н. А. И. Мигунов) отношение логического следования
структура иллокутивной силы
семантика аргументативного речевого акта
глава 3. Правила и ошибки аргументации
Правила аргументации и(к. ф. н. Е. Н. Лисанюк)
Диалог как способ коммуникации
Виды диалогов
список литературы
547
550
551
532
539
553
555
562
566
571
571
576
582
логические правила
Классификация правил и ошибок аргументации
Процедурные правила, правила тезиса и правила аргументов
Правила тезиса
Предметный указатель
именной указатель
588
589
595
611
615
620
643
658
660
672
Стр.8