Maddy's 1990 arguments against Aggregate Theory were undermined by the shift in her position in 1997. The present paper considers Aggregate Theory in the light this, and the recent search for ‘New Axioms for Mathematics'. If Set Theory is the part-whole theory of singletons, then identifying singletons with their single members collapses Set Theory into Aggregate Theory. But if singletons are not identical to their single members, then they are not extensional objects and so are not a basis for Science. Either way, the Continuum Hypothesis has no physical interest. I first show that, because there are non-sortal predicates, Frege's attempt to derive Arithmetic from Logic stumbles at its very first step. For there are properties without a number, and the contingency of that condition means Frege's definition of zero is not obtainable from Logic. This result then points to the need to consider more fully properties without a number, and so to generate a theory of continua based on mereological aggregates rather than sets containing numbers of things.
Les arguments de Maddy avancés en 1990 contre la théorie des agrégats se trouvent affaiblis par le retournement qu'elle opère en 1997. La présente communication examine cette théorie à la lumière de ce retournement ainsi que des récentes recherches sur les “Nouveaux axiomes pour les mathématiques”. Si la théorie des ensembles est la théorie de la partie-tout des singletons, identifier les singletons à leurs membres singuliers ramène la théorie des ensembles à la théorie des agrégats. Toutefois si les singletons ne sont pas identiques à leurs membres singuliers, ce ne sont donc pas des objets extensionnels et ils ne peuvent former une base pour la Science. Dans tous les cas, l'hypothèse d'un continuum n'a aucun intérêt sur le plan physique. Je montre d'abord que, parce qu'il y a des prédicats non-sortaux, la tentative de Frege de faire dériver l'arithmétique de la logique bute dès ses premiers pas. Car il y a des propriétés sans nombre et la contingence de cette condition signifie que la définition du zéro donnée par Frege ne peut s'obtenir à partir de la logique. Ce résultat révèle le besoin de considérer davantage les propriétés sans nombre et donc de générer une théorie des continuums en se basant sur les agrégats méréologiques plutôt que sur des ensembles contenant des nombres de choses.
@article{PHSC_2005__9_2_131_0, author = {Slater, Hartley}, title = {Aggregate theory versus set theory}, journal = {Philosophia Scientiae}, pages = {131--144}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {2}, year = {2005}, language = {fr}, url = {http://archive.numdam.org/item/PHSC_2005__9_2_131_0/} }
Slater, Hartley. Aggregate theory versus set theory. Philosophia Scientiae, Volume 9 (2005) no. 2, pp. 131-144. http://archive.numdam.org/item/PHSC_2005__9_2_131_0/
[1] The Elusiveness of Sets, Review of Metaphysics, XXIV (1) 614-636.
1970.-[2] To be is to be the value of a variable (or to be some values of some variables), Journal of Philosophy, LXXXI, 430-449. | MR
1984.-[3] Logic and Arithmetic, volume I., Oxford : O.U.P. | Zbl
1974.-[4] Logic and Arithmetic, volume II., Oxford : O.U.P. | MR | Zbl
1979.-[5] Mass Terms and Model-Theoretical Semantics, Cambridge : C.U.P.
1985.-[6] Frege : Philosophy of Mathematics, London : Duckworth. | MR
1993.-[7] Set Theory, in Edwards, P. (ed.), Encyclopedia of Philosophy, New York : Macmillan.
1965.-[8] The Foundations of Arithmetic, , Oxford : Blackwell.
1968.-[9] Herbrand Semantics, the Potential Infinite, and Ontology-Free Logic, History and Philosophy of Logic, 13, 69-90. | MR | Zbl
1992.-[10] The Reason's Proper Study, Oxford : Clarendon. | MR
& 2001.-[11] Frege, Mill and the Foundations of Arithmetic, Journal of Philosophy, LXXVII, 65-79.
1980.-[12] Understanding the Infinite, Cambridge MA : Harvard University Press. | MR | Zbl
1994.-[13] Mathematical Logic and Hilbert's Epsilon Symbol, London : Macdonald. | Zbl
1969.-[14] Parts of Classes, Oxford : Blackwell. | Zbl
1991.-[15] Physicalistic Platonism, in Irvine, A.D. (ed.), Physicalism in Mathematics, Dordrecht : Kluwer.
1990a.-[16] Realism in Mathematics, Oxford : Clarendon. | MR | Zbl
1990b.-[17] Naturalism in Mathematics, Oxford : Clarendon. | MR | Zbl
1997.-[18] Does Mathematics need New Axioms ?, The Bulletin of Symbolic Logic, 6.4, 413-422. | MR
2000.-[19] The Foundations of Mathematics in the Theory of Sets, Cambridge : C.U.P. | MR | Zbl
2000.-[20] Analysis without Actual Infinity, Journal of Symbolic Logic, 46.3, 625-633. | MR | Zbl
1981.-[21] Set Theory and its Logic, Cambridge MA : Belknap Press. | MR | Zbl
1963.-[22] Wittgenstein's Critique of Set Theory, The Southern Journal of Philosophy, XXXVIII, 281-319.
2000.-[23] The Concept of Mind, Harmondsworth : Penguin.
1973.-[24] Against the Aggregate Theory of Number, Journal of Philosophy, LXXIX, 163-167
1982.-[25] Concept and Object in Frege, Minerva, 4.. See : http://www.ul.ie/~philos/vol4/frege.html
2000.-[26] The Philosophy of Set Theory, Oxford : Blackwell. | MR | Zbl
1989.-[27] Frege's Conception of Numbers as Objects, Aberdeen : Aberdeen University Press. | MR | Zbl
1983.-