A logic for arguing about probabilities in measure teams

, &
Archive for Mathematical Logic 56 (5-6):475-489 (2017)
  Copy   BIBTEX

Abstract

We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy–Weinberg Principle of biology and the Bell’s Inequalities of quantum physics as examples.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-017-0535-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Dependence logic in pregeometries and ω-stable theories.Gianluca Paolini & Jouko Väänänen - 2016 - Journal of Symbolic Logic 81 (1):32-55.
Past Probabilities.Sven Ove Hansson - 2010 - Notre Dame Journal of Formal Logic 51 (2):207-223.
Probabilities defined on standard and non-standard cylindric set algebras.Miklós Ferenczi - 2015 - Synthese 192 (7):2025-2033.
Quantum Team Logic and Bell’s Inequalities.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2015 - Review of Symbolic Logic 8 (4):722-742.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Counting Measure and Forking in Finite Models. [REVIEW]Tapani Hyttinen - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 265-280.
The Size of a Formula as a Measure of Complexity.Jouko Väänänen & Lauri Hella - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 193-214.
Conditionals, probability, and nontriviality.Charles G. Morgan & Edwin D. Mares - 1995 - Journal of Philosophical Logic 24 (5):455-467.
Conditional probabilities and probabilities given knowledge of a condition.Paul Weirich - 1983 - Philosophy of Science 50 (1):82-95.
Measuring Uncertainty.Sven Ove Hansson - 2009 - Studia Logica 93 (1):21-40.
The Only Real Probabilities in Quantum Mechanics.Nancy Cartwright - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:54-59.
Problems with Priors in Probabilistic Measures of Coherence.David H. Glass - 2005 - Erkenntnis 63 (3):375-385.
Means-end relations and a measure of efficacy.Jesse Hughes, Albert Esterline & Bahram Kimiaghalam - 2006 - Journal of Logic, Language and Information 15 (1-2):83-108.
How Causal Probabilities Might Fit into Our Objectively Indeterministic World.Matthew Weiner & Nuel Belnap - 2006 - Synthese 149 (1):1-36.

Analytics

Added to PP
2017-08-04

Downloads
19 (#753,814)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jouko A Vaananen
University of Helsinki
Gianluca Paolini
University of Amsterdam

Citations of this work

On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
A Finite Axiomatization of G-Dependence.Gianluca Paolini - 2017 - Journal of Logic, Language and Information 26 (3):293-302.

Add more citations

References found in this work

Mendelian proportions in a mixed population.G. H. Hardy - 2014 - In Francisco José Ayala & John C. Avise (eds.), Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
Logical Bell Inequalities.Samson Abramsky & Lucien Hardy - 2012 - Physical Review A 85:062114-1 - 062114-11.

Add more references