Proposition
Central concept in philosophy, semantics, and logic
Definition
A proposition is often characterized as the primary bearer of truth or falsity, denoted by declarative sentences but not linguistic expressions.
Modeling
Propositions are modeled as functions mapping a possible world to a truth value, such as true or false.
Structured Propositions
An alternative formalization of propositions, diverging from the traditional modeling approach.
A proposition is a fundamental concept in the philosophy of language, semantics, and logic. It is often characterized as the primary bearer of truth or falsity. Essentially, a proposition is the meaning or content expressed by a declarative sentence, which can be evaluated as true or false. For example, the sentence “The sky is blue” expresses the proposition that the sky is blue, which can be determined to be true or false based on observation.
Propositions are not tied to any specific language; different sentences in different languages can express the same proposition. For instance, “Snow is white” in English and “Schnee ist weiß” in German both express the same proposition despite being in different languages[3]. Propositions are also the objects of belief and other propositional attitudes, meaning that when someone believes that the sky is blue, they believe the proposition that the sky is blue[3].
In formal logic, propositions can be modeled as functions that map possible worlds to truth values. For example, the proposition that the sky is blue would return true if evaluated in the actual world where the sky is indeed blue, but false in a hypothetical world where the sky is green[3].
Citations:
[1] https://www.dictionary.com/browse/proposition
[2] https://www.collinsdictionary.com/us/dictionary/english/proposition
[3] https://en.wikipedia.org/wiki/Proposition
[4] https://www.vocabulary.com/dictionary/proposition
[5] https://www.britannica.com/dictionary/proposition
[6] https://www.youtube.com/watch?v=2F1mjnwHnx8
[7] https://www.youtube.com/watch?v=dC9xWSm6idI