Annotated SICP
- Structure and Interpretation of Computer Programs
- Front Matter
- 1 Building Abstractions with Procedures
- 2 Building Abstractions with Data
- 3 Modularity, Objects, and State
- 4 Metalinguistic Abstraction
- 5 Computing with Register Machines
- References
- List of Exercises

IMHfYzsbvzqIqbllX
Interesting post! Puzzles very much like these have devrin me to the view that the best course is to recognize identity statements as being of a sui generis logical form. I have a paper defending this radical view, together with arguments against both the orthodox relational view and the metalinguistic view: .By the way, one of my former teachers does in fact hold a (slightly sophisticated) coreference/metalinguistic account of identity! Arguments with that teacher gave rise to my view.