References
Ackermann, W., [1956], ‘Zur Axiomatik der Mengenlehre’, Mathematische Annalen 131, 336–345.
Aczel, P., [1988], Non-well-founded sets, CSLI lecture notes, Stanford University.
Church, A., [1974], ‘Set theory with a universal set’, Proceedings of Symposia in Pure Mathematics XXV, ed. L. Henkin, Providence, RI, 297–308. Also in International Logic Review 15, 11–23.
Finsler, P., http://www.zblmath.fiz-karlsruhe.de/cgi-bin/CompactMATHfreeWAIS.
Holmes, M. R., [1996], Review of Finsler Set Theory: Platonism and Circularity, David Booth and Rcnatus Ziegler (eds.) in http://math.idbsu.edu/faculty/holmes.htm.
Kirmayer, [1979], Two Independence Results for Ackermann's Set Theory and Some Subtheories of NF Equiconsistent with NF, M.I.T. doctoral dissertation.
Lake, J., [1975], ‘Natural models and Ackermann-type set theories’, J.S.L. 40. 151–158.
Reinhardt, W. N., [1970], ‘Ackermann's set theory equals ZF’, Annals of Mathematical Logic 2 (1970), 49–249.
Tarski, A., [1986], ‘What are logical notions?’, History and Philosophy of Logic 7, 43–154.
References
Davidson, D. (1967), ‘Truth and Meaning’, Synthese 7: 304–323.
Frege, G. (1879), Begriffsschrift. Portions translated in P. Geach and M. Black (eds) (1970).
Frege, G. (1891), ‘Letter to Husserl’, in G. Gabriel et al (eds) (1980), Philosophical and Mathematical Correspondence, Chicago: University of Chicago Press.
Frege, G. (1892), ‘On Sense and Reference’. Translated in P. Geach and M. Black (eds) (1970).
Frege, G. (1893), Grundgesetze. Translated by M. Furth (1964) as Basic Laws of Arithmetic, Los Angeles: University of California Press.
Frege, G. (1918), ‘The Thought: A Logical Inquiry’, in P. Strawson (ed) (1967), Philosophical Logic, Oxford: Oxford University Press.
Geach, P. and M. Black (eds) (1970), Translations From the Philosophical Writings of Gottlob Frege, 2nd edition, Oxford: Blackwell.
Récanati, F. (1993), Direct Reference, Oxford: Blackwell.
Salmon, N. (1986), Frege's Puzzle, Cambridge, MA: MIT Press.
References
Belnap, N., ‘Branching space-time’, Synthese, vol. 92, 1992, 385–434.
Gauthier, Y., ‘An internal consistency proof for arithmetic with infinite descent’, Cahiers du département de philosophie, Université de Montréal, Montréal, 1993.
Hajek, P. and P. Pudlak, Metamathematics of first-order arithmetic, Perspectives in Mathematical Logic, Springer, Heidelberg, 1992.
Hallett, M., Cantorian Set Theory and Limitation of Size, Clarendon Press, Oxford, 1984.
Marion, M., Wittgenstein, Finitism, and the Foundations of Mathematics, Oxford University Press, Oxford (to appear; based on his Ph.D. Quantification and Finitism. A study in Wittgenstein's Philosophy of Mathematics, University of Oxford, Oxford, 1991).
Marquis, J-P., ‘Category theory and the foundations of mathematics: philosophical excavations’, Synthese, vol. 103, 1995, 421–447.
McCall, S., A Model of the Universe. Space-Time, Probability, and Decision, Clarendon Press, Oxford, 1994.
Mostowski, A., ‘On the rules of proof in the pure functional calculus’, The Journal of Symbolic Logic, vol. 16, 1951, 107–111.
Quine, W. V., ‘Quantification and the empty domain’, The Journal of Symbolic Logic, vol. 19, 1954, 177–179 (reprinted in the enlarged edition of Selected Logic Papers, Harvard UP, Cambridge, 1995).
Rights and permissions
About this article
Cite this article
Book Reviews. Studia Logica 61, 429–448 (1998). https://doi.org/10.1023/A:1017127513131
Issue Date:
DOI: https://doi.org/10.1023/A:1017127513131