# Probabilities on Sentences in an Expressive Logic

*Journal of Applied Logic*11 (4):386-420 (2013)

**Abstract**

Automated reasoning about uncertain knowledge has many applications.
One difficulty when developing such systems is the lack
of a completely satisfactory integration of logic and probability.
We address this problem directly.
Expressive languages like higher-order logic are ideally suited
for representing and reasoning about structured knowledge.
Uncertain knowledge can be modeled by using graded probabilities
rather than binary truth-values.
The main technical problem studied in this paper is the following:
Given a set of sentences, each having some probability of being true,
what probability should be ascribed to other (query) sentences?
A natural wish-list, among others, is that the probability distribution
(i) is consistent with the knowledge base,
(ii) allows for a consistent inference procedure and in particular
(iii) reduces to deductive logic in the limit of probabilities being 0 and 1,
(iv) allows (Bayesian) inductive reasoning and
(v) learning in the limit and in particular
(vi) allows confirmation of universally quantified hypotheses/sentences.
We translate this wish-list into technical requirements for a prior probability
and show that probabilities satisfying all our criteria exist.
We also give explicit constructions and several general
characterizations of probabilities that satisfy some or all of
the criteria and various (counter) examples.
We also derive necessary and sufficient conditions for
extending beliefs about finitely many sentences to suitable
probabilities over all sentences,
and in particular least dogmatic or least biased ones.
We conclude with a brief outlook on how the developed theory might
be used and approximated in autonomous reasoning agents.
Our theory is a step towards a globally consistent and
empirically satisfactory unification of probability and logic.

**Keywords**

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

HUTPOS

**Revision history**

Archival date: 2018-09-06

View upload history

View upload history

References found in this work BETA

Reasoning About Uncertainty.Halpern, Joseph Y.

Completeness in the Theory of Types.Henkin, Leon

A Formulation of the Simple Theory of Types.Church, Alonzo

The Uncertain Reasonerâ€™s Companion.Paris, J. B.

View all 10 references / Add more references

Citations of this work BETA

**Added to PP index**

2016-06-30

**Total views**

34 ( #45,846 of 50,204 )

**Recent downloads (6 months)**

7 ( #45,590 of 50,204 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*