Friday, October 24, 2008

Question about the theories of models and proofs

I seem to have gone an unfortunately long time without a post. I'm not quite sure how that happened. I'll try to get back on the wagon.

I have a question that maybe some of my readers might be able to answer. What are some good sources of either criticisms of proof theoretic semantics/proof theory from the model theoretic standpoint or criticisms of model theoretic semantics/model theory from the proof theoretic standpoint? I'm sure there is a lot out there for the former that references the incompleteness theorems. I'm not sure where to look for the latter. From a post at Nothing of Consequence I've found a paper by Anna Szabolcsi that spells out a few things. Beyond that, I'm not terribly sure where to look.

No comments: