Skip to main content
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

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

Instant access to the full article PDF.

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

Authors

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

Navigation