@Ding an Sich,
Ding an Sich wrote:
I was told that propositions are the only things that can have truth or falsity. But what about statements? Going through my Logic textbook it defines statements "to be sentences that are either true or false", and that propositions are the "things expressed by statements". I am having, for some reason or another, an incredibly hard time understanding this. Does this mean that statements are also true and false as well as propositions? Or do the propositions express what the statements say?
Better still, what exactly is a proposition? My book states that they are what philosophers call "abstact entities" so they are not linguistic objects. They seem to be a priori (not entirely sure), but this really does not remove the difficulty I am having with what propositions are. Do propositions refer to the mere form of what is being expressed? Well anyway thats the difficulty I am having at the moment. Help from people who know a thing or two about Symbolic Logic would be nice.
Thank you.
imho...
Statements are declarative sentences.
Propositions are statements which are true or false.
All of: language, letters, words, sentences, statements, propositions, etc., are abstract entities.
Propositional logic only deals with 'declarative sentences which are either true or false' (propositions).
For example:
(this statement is true) -> (this statement is true), is not a WFF of propositional logic..because 'this statement is true' is not a proposition at all.
(this statement is true) is a sentence and it is a declarative sentence (statement) but it is not a proposition.