Quine's 'limits of decision'

Journal of Symbolic Logic

Volumn 64, Issue 4, 1999, Pages 1439-1466

  Purdy, William C ^a  

^a Syracuse University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033263798     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586789     Document Type: Article

References (23)

1. PETER B. ANDREWS, An introduction to mathematical logic and type theory, Academic Press, Orlando, 1986.
2. DONALD W. BARNES and JOHN M. MACK, An algebraic introduction to mathematical logic, Springer-Verlag, New York, 1975.
3. B. DREBEN and W. D. GOLDFARB, The decision problem: Solvable classes of quantificational formulas, Addison-Wesley Publishing Company, Reading, 1979.
4. H. D. EBBINGHAUS and J. FLUM, Finite model theory, Springer-Verlag, New York, 1995.
5. H. D. EBBINGHAUS, J. FLUM, and W. THOMAS, Mathematical logic, Springer-Verlag, New York, 1984.
6. HERBERT B. ENDERTON, A mathematical introduction to logic, Academic Press, New York, 1972.
7. JAAKKO HINTIKKA, Surface information and depth information, Information and inference (J. Hintikka and P. Suppes, editors), 1970, pp. 263-297.
8. _, Logic, language-games and information, Clarendon Press, Oxford, 1973.
9. HARRY R. LEWIS, Unsolvable classes of quantificational formulas, Addison-Wesley Publishing Company, Reading, 1979.
10. HARRY R. LEWIS and CHRISTOS H. PAPADIMITRIOU, Elements of the theory of computation, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981.
11. ARIS NOAH, Predicate-functors and the limits of decidability in logic, Notre Dame Journal of Formal Logic, vol. 21 (1980), pp. 701-707.
12. _, Quine's version of term logic and its relation to TFL, Appendix E in Fred Sommers: The logic of natural language, Clarendon Press, Oxford, 1982.
13. CHRISTOS H. PAPADIMITRIOU and KENNETH STEIGLITZ, Combinatorial optimization, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1982.
14. W. C. PURDY, Surrogate variables in natural language, Proceedings of the workshop on variable-free semantics, University of Osnabrueck, September 12-13, 1996, to appear.
15. _, Decidability of fluted logic with identity, Notre Dame Journal of Formal Logic, vol. 37 (1996), pp. 84-104.
16. _, Fluted formulas and the limits of decidability, this JOURNAL, vol. 61 (1996), pp. 608-620, This as well as other papers by the author cited here can be obtained by ftp from http://www.ecs.syr.edu/∼wcpurdy.
17. W. V. QUINE, On the limits of decision, Proceedings of the 14th International Congress of Philosophy, vol. III, University of Vienna, 1969, Also in , W. V. Quine Theories and Things, Harvard University Press, Cambridge, 1981, 157-163.
18. W. V. QUINE, On the limits of decision, Proceedings of the 14th International Congress of Philosophy, vol. III, University of Vienna, 1969, Also in , W. V. Quine Theories and Things, Harvard University Press, Cambridge, 1981, 157-163.
19. _, Variables explained away, Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343-347.
20. _, The ways of paradox and other essays, Harvard University Press, Cambridge, 1976, Enlarged Edition.
21. _, Predicate functors revisited, this JOURNAL, vol. 46 (1981), pp. 649-652.
22. _, Methods of logic, Harvard University Press, Cambridge, 1982, Fourth Edition.
23. VEIKKO RANTALA, Constituents, Jaakko Hintikka (Radu J. Bogdan, editor), D. Reidel Publishing Company, Dordrecht, 1987, pp. 43-76.