Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In logic, it seems like the words claim, statement and proposition have the same meaning:

A sentence which can be true or false (but not both).

I'm not sure if this is correct. Isn't there any subtle difference between those three ? In math textbooks proposition seem to mean what in logic textbooks would have mean proven proposition. My question is about what those words mean in the logic context.

share|improve this question
    
Have you seen here, here, and here for example? –  Zev Chonoles Jul 11 '13 at 1:58
3  
I'm not sure why I get a close for duplicate. I think it is very clear that this duplicate doesn't explain the difference between proposition and statement. –  Kasper Jul 11 '13 at 2:02

3 Answers 3

up vote 2 down vote accepted

In contemporary mathematical logic, we generally ignore some philosophical distinctions. My guess is that you do not mean "proposition" here as the label that sits beside some theorems in a book, and instead you mean it in a philosophical sense.

In this sense, a statement expresses a proposition, but the same proposition could be expressed by multiple statements. A theorem is then a statement that has been proved. Or is it a proposition that has been proved? You can see that there are many complications here.

The existence, or lack thereof, of abstract "propositions", independent of the sentences that express them, is an important topic in philosophy. So you may have encountered a book that takes a more philosophical approach and mentions the distinction. But, especially at first, you can likely just identify propositions with statements, and everything will be fine.

share|improve this answer

Here's my take on this. A statement is indeed a sentence which can be true or false. A proposition is a statement that the author is proposing for further scrutiny, possibly a proof. A claim is a proposition that the author claims is true. The differences are merely subtle characterizations by the author -- all are statements.

Prior to the edit, you mentioned theorem, so I'll elaborate further.

A theorem is a statement (including a proposition or claim) that has been proven true (or sometimes one that is very soon to be proven true). A corollary is a theorem that follows in a obvious or simple way from another theorem. A lemma is a theorem that is very useful in the proof of another theorem or theorems. Again, the differences are characterizations by the author -- all are theorems.

share|improve this answer

a sentence is a statement that expresses a proposition or claim. Statements are employed to make propositions which can be made of a sentence or a combination of sentences.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.