| |
[Nov. 9th, 2025|11:58 pm] |
Локк и SICP
Локк писал книгу An Essay Concerning Human Understanding ~20 лет, а потом правил ещё 10 лет. Было 6 ранних изданий (1689/1690, 1694, 1695, 1700, 1706, 1710). Их дифф (а также нескольких переизданий/переводов) - у Ниддича. (Заметки на полях: издания черновиков - отдельно).
Последнее прижизненное 4 издание - финальное с философской точки зрения. В нём он добавил такой пассаж (II.XII.1):
But as the mind is wholly passive in the reception of all its simple ideas, so it exerts several acts of its own, whereby out of its simple ideas, as the materials and foundations of the rest, the others are framed. The acts of the mind, wherein it exerts its power over its simple ideas, are chiefly these three: (1) Combining several simple ideas into one compound one; and thus all complex ideas are made. (2) The second is bringing two ideas, whether simple or complex, together, and setting them by one another, so as to take a view of them at once, without uniting them into one; by which way it gets all its ideas of relations. (3) The third is separating them from all other ideas that accompany them in their real existence: this is called abstraction: and thus all its general ideas are made. This shows man's power, and its ways of operation, to be much the same in the material and intellectual world. For the materials in both being such as he has no power over, either to make or destroy, all that man can do is either to unite them together, or to set them by one another, or wholly separate them. I shall here begin with the first of these in the consideration of complex ideas, and come to the other two in their due places.
Курсивом выделен текст, который приведен в SICP как эпиграф.
Отделённые от эпистемологии, онтологически эти акты суть: 1) синтез, 2) пара + сравнение/дифф/отношение, 3) абстракция + индукция/обобщение.
В SICP-е далее приводится 3 языковых композициональных механизма: (Заметки на полях: с эпистемологическим налётом)
The language also serves as a framework within which we organize our ideas about processes. Thus, when we describe a language, we should pay particular attention to the means that the language provides for combining simple ideas to form more complex ideas. Every powerful language has three mechanisms for accomplishing this:
* primitive expressions, which represent the simplest entities the language is concerned with,
* means of combination, by which compound elements are built from simpler ones, and
* means of abstraction, by which compound elements can be named and manipulated as units.
Эти три суть: 1) атомы, 2) синтез, 3) абстракция/индукция/синтез + именование/определение. Видно неполное пересечение с Локком: -пара/дифф +именование. (Заметки на полях: атомы там подразумевались).
Интересно, что пара игнорируется, тогда как в схеме она - в основании языка. Базисный индуктивный синтетический механизм композиции/комбинации для данных.
Неудивительно, что SICP наследует Локку. Книга укладывается в философию, где программирование - это зеркало познания. (Заметки на полях: моментная кристаллизация понимания).
Нотация и компьютер - это среда для выражения, организации, моделирования мысли. Традиция - Виттгенштейн, Тьюринг, Винер, Минский, Перлис, Маккарти, Кнут, Кэй, Виктор. (Заметки на полях: более общо - Маклюэн).
Похоже, SICP была переломным моментом в этом историческом русле, где компьютер стал восприниматься средой не просто выражения, но и в конечном счёте - исполнения мысли. (Заметки на полях: базируясь на всём интро тексте).
GPT P.S. Programming is the art of expressing process — a discipline where thought becomes executable. Lockean epistemology rendered executable. |
|
|