- 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
Probabilistic Logics with Independence and Confirmation
Studia Logica 105 (5):943-969 (2017)
Abstract
The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [14] to obtain several variants of probabilistic logics by adding the operators for independence and confirmation to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discuss decidability issues.My notes
Similar books and articles
Possible Semantics for a Common Framework of Probabilistic Logics.Gregory Wheeler, Jon Williamson, Jan-Willem Romeijn & Rolf Haenni - 2008 - In V. N. Huynh (ed.), International Workshop on Interval Probabilistic Uncertainty and Non-Classical Logics. Springer.
Morgenbesser’s Coin, Counterfactuals, and Causal Versus Probabilistic Independence.Chiwook Won - 2009 - Erkenntnis 71 (3):345 - 354.
Stochastic independence, causal independence, and shieldability.Wolfgang Spohn - 1980 - Journal of Philosophical Logic 9 (1):73 - 99.
De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun.Peter Roeper & Hugues Leblanc - 1997 - Dialogue 36 (1):137-.
Deductively Definable Logies of Induction.John D. Norton - 2010 - Journal of Philosophical Logic 39 (6):617 - 654.
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
Probabilistic Logic and Probabilistic Networks. Haenni, R., Romeijn, J.-W., Wheeler, G. & Williamson, J. - unknown
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
Transitivity and Partial Screening Off.David Atkinson & Jeanne Peijnenburg - 2012 - Theoria 79 (4):294-308.
Confirmation Theory and Confirmation Logic.Chao-Tien Lin - 1988 - Dissertation, The University of British Columbia (Canada)
Probabilistic Grammars and Languages.András Kornai - 2011 - Journal of Logic, Language and Information 20 (3):317-328.
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures.James Hawthorne - 2014 - Studia Logica 102 (4):731-749.
Probabilistic support, probabilistic induction and bayesian confirmation theory.Andres Rivadulla - 1994 - British Journal for the Philosophy of Science 45 (2):477-483.
Analytics
Added to PP
2017-04-10
Downloads
44 (#344,726)
6 months
28 (#103,874)
2017-04-10
Downloads
44 (#344,726)
6 months
28 (#103,874)
Historical graph of downloads
Citations of this work
A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1-2):323-333.
A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.
Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - forthcoming - Annals of Pure and Applied Logic.
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.
Formal Logic, or the Calculus of Inference, Necessary and Probable.Augustus de Morgan - 1847 - London, England: Taylor & Walton.
Some considerations on the logics PFD A logic combining modality and probability.Wiebe van der Hoeck - 1997 - Journal of Applied Non-Classical Logics 7 (3):287-307.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-7c76586df8-l2pxr uwo