Truth and reduction

Erkenntnis

Volumn 53, Issue 1-2, 2000, Pages 97-126

  Halbach, Volker ^a  

^a UNIVERSITY OF KONSTANZ   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038874750     PISSN: 01650106     EISSN: 15728420     Source Type: Journal    
DOI: 10.1023/a:1005662017962     Document Type: Article

References (45)

1. Belnap, N. and A. Gupta: 1993, The Revision Theory of Truth, MIT Press, Cambridge, MA.
2. Bonevac, D.: 1982, Reduction in the Abstract Sciences, Hackett, Indianapolis, IN.
3. Buchholz, W., S. Feferman, W. Pohlers, and W. Sieg: 1981, Iterated Inductive Definitions: Recent Proof-Theoretical Studies, Springer, Berlin.
4. Burgess, J.: 1986, 'The Truth is Never Simple', Journal of Symbolic Logic 51, 663-681.
5. Burgess, J. and Rosen, G.: 1997, A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics, Clarendon, Oxford.
6. Cantini, A.: 1989, 'Notes on Formal Theories of Truth', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35, 97-130.
7. 1, Journal of Symbolic Logic 55, 244-259.
8. Cantini, A.: 1996, Logical Frameworks for Truth and Abstraction. An Axiomatic Study, Vol. 135 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam.
9. David, M.: 1994, Correspondence and Disquotation: an Essay on the Nature of Truth, Oxford University Press.
10. Feferman, S.: 1962, 'Transfinite Recursive Progressions of Axiomatic Theories', Journal of Symbolic Logic 27, 259-316.
11. Feferman, S.: 1964, 'Systems of Predicative Analysis', Journal of Symbolic Logic 29, 1-30.
12. Feferman, S.: 1988, 'Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364-384.
13. Feferman, S.: 1991, 'Reflecting on Incompleteness', Journal of Symbolic Logic 56, 1-49.
14. Field, H.: 1986, 'The Deflationary Conception of Truth', in G. MacDonald and C. Wright (eds), Fact, Science and Morality, Blackwell, Oxford, pp. 55-117.
15. Friedman, H. and M. Sheard: 1987, 'An Axiomatic Approach to Self-Referential Truth', Annals of Pure and Applied Logic 33, 1-21.
16. Gupta, A.: 1982, 'Truth and Paradox', Journal of Philosophical Logic 11, 1-60.
17. Halbach, V.: 1994, 'A System of Complete and Consistent Truth', Notre Dame Journal of Formal Logic 35, 311-327.
18. Halbach, V.: 1996, Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin.
19. Halbach, V.: 1999a, 'Conservative Theories of Classical Truth', Studia Logica 62, 353-370.
20. Halbach, V.: 1999b, 'Disquotationalism and Infinite Conjunctions', Mind 108, 1-22.
21. Halbach, V.: 1999c, 'Disquotationalism Fortified', in A. Chapuis and A. Gupta (eds), Circularity, Definitions, and Truth, Indian Council of Philosophical Research, New Delhi, to appear.
22. Halbach, V.: n.d., 'Modalized Disquotationalism', to appear in proceedings of the conference, 'Truth, Necessity and Provability' (V. Halbach and L. Horsten, eds).
23. Herzberger, H.: 1982, 'Notes on Naive Semantics', Journal of Philosophical Logic 11, 61-102.
24. Kahle, R.: 1997, Applikative Theorien und Frege-Strukturen, PhD thesis, Universität Bern, Institut für Informatik und angewandte Mathematik.
25. Ketland, J.: 1999, 'Deflationism and Tarski's Paradise', Mind 108, 69-94.
26. Kotlarski, H., S. Krajewski, and A. Lachlan: 1981, 'Construction of Satisfaction Classes for Nonstandard Models', Canadian Mathematical Bulletin 24, 283-293.
27. Kotlarski, H. and Z. Ratajczyk: 1990a, 'Inductive Full Satisfaction Classes', Annals of Pure and Applied Logic 47', 199-223.
28. Kotlarski, H. and Z. Ratajczyk: 1990b, 'More on Induction in the Language with a Satisfaction Class', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36, 441-454.
29. Kripke, S.: 1975, 'Outline of a Theory of Truth', Journal of Philosophy 72, 690-712.
30. Lachlan, A.: 1981, 'Full Satisfaction Classes and Recursive Saturation', Canadian Mathematical Bulletin 24, 295-297.
31. McGee, V.: 1985, 'How Truthlike can a Predicate Be?', Journal of Philosophical Logic 14, 399-410.
32. McGee, V.: 1991, Truth, Vagueness and Paradox, Hackett, Indianapolis, IN.
33. Myczielski, J., P. Pudlak, and A. Stern: 1990, A Lattice of Chapters of Mathematics (Interpretations between Theorems), Vol. 84 of Memoirs of the American Mathematical Society, American Mathematical Society, Providence, Rhode Island.
34. Niebergall, K.-G.: n.d., 'Stärkevergleich und beweisfheoretische Ordinalzahlen', manuscript, Munich.
35. Niebergall, K.-G.: 2000, 'The Logic of Reducibility: Axioms and Examples', this issue, 97-126.
36. Orey, S.: 1961, 'Relative Interpretations', Journal of Symbolic Logic 7, 146-53.
37. Quine, W. V. O.: 1969, 'Ontological Relativity', Ontological Relativity and Other Essays, Columbia University Press, New York, pp. 26-68.
38. Schütte, K.: 1977, Proof Theory, Springer, Berlin.
39. Shapiro, S.: 1985, 'Second-Order Languages and Mathematical Practice', Journal of Symbolic Logic 50, 714-742.
40. Shapiro, S.: 1998, 'Proof and Truth: Through Thick and Thin', Journal of Philosophy 95, 493-521.
41. Simpson, S.: 1998, Subsystems of Second Order Arithmetic, Springer, Berlin.
42. Smorynski, C.: 1985, Self-Reference and Modal Logic, Universitext, Springer.
43. Tarski, A.: 1956, 'The Concept of Truth in Formalized Languages', Logic, Semantics, Metamathematics, Clarendon Press, Oxford, pp. 152-278.
44. Tarski, A., A. Mostowski, and R. M. Robinson: 1953, Undecidable Theories, North Holland, Amsterdam.
45. Turner, R.: 1990, Truth and Modality, Pitman, London.