"A system is said to be coherent if every fact in the system is related every other fact in the system by relations that are not merely conjunctive. A deductive system affords a good example of a coherent system." (Lizzie S Stebbing, "A modern introduction to logic", 1930)
"But how can we avoid the use of human language? The [...] symbol. Only by using a symbolic language not yet usurped by those vague ideas of space, time, continuity which have their origin in intuition and tend to obscure pure reason - only thus may we hope to build mathematics on the solid foundation of logic." (Tobias Dantzig, "Number: The Language of Science", 1930)
"It is easy without any very profound logical analysis to perceive the difference between a succession of favorable deviations from the laws of chance, and on the other hand, the continuous and cumulative action of these laws. It is on the latter that the principle of Natural Selection relies." (Sir Ronald A Fisher, "The Genetical Theory of Natural Selection", 1930)
"Accidental discoveries of which popular histories of science make mention never happen except to those who have previously devoted a great deal of thought to the matter. Observation unilluminated by theoretic reason is sterile. […] Wisdom does not come to those who gape at nature with an empty head. Fruitful observation depends not as Bacon thought upon the absence of bias or anticipatory ideas, but rather on a logical multiplication of them so that having many possibilities in mind we are better prepared to direct our attention to what others have never thought of as within the field of possibility." (Morris R Cohen, "Reason and Nature", 1931)
"Most mistakes in philosophy and logic occur because the human mind is apt to take the symbol for the reality." (Albert Einstein, "Cosmic Religion: With Other Opinions and Aphorisms", 1931)
"The certainty which science aims to bring about is not a psychologic feeling about a given proposition but a logical ground on which its claim to truth can be founded." (Morris R Cohen, "Reason and Nature", 1931)
"The steady progress of physics requires for its theoretical formulation a mathematics which get continually more advanced. […] it was expected that mathematics would get more and more complicated, but would rest on a permanent basis of axioms and definitions, while actually the modern physical developments have required a mathematics that continually shifts its foundation and gets more abstract. Non-Euclidean geometry and noncommutative algebra, which were at one time were considered to be purely fictions of the mind and pastimes of logical thinkers, have now been found to be very necessary for the description of general facts of the physical world. It seems likely that this process of increasing abstraction will continue in the future and the advance in physics is to be associated with continual modification and generalisation of the axioms at the base of mathematics rather than with a logical development of any one mathematical scheme on a fixed foundation." (Paul A M Dirac, "Quantities singularities in the electromagnetic field", Proceedings of the Royal Society of London, 1931)
"[…] the process of scientific discovery may be regarded as a form of art. This is best seen in the theoretical aspects of Physical Science. The mathematical theorist builds up on certain assumptions and according to well understood logical rules, step by step, a stately edifice, while his imaginative power brings out clearly the hidden relations between its parts. A well-constructed theory is in some respects undoubtedly an artistic production." (Ernest Rutherford, 1932)
"[…] the supreme task of the physicist is the discovery of the most general elementary laws from which the world-picture can be deduced logically. […] the fact that in science we have to be content with an incomplete picture of the physical universe is not due to the nature of the universe itself but rather to us." (Albert Einstein, [preface to Max Planck's "Where is Science Going?"] 1933)
"As soon as we inquire into the reasons for the phenomena, we enter the domain of theory, which connects the observed phenomena and traces them back to a single ‘pure’ phenomena, thus bringing about a logical arrangement of an enormous amount of observational material." (Georg Joos, "Theoretical Physics", 1934)
"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)
"By the logical syntax of a language, we mean the formal theory of the linguistic forms of that language - the systematic statement of the formal rules which govern it together with the development of the consequences which follow from these rules. A theory, a rule, a definition, or the like is to be called formal when no reference is made in it either to the meaning of the symbols (for examples, the words) or to the sense of the expressions (e. g. the sentences), but simply and solely to the kinds and order of the symbols from which the expressions are constructed." (Rudolf Carnap, "Logical Syntax of Language", 1934)
"Concepts can only acquire content when they are connected, however indirectly, with sensible experience. But no logical investigation can reveal this connection; it can only be experienced. […] this connection […] determines the cognitive value of systems of concepts." (Albert Einstein, "The Problem of Space, Ether, and the Field in Physics", Mein Weltbild, 1934)
"There is no such thing as a logical method of having new ideas or a logical reconstruction of this process […] very discovery contains an ‘irrational element’ or a ‘creative intuition’." (Karl Popper, "The logic of scientific discover", 1934)
"What is the inner secret of mathematical power? Briefly stated, it is that mathematics discloses the skeletal outlines of all closely articulated relational systems. For this purpose mathematics uses the language of pure logic with its score or so of symbolic words, which, in its important forms of expression, enables the mind to comprehend systems of relations otherwise completely beyond its power. These forms are creative discoveries which, once made, remain permanently at our disposal. By means of them the scientific imagination is enabled to penetrate ever more deeply into the rationale of the universe about us." (George D Birkhoff, "Mathematics: Quantity and Order", 1934)
"Men of science belong to two different types - the logical and the intuitive. Science owes its progress to both forms of minds. Mathematics, although a purely logical structure, nevertheless makes use of intuition. " (Alexis Carrel, "Man the Unknown", 1935)
"Pure mathematics is, in its way, the poetry of logical ideas. One seeks the most general ideas of operation which will bring together in simple, logical and unified form the largest possible circle of formal relationships. In this effort toward logical beauty spiritual formulas are discovered necessary for the deeper penetration into the laws of nature." (Albert Einstein, [Obituary for Emmy Noether], 1935)
"Whenever we pride ourselves upon finding a newer, stricter way of thought or exposition; whenever we start insisting too hard upon 'operationalism' or symbolic logic or any other of these very essential systems of tramlines, we lose something of the ability to think new thoughts. And equally, of course, whenever we rebel against the sterile rigidity of formal thought and exposition and let our ideas run wild, we likewise lose. As I see it, the advances in scientific thought come from a combination of loose and strict thinking, and this combination is the most precious tool of science." (Gregory Bateson, "Culture Contact and Schismogenesis", 1935)
"Given any domain of thought in which the fundamental objective is a knowledge that transcends mere induction or mere empiricism, it seems quite inevitable that its processes should be made to conform closely to the pattern of a system free of ambiguous terms, symbols, operations, deductions; a system whose implications and assumptions are unique and consistent; a system whose logic confounds not the necessary with the sufficient where these are distinct; a system whose materials are abstract elements interpretable as reality or unreality in any forms whatsoever provided only that these forms mirror a thought that is pure. To such a system is universally given the name Mathematics." (Samuel T. Sanders, "Mathematics", National Mathematics Magazine, 1937)
"We can now return to the distinction between language and symbolism. A symbol is language and yet not language. A mathematical or logical or any other kind of symbol is invented to serve a purpose purely scientific; it is supposed to have no emotional expressiveness whatever. But when once a particular symbolism has been taken into use and mastered, it reacquires the emotional expressiveness of language proper. Every mathematician knows this. At the same time, the emotions which mathematicians find expressed in their symbols are not emotions in general, they are the peculiar emotions belonging to mathematical thinking." (Robin G Collingwood, "The Principles of Art", 1938)
No comments:
Post a Comment