- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A decision procedure for probability calculus with applications
Review of Symbolic Logic 1 (1):111-125 (2008)
Abstract
(new version: 10/30/07). Click here to download the companion Mathematica 6 notebook that goes along with this paper.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- fitelson.org (no proxy)
- fitelson.s464.sureserver.com (no proxy)
- journals.cambridge.org (no proxy)
- journals.cambridge.org [2] (no proxy)
- journals.cambridge.org [3] (no proxy)
- journals.cambridge.org [4] (no proxy)
- journals.cambridge.org [5] (no proxy)
- journals.cambridge.org [6] (no proxy)
- cambridge.org (no proxy)
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 , pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 , pp. 348–356. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101.
A Semi-Decision Procedure for the Functional Calculus.Joyce Friedman - 1964 - Journal of Symbolic Logic 29 (2):101-101.
Decision Procedure for Modal Sentential Calculus S3.Kazuo Matsumoto - 1975 - Journal of Symbolic Logic 40 (3):468-468.
Book Review: Luc Bovens and Stephan Hartmann "Bayesian Epistemology".Branden Fitelson - 2005 - Mind 114 (454):394-400.
Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926.Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Gentzen-type sequent calculus for modal logic S5.R. Alonderis & H. Giedra - 2025 - Logic Journal of the IGPL 33 (3).
Analytics
Added to PP
2009-01-28
Downloads
239 (#171,571)
6 months
32 (#272,931)
2009-01-28
Downloads
239 (#171,571)
6 months
32 (#272,931)
Historical graph of downloads
Author's Profile
Citations of this work
Accuracy, Coherence and Evidence.Branden Fitelson & Kenny Easwaran - 2015 - Oxford Studies in Epistemology 5:61-96.
Algorithmic Fairness Criteria as Evidence.Will Fleisher - 2026 - Ergo: An Open Access Journal of Philosophy.
Precise Credences.Michael Titelbaum - 2019 - In Richard Pettigrew & Jonathan Weisberg, The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 1-55.
References found in this work
The plurality of bayesian measures of confirmation and the problem of measure sensitivity.Branden Fitelson - 1999 - Philosophy of Science 66 (3):378.
Studies in Bayesian Confirmation Theory.Branden Fitelson - 2001 - Dissertation, University of Wisconsin, Madison
A Bayesian Account of Independent Evidence with Applications.Branden Fitelson - 2001 - Philosophy of Science 68 (S3):S123-S140.
A bayesian account of independent evidence with applications.Branden Fitelson - 2000 - Proceedings of the Philosophy of Science Association 2001 (3):S123-.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation