Y'all know the rules:
- Please post all quotes separately, so that they can be voted up/down separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
- Do not quote yourself.
- Do not quote comments/posts on LW/OB.
- No more than 5 quotes per person per monthly thread, please.
An idea I've been kicking around -- and am tempted to pull into a coherent form -- is that actually there is a close connection between philosophy and computer science.
Much of philosophy is arguments about various abstractions. Computer science is about using abstractions to engineer software and about proofs about software-related abstractions.
To give one example: I think of the philosophical debate about the semantics of proper nouns as coupled to the notions of reference vs value equality in programming language design.