Truth, reflection, and hierarchies

Synthese

Volumn 142, Issue 3, 2005, Pages 289-315

  Glanzberg, Michael ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79954068322     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-005-3718-7     Document Type: Article

References (56)

1. Barwise, J. and J. Etchemendy: 1987, The Liar, Oxford University Press, Oxford.
2. Beklemishev, L.: 1997, 'Notes on Local Reflection Principles', Theoria 63, 139-146.
3. Bernays, P.: 1930, 'Die Philosophie der Mathematik und die Hilbertsche Beweistheorie', Blätter für deutsche Philosophie 4, 326-367. References are to the translation as "The Philosophy of Mathematics and Hilbert's Proof Theory" by P. Mancosu in (Mancosu 1998a).
4. Burge, T.: 1979, 'Semantical Paradox', Journal of Philosophy 76, 169-198. Reprinted in (Martin 1984).
5. Cantini, A.: 1996, Logical Frameworks for Truth and Abstraction: An Axiomatic Study, Elsevier, Amsterdam.
6. Dummett, M.: 1959, 'Truth', Proceedings of the Aristotelian Society 59, 141-162. Reprinted in (Dummett 1978).
7. Dummett, M.: 1963, 'The Philosophical Significance of Gödel's Theorem', Ratio 5, 140-155. Reprinted in (Dummett 1978).
8. Dummett, M.: 1978, Truth and Other Enigmas, Harvard University Press, Cambridge.
9. Dummett, M.: 1990, 'The Source of the Concept of Truth', in G. Boolos (ed.), Meaning and Method: Essays in Honor of Hilary Putnam, Cambridge University Press, Cambridge. Reprinted in (Dummett 1993).
10. Dummett, M.: 1993, The Seas of Language, Oxford University Press, Oxford.
11. Feferman, S.: 1962, 'Transfinite Recursive Progressions of Axiomatic Theories', Journal of Symbolic Logic 27, 259-316.
12. Feferman, S.: 1964, 'Systems of Predicative Analysis', Journal of Symbolic Logic 29, 1-30. Reprinted in (Hintikka 1969).
13. Feferman, S.: 1988a, 'Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364-384.
14. Feferman, S.: 1988b, 'Turing in the Land of O(z)', in R. Herken (ed.), The Universal Turing Machine: A Half-Century Survey, Oxford University Press, Oxford, pp. 113-147.
15. Feferman, S.: 1991, 'Reflecting on Incompleteness', Journal of Symbolic Logic 56, 1-49.
16. Feferman, S. and C. Spector: 1962, 'Incompleteness Along Paths in Progressions of Theories', Journal of Symbolic Logic 27, 383-390.
17. Friedman, H. and M. Sheard: 1987, 'An Axiomatic Approach to Self-Referential Truth', Annals of Pure and Applied Logic 33, 1-21.
18. Friedman, H. and M. Sheard: 1988, 'The Disjunction and Existence Properties for Axiomatic Systems of Truth', Annals of Pure and Applied Logic 40, 1-10.
19. Glanzberg, M.: 2001, 'The Liar in Context', Philosophical Studies 103, 217-251.
20. Glanzberg, M.: (forthcoming), 'A Contextual-Hierarchical Approach to Truth and the Liar Paradox', Journal of Philosophical Logic.
21. Gödel, K.: 1931, 'Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I', Monatshefte für Mathematik und Physik 38, 173-198. References are to the translation as "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" by J. van Heijenoort in (van Heijenoort 1967).
22. Gödel, K.: 1995, Collected Works, Vol. III: Unpublished Essays and Lectures, Oxford University press, Oxford. Edited by S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons, and R. M. Solovay.
23. Hájek, P. and P. Pudlák: 1993, Metamathematics of First-Order Arithmetic, Springer- Verlag, Berlin.
24. Halbach, V.: 1997, 'Tarskian and Kripean Truth', Journal of Philosophical Logic 26, 69-80.
25. Halbach, V.: 1999, 'Conservative Theories of Classical Truth', Studia Logica 62, 353-370.
26. Halbach, V.: 2001, 'Disquotational Truth and Analyticity', Journal of Symbolic Logic 66, 1959-1973.
27. Hilbert, D.: 1926, 'Über das Unendliche', Mathematische Annalen 95, 161-190. References are to the translation as "On the Infinite" by S. Bauer-Mengelberg in (van Heijenoort 1967).
28. Hilbert, D.: 1928, 'Die Grundlagen der Mathematik', Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6, 65-85. References are to the translation as "The Foundations of Mathematics" by S. Bauer-Mengelberg and D. Føllesdal in (van Heijenoort 1967).
29. Hintikka, J. (ed.): 1969, The Philosophy of Mathematics, Oxford University Press, Oxford.
30. Kreisel, G.: 1960, 'Ordinal Logics and the Characterization of Informal Concepts of Proof', in J. A. Todd (ed.), Proceedings of the International Congress of Mathematicians (at Edinburgh, 1958), Cambridge University Press, Cambridge, pp. 289-299.
31. Kreisel, G.: 1967, 'Informal Rigour and Completeness Proofs', in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam, pp. 138-157. Reprinted in (Hintikka 1969).
32. Kreisel, G.: 1968, 'A Survey of Proof Theory', Journal of Symbolic Logic 33, 321-388.
33. Kreisel, G.: 1970, 'Principles of Proof and Ordinals Implicit in Given Concepts', in A.
34. Kino, J. Myhill, and R. E. Vesley (eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam, pp. 489-516.
35. Kreisel, G. and A. Lévy: 1968, 'Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 14, 97-142.
36. Kripke, S.: 1975, 'Outline of a Theory of Truth', Journal of Philosophy 72, 690-716. Reprinted in (Martin 1984).
37. Mancosu, P. (ed.): 1998a, From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford.
38. Mancosu, P.: 1998b, 'Hilbert and Bernays onMetamathematics', in P.Mancosu (ed.), From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford, pp. 149-188.
39. Martin, R. L. (ed.): 1984, Recent Essays on Truth and the Liar Paradox, Oxford University Press, Oxford.
40. McGee, V.: 1991, Truth, Vagueness, and Paradox, Hackett, Indianapolis.
41. Parsons, C.: 1974a, 'Informal Axiomatization, Formalization, and the Concept of Truth', Synthese 27, 27-47. Reprinted in (Parsons 1983).
42. Parsons, C.: 1974b, 'The Liar Paradox', Journal of Philosophical Logic 3, 381-412. Reprinted in (Parsons 1983).
43. Parsons, C.: 1983, Mathematics in Philosophy, Cornell University Press, Ithaca.
44. Parsons, T.: 1984, 'Assertion, Denial, and the Liar Paradox', Journal of Philosophical Logic 13, 137-152.
45. Reinhardt, W. N.: 1986, 'Some Remarks on Extending and Interpreting Theories with a Partial Predicate for Truth', Journal of Philosophical Logic 15, 219-251.
46. Sieg, W.: 1988, 'Hilbert's Program Sixty Years Later', Journal of Symbolic Logic 53, 338-348.
47. Simpson, S. G.: 1988, 'Partial Realizations of Hilbert's Program', Journal of Symbolic Logic 53, 349-363.
48. Smorynski, C.: 1977, 'The Incompleteness Theorems', in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, pp. 821-865.
49. Soames, S.: 1999, Understanding Truth, Oxford University Press, Oxford.
50. Tait, W. W.: 1981, 'Finitism', Journal of Philosophy 78, 524-546.
51. Tarski, A.: 1935, 'DerWahrheitsbegriff in den formalizierten Sprachen', Studia Philosophica 1, 261-405. References are to the translation by J. H. Woodger as "The Concept of Truth in Formalized Languages" in (Tarski 1983).
52. Tarski, A.: 1983, Logic, Semantics, Metamathematics, 2nd edn, Hackett, Indianapolis. Edited by J. Corcoran with translations by J. H. Woodger.
53. Tymoczko, T. (ed.): 1986, New Directions in the Philosophy of Mathematics, Birkhäuser, Boston.
54. van Heijenoort, J. (ed.): 1967, From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, Harvard University Press, Cambridge.
55. Visser, A.: 1981, 'An Incompleteness Result for Paths through or within O', Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences 43, 237-243.
56. Wiggins, D.: 1980, 'What Would Be a Substantial Theory of Truth?', in Z. van Straaten (ed.), Philosophical Subjects: Essays Presented to P. F. Strawson, Oxford University Press, Oxford, pp. 189-221.