logic and instinct in balance

logic instinct balance equal concept balanced equilibrium motivational text words metaphor symbol propositional ttl deductive modal predicate predicates boolean cmos quantification semantics aristotelian metaphysics negation fuzzy inference epistemology peirce programmable logical propositions axioms axiom transistor calculus formulas reasoning deduction proofs rhetoric arithmetic computation showing symbolizing desired harmony stability harmonious preferable setup