Proposition is a sentence used to describe relationship between Terms
Every sentence or statement in a language can be understood as a proposition (generic usage). For this reason they are treated as Propositions (specific usage case) in Ideaverse.
Examples of propositions:
- Socrates is mortal
- The weather outside is great
- Solution X is bad solution to Y problem
- X is better than Y
Propositions have two main aspects - definition and usage.
Definition of Propositions
Propositions are defined explicitly by creating an instance of entity Proposition and filling in appropriate properties. Link to create Propositions can be found here - Create a Proposition.
Propositions have following properties:
- Proposition - The wording of the statement itself.
- Terms - Statement is divided into words and/or phrases where each such division token is treated as a Term. If a Term needs to be highlighted by giving explicit meaning, then such Term needs to be linked to appropriate existing Term entity and additionally a Term Instance if specific term variation is used.
- Explanation - Full text explanation of the Proposition. Extra details or information that did not fit into other structured properties can be added. Explanation supports Markdown syntax and can include other Entities.
- References - One or more reference to outside literature where further information can be found.
- Truth and Validity Properties - A list of epistemic properties for the Proposition. These properties are described in a separate page.
- Context - Specific Context that groups Propositions into relevant groups.
- Tags - One or more tags used to provide simple linking of Entities into simple ad hoc contexts.
- Url - Sanitized name of the Proposition to be used in technical linking of the Proposition.
Example Proposition can be inspected here:
Propositions can be embedded into any full text explanation field by using following syntax:
#proposition([Url or text of the Proposition])
Usage of Propositions
Propositions describe complex ideas that can stand on their own. For example usually one selected Proposition will be treated as a main point that was meant to be proved or disproved.
Propositions are used in Arguments by being Premises or Conclusions of the Argument.
Propositions are linked in Articles to clearly show derivation logic of the Proposition and its structured argumentation.