Жар холодных числ и пафос бесстрастной логики

Страница: 1 ... 122123124125126127128129130131132 ... 142

[13] 10. Аристотель. Аналитики первая и вторая. [М.], 1952, с. 14–15 (см. также примечения к русскому переводу с. 293).

[14] 11. Я. Лукасевич. Аристотелевская силлогистика с точки зрения современной формальной логики. Перев. с англ. М, 1959, с. 189, Ян Лукасевич в данной книге (вышедшей на англ. языке в 1951 г.) систематически исследовал силлогистику Аристотеля с позиций современной математической логики.

[15] 12. Аристотель создал не только силлогистику – в его трудах мы находим исследование дедуктивного метода (о котором речь пойдет в дальнейшем), логических модальностей (им изучалась логика рассуждений, в которых существенную роль играют модальные выражения «необходимо, что...», «возможно, что...», «невозможно» что...» и т. п.), определений, простейших обобщающих (индуктивных) умозаключений, аналогии, логических ошибок и до.

[16] 13. L. Falmar. Foundations of Mathematics, wether now? ‑ "Problems of the Philosophy of Mathematics" (Proceedings of the International Colloquiumin the Philosophy of Science, London, 1965, vol.1) Amsterdam, 1967, p.188. Из работ А. Сабо, обосновывающих этот тезис, укажем: А. Сабо. О превращении математики в дедуктивную науку и начале ее обоснования.– В кн.: Историко‑математические исследования. Вып. XII. М., 1959.

[17] 14. О влиянии логико‑методологических идей Аристотеля на древнегреческую математику см. С. А. Яновская. Из истории аксиоматики.– В кн.: С. А. Яновская. Методологические проблемы науки. М., 1972.

[18] 1. Дж. Свифт. Сказка бочки. Путешествия Гулливера. М., 1976, с. 293‑294.

[19] 2. См. Ф. Рабле. Гаргантюа и Пантагрюэль. М., 1973, книга вторая, глава VIII (она содержит письмо Гаргантюа, в котором он рекомендует своему сыну Пантагрюэлю оставить без внимания астрологию и искусство Луллия как «науки пустые и лживые»).

[20] 3. В трактате «О достоинстве и преумножении наук» (1623) Ф. Бэкон сравнивал «искусство Луллия» с лавкой старьевщика, «где можно , найти множество тряпья, но нельзя найти ничего, что имело бы хоть какую‑нибудь ценность» (Ф. Бэкон. Сочинения. В 2‑х т.. т. 1. М., 1971, с. 349.

[21] 4. Предупреждаем, впрочем, что «искусство» Луллия было гораздо сложнее, чем может показаться из приведенного выше его краткого описания. Например, в его комбинаторике нашли свое место даже вопросительные предложения (заметим в этой связи, что логика вопросительных форм и по сей день остается мало разработанной). Читателя, желающего подробнее ознакомиться с логикой Луллия и его школы, мы отсылаем к книгам: В. Владиславлев. Логика. Обозрение индуктивных и дедуктивных приемов мышления и исторические очерки: логики Аристотеля, схоластической диалектики, логики формальной и индуктивной. Спб, 1881; Н. И. Стяжкин. Формирование математической логики. М.. 1967; М. Gardner. Logic Machines and Diagrams. New York ‑ Toronto ‑ London, 1958.

— 127 —
Страница: 1 ... 122123124125126127128129130131132 ... 142