Quote:
|
Originally Posted by CraigD
I take the additional step of asserting that reasoning is itself a collection of axioms in a formal system that, in the sense that it is used to create the description of every formal system ever described by a human being, has existed effectively forever. Whether this “bootstrap” formal system was discovered, created, and if so by what or whom, is a question that gets very deep very quickly!
|
Actually, it's the set of inference rules. These, a priori, may be chosen quite arbitrarily but the formal systems useful for reasoning are those that include the inference rules of logic. These can however be generalized, just like anything in mathematics.
----------------
Inutil insegnà al mus, si piart timp, in plui si infastidìs la bestie.
Hypography Forum PITA...... er, Administrator.
