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:
“It was at that moment, just after Krug had fallen through the bottom of a confused dream and sat up on the straw with a gasp—and just before his reality, his remembered hideous misfortune could pounce upon him—it was then that I felt a pang of pity for Adam and slid towards him along an inclined beam of pale light—causing instantaneous madness, but at least saving him from the senseless agony of his logical fate.”
—Vladimir Nabokov (1899–1977)
“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)