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... Bulletin of the American Mathematical Society - Page 64by American Mathematical Society - 1905Full view - About this book
| Bertrand Russell - Mathematics - 1903 - 578 pages
...MATHEMATICS. 1. xPuRK Mathematics is the class of all propositions of the form "p implies q" where p and q are propositions containing one or more variables,...propositions which it considers, namely the notion of truth. 2. The above definition of pure mathematics is, no doubt, somewhat unusual. Its various parts, nevertheless,... | |
| Electronic journals - 1908 - 624 pages
...modcrne " — a spirit, as he says, which is diametrically opposed to Kant's theory of mathematics. tion, and such further notions as may be involved in the...propositions which it considers, namely the notion of truth."1 " By the help of ten principles of deduction and ten other principles of a general logical... | |
| Paul Carus - Electronic journals - 1910 - 702 pages
...terms of the following: Implication, the relation of a term to a class of which it is a member (e), the notion of such that, the notion of relation, and...propositions which it considers, namely, the notion of truth. A proposition80 is de"Thus, if x is a real number (*•«£), and we write xtq implies, for any such... | |
| British Association for the Advancement of Science - Science - 1911 - 1138 pages
...Implication, the relation of a term to a class of which it is a member the notion of surlt tlirit, the notion of relation, and such further notions as...the above form. In addition to these, Mathematics iifes a notion which is not a constituent of the propositions which.it considers — namely, the notion... | |
| Robert Édouard Moritz - Mathematics - 1914 - 436 pages
...84. 128. 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,...which it considers — namely, the notion of truth. RUSSELL, BERTHAND. Principles of Mathematics (Cambridge, 1903), pl 129. The object of pure Physic is... | |
| May Sinclair - Idealism - 1917 - 394 pages
...constants are all notions definable in terms of the following: Implication, the relation of a term to the class of which it is a member, the notion of such...which it considers, namely, the notion of truth." (Principia Mathematica, p. 3.) " The connection of mathematics with logic, according v the above account,... | |
| Aurel Voss - Mathematics - 1922 - 140 pages
...which it is a member, the notion of „such that", the notion of relation and such further notions, äs may be involved in the general notion of propositions of the above form." Kürzer faßt wieder M. B och er, der die Gesichtspunkte von Kempe und Russell zu vereinigen sucht,... | |
| C.C. Gaither, Alma E Cavazos-Gaither - Mathematics - 1998 - 506 pages
...notions definable in terms of a class of the following: Implication, the relation of a term to a class of relation, and such further notions as may be involved...which it considers — namely, the notion of truth. Principles of Mathematics (p. 1) The nineteenth century which prides itself upon the invention of steam... | |
| I. Grattan-Guinness - Mathematics - 2000 - 716 pages
...all propositions of the form 'p implies q', where p and q are propositions each containing at least one or more variables, the same in the two propositions,...propositions which it considers, namely the notion of truth. 2. The above definition of pure mathematics is, no doubt, somewhat unusual. Its various parts, nevertheless,... | |
| Nicholas Griffin - History - 2003 - 572 pages
...all propositions of the form 'p implies q', where p and q are propositions each containing at least one or more variables, the same in the two propositions,...propositions which it considers, namely the notion of truth. conditions be imposed on each occasion ('p' over propositions, 'x ' over real numbers, or whatever).... | |
| |