Statement (logic)

In <a href="/facts/Logic/8JnpJLtt">logic</a> and <a href="/facts/Semantics/1L4WwLAP">semantics</a>, the term statement is variously understood to mean either: 

<ol><li>a meaningful <a href="/facts/Sentence_(linguistics)/GhKKkcm2">declarative sentence</a> that is <a href="/facts/Truth/NyQmBtUC">true</a> or <a href="/facts/False_(logic)/H6v5aztR">false</a>, or</li>
<li>a <a href="/facts/Proposition/0877MFMD">proposition</a>. Which is the <a href="/facts/Denotation/oABEtLtA">assertion</a> that is made by (i.e., the <a href="/facts/Meaning_(linguistics)/1L4WwLAP">meaning</a> of) a true or false declarative sentence.</li></ol>
In the latter case, a (declarative) sentence is just one way of expressing an underlying statement. A statement is what a sentence means, it is the notion or idea that a sentence expresses, i.e., what it represents. For example, it could be said that "2 + 2 = 4" and "two plus two equals four" are two different sentences expressing the same statement. As another example, consider that the <a href="/facts/Arabic_numeral/LryNhh26">Arabic numeral</a> '7', the <a href="/facts/Roman_numeral/7BA8nn78">Roman numeral</a> 'VII', and the English word 'seven' are all distinct from the underlying number.

Statement (logic) open-in-new

Statement (logic)