Logical Synthesis
The process of logical synthesis begins with some arbitrary but defined starting point.
- Primitives are the most basic ideas. Typically they include objects and relationships. In geometry, the objects are things like points, lines and planes while the fundamental relationship is that of incidence – of one object meeting or joining with another.
- Axioms are statements about these primitives, for example that any two points are together incident with just one line (i.e. that for any two points, there is just one line which passes through both of them).
From a given set of axioms, synthesis proceeds as a carefully constructed logical argument. Where a significant result is proved rigorously, it becomes a theorem.
Any given set of axioms leads to a different logical system. In the case of geometry, each distinct set of axioms leads to a different geometry.
Read more about this topic: Synthetic Geometry
Famous quotes containing the words logical and/or synthesis:
“Nature’s law says that the strong must prevent the weak from living, but only in a newspaper article or textbook can this be packaged into a comprehensible thought. In the soup of everyday life, in the mixture of minutia from which human relations are woven, it is not a law. It is a logical incongruity when both strong and weak fall victim to their mutual relations, unconsciously subservient to some unknown guiding power that stands outside of life, irrelevant to man.”
—Anton Pavlovich Chekhov (1860–1904)
“The new shopping malls make possible the synthesis of all consumer activities, not least of which are shopping, flirting with objects, idle wandering, and all the permutations of these.”
—Jean Baudrillard (b. 1929)