메뉴 건너뛰기




Volumn 54, Issue 1, 2003, Pages 59-91

Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility

Author keywords

[No Author keywords available]

Indexed keywords


EID: 3843130456     PISSN: 00070882     EISSN: None     Source Type: Journal    
DOI: 10.1093/bjps/54.1.59     Document Type: Article
Times cited : (29)

References (47)
  • 1
    • 0039550061 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • Oxford: Basil Blackwell
    • Hale, B. [1987]: Abstract objects, Oxford: Basil Blackwell.
    • (1987) Abstract Objects
    • Hale, B.1
  • 13
    • 3843138123 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 18
    • 0003951260 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 32
    • 3843142534 scopus 로고    scopus 로고
    • "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
  • 34
    • 0000432574 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • = (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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • Ü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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.