-
1
-
-
0039550061
-
The consistency of Frege's foundations of arithmetic
-
J. J. Thompson (ed.), Cambridge, MA: MIT Press
-
Boolos, G. [1987]: The consistency of Frege's Foundations of arithmetic', in J. J. Thompson (ed.), On being and saying: Essays for Richard Cartwright, Cambridge, MA: MIT Press, pp. 3-20.
-
(1987)
On Being and Saying: Essays for Richard Cartwright
, pp. 3-20
-
-
Boolos, G.1
-
2
-
-
4043096810
-
Iteration again
-
Boolos, G. [1989]: 'Iteration again', Philosophical Topics, 17, pp. 5-21.
-
(1989)
Philosophical Topics
, vol.17
, pp. 5-21
-
-
Boolos, G.1
-
3
-
-
4043085429
-
Is Hume's principle analytic?
-
Richard Heck, Jr (ed.), Oxford: Oxford University Press
-
Boolos, G. [1997]: 'Is Hume's principle analytic?', in Richard Heck, Jr (ed.), Language, thought, and logic, Oxford: Oxford University Press, pp. 245-61.
-
(1997)
Language, Thought, and Logic
, pp. 245-261
-
-
Boolos, G.1
-
4
-
-
53249140864
-
Letter to dedekind
-
van Heijenoort (ed.), 1967, Cambridge, MA: Harvard University Press
-
Cantor, G. [1899]: 'Letter to Dedekind', in van Heijenoort (ed.), 1967, From Frege to Gödel, Cambridge, MA: Harvard University Press, pp. 113-7.
-
(1899)
From Frege to Gödel
, pp. 113-117
-
-
Cantor, G.1
-
5
-
-
84862394682
-
-
talk to Arché workshop on abstraction, University of St Andrews
-
Clark, P. [2000]: 'Indefinite extensibility and set theory', talk to Arché workshop on abstraction, University of St Andrews.
-
(2000)
Indefinite Extensibility and Set Theory
-
-
Clark, P.1
-
6
-
-
0010164322
-
The philosophical significance of Gödel's theorem
-
Dummett, M. [1963]: 'The philosophical significance of Gödel's theorem', Ratio, 5, pp. 140-55.
-
(1963)
Ratio
, vol.5
, pp. 140-155
-
-
Dummett, M.1
-
9
-
-
0004057759
-
-
Breslau: Koebner
-
Frege, G. [1884]: Die Grundlagen der Arithmetik, Breslau: Koebner; The foundations of arithmetic, trans. J. Austin, 2nd edn, New York: Harper, 1960.
-
(1884)
Die Grundlagen der Arithmetik
-
-
Frege, G.1
-
10
-
-
0004148609
-
-
trans. J. Austin, 2nd edn, New York: Harper
-
Frege, G. [1884]: Die Grundlagen der Arithmetik, Breslau: Koebner; The foundations of arithmetic, trans. J. Austin, 2nd edn, New York: Harper, 1960.
-
(1960)
The Foundations of Arithmetic
-
-
-
12
-
-
0009215820
-
-
Oxford: Basil Blackwell
-
Hale, B. [1987]: Abstract objects, Oxford: Basil Blackwell.
-
(1987)
Abstract Objects
-
-
Hale, B.1
-
13
-
-
3843138123
-
Reals by abstraction
-
reprinted in Hale and Wright [2001], pp. 399-420
-
Hale, B. [2000]: 'Reals by abstraction', Philosophia Mathematica (3), 8, 100-23; reprinted in Hale and Wright [2001], pp. 399-420.
-
(2000)
Philosophia Mathematica (3)
, vol.8
, pp. 100-123
-
-
Hale, B.1
-
15
-
-
3843087057
-
On the consistency of second-order contextual definitions
-
Heck, R. [1992]: 'On the consistency of second-order contextual definitions', Noûs, 26, pp. 491-4.
-
(1992)
Noûs
, vol.26
, pp. 491-494
-
-
Heck, R.1
-
16
-
-
4043153338
-
-
C. I. Gerhart, Berlin: A. Asher, H. Halle, W. Schmidt, 1849-1863
-
Leibniz, G. [1863]: Mathematische Scriften von Gottfried Wilhelm Leibniz, III ed. C. I. Gerhart, Berlin: A. Asher, H. Halle, W. Schmidt, 1849-1863.
-
(1863)
Mathematische Scriften Von Gottfried Wilhelm Leibniz, III Ed.
-
-
Leibniz, G.1
-
18
-
-
0003951260
-
-
ed. and trans. P. Remnant and J. Bennett, New York: Cambridge University Press
-
Leibniz, G. [1996]: New essays on human understanding, ed. and trans. P. Remnant and J. Bennett, New York: Cambridge University Press.
-
(1996)
New Essays on Human Understanding
-
-
Leibniz, G.1
-
19
-
-
4043072626
-
Leibniz on mathematics and the actually infinite division of matter
-
Levey, Samuel [1998]: 'Leibniz on mathematics and the actually infinite division of matter', Philosophical Review, 107, pp. 49-96.
-
(1998)
Philosophical Review
, vol.107
, pp. 49-96
-
-
Levey, S.1
-
20
-
-
0039349472
-
Principles of reflection in axiomatic set theory
-
Lévy, A. [1960a]: 'Principles of reflection in axiomatic set theory', Fundamenta Mathematicae, 49, pp. 1-10.
-
(1960)
Fundamenta Mathematicae
, vol.49
, pp. 1-10
-
-
Lévy, A.1
-
21
-
-
84972494041
-
Axiom schemata of strong infinity in axiomatic set theory
-
Lévy, A. [1960b]: 'Axiom schemata of strong infinity in axiomatic set theory', Pacific Journal of Mathematics, 10, pp. 223-38.
-
(1960)
Pacific Journal of Mathematics
, vol.10
, pp. 223-238
-
-
Lévy, A.1
-
22
-
-
4043096811
-
On von Neumann's axiom system for set theory
-
Lévy, A. [1968]: 'On von Neumann's axiom system for set theory', American Mathematical Monthly, 75, pp. 762-3.
-
(1968)
American Mathematical Monthly
, vol.75
, pp. 762-763
-
-
Lévy, A.1
-
26
-
-
84960616064
-
On some difficulties in the theory of transfinite numbers and order types
-
Russell, B. [1906]: 'On some difficulties in the theory of transfinite numbers and order types', Proceedings of the London Mathematical Society, 4, pp. 29-53.
-
(1906)
Proceedings of the London Mathematical Society
, vol.4
, pp. 29-53
-
-
Russell, B.1
-
28
-
-
4043067015
-
Principles of reflection and second-order logic
-
Shapiro, S. [1987]: 'Principles of reflection and second-order logic', Journal of Philosophical Logic, 16, pp. 309-33.
-
(1987)
Journal of Philosophical Logic
, vol.16
, pp. 309-333
-
-
Shapiro, S.1
-
30
-
-
4043132273
-
Frege meets dedekind: A neo-logicist treatment of real analysis
-
Shapiro, S. [2000]: 'Frege meets Dedekind: a neo-logicist treatment of real analysis', Notre Dame Journal of Formal Logic, 41, 335-64.
-
(2000)
Notre Dame Journal of Formal Logic
, vol.41
, pp. 335-364
-
-
Shapiro, S.1
-
31
-
-
3843092502
-
New V, ZF, and abstraction
-
Shapiro, S. and Weir, A. [1999]: 'New V, ZF, and abstraction', Philosophia Mathematica (3), 7, pp. 293-321.
-
(1999)
Philosophia Mathematica (3)
, vol.7
, pp. 293-321
-
-
Shapiro, S.1
Weir, A.2
-
32
-
-
3843142534
-
"Neo-logicist" logic is not epistemically innocent
-
Shapiro, S. and Weir A. [2000]: '"Neo-logicist" logic is not epistemically innocent', Philosophia Mathematica (3), 8, pp. 163-89.
-
(2000)
Philosophia Mathematica (3)
, vol.8
, pp. 163-189
-
-
Shapiro, S.1
Weir, A.2
-
33
-
-
4043088321
-
-
Cambridge, MA: Harvard University Press
-
van Heijenoort, J. (ed.) [1967]: From Frege to Gödel, Cambridge, MA: Harvard University Press.
-
(1967)
From Frege to Gödel
-
-
Van Heijenoort, J.1
-
34
-
-
0000432574
-
Eine Axiomatisierung der Mengenlehre
-
von Neumann, J. [1925]: 'Eine Axiomatisierung der Mengenlehre', Journal für die reine und angewandte Mathematik, 154, 219-40; translated in van Heijenoort (ed.), 1967, From Frege to Gödel, Cambridge, MA: Harvard University Press pp. 393-413.
-
(1925)
Journal für die Reine und Angewandte Mathematik
, vol.154
, pp. 219-240
-
-
Von Neumann, J.1
-
35
-
-
4043088321
-
-
translated in , 1967, Cambridge, MA: Harvard University Press
-
von Neumann, J. [1925]: 'Eine Axiomatisierung der Mengenlehre', Journal für die reine und angewandte Mathematik, 154, 219-40; translated in van Heijenoort (ed.), 1967, From Frege to Gödel, Cambridge, MA: Harvard University Press pp. 393-413.
-
From Frege to Gödel
, pp. 393-413
-
-
Van Heijenoort1
-
38
-
-
0041087935
-
On the philosophical significance of Frege's theorem
-
Richard Heck, Jr (ed.), Oxford: Oxford University Press
-
Wright, C. [1997]: 'On the philosophical significance of Frege's theorem', in Richard Heck, Jr (ed.), Language, thought, and logic, Oxford: Oxford University Press, pp. 201-44; reprinted in Hale and Wright, 2001, The reason's proper study: essays toward a neo-Fregean philosophy of mathematics, Oxford: Oxford University Press, pp. 272-306.
-
(1997)
Language, Thought, and Logic
, pp. 201-244
-
-
Wright, C.1
-
39
-
-
0012591568
-
-
Oxford: Oxford University Press
-
Wright, C. [1997]: 'On the philosophical significance of Frege's theorem', in Richard Heck, Jr (ed.), Language, thought, and logic, Oxford: Oxford University Press, pp. 201-44; reprinted in Hale and Wright, 2001, The reason's proper study: essays toward a neo-Fregean philosophy of mathematics, Oxford: Oxford University Press, pp. 272-306.
-
(2001)
The Reason's Proper Study: Essays Toward a Neo-fregean Philosophy of Mathematics
, pp. 272-306
-
-
Hale1
Wright2
-
40
-
-
3843103408
-
= (Hume's principle)
-
Mathias Schirn (ed.), Oxford: Oxford University Press
-
= (Hume's principle)', in Mathias Schirn (ed.), The philosophy of mathematics today, Oxford: Oxford University Press, pp. 339-68;
-
(1998)
The Philosophy of Mathematics Today
, pp. 339-368
-
-
Wright, C.1
-
42
-
-
85015977519
-
Is Hume's principle analytic?
-
Wright, C. [1999]: 'Is Hume's Principle analytic?', Notre Dame Journal of Formal Logic, 40, pp. 6-30; reprinted in Hale and Wright, 2001, The reason's proper study: essays toward a neo-Fregean philosophy of mathematics, Oxford: Oxford University Press, pp. 307-32.
-
(1999)
Notre Dame Journal of Formal Logic
, vol.40
, pp. 6-30
-
-
Wright, C.1
-
44
-
-
4043171844
-
Implicit definition and the a priori
-
P. Boghossian and C. Peacocke (eds), Oxford: Oxford University Press
-
Wright, C. and Hale, B. [2000]: 'Implicit definition and the a priori', in P. Boghossian and C. Peacocke (eds), New essays on the a priori, Oxford: Oxford University Press, pp. 286-319; reprinted in Hale and Wright, 2001, The reason's proper study: essays toward a neo-Fregean philosophy of mathematics, Oxford: Oxford University Press, pp. 117-50.
-
(2000)
New Essays on the a Priori
, pp. 286-319
-
-
Wright, C.1
Hale, B.2
-
45
-
-
0012591568
-
-
Oxford: Oxford University Press
-
Wright, C. and Hale, B. [2000]: 'Implicit definition and the a priori', in P. Boghossian and C. Peacocke (eds), New essays on the a priori, Oxford: Oxford University Press, pp. 286-319; reprinted in Hale and Wright, 2001, The reason's proper study: essays toward a neo-Fregean philosophy of mathematics, Oxford: Oxford University Press, pp. 117-50.
-
(2001)
The Reason's Proper Study: Essays Toward a Neo-Fregean Philosophy of Mathematics
, pp. 117-150
-
-
Hale1
Wright2
-
46
-
-
0003377750
-
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre
-
Zermelo, E. [1930]: 'Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre', Fundamenta Mathematicae, 16, pp. 29-47; translated as 'On boundary numbers and domains of sets: new investigations in the foundations of set theory', in William Ewald (ed.), 1996, From Kant to Hilbert: a source book in the foundations of mathematics, Oxford: Oxford University Press, Vol. 2, pp. 1219-33.
-
(1930)
Fundamenta Mathematicae
, vol.16
, pp. 29-47
-
-
Zermelo, E.1
-
47
-
-
80054543893
-
On boundary numbers and domains of sets: New investigations in the foundations of set theory
-
Oxford: Oxford University Press
-
Zermelo, E. [1930]: 'Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre', Fundamenta Mathematicae, 16, pp. 29-47; translated as 'On boundary numbers and domains of sets: new investigations in the foundations of set theory', in William Ewald (ed.), 1996, From Kant to Hilbert: a source book in the foundations of mathematics, Oxford: Oxford University Press, Vol. 2, pp. 1219-33.
-
(1996)
From Kant to Hilbert: A Source Book in the Foundations of Mathematics
, vol.2
, pp. 1219-1233
-
-
Ewald, W.1
|