Logic of Probability and Conjecture

Authors
Harry Crane
Rutgers University - New Brunswick
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 probability  logic  intuitionism  type theory  homotopy type theory  univalent foundations  evidence  intensional logic
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
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.

Analytics

Added to PP index
2018-01-20

Total downloads
235 ( #20,966 of 2,287,589 )

Recent downloads (6 months)
114 ( #2,564 of 2,287,589 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature