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 Peter's entry 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".

No comments:

Post a Comment