Parts of a Logical System

Parts of a Logical System

We visualize the parts of a logical system as a house

4 min read
Superphysics Note!
This will be in the appendix instead

While going through Newton’s Principia, Spninoza’s Ethics, and Euclid’s Elements, we found an arrangement of chapters that turned out to be commmon among mathematicians.

These used the following words, which we defined as:

WordMeaning
AxiomA self-evident fundamental statement considered true by definition. It serves as a starting point for other statements.
CorollaryA resulting statement that directly follows from a theorem
DefinitionA statement that gives the properties of a new idea
LemmaA resultant statement proven true, used to prove another, more important theorem
PostulateAn axiom with a specific scope
PropositionA statement that can be either true or false
TheoremA resultant statement proven true through other statements
Truththe equality of perceptions from different perceiving identitites

To make these easy to understand, we visualize it as a house.

Parts of a Logical System
WordHouse Part
AxiomsThe foundation, accepted as true without question.
DefinitionsThe material type that define the building’s components.
PropositionsIndividual materials that contribute to the structure.
TheoremsMajor structural elements based on the foundation.
PostulatesAdditional supporting beams.
CorollariesSmaller structures built directly on a larger theorem.
LemmasScaffolding, for new theorems, later removed.

Leave a Comment