logic and beliefs in balance

logic beliefs 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