Russell's 1925 logic

Australasian Journal of Philosophy

Volumn 78, Issue 4, 2000, Pages 534-556

  Hazen, A P ^a   Davoren, J M ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 61249245835     PISSN: 00048402     EISSN: None     Source Type: Journal    
DOI: 10.1080/00048400012349791     Document Type: Article

References (49)

1. Anderson, C.A. [1986] 'Some difficulties concerning Russellian Intensional logic', Nous 20, pp. 35-43.
2. Anderson, C.A. [1989] 'Russellian intensional logic', in Joseph Almog et al, eds., Themes from Kaplan, New York: Oxford University Press.
3. Burgess, John P., and A.P. Hazen [1999] 'Predicative logic and formal Arithmetic', Notre Dame Journal of Formal Logic 39 (1998 cover date), pp. 1-17.
4. Church, Alonzo [1956] Introduction to Mathematical Logic, Princeton: Princeton University Press.
5. Church, Alonzo [1974] 'Russellian Simple Type Theory', Proceedings and Addresses of the American Philosophical Association 47, pp. 21-33.
6. Church, Alonzo [1976] 'Comparison of Russell's resolution of the semantical antinomies with that of Tarski', Journal of Symbolic Logic 41, pp. 747-760;
7. repr. with correction in R.L. Martin, ed., New Essays on Truth and the Liar Paradox, New York: Oxford University Press.
8. Church, Alonzo [1984] 'Russell's theory of identity of propositions', Philosophia Naturalis 21, pp. 513-522.
9. Davoren, J.M., and A.P. Hazen [1991] 'Russell, Gödel and Skolem: how much of arithmetic is predicative?' Journal of Symbolic Logic 56, pp. 1108-1109.
10. Dunn, J.M., and N.D. Belnap [1968] 'The substitution interpretation of the quantifiers', Nous 2, pp. 177-185.
11. Fitch, Frederick B. [1938] 'The consistency of the ramified Principia', Journal of Symbolic Logic 3, pp. 140-149.
12. Gentzen, G. [1934] 'Untersuchungen fiber das logische Schliessen', Mathematische Zeitschrift 39, pp. 176-210 and 405-431;
13. Eng. tr. 'Investigations into logical deduction', American Philosophical Quarterly 1 (1964), pp. 288-306 and 2 (1965), pp. 204-218; Eng. tr. repr. in [1969].11
14. Gentzen, G. [1969] Collected Papers ofGerhart Gentzen (ed. M. Szabo), Amsterdam: North-Holland.
15. Gödel, Kurt [1944] 'Russell's Mathematical Logic', in P.A. Schilpp, ed., The Philosophy ofBertrand Russell, Evanston: Northwestern University.
16. Grover, Dorothy [1973] 'Propositional quantification and quotation contexts', in Leblanc [1973].
17. Hazen, A.P. [1985] 'Nominalism and abstract entities', Analysis 45, pp. 65-68.
18. Hazen, A.P. [1992] 'Interpretability of Robinson's arithmetic in the ramified second-order theory of dense linear order', Notre Dame Journal of Formal Logic 33, pp. 101-111.
19. Henkin, Leon [1950] 'Completeness in the theory of types', Journal of Symbolic Logic 15, pp. 81-91.
20. Landini, Gregory [1996] 'The definability of the set of natural numbers in the 1925 Principia Mathematical, Journal of Philosophical Logic 25, pp. 597-615.
21. Landini, Gregory [1998] Russell's Hidden Substitutional Theory, New York: Oxford University Press.
22. Leblanc, Hugues, ed. [1973] Truth, Syntax and Modality, Amsterdam: North-Holland.
23. Leblanc, Hugues, ed. [1975] 'That Principia Mathematica, first edition, is predicative after all', Journal of Philosophical Logic 4, pp. 67-70.
24. Leblanc, Hugues, ed. and G. Weaver [1973] 'Truth-functionality and the ramified theory of types', in Leblanc [1973].
25. Lorenzen, P. [1951] 'Algebraische und logistishe Untersuchungen über freie Verbände', Journal of Symbolic Logic 16, pp. 81-106.
26. Linsky, Bernard [1999] Russell's Metaphysical Logic, Stanford: CSLI
27. Myhill, John [1974] 'The undefinability of the set of natural numbers in the ramified Principia', in George Nakhnikian, ed., Bertrand Russell's Philosophy, New York: Harper and Row.
28. Myhill, John [1979] 'A refutation of an unjustified attack on the axiom of reducibility', in G.W. Roberts, ed., Bertrand Russell Memorial Volume, London: George Allen & Unwin.
29. Parsons, Charles [1971] 'Mathematics and ontology', Philosophical Review 80, pp. 151-176; repr. in [1983].
30. Parsons, Charles [1971a] 'A plea for substitutional quantification', Journal of Philosophy 68, pp. 231-237; repr. with added note in [1983].
31. Parsons, Charles [1974] 'Sets and classes', Nous 8, pp. 1-12; repr. in [1983].
32. Parsons, Charles [1982] 'Substitutional quantification and mathematics (review of Gottlieb, Ontological Economy)', British Journal for the Philosophy of Science 33, pp. 409-421.
33. Parsons, Charles [1983] Mathematics in Philosophy, Ithaca: Cornell University Press.
34. Quine, W.V. [1960] Word and Object, Cambridge: MIT Press.
35. Quine, W.V. [1963] Set Theory and its Logic, Cambridge: Harvard University Press.
36. Ramsey, Frank P. [1925] 'The Foundations of Mathematics', Proceedings of the London Mathematical Society 25, pp. 338-384.
37. Russell, B.A.W. [1903] The Principles of Mathematics, London: Cambridge University Press.
38. Russell, B.A.W. [1910-1911] 'On knowledge by acquaintance and knowledge by description', Proceedings of the Aristotelian Society 11, pp. 108-128; repr. in [1918].
39. Russell, B.A.W. [1918] Mysticism and Logic, London: Longmans, Green.
40. Russell, B.A.W. [1924] 'Logical Atomism', in J.H. Muirhead, ed., Contemporary British Philosophy (First Series), London: George Allen & Unwin; repr. in [1956].
41. Russell, B.A.W. [1925] Introduction (pp. xiii-xlvi) and three Appendices (pp. 635-666) added to the second edition of Whitehead & Russell [1910]. The Introduction and Appendices A and C (pp. 401-408) (but not B) are included in Whitehead and Russell [1962].
42. Russell, B.A.W. [1956] Logic and Knowledge (ed. Robert C. Marsh), London: George Allen & Unwin.
43. Schütte, K. [1960] Beweistheorie, Berlin: Springer-Verlag.
44. Skolem, Thoralf [1962] Abstract Set Theory (Notre Dame Mathematical Lectures 8), Notre Dame: Notre Dame University.
45. Taylor, B.M. & A.P. Hazen [1995] 'Flexibly structured predication', Logique et Analyse 139-140 (1992 cover date), pp. 375-393.
46. Toledo, Sue [1975] Tableau Systems (Lecture Notes in Mathematics, v. 447), Berlin: Springer-Verlag.
47. Weyl, Hermann [1918] Das Kontinuum, Leipzig: De Gruyter; Eng. Tr. The Continuum, Kirksville, Missouri: Thomas Jefferson University Press, 1987.
48. Whitehead, A.N., and B.A.W. Russell [1910] Principia Mathematica, Vol. I, Cambridge (UK): Cambridge University Press; Second Edition with additional matter by Russell, 1925.
49. Whitehead, A.N., and B.A.W. Russell [1962] Principia Mathematica to 56 (abridged reprint of second edition of [1910]), Cambridge (UK): Cambridge University Press.