6. Основная литература.

1. Бартон В.И. Логика. Мн., 2001.

.

Брюшинкин, В. Н. Практический курс логики для гуманитариев: Учеб. пособие для гуманит. спец. вузов /Ин-т "Открытое о-во". - М.: Новая шк., 1996. - 319 с.

Свинцов, ВиталийИванович Логика: Элементар. курс для гуманитар. специальностей. - М.: Скорина: Весь мир, 1998. - 351с.

Введение в логику : университетский курс : учебник для студентов высших учебных заведений, изучающих философские дисциплины / В. А. Бочаров, В. И. Маркин. - 2-е изд., дополненное и исправленное. - Москва : Инфра-М, 2011. - 560 с. - (Высшее образование).

Логика : учебник / И. В. Демидов. - 6-е изд., исправленное. - Москва : Дашков и К, 2011. - 348 с.

Логика : учебник. - Москва : ЛИБРОКОМ, 2010. - 392 с.

Логика : учебник / С. Н. Мареев. - 3-е изд. - Москва : Экзамен, 2009. - 317 с. - (Учебник для вузов).

Логика : учебник для вузов / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : ВЛАДОС, 2010. - 527 с. - (Учебник для вузов).

Логика : учебник для бакалавров. - Москва : Проспект, 2013. - 216 с.

Логика : учебник для вузов / Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. - 9-е изд. - Минск : ТетраСистемс, 2007. - 416 с.

Логика : учебник для вузов / Ивин А.А. - Москва : Оникс : Мир и образование, 2008. - 336 с.

Логика : учебник для вузов / Ивлев Ю.В. - 4-е изд., переработанное и дополненное. - Москва : Проспект, 2009. - 304 с.

Логика : учебник для социологических факультетов и гуманитарных специальностей / Н. З. Ярощук. - Москва : Волтерс Клувер, 2011. - 248 с.

Логика : учебное пособие / Афанасьева О.В. - Москва : Проспект, 2008. - 272 с.

Логика : учебное пособие / Бартон В.И. - 3-е изд., переработанное. - Минск : Новое знание, 2008. - 363 с. - (Социально-гуманитарное образование).

Логика : учебное пособие / В. А. Светлов. - Санкт-Петербург : Питер, 2011. - 320 с. - (Учебное пособие).

Логика : учебное пособие для бакалавров / А. А. Ивин. - 3-е изд., переработанное и дополненное. - Москва : Юрайт, 2012. - 387 с. - (Бакалавр).

Логика : учебное пособие для вузов / Т. Н. Савчук. - 3-е издание. - Минск : БГПУ, 2010. - 160 с.

Логика : учебное пособие для студентов вузов / Г. И. Малыхина. - 5-е издание. - Минск : Вышэйшая школа, 2010. - 240 с. - (Студентам высших учебных заведений).

Логика и теория аргументации : учебное пособие / Антонова О.А. - Санкт-Петербург : ИВЭСЭП, 2008. - 96 с.

Логика. Теория и практика аргументации : учебник для студентов высших учебных заведений / И. В. Хоменко. - Москва : Юрайт, 2011. - 314 с. - (Основы наук).

Логика традиционная и современная : учебник / А. Е. Конверский. - Москва : Идея-Пресс, 2010. - 380 с.

Теория и практика аргументации : учебник / Ю. В. Ивлев. - Москва : Проспект, 2011. - 288 с.

Теория и практика аргументации : учебное пособие для студентов вузов / Д. В. Зайцев. - Москва : Форум, 2010. - 224 с. - (Высшее образование).

Учебник логики. Со сборником задач / А. Д. Гетманова. - 8-е изд., переработанное. - Москва : Кнорус, 2011. - 368 с. - (Учебник).

Логика и тактическое мышление : 50+50 задач для тренировки мозга / [Ч. Филлипс]. - Москва : Эксмо, 2010. - 192 с. - (Мозговой штурм). - (How to think).

Я прав - вы заблуждаетесь / Боно Э. - Минск : Попурри, 2006. - 368 с.

Введение в логику и научный метод / М .Р. Коэн, Э. Нагель. - Челябинск : Социум, 2010. - 655 с.

Логика : конспект лекций / Дорошин И.А. - Москва : Высшее образование, 2007. - 213 с. - (Хочу все сдать!).

Логика : Курс лекций : Пособие / Каменский А.К. - Мозырь : Мозырский государственный педагогический университет, 2003. - 173 с.

Логика : ответы на экзаменационные вопросы / П. В. Барковский. - 3-е изд. - Минск : ТетраСистемс, 2011. - 112 с. - (Ответы на экзаменационные вопросы).

Логика : Понятие, суждение, умозаключение : Учеб. пособие для студентов вузов, обучающихся по пед. специальностям (ГСЭ.Р.00) / Гусев Д.А. - М. : ЮНИТИ-ДАНА, 2004. - 272 с. - (Высшее профессиональное образование. Педагогика). -

Логика : практикум для вузов / Минский государственный высший радиотехнический колледж. - Минск : МГВРК, 2010. - 80 с.

Логика : учебное пособие в структурно-логических схемах и таблицах / Д. И. Грядовой. - Москва : Щит-М, 1999. - 178 с.

огика : учебно-методическое пособие / Е. Г. Кириченко. - Гомель : БелГУТ, 2011. - 99 с.

Логика : учебно-методическое пособие для студентов вузов, обучающихся по специальностям 1-21 06 01 "Современные иностранные языки (по направлениям) и 1-23 01 02 "Лингвистическое обеспечение межкультурных коммуникаций (по направлениям)" / Н. Г. Севостьянова. - Минск : МГЛУ, 2012. - 283 с.

307 Логика : учебно-методическое пособие (практикум) / Крюков В.М. - Пинск : Полесский государственный университет, 2008. - 132 с.

Логика в схемах и таблицах : учебно-методическое пособие / Н. Д. Лепская. - Минск, 2012. - 88, [1] с.

Логика и коммуникация : пособие для студентов высших учебных заведений, обучающихся по специальностям 1-21 02 01 "Философия", 1-23 01 05 "Социология", 1-23 01 07 "Информация и коммуникация" / С. В. Воробьева. - Минск : БГУ, 2010. - 327 с. - (Пособие).

Логика: упражнения и тестовые задания : учебно-методическое пособие / В. Ф. Берков, Н. В. Малая. - Минск : Издательский центр БГУ, 2009. - 121 с.

Логика. Учимся решать : учебное пособие для студентов вузов, обучающихся по социально-гуманитарным специальностям / И. Н. Лаврикова. - Москва : ЮНИТИ, 2011. - 207 с.

Логический словарь ДЕФОРТ / Ред. Ивина А.А.,Переверзева В.Н.,ПетроваВ.В. - М. : "Мысль", 1994.

Современная логика / А. А. Ивин. - Фрязино : Век 2, 2009. - 384 с. - (Наука для всех).

Тестовые задания и упражнения по логике : Учеб. пособие / Сост. Малая Н.В. (авт.-сост). - Мн. : БГУ, 2004. - 100 с.

1 В основу лекций положен материал, прочитанный В.И. Бартоном

2 Бóльшая часть книг из этого списка давно уже существует в электронном виде; соответствующую подборку можно найти на портале «Библиотека Змея Горыныча» (http://nlzg.ucoz.ru/forum/31 - собственно учебная литература – и http://nlzg.ucoz.ru/forum/1 – книги по нестандартной логике, сборники головоломок и т.д.); книги близкой тематики – в других электронных библиотеках (см. ниже список Интернет-ресурсов по логике).

3 Отметим, что если систематические попытки (низкий поклон знаменитому Юрию Данилову) составления русской библиографии книг по занимательной математике предпринимались (соответствующие списки см. в кн.: Гарднер М. Математические головоломки и развлечения. М., 1999. – С. 433-442; 212 источников; и Гарднер М. Математические досуги. – М., 2000. – С. 439-441; 55 источников), то для «занимательной логики» данный наш список в 150 источников – едва ли не первый опыт такого рода (с учетом массы книг, вышедших в свет в 2006-2011 гг.). Обложки еще ряда книг, пока по тем или иным причинам не вошедших в этот список, можно увидеть в соответствующем альбоме на проекте «Нестандартная логика»: http://vkontakte.ru/club17436249#/album-17436249_109448649

4 "Ригведа" X, 71, 82.

5 Цит. по кн.: Маковельский А.О. История логики. М, 1967. С. 28.

Краткая характеристика генезиса индийской силлогистической логики изложена в раб.: Донченко В. Индийская логика// Философская энциклопедия. Т. 2. М., 1962. С.263-265; СтяжкинН.И. Формирование математической логики. М., 1967. С. 7-13.

6 О влияниибуддийскогоучения об умозаключении на учения брахманских систем (ньяи, вайшешики, санкхъи, веданты и мимансы). (См.: Щербатской Ф.И. Теория познания и логика по учению позднейших буддистов. Ч.II. Источники и пределы познания. СПб., 1995. С.268-272)

7 Щербатской Ф.И. Избранные труды по буддизму. М., 1988. С. 54.

8 Стяжкин Н.И. Формирование матиматической логики. С.9

9 Дхармоттара (VIII-IX) - основатель кашмирской философской школы комментаторов, продолживший развитие логики навья-ньяя. Известен как комментатор работ: Дхармакирти. См.: Щербатской Ф.И. Теория познания и логика по учению позднейших буддистов. Ч, I. "Учебник логики" Дхармакирти с толкованием Дхармоттары. СПб., 1995. С. 60- 389.

10 Там же С.247

11 Дхармоттара (VIII -IX) - основатель кашмирской философской школы комментато­ров, продолживший развитие логики навья-ньяя. Известен как комментатор работ Дхармакирти. См.: Щербатской Ф.И. Теория познания и логика по учению поздней­ших буддистов. Ч. I. "Учебник логики" Дхармакирти с толкованием Дхармоггпры СПб., 1995. С. 217, 243.

12 Там же. С.245

13 Смирнов В.А. От редактора // Инголлс Д.Г.Х. Введение в индийскую логику навья- ньяя. М., 1975. С. 3-4.

14 Смирнов В.А. Введение // Там же. С. 9.

15 Пань Шимо Логика Древнего Китая (краткий очерк) // Философские науки. 1991.№11 С. 174-178.

16 История философии. Т 1. м., 195?. с. 65

17 История философии. Т.1. М., 1957. С.65-66.

18 Древнекитайская философия. T.l. М, 1972. С.160.

19 История философии. Т.1. М, 1957. С.67; Щербатской Ф.И Избранные труды по буддизму. С. 105-107.

20 Щербатской Ф.И Избранные труды по буддизму. С. 178.

21 Ряд возможных подходов к интерпретации парадоксов Зенона представлен в работе Н. И. Стяжкина "Формирование математической логики". С. 21-23.

22 Исократ. Панегирик // Ораторы Греции. М., 1985. С.39-64.

23 Осипова В.Г. О природе софистики. Ереван, 1964. С.8

24 Аристотель. Метафизика. ХШ, 4,1078 в 28-29.

25 Метафизика. I, 6, 987 в 1-8.

26 Лосев А.Ф. Комментарии к диалогу "Софист" // Платой Собр. соч.: В 4 т. Т. 2. С. 488

и сл.

27' Аристотель. Категории // Соч. в 4 т. М., 1978. Т. 2. С. 51-89.

28 Аристотель, Об истолковании// Там же. С. 91-116.

29 Аристотель. Первая аналитика // Там же. С. 117-254.

30 Аристотель. Вторая аналитика // Там же. С. 255-532.

31 Аристотель. Топика//Там же. С. 348-532.

32 Аристотель. О софистических опровержениях//Там же. С. 533-593.

33 Аристотель. Первая аналитика. I, 1, 24а.

34 Аристотель. Вторая аналитика. I, 2, 72а 7.

35 Аристотель. Вторая аналитика. 11,3,90Ь 30.

36 Аристотель. Метафизика. IV, 3, 1005b 20-25

37 Там же. IV, 7, 10011 b 20-25.

38 Боэций С. "Утешение Философий" и другие трактаты М, 1990, с. 10.

39 Стяжкин Н И. Формирование математической логики.

40 См.: Бэкон Ф. О достоинстве и приумножении наук// Соч. в 2-х т.М., 1971. Т.1. С. 85-546; Т.2. С.5-222.

41' Декарт Р. Соч. в 2-х т. М., 1989. Т. 1. С. 86. -

42 Там же. С. 260.

' Декарт Р. Соч. в 2-хт. ML, 1989. Т. 1. С. 104-105.

43 Паскаль Б. О геометрическом методе и об искусстве убеждать / Логика и риторика. Хрестоматия. Сост.: Берков В. Ф., Яскевич Я. С. Мн., 1997. С.228.

44 Там же. С.229.

45 Арно А., Николь П. Логика, или Искусство мыслить. М., 1991. С.8.

46 Арно А., Николь П. Логика, или Искусство мыслить. М., 1991. С. 246-265.

47¹ Там же. С. 267.

48 Там же. С. 266-267.

49 Там же. С. 281.

50 Гоббс Т. Соч. в 2-т. М., 1989. Т.1. С. 71.

51¹ Декларируя свой номинализм, Гоббс заявляет: "В мире нет ничего более общего,

52кроме имен, так как каждая из наименованных вещей индивидуальна и единична" {Гоббс Т. Соч. в 2-х т. М., 1991. С. 24). ¹ Там же С. 74.

53 Там же. С.83.

54 Цит. по: Попов П С. История логики Нового времени. М., 1960. С. 42.

55 Там же.

56 Чёрч А. Введение в математическую логику. М., 1960. Т. 1. С. 16.

57 Гоббс Т. Соч. в 2-т. М, 1989. Т.1. С. 93.

58 Там же. С. 104.

59 Кант И. Трактаты и письма. М., 1980. С.328.

60 Там же С. 320

61 Там же С. 324

62 Там же.

63 Там же.

64 Там же С. 340.

65 Там же С. 341.

66 Кант И. Трактаты и письма М., 1980. С.372.

67 Арно А., Николь П. Логика, или искусство мыслить. С. 34.

68 См.: Кант И. Трактаты и письма. С. 395-403.

69Таванец П.В. Формальная логика и философия // Философские вопросы современной формальной логики. С. 6.

70Милль Дж.Ст. Обзор философии сэра Вильямса Гамильтона. СПб, 1869. С. 363.

71 Цит. по: Философские вопросы современной формальной логики. С.8

72 Введенский А. Логика как часть теории познания. 1917.

73 Н.А.Шанин. Некоторые черты математического подхода к проблемам логики // Вест­ник Санкт-Петербургского университета. Сер.6. Вып. 4 (№27). 1992. С. 12.

74 Лейбниц Г.В. Соч. в 4 т. М., 1984. Т.3. С.414.

75 Винер Н. Кибернетика, или управление и связь в животном и машине. М., 1968. С.57.

76 Лейбниц Г.В. Соч. в 4 т. Т.3. С.415

77 Лейбниц Г.В. Сон в 4-х т. T.3. С. 492.

78¹ Стяжкин Н.И. Становление математической логики С. 232.

79 Цит. По: Стяжкин Н.И. Становление математической логики. С. 237.

80 Карри Х. Основания математической логики. М., 1969. С. 109.

81 Более обстоятельное изложение логических идей Дж.Буля см. в книге: Стяжкин Н.И. Становление математической логики. С. 313-347.

82 Цит. по: Бурков Б.В., Тростников В.Н. Жар холодных чисел и пафос бесстрастной логики. М., М.1977. С. 102-103.

83 Яновская С.А. Методологические проблемы науки. М., 1970. С. 203.

84 Васильев Н.А. Воображаемая логика. Избранные труды. М., 1989. С. 56.

85 Там же. С.164

86 Там же. С.65

87 Васильев Н.А. Воображаемая логика. Избранные труды. М., 1989. С. 99.

88 Арруда А. Воображаемая логика Васильева // Васильев Н.А. Воображаемая логика. Избранные труды. С. 207-208.

89 Арруда А. Воображаемая логика Васильева. Избранные труды. М., 1989. С. 188

90 Исторически первая система релевантной логики была построена еще в 1927 году И.Е.Орловым (Орлов И.Е. Исчисление совместности предложений) //Математический сборник. 1928. Т. 35. Вып. 3-4.

91 Подробнее об этом см. в работе: Войшвилло Е.К. Символическая логика (классиче­ская и релевантная): Философско-методологические аспекты. М., 1989. С. 88-96.

92 Стандартная формализация опирается на язык с конечными или счетными алфавитами, для которых эффективным образом определены основные синтаксические понятия: индивидуальная переменная, терм, формула, предложение. Предполагается, что все выражения языка являются конечными последовательностями символов алфавита. В стандартной формальной системе дополнительно описывается, что есть аксиома, правило вывода, формальный вывод. При этом правила вывода носят финитный и эффективный характер. Это правила, разрешающие от конечного числа посылок определенного вида ререйти к заключению. Формальный вывод представляет собой также финитную конструкцию.

93 Более подробные сведения о теоремах Гудуля, в частности о процедуре ее доказательства, можно получить из работ: Нагель А.Н., Ньюмен Дж.Р. Теорема Геделя. М. 1970., Успенский В.А. Теорема Геделя о неполноте. М., 1981.

94 Смирнова Е.Д. Логическая семантика и-философские основания логики. М 1986 С.45.

95 Книга Белоруссии. Сводный каталог. 1517-1917. Мн., 1986, с. 65.

96 Гаврюшин Н. К. Первая российская "Логика //Альманах библиофила. Вып. 15. М., 1983/

97 .Плечкайтис Р.М. Схолостическая логика и ее распад в Литве / автореферат … канд. Фил. Наук. Вильнюс. 1962. Философская и общественная мысль в Белоруссии и Литве в конце (XVIII вв. Мн., 1971, с. 34-35.

98 Шадурский С. Начала рассуждений в диалогах и упражнениях по логике, этике и метафизике. Новогрудок. 1760; Добшевич Б. Лекции по логике. Вильно 1761; Нарбут К. Логика. Вильно, 1769.

99 Бирало А.А. Философская и общественная мысль в Белоруссии и Литве в конце XVII- середине XVIII вв. Мн.,1971. С.34-35.

100 Ивановский В.Н. Методологическое введение в науку и философию. Минск, 1923; его же. Из лекций по методологии наук// Труды БГУ, 1925, №8 - 9; 1928, №17-18.

101 Вальфсон С.Я. Прыродазнауства i марксисты // Полымя, 1926, №8; Выдра P.M. Мате­риалистическая диалектика. Гомель, 1928; Быхоусм Б.Э. Фармальна - метаф1з1чная лёгиса// Полымя, 1928, №2; Левш Г.А. Лешнская тэорыя адлюстравання // Затею Беларускай акадэми навук. Кн.З. Менск, 1934; Ильюшин И. Энгельс и вопросы познания // Известия АН БССР, 1941, № 1.

102 Юрушын П.М. Энгельс i пытанш логш II Весщ АН БССР, 1951, №1; Протасеня П. Происхождение сознания и его особенности. Мн., 1959; Манеев А.К. Предмет фор­мальной логики и диалектика Мн., 1964.

103 Пузиков П. Д. Аналитическая способность мышления. Мн., 1965; его же. Анализ и синтез - от мысли к вещи. Мн., 1969; Пузиков П. Д. Понятия и их определения. Мн., 1970; Бабосов Е.М. Диалектика анализа и синтеза в научном познании. Мн., 1963.

104 Развщцё лагiчнага мышления вучняу у працэсе выкладання матэматыкi. Мн., 1958; ДрабкинаМ.В. Логические упражнения по элементарной математике. Мн., 1965; Столяр А. А. Элементарное введение в математическую логику, М., 1965; его же. Как мы рассуждаем? Мн., 1968; Кляучэня АС. Роля лапчнага мышления J навучанш //Народная асвета, 1966, №1; Розетт И.М. Что такое эвристика? Мн., 1969.

105 ² Хилькевнч А.П. Гносеологическая природа гипотезы. Мн., 1974; Его же проблема расширения традиционной силлогистики. Мн., 1981; Картон В.И. Сравнение как фор­ма мысли. Мн., 1978; Гносеологические проблемы формализации. Мн., 1969; Уваров Л.В. Символизация в познании. Мн,, 1971; Буслова М.К. Моделирование в процессе познания. Мн., 1975.

106 ³ Берков В. Ф. Вопрос как форма мысли. Мн., 1972; его же. Структура и генезис на­учной проблемы. Мн., 1983. Яскевич Я.С. В поисках идеала строгого мышления. Мн., 1989; ее же. Аргументация в науке. Мн., 1992; Чуешов В.И. Введение в современную философию. Мн., 1998.

107 Вольвачёв Р.Т. Неразрешимость проблемы изоморфизма и сопряженности коммуни­кативных матричных групп и алгебр // Известия АН БССР. Сер. Физ.-мат. наук, 1975, №5, С. 98-101; Горлов В.В. О конгруэшщях на замкнутых классах А-значных логик, определяемых предикатами // Математические заметки, 38, №5, 1985; Мощенский В.А. Специальная полнота некоторых языков £-значных логик, определяемых преди­катами // Методы дискретного анализа в исследовании функциональных систем. Ин-т математики СО АН СССР, Новосибирск, 1981, № 36, С. 39-45 и др.

108 Логика Под ред. Г А. Левина. Мн., 1974; Логика/Под ред. В.Ф. Беркова. Мн., 1994; Логика Логические основы общения. Учебное пособие для вузов/ В.Ф. Берков, АС. Яскевич, В.И. Бартон и др. М, 1994; Логика. Логические основы общения. Хре- стоматия/Сост. Берков В.Ф., Яскевич Я.С., Дубинин И.И. М., 1994. Берков В., Яске­вич Я., Павлюкевич В.И. Логика. Мн., 1996; (1-е изд.); 1997 (2-е изд.); 1998 (3-е изд.). Логика и риторика: Хрестоматия. Сост.; В.Ф Берков., Я.С Яскевич. Мн., 1996; Сбор­ник упражнений по логике/Под ред. А. Клевчени и В. Бартона. Мн., 1977 (1-е изд.), 1981 (2-е изд.), 1990 (3-е изд.). Берков В.Ф. Логика: Задачи и упражнения. Практикум. Мн., 1997; его же. Логика научного познания. Мн., 2000.

109 См.: Семантика модальных и интенсиональных логик. М.1981. Модальные и интенсиональные логики и их применение к проблемам методологии науки. М.,1984.

110 Суть свойства монотонности вывода в следующем. Если из множества посылок П выводится новое утверждение В, то добавление к исходным посылкам любого количе­ства новых утверждений не влияет на выводимость В.

111 Будущее искусственного интеллекта. М., 1991. С. 128.

112 Будущее искусственного интеллекта. ., 1991. С.130-132.

113 Субботин А.Л. "Логика Пор-Рояля" и ее место в истории логики // А.Арно и П.Николь. Логика, или Искусство мыслить. М, 1991. С. 395.

114СеррюсШ. Опыт исследования значения логики. М., 1948. С. 55.

115 Субботин А.Л. Теория силлогистики в современной формальной логике. М., 1965. С.12.

116 Стяжкин Н.И. Становление математической логики. С.112.

117 Серрюс Ш. Опыт исследования значения логики. С. 60.