Hacker News new | ask | show | jobs
by osullivj 1987 days ago
Quine: "no entity without identity" & "to be is to be the value of a bound variable". IMHO the neatest summation of a rigorous approach to the interface between mathmatical logic and ontology. That's why "Quine is our hero", as one of my lecturers back in the 80s, Jeremy Butterfield, used to say.