Blog powered by Typepad

Enter your email address:

Delivered by FeedBurner

Your email address:

Powered by FeedBlitz

Become a Fan

« Bookshelves | Main | McCarthy and Positivism »

February 23, 2008


Feed You can follow this conversation by subscribing to the comment feed for this post.


Hi --

Thanks for your pointer and your thoughts on the matter. I think your point that even axiomatic (=Hilbert-style) logical systems require modus ponens _may_ be evidence for the 'consequence before truth' view. I hesitate to say that it definitely is evidence because, at least on the standard way of thinking about the formalisms, natural deduction systems give (syntactic) notions of proofs and theorems, not the (semantic) notions of logical consequence and logical truths.

However, I think that if someone held what's often called a 'proof theoretic semantics' (a definite minority position, but it is respectable and has had able defenders), then your point would be relevant to the priority dispute between consequence and logical truth.

The comments to this entry are closed.