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.

## Friday, October 24, 2008

### Question about the theories of models and proofs

Posted by Shawn at 9:17 PM

Subscribe to:
Post Comments (Atom)

## No comments:

Post a Comment