23 December 2022

Mathematical Experience IV: Logic and Truth

"It falls into this difficulty without any fault of its own. It begins with principles, which cannot be dispensed with in the field of experience, and the truth and sufficiency of which are, at the same time, insured by experience. With these principles it rises, in obedience to the laws of its own nature, to ever higher and more remote conditions. But it quickly discovers that, in this way, its labours must remain ever incomplete, because new questions never cease to present themselves; and thus it finds itself compelled to have recourse to principles which transcend the region of experience, while they are regarded by common sense without distrust. It thus falls into confusion and contradictions, from which it conjectures the presence of latent errors, which, however, it is unable to discover, because the principles it employs, transcending the limits of experience, cannot be tested by that criterion. The arena of these endless contests is called Metaphysic." (Immanuel Kant, "The Critique of Pure Reason", 1781)

"Logic does not pretend to teach the surgeon what are the symptoms which indicate a violent death. This he must learn from his own experience and observation, or from that of others, his predecessors in his peculiar science. But logic sits in judgment on the sufficiency of that observation and experience to justify his rules, and on the sufficiency of his rules to justify his conduct. It does not give him proofs, but teaches him what makes them proofs, and how he is to judge of them." (John Stuart Mill, "A System of Logic, Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence, and the Methods of Scientific Investigation", 1843)

"But I shall certainly admit a system as empirical or scientific only if it is capable of being tested by experience. These considerations suggest that not the verifiability but the falsifiability of a system is to be taken as a criterion of demarcation. In other words: I shall not require of a scientific system that it shall be capable of being singled out, once and for all, in a positive sense; but I shall require that its logical form shall be such that it can be singled out, by means of empirical tests, in a negative sense: it must be possible for an empirical scientific system to be refuted by experience." (Karl R Popper, "The Logic of Scientific Discovery", 1934)

"The ultimate origin of the difficulty lies in the fact (or philosophical principle) that we are compelled to use the words of common language when we wish to describe a phenomenon, not by logical or mathematical analysis, but by a picture appealing to the imagination. Common language has grown by everyday experience and can never surpass these limits. Classical physics has restricted itself to the use of concepts of this kind; by analysing visible motions it has developed two ways of representing them by elementary processes; moving particles and waves. There is no other way of giving a pictorial description of motions - we have to apply it even in the region of atomic processes, where classical physics breaks down." (Max Born, "Atomic Physics", 1957)

"There is a logic of language and a logic of mathematics. The former is supple and lifelike, it follows our experience. The latter is abstract and rigid, more ideal. The latter is perfectly necessary, perfectly reliable: the former is only sometimes reliable and hardly ever systematic. But the logic of mathematics achieves necessity at the expense of living truth, it is less real than the other, although more certain. It achieves certainty by a flight from the concrete into abstraction." (Thomas Merton, "The Secular Journal of Thomas Merton", 1959)

"We who are heirs to three recent centuries of scientific development can hardly imagine a state of mind in which many mathematical objects were regarded as symbols of spiritual truths or episodes in sacred history. Yet, unless we make this effort of imagination, a fraction of the history of mathematics is incomprehensible." (Philip J Davis & Rueben Hersh, "The Mathematical Experience", 1985)

"What does a rigorous proof consist of? The word ‘proof’ has a different meaning in different intellectual pursuits. A ‘proof’ in biology might consist of experimental data confirming a certain hypothesis; a ‘proof’ in sociology or psychology might consist of the results of a survey. What is common to all forms of proof is that they are arguments that convince experienced practitioners of the given field. So too for mathematical proofs. Such proofs are, ultimately, convincing arguments that show that the desired conclusions follow logically from the given hypotheses." (Ethan Bloch, "Proofs and Fundamentals", 2000)

"Science, at its core, is simply a method of practical logic that tests hypotheses against experience. Scientism, by contrast, is the worldview and value system that insists that the questions the scientific method can answer are the most important questions human beings can ask, and that the picture of the world yielded by science is a better approximation to reality than any other." (John M Greer, "After Progress: Reason and Religion at the End of the Industrial Age", 2015)

No comments:

Post a Comment

Related Posts Plugin for WordPress, Blogger...

Douglas T Ross - Collected Quotes

"Automatic design has the computer do too much and the human do too little, whereas automatic programming has the human do too much and...