Deflationism and the Gödel phenomena

Mind

Volumn 111, Issue 443, 2002, Pages 551-582

  Tennant, Neil ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745742790     PISSN: 00264423     EISSN: None     Source Type: Journal    
DOI: 10.1093/mind/111.443.551     Document Type: Article

References (37)

1. Anderson, Alan Ross (ed.) 1964: Minds and Machines. Englewood Cliffs: Prentice-Hall
2. Barwise, J. (ed.) 1977: Handbook of mathematical logic. Amsterdam: North-Holland
3. Buss, S. 1986: Bounded Arithmetic, Naples: Bibliopolis
4. Cook, S. A. 1975: 'Feasibly Constructive Proofs and the Propositional Calculus'. Proceedings of the Seventh ACM Symposium on Theory of Computing, pp. 83-97
5. Detlefsen, Michael 1986: Hilbert's Program. Dordrecht: Reidel
6. Dummett, M.1963 'The Philosophical Significance of Gödel's Theorem'. Reprinted in Dummett 1978 pp. 186-201
7. - 1978: Truth and Other Enigmas. London: Duckworth
8. Dunn J. N. and A. Gupta (eds) 1990: Truth or Consequences: Essays in Honor of Nuel Belnap. Dordrecht: Kluwer
9. Feferman, S. 1962: Transfinite recursive progressions of axiomatic theories'. Journal of Symbolic Logic, 27, pp. 259-316
10. - 1991: 'Reflecting on incompleteness'. Journal of Symbolic Logic, 56, pp. 1-49
11. - 1998: 'Infinity in Mathematics: Is Cantor Really Necessary? (Conclusion)', in In the Light of Logic. Oxford: Oxford University Press pp. 229-48
12. Field, H. 1986: 'The Deflationary Conception of Truth', in MacDonald and Wright 1986, pp. 55-117
13. - 1999: 'Deflating the Conservativeness Argument'. Journal of Philosophy, 96, pp. 533-40
14. Friedman, Harvey and Michael Sheard 1987: 'An Axiomatic Approach to Self-Referential Truth'. Annals of Pure and Applied Logic vol. 33, pp. 1-21
15. Grover, D., J. Camp and N. Belnap 1975: 'A Prosentential Theory of Truth'. Philosophical Studies, 27, pp. 73-125
16. - 1990: 'On Two Deflationary Truth Theories', in Dunn and Gupta 1990, pp. 1-17
17. Halbach, V. 1996: Axiomatische Wahrheitstheorien. Berlin: Akademie Verlag
18. - 1999: 'Conservative Theories of Classical Truth', Studia Logica, 62, PP. 353-370
19. Haldane, J. and C. Wright (eds) 1993: Reality, Representation and Projection. New York: Oxford University Press
20. Hilbert, D. and P. Bernays 1939: Grundlagen der Mathematik, vol. I, Berlin: Springer, pp. 283-340
21. Hofstadter, Douglas 1979: Godel, Escher, Bach: an Eternal Golden Braid. Hassocks, Sussex: Harvester Press
22. Horwich, P. 1990: Truth. Oxford: Blackwell
23. Jeroslow, R. 1973: 'Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem'. Journal of Symbolic Logic, 38, pp. 359-67
24. Ketland, J. 1999: 'Deffationism and Tarski's Paradise'. Mind, 108, 1999, pp. 69-94
25. Löb, M 1955: 'Solution of a problem of Leon Henkin'. The Journal of Symbolic Logic, 20, pp. 115-118
26. Lucas, J. R. 1961: 'Minds, Machines and Godel', in Anderson 1964, PP. 43-59
27. Philosophy, 36, 1961
28. MacDonald, G. and C. Wright (eds) 1986: Fact, Science and Morality: Essays on A. J. Ayer's Language, Truth and Logic. Oxford: Blackwell
29. Nagel, Ernest and James Newman 1958: Gödel's Proof. New York: New York University Press
30. Peacocke, Christopher 1993: 'Proof and Truth' in Haldane and Wright, 1993, PP. 165-92
31. Penrose, Roger 1989: The Emperor's New Mind. Oxford: Oxford University Press
32. Shapiro, S. 1998: 'Proof and Truth: Through Thick and Thin'. Journal of Philosophy, 95, PP. 493-521
33. Smorynski, C. 1977: 'The incompleteness theorems', in Barwise 1977. pp. 821-865
34. Tarski, A. with A. Mostowski and R. M. Robinson 1953: Undecidable Theories. Amsterdam: North-Holland
35. - 1956: 'The concept of truth in formalized languages', in Woodger 1956, PP. 152-278
36. Woodger, J. H. (trans, and ed.) 1956: Logic, Semantics, Metamathematics: Papers by Alfred Tarski from 1922-1938. Oxford: Clarendon Press
37. Wright, Crispin 1993: 'About 'The Philosophical Significance of Gödel's Theorem: Some Issues', in Realism, Meaning and Truth, 2nd edn. Oxford: Blackwell, pp. 321-54