"It cannot be that axioms established by argumentation should avail for the discovery of new works, since the subtlety of nature is greater many times over than the subtlety of argument. But axioms duly and orderly formed from particulars easily discover the way to new particulars, and thus render sciences active." (Francis Bacon, "Novum Organum", 1620)
"There are and can be only two ways of searching into and discovering truth. The one flies from the senses and particulars to the most general axioms, and from these principles, the truth of which it takes for settled and immovable, proceeds to judgment and to the discovery of middle axioms. And this way is now in fashion. The other derives axioms from the senses and particulars, rising by a gradual and unbroken ascent, so that it arrives at the most general axioms last of all. This is the true way, but as yet untried." (Francis Bacon, "Novum Organum", 1620)
"We must first, by every kind of experiment, elicit the
discovery of causes and true axioms, and seek for experiments which may afford
light rather than profit."
"Rules for Axioms. I. Not to omit any necessary principle
without asking whether it is admittied, however clear and evident it may be.
II. Not to demand, in axioms, any but things that are perfectly evident in themselves." (Blaise Pascal, "The Art of Persuasion", cca. 1658)
"For it is unquestionable that it is no great error to define
and clearly explain things, although very clear of themselves, nor to omit to
require in advance axioms which cannot be refused in the place where they are
necessary; nor lastly to prove propositions that would be admitted without
proof."
"To prove all
propositions, and to employ nothing for their proof but axioms fully evident of
themselves, or propositions already demonstrated or admitted; Never to take
advantage of the ambiguity of terms by failing mentally to substitute
definitions that restrict or explain them."
"This art, which I call the art of persuading, and which,
properly speaking, is simply the process of perfect methodical proofs, consists
of three essential parts: of defining the terms of which we should avail
ourselves by clear definitions, of proposing principles of evident axioms to
prove the thing in question; and of always mentally substituting in the
demonstrations the definition in the place of the thing defined."
"Mathematicians who are only mathematicians have exact minds, provided all things are explained to them by means of definitions and axioms; otherwise they are inaccurate and insufferable, for they are only right when the principles are quite clear." (Blaise Pascal, "Pensées", 1670)
"Rules necessary for definitions. Not to leave any terms at all obscure or ambiguous without definition; Not to employ in definitions any but terms perfectly known or already explained. […] A few rules include all that is necessary for the perfection of the definitions, the axioms, and the demonstrations, and consequently of the entire method of the geometrical proofs of the art of persuading." (Blaise Pascal, "Pensées", 1670)
No comments:
Post a Comment