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.

Verify your Comment

Previewing your Comment

This is only a preview. Your comment has not yet been posted.

Your comment could not be posted. Error type:
Your comment has been posted. Post another comment

The letters and numbers you entered did not match the image. Please try again.

As a final step before posting your comment, enter the letters and numbers you see in the image below. This prevents automated programs from posting comments.

Having trouble reading this image? View an alternate.


Post a comment

Your Information

(Name is required. Email address will not be displayed with the comment.)