CTO CLiki for the TUNES project

Home Recent Changes About CLiki Text Formatting Create New Page

EAI OnDeduction

not about income tax forms, but about logical reasoning. Deductive Proofs as chains from a point to another; the chain is only as solid as its weakest link. [Now, when a chain is broken, its parts may be reused, and some broken links may be replaced; some may be redundantly placed in advance, to strengthen the chain]. Tautologies. Even to explore them, we need energy, and storing information. Ultimately, to say more than tautologies, we need make hypotheses.

---

This page is linked from: EAI OnFormalReasoning   Ethics and Information