formal reasoning in abstract formal systems: the four pilars (== deduction; induction; reification; quotienting). Scientific thinking in concrete real systems: applying formal reasoning to a world of inherently incomplete information; deduction (==applying formal reasoning, _(EAI OnDeduction)); induction (==modern thinking thru, _(EAI OnInduction)); reification (==conceptualizing relativity, _(EAI OnReification)); quotienting (==focusing on meaning, _(EAI OnQuotienting)). [Give some short explanations and pointers (???) to more].
