Yquotes.com

 

Pure Mathematics is the class of all propositions of the form “p implies q,” where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants. And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form. In addition to these, mathematics uses a notion which is not a constituent of the propositions which it considers, namely the notion of truth.
--
Principles of Mathematics (1903), Ch. I: Definition of Pure Mathematics, p. 3

 

Bertrand Russell

» Bertrand Russell - all quotes »

Similar quotes

 

Rules necessary for demonstrations. 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.

 

Blaise Pascal

 

These primitive propositions ... suffice to deduce all the properties of the numbers that we shall meet in the sequel. There is, however, an infinity of systems which satisfy the five primitive propositions. ... All systems which satisfy the five primitive propositions are in one-to-one correspondence with the natural numbers. The natural numbers are what one obtains by abstraction from all these systems; in other words, the natural numbers are the system which has all the properties and only those properties listed in the five primitive propositions

 

Giuseppe Peano

 

Philosophy aims at the logical clarification of thoughts. Philosophy is not a body of doctrine but an activity. A philosophical work consists essentially of elucidations. Philosophy does not result in 'philosophical propositions', but rather in the clarification of propositions. Without philosophy thoughts are, as it were, cloudy and indistinct: its task is to make them clear and to give them sharp boundaries. (4.112)

 

Ludwig Wittgenstein

 

For want of the apparatus of propositional functions, many logicians have been driven to the conclusion that there are unreal objects. It is argued, e.g., by Meinong, that we can speak about "the golden mountain," "the round square," and so on; we can make true propositions of which these are the subjects; hence they must have some kind of logical being, since otherwise the propositions in which they occur would be meaningless. In such theories, it seems to me, there is a failure of that feeling for reality which ought to be preserved even in the most abstract studies. Logic, I should maintain, must no more admit a unicorn than zoology can; for logic is concerned with the real world just as truly as zoology, though with its more abstract and general features.

 

Bertrand Russell

 

Propositions are truth-functions of elementary propositions. (An elementary proposition is a truth-function of itself.) (5)

 

Ludwig Wittgenstein