David Corfield
old tools

“Philosophers and linguists tend to reuse the same familiar tools in ever more (sometime spectacularly) creative ways. But when your only hammer is classical logic, every problem looks like modus ponens. In contrast, computer scientists have invested considerable ingenuity in studying the design of their conceptual tools (among other things), and they’ve made much progress that we can benefit from.”

http://lambda.jimpryor.net/ http://www.jimpryor.net/teaching/nasslli/index.html

Created on May 2, 2020 at 04:18:53. See the history of this page for a list of all contributions to it.