Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.

Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...) only in the many propositions that are its values. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

This study offers a novel integration of distinct aspects of Russell's thought.

In his 1903 Principles of Mathematics, Russell holds that “it is a characteristic of the terms of a proposition”—that is, its “logical subjects”—“that any one of them may be replaced by any other entity without our ceasing to have a proposition”. Hence, in PoM, Russell holds that from the proposition ‘Socrates is human’, we can obtain the propositions ‘Humanity is human’ and ‘The class of humans is human’, replacing Socrates by the property of humanity and the class of humans, respectively. (...) Hence also, in PoM, Russell accepts the doctrine of the unrestricted variable: if we replace a logical subject of a proposition by a variable to yield a propositional function, the range of that variable includes absolutely every entity. For absolutely any entity can be taken as a value of that variable to yield a proposition, true or false. The doctrine of the unrestricted variable is thus incompatible with any type-theoretic metaphysics, according to which only entities of a certain restricted type can replace a logical subject of a given proposition so as to yield another proposition. (shrink)

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.

This paper is divided into two parts. Part I provides a resumé of the evolution of the notion of predicativity. Part II describes our own work on the subject.Part I§1. Conceptions of sets.Statements about sets lie at the heart of most modern attempts to systematize all (or, at least, all known) mathematics. Technical and philosophical discussions concerning such systematizations and the underlying conceptions have thus occupied a considerable portion of the literature on the foundations of mathematics.

This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.

Cette édition numérique a été réalisée à partir d'un support physique, parfois ancien, conservé au sein du dépôt légal de la Bibliothèque nationale de France, conformément à la loi n° 2012-287 du 1er mars 2012 relative à l'exploitation des Livres indisponibles du XXe siècle. Pages de début Avertissement Les paradoxes logiques Première partie - Signification et dénotation Les expressions simplement significatives et une catégorie d'expressions dénotatives : les descriptions définies Autres catégories d'expressions dénotatives L'élimination des expressions dénotatives Seconde partie - (...) Prédicativité et universalité Le principe du cercle vicieux La théorie substitutionnelle La théorie des types Unecertaine idée de la logique Références bibliographiques Pages de fin. (shrink)