Probability semantics for quantifier logic

Journal of Philosophical Logic 29 (2):207-239 (2000)
  Copy   BIBTEX

Abstract

By supplying propositional calculus with a probability semantics we showed, in our 1996, that finite stochastic problems can be treated by logic-theoretic means equally as well as by the usual set-theoretic ones. In the present paper we continue the investigation to further the use of logical notions in probability theory. It is shown that quantifier logic, when supplied with a probability semantics, is capable of treating stochastic problems involving countably many trials

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004754819280

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (2):147-165.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
A Model-Theoretic Approach to Some Problems in the Semantics of Empirical Languages.Marian Przełęcki - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, language, and probability. Dordrecht: D. Reidel Pub. Co.. pp. 285--290.
Chapter 1. Probability Functions for Prepositional Logic.Peter Roeper & Hughes Leblanc - 1999 - In Peter Roeper & Hugues Leblanc (eds.), Probability Theory and Probability Semantics. University of Toronto Press. pp. 5-25.
Chapter 10. Relative Probability Functions for Intuitionistic Logic.Peter Roeper & Hughes Leblanc - 1999 - In Peter Roeper & Hugues Leblanc (eds.), Probability Theory and Probability Semantics. University of Toronto Press. pp. 182-190.
Chapter 9. Absolute Probability Functions for Intuitionistic Logic.Peter Roeper & Hughes Leblanc - 1999 - In Peter Roeper & Hugues Leblanc (eds.), Probability Theory and Probability Semantics. University of Toronto Press. pp. 167-181.
Belief-theoretic formal semantics for first-order logic and probability.Kent Bendall - 1979 - Journal of Philosophical Logic 8 (1):375 - 397.
Erratum: Belief-Theoretic Formal Semantics for First-Order Logic and Probability.[author unknown] - 1980 - Journal of Philosophical Logic 9 (3):342-342.

Analytics

Added to PP
2009-01-28

Downloads
122 (#177,804)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the probabilistic convention T.Hannes Leitgeb - 2008 - Review of Symbolic Logic 1 (2):218-224.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (2):147-165.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (3):307-307.

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..
Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.

View all 7 references / Add more references