Natural Deduction for the Working Logician
Natural Deduction for the Working Logician is a blog about a proof theory course at NASSLLI 2016
Wednesday, July 13, 2016
Proof Theoretic Semantics?
Peter Schroeder-Heister has coined the slogan "proof theoretic semantics" in the late eighties.
It's one of the exercises in our list to read
in the Stanford Encyclopedia of Philosophy and say what you think about the program.
A personal take is in
"Proof-theoretic Semantics for Non Philosophers"
Share to Twitter
Share to Facebook
Share to Pinterest
Post a Comment
Post Comments (Atom)