This is an old revision of the document!

EMPIRICAL REASONING - Prelude

What is Reasoning?	A systematic way of thinking about and manipulating models of relations. A systematic way to create, compare, manipulate and apply models of relations.
How is it done?	Via processes that observe *rules*.
What are the main types?	Deduction: All men are mortal. Socrates is a man. Hence, Socrates is mortal Abduction: How did this come about? (Sherlock Holmes) Induction: What is the general rule? Analogy: 'This' is like 'that' (in 'this' way).
How is it used in science?	In empirical science to unearth the “rules of the universe”. In mathematics as axioms. In philosophy as a way to construct arguments. In computer science to write code.
Why does it work?	Because the world's behavior appears to follow rules, in part.
Cause-Effect	When the world seems to follow rules reliably, we call this “cause-effect” relations. The more general cause-effect relations are described (in e.g. an abstract language), the more useful they are for getting stuff done.

Traditional Reasoning Categories

Deduction	Figuring out the implication of facts (or predicting what may come). General → Specific. Producing implications from premises. The premises are given; the work involves everything else. Conclusion is unavoidable given the premises (in a deterministic, axiomatic world).
Abduction	Figuring out how things came to be the way they are (or how particular outcomes could be made to come about, or how particular outcomes could be prevented). The outcome is given; the work involves everything else. Sherlock Holmes is a genius abducer.
Induction	Figuring out the general case. Specific → General. Making general rules from a (small) set of examples, e.g. 'the sun has risen in the east every morning up until now, hence, the sun will also rise in the east tomorrow.
Analogy	Figuring out how things are similar or different. Making inferences about how something X may be (or is) through a comparison to something else Y, where X and Y share some observed properties.

What is given	The premises are given.
What is done	Figuring out the implication of facts (or predicting what may come). Producing implications from premises.
Example	“The last domino will fall when all the other dominos between the first and the last have fallen”.

What is given	A particular outcome X is given.
What is done	Figuring out how things came to be the way they are (or how particular outcomes could be made to come about, or how particular outcomes could be prevented).
Example	Sherlock Holmes, who is a genius abducer.

What is given	A small set of examples is given.
What is done	Figuring out the general case. Making general rules from a (small) set of examples.
Example	“The sun has risen in the East every morning up until now, hence, the sun will also rise in the East tomorrow”.

What is given	A set of two (or more) things is given.
What is done	Figuring out how things are similar or different. Making inferences about how something X may be (or is) through a comparison to something else Y, where X and Y share some observed properties.
Example	“What does a pen have in common with an arrow?” “What is the difference between a rock and a ball?”

EOF