On Deduction (2000-2024)

"The process of abstracting out the common features of things in this way is known as induction. Applying what we have learned - generalising from one or a few examples to a whole range of new examples - is known as deduction. Induction is the process of moving from the particular to the general, and deduction is the process of going from the general to the particular." (S Ian Robertson, "Problem Solving", 2001)

"Both induction and deduction, reasoning from the particular and the general, and back again from the universal to the specific, form the essence to scientific thinking." (Hans Christian von Baeyer, "Information, The New Language of Science", 2003)

"Entropy is not about speeds or positions of particles, the way temperature and pressure and volume are, but about our lack of information." (Hans C von Baeyer," Information, The New Language of Science", 2003)

"Paradox is the sharpest scalpel in the satchel of science. Nothing concentrates the mind as effectively, regardless of whether it pits two competing theories against each other, or theory against observation, or a compelling mathematical deduction against ordinary common sense." (Hans Christian von Baeyer, "Information, The New Language of Science", 2003)

"The concept of proof perhaps marks the true beginning of mathematics as the art of deduction rather than just numerological observation, the point at which mathematical alchemy gave way to mathematical chemistry." (Marcus du Sautoy, "The Music of the Primes", 2004)

"It seems that scientists are often attracted to beautiful theories in the way that insects are attracted to flowers - not by logical deduction, but by something like a sense of smell." (Steven Weinberg, "Physics Today", 2005)

"Human language is a vehicle of truth but also of error, deception, and nonsense. Its use, as in the present discussion, thus requires great prudence. One can improve the precision of language by explicit definition of the terms used. But this approach has its limitations: the definition of one term involves other terms, which should in turn be defined, and so on. Mathematics has found a way out of this infinite regression: it bypasses the use of definitions by postulating some logical relations (called axioms) between otherwise undefined mathematical terms. Using the mathematical terms introduced with the axioms, one can then define new terms and proceed to build mathematical theories. Mathematics need, not, in principle rely on a human language. It can use, instead, a formal presentation in which the validity of a deduction can be checked mechanically and without risk of error or deception." (David Ruelle, "The Mathematician's Brain", 2007)

"Knowledge about things beyond our immediate environment may be acquired through deduction, if the initial premises are believed to be correct." (Nayef Al-Rodhan, "Sustainable History and the Dignity of Man", 2009)