“The object of this paper is to give a satisfactory account of the Foundations of Mathematics in accordance with the general method of Frege, Whitehead and Russell. Following these authorities, I hold that mathematics is part of logic, and so belong to what may be called the logical school as opposed to the formalist and intuitionist schools. I have therefore taken Principia Mathematica as a basis for discussion and ammendment; and believe myself to have discovered how, by using the work of Mr Ludwig Wittgenstein, it can be rendered free from the serious objections which have caused its rejection by the majority of German authorities, who have deserted altogether its line of approach.”

— Frank P. Ramsey

Preface
The Foundations of Mathematics (1925)

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "The object of this paper is to give a satisfactory account of the Foundations of Mathematics in accordance with the gen…" by Frank P. Ramsey?

Frank P. Ramsey 10

British mathematician, philosopher 1903–1930

George Frederick James Temple (1901–1992) British mathematician

100 Years of Mathematics: a Personal Viewpoint (1981)

“So much of modern mathematical work is obviously on the border-line of logic, so much of modern logic is symbolic and formal, that the very close relationship of logic and mathematics has become obvious to every instructed student. The proof of their identity is, of course, a matter of detail: starting with premisses which would be universally admitted to belong to logic, and arriving by deduction at results which as obviously belong to mathematics, we find that there is no point at which a sharp line can be drawn, with logic to the left and mathematics to the right. If there are still those who do not admit the identity of logic and mathematics, we may challenge them to indicate at what point, in the successive definitions and deductions of Principia Mathematica, they consider that logic ends and mathematics begins. It will then be obvious that any answer must be quite arbitrary.”

Bertrand Russell (1872–1970) logician, one of the first analytic philosophers and political activist

Source: 1910s, Introduction to Mathematical Philosophy (1919), Ch. 18: Mathematics and Logic

“I will ask of you only the ability to read English and to think logically—no high school mathematics, and certainly no higher mathematics.”

Edmund Landau (1877–1938) German Jewish mathematician

Grundlagen der Analysis [Foundations of Analysis] (1930) Preface for the Student, as quoted by Eli Maor, Trigonometric Delights (2013)

“The Mathematical School; Although mathematical methods can be used by any school of management theory, and have been, I have chosen to group under a school those theorists who see management as a system of mathematical models and processes. Perhaps the most widely known group I arbitrarily so lump are the operations researchers or operations analysts, who have sometimes anointed themselves with the rather pretentious name of "management scientists." The abiding belief of this group is that, if management, or organization, or planning, or decision making is a logical process, it can be expressed in terms of mathematical symbols and relationships. The central approach of this school is the model, for it is through these devices that the problem is expressed in its basic relationships and in terms of selected goals or objectives.”

Harold Koontz (1909–1984)

Source: "The Management Theory Jungle," 1961, p. 181

“Mathematics has also been developed as a philosophy, in the sense in which this term is defined by A. N. Whitehead as 'the endeavor to frame a coherent, logical and necessary system of general ideas in terms of which every element of our experience can be interpreted'. Substitute 'mathematics' for 'experience' and we have an admirable description of its speculative and philosophic development…. Philosophy of mathematics… has its paradoxes and antimonies, and also diverse schools of thought…”

George Frederick James Temple (1901–1992) British mathematician

100 Years of Mathematics: a Personal Viewpoint (1981)

“The viewpoint of the formalist must lead to the conviction that if other symbolic formulas should be substituted for the ones that now represent the fundamental mathematical relations and the mathematical-logical laws, the absence of the sensation of delight, called "consciousness of legitimacy," which might be the result of such substitution would not in the least invalidate its mathematical exactness. To the philosopher or to the anthropologist, but not to the mathematician, belongs the task of investigating why certain systems of symbolic logic rather than others may be effectively projected upon nature. Not to the mathematician, but to the psychologist, belongs the task of explaining why we believe in certain systems of symbolic logic and not in others, in particular why we are averse to the so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.”

L. E. J. Brouwer (1881–1966) Dutch mathematician and logician

as translated by Arnold Dresden from: Brouwer, L. E. J. (1913). Intuitionism and formalism. Bulletin of the American Mathematical Society, 20(2), 81–96. (quote on p. 84)

“It is upon the foundation of this general principle, that I purpose to establish the Calculus of Logic, and that I claim for it a place among the acknowledged forms of Mathematical Analysis,”

George Boole (1815–1864) English mathematician, philosopher and logician

Source: 1840s, The Mathematical Analysis of Logic, 1847, p. iii
Context: That to the existing forms of Analysis a quantitative interpretation is assigned, is the result of the circumstances by which those forms were determined, and is not to be construed into a universal condition of Analysis. It is upon the foundation of this general principle, that I purpose to establish the Calculus of Logic, and that I claim for it a place among the acknowledged forms of Mathematical Analysis, regardless that in its object and in its instruments it must at present stand alone.

“The object of mathematics is to discover "true" theorems. We shall use the term "valid" to describe statements formed according to certain rules and then shall discuss how this notion compares with the intuitive idea of "true."”

Paul Cohen (1934–2007) American mathematician

Set theory and the continuum hypothesis, p. 8. https://books.google.com/books?id=Z4NCAwAAQBAJ&pg=PA8
Set Theory and the Continuum Hypothesis (1966)

“The design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed; to give expression to them in the symbolical language of a Calculus, and upon this foundation to establish the science of Logic and construct its method; to make that method itself the basis of a general method for the application of the mathematical doctrine of Probabilities; and, finally, to collect from the various elements of truth brought to view in the course of these inquiries some probable intimations concerning the nature and constitution of the human mind.”

George Boole (1815–1864) English mathematician, philosopher and logician

Source: 1850s, An Investigation of the Laws of Thought (1854), p. 1; Ch. 1. Nature And Design Of This Work, lead paragraph

“If the system exhibits a structure which can be represented by a mathematical equivalent, called a mathematical model, and if the objective can be also so quantified, then some computational method may be evolved for choosing the best schedule of actions among alternatives. Such use of mathematical models is termed mathematical programming.”

George Dantzig (1914–2005) American mathematician

Source: Linear programming and extensions (1963), p. 2

Help us to complete the source, original and additional information

Frank P. Ramsey 10

Related quotes

Related topics