Logic of Probability and Conjecture

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
CRALOP
Revision history
Archival date: 2018-01-20
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

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.