Logic of Probability and Conjecture

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 probability  logic  intuitionism  type theory  homotopy type theory  univalent foundations  evidence  intensional logic
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Conditionalizing on Knowledge.Timothy Williamson - 1998 - British Journal for the Philosophy of Science 49 (1):89-121.
Probability Logic of Finitely Additive Beliefs.Chunlai Zhou - 2010 - Journal of Logic, Language and Information 19 (3):247-282.
Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Probability Logic and Combining Evidence.Theodore Hailperin - 2006 - History and Philosophy of Logic 27 (3):249-269.
Added to PP index

Total downloads
73 ( #79,129 of 2,214,489 )

Recent downloads (6 months)
73 ( #3,001 of 2,214,489 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature