# Logic of Probability and Conjecture

**Abstract**

I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining a 'probability type' on top of the existing machinery of MLTT, whose inhabitants represent pieces of evidence in favor of a proposition. One upshot of this approach is the potential for a mathematical formalism which treats 'conjectures' as mathematical objects in their own right. Other intuitive properties of evidence occur as theorems in this formalism.

**Keywords**

**Categories**

**PhilPapers/Archive ID**

CRALOP

**Revision history**

Archival date: 2018-01-20

View upload history

View upload history

References found in this work BETA

On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David

Citations of this work BETA

No citations found.

**Added to PP index**

2018-01-20

**Total views**

472 ( #8,849 of 50,323 )

**Recent downloads (6 months)**

80 ( #6,444 of 50,323 )

How can I increase my downloads?

**Downloads since first upload**

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