References
Boolos, G.The Unprovability of Consistency, Cambridge University Press, 1979.
Gödel, K.Collected Works, vol. 1, Oxford University Press, 1986.
Gödel, K.Remarks before the Princeton bicentennial conference on problems in mathematics, reprinted in M. Davis,The Undecidable, New York, 1965, 84–88.
Gödel, K.Collected Works, vol. 3, Oxford (forthcoming).
Jeroslow, R. “Experimental Logics and Δ2 Theories”,Journal of Philosophical Logic 4 (1975): 253–67.
Maddy, P. “Believing the Axioms (I)”,Journal of Symbolic Logic 53, 2 (1989): 481–511.
McCarthy, T. and S. Shapiro. “Turing Projectability”,Notre Dame Journal of Formal Logic, October, 1987.
Moschovakis, Y.Descriptive Set Theory, North Holland, 1980.
Putnam, H. “Trial and Error Predicates, and the Solution to a Problem of Mostowski”,Journal of Symbolic Logic 30 (1965): 49–57.
Putnam, H.Mathematics, Matter and Method, Philosophical Papers, 1, Cambridge University Press, 1975.
Smoryński, C. “The Incompleteness Theorems,” in J. Barwise (ed.),Handbook of Mathematical Logic, North Holland, 1978.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mccarthy, T.G. Self-reference and incompleteness in a non-monotonic setting. J Philos Logic 23, 423–449 (1994). https://doi.org/10.1007/BF01048689
Issue Date:
DOI: https://doi.org/10.1007/BF01048689