Notes on naive semantics
- Hans G. Herzberger
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
These notes are intended as a working report on material that is still in a very provisional formulation. Work on this material was supported in 1979–80 by a Leave Fellowship from the Social Sciences and Humanities Research Council of Canada, and in 1980–81 by a Visiting Fellowship from All Souls College, Oxford. Previous versions of these notes have been circulating for some time and were the basis for talks given at Oxford and Keele Universities in 1980–81. subsequently, Dana Scott and Alasdair Urquhart put me on the track of the completely independent work which Anil Gupta had been pursuing during the same period. There is considerable overlap between “naive semantics” and Gupta's approach, both of which spring from a common concern: to modify Kripke's theory of truth so as to admit the classical valuation scheme. I am indebted to Steve Yablo for many discussions on topics covered in these notes, especially for helping me to-sharpen the distinction between grounding and stability; and to Saul Kripke for generous criticism and some telling counterexamples. I have benefitted very much from discussions with many people, including George Boolos, Michael Dummett, Bill Hart, Hans Kamp, David Lewis, John Mackie, Charles Parsons, Christopher Peacocke, Hilary Putnam, Dana Scott, Neil Tennant and David Wiggins. I also owe a special debt to the recent work of Tyler Burge , which played a catalytic role in the early stages of these investigations.
- Besicovith, A. F., Almost-Periodie Functions, Cambridge, 1932.
- Bochvar, D. A., ‘On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus,’ Matematicheskii Sbornik, n.s. 4, 46 (1938), 287–308.
- Burge, Tyler, ‘Semantical paradox’, Journal of Philosophy 76 (1979), 169–98.
- Chihara, Charles ‘The semantic paradoxes: a diagnostic investigation,’ Philosophical Review 88 (1979), 590–618.
- Feferman, S., ‘Comparison of some type-free theories of partial operations and classifications’, typescript, 1976. Revised version to appear in Journal of Symbolic Logic.
- Frege, G., The Basic Laws of Arithmetic, trans. and ed., with an Introduction, by Montgomery Furth, University of California, 1967.
- Herzberger, H. G., ‘Notes on periodicity’, typescript, May 1980.
- Hofstadter, D., Gödel, Escher, Bach: An Eternal Golden Braid, Basic Books, 1979.
- Kripke, S., ‘Outline of a theory of truth,’ Journal of Philosophy 72 (1975), 690–715.
- Kripke, S., ‘Lectures on truth’, three lectures delivered at Princeton University in 1975.
- Kuratowski, K. and Mostowski, A., Set Theory, 2nd ed., North-Holland, 1976.
- Martin, R. L. (ed.), The Paradox of the Liar, 2nd ed. with supplemented bibliography, Ridgeview, 1978.
- Priest, G., ‘The logic of paradox,’ Journal of Philosophical Logic 8 (1979), 219–41.
- Putnam, H., ‘Trial and error predicates and the solution to a problem of Mostowski,’ Journal of Symbolic Logic 30 (1965), 47–57.
- Quine, W. v. O., ‘The ways of paradox’, in his The Ways of Paradox and Other Essays, Random House, 1966, pp. 3–20.
- Rescher, N. Many-Valued Logic, McGraw-Hill, 1969.
- Rescher, N. and Brandom, R., The Logic of Inconsistency, Rowman and Littlefield, 1980.
- Tarski, A., ‘The concept of truth in formalized languages’, in his Logic, Semantics, Metamathematics, Oxford, 1956, pp. 152–278.
- van, Fraassen B., ‘Presupposition, implication and self-references,’ Journal of Philosophy 65 (1968), 136–52.
- Notes on naive semantics
Journal of Philosophical Logic
Volume 11, Issue 1 , pp 61-102
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Author Affiliations
- 1. University of Toronto, Canada