Logic with a Probability Semantics

both of the two items of interest as evidence? Chapter two enlarges the Probability Logic from the first chapter in two respects: the language now includes quantifiers ("for all," and "there is") whose variables range over atomic sentences, not entities as with standard quantifier logic. (Hence its designation: ontological neutral logic.) A set of axioms for this logic is presented. A new sentential notion the suppositional in essence due to Thomas Bayes, is adjoined to this logic that later becomes the basis for creating a conditional probability logic.Chapter three opens with a set of four postulates for probability on ontologically neutral quantifier language. Many properties are derived and a fundamental theorem is proved, namely, for any probability model (assignment of probability values to all atomic sentences of the language) there will be a unique extension of the probability values to all closed sentences of the language. [Publisher's text]

166342 characters.