Без заголовка
Прошу прощенья, что так много.
Ещё коротко по вашим замечаниям.
1. Вы правы, анализ культурного значения «доработки философской мысли в философско-логическую сторону» ещё не сделан, здесь меня ограничивала, помимо прочего, тема интерфейса. Я даже специально не касался связанной с этим темой генезиса логического программирования.
2. Да, я только начал думать, как приблизиться к programming in the large. Здесь нужно, наверно, больше знать о социологии компьютинга, работы по которой появляются в последнее время.
3. Посоветуйте, пожалуйста, что можно почитать про работу группы «Аттик». Натыкаюсь почему-то только на ваши посты.
В целом, то, что вы говорите, это лишь один из способов задания дуализма: поскольку он касается уровня hardware, то кажется, что он является хронологически первичным, однако до «железа» этот дуализм уже некоторым образом состоялся в мысли.
4. Модель BWW очень важна, как-то пропустил, спасибо, что обратили внимание.
6. Это отличный пример смешения programming и using. Также буду рад, если отошлёте к каким-то документам.
Chris Granger мыслит в том же направлении, очень интересно.