Skip to main content
Springer Nature Link
Log in

A “definitive” probabilistic semantics for first-order logic

  • 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. K.Bendall, ‘Natural Deduction, Separation, and the Meaning of Logical Operators’, Journal of Philosophical Logic 7 (1978), 245–276.

    Google Scholar 

  2. K.Bendall, ‘Belief-Theoretic Formal Semantics for First-Order Logic and Probability’, Journal of Philosophical Logic 8 (1979), 375–397.

    Google Scholar 

  3. J. M.Dunn and N. D.BelnapJr., ‘The Substitution Interpretation of the Quantifiers’, Nous 2 (1968), 177–185.

    Google Scholar 

  4. H.Field, Logic, Meaning, and Conceptual Roles’, Journal of Philosophy 74 (1977), 379–409.

    Google Scholar 

  5. H.Gaifman, ‘Concerning Measures in First-Order Calculi’, Israel Journal of Mathematics 2 (1964), 1–18.

    Google Scholar 

  6. H.Leblanc, ‘Probabilistic Semantics for First-Order Logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 25 (1979), 497–509.

    Google Scholar 

  7. H. Leblanc, ‘Probabilistic Semantics: An Overview’, in H. Leblanc, R. Stern, and R. D. Gumb (eds.), Essays in Epistemology and Semantics, to appear, Haven Publications, New York.

  8. B.Mates, Elementary Logic (2nd Edn.), Oxford University Press, New York, 1972.

    Google Scholar 

  9. K. R.Popper, The Logic of Scientific Discovery, Basic Books, New York, 1959.

    Google Scholar 

  10. R. M.Smullyan, First-Order Logic, Springer Verlag, New York, 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Welseyan University, Connecticut, USA

    Kent Bendall

Authors
  1. Kent Bendall
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bendall, K. A “definitive” probabilistic semantics for first-order logic. J Philos Logic 11, 255–278 (1982). https://doi.org/10.1007/BF00293430

Download citation

  • Issue Date:

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

Keywords