Skip to main content
SpringerLink
Log in

Truth without satisfaction

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Chang, C. C. and Keisler, H. J., Model Theory, North-Holland, Amsterdam, 1973.

    Google Scholar 

  2. Davidson, D., ‘Truth and meaning’, Synthese 17 (1967) 304–323.

    Google Scholar 

  3. Kleene, S. C., ‘Finite Axiomatizability of theories in the predicate calculus using additional predicate symbols’, Two Papers on the Predicate Calculus, Memoirs of the American Mathematical Society, No. 10 (1952), 27–68.

  4. Kripke, Saul, ‘Is there a problem about substitutional quantification?’ in G. Evans and J. McDowell (eds.), Truth and Meaning: Essays in Semantics (Oxford, 1976), 325–419.

  5. Rosenstein, J. G., ‘Theories which are not ℵ0’, Proceedings of the Summer School in Logic, Leeds '67, Lecture Notes in Mathematics, Springer-Verlag, pp. 273–278.

  6. Ryll-Nardzewski, C., ‘On categoricity in power ℵ0’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys. 7 (1959), 545–548.

    Google Scholar 

  7. Schmerl, J. H., ‘A decidable ℵ0-categorical theory with a non-recursive Ryll-nardzerwski function’, Fundamenta Mathematicae 98 (1978), No. 2, 121–125.

    Google Scholar 

  8. Tarski, A., ‘The concept of truth in formalized languages’, in A. Tarski, Logic, Semantics and Metamathematics (Oxford, 1956), 152–278.

  9. Tharp, Leslie H., ‘Truth, quantification, and abstract objects’, Nous V (1971), 363–372.

    Google Scholar 

  10. Wallace, J., ‘On the frame of reference’, in D. Davidson and G. Harman (eds.), Semantics of Natural Language, D. Reidel, 1972, pp. 219–252.

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, The University of Michigan, 48109, Ann Arbor, MI, USA

    Kit Fine

  2. Department of Philosophy, University of Illinois, 61801, Urbana, IL, USA

    Timothy McCarthy

Authors
  1. Kit Fine
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Timothy McCarthy
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper had its origin in 1980 in discussions between the authors of some technical questions raised by Kripke in [3]. We would like to thank a referee of this Journal for pointing out an error in the formulation of Lemma 10. We also thank the proprietors of Drake's Tea Shop for providing an environment suitable for research.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fine, K., McCarthy, T. Truth without satisfaction. J Philos Logic 13, 397–421 (1984). https://doi.org/10.1007/BF00247713

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00247713

Search

Navigation