2015/09/06 by Tapani Hyttinen, Hyttinen, Tapani, Gianluca Paolini +4
Arts and Humanities · Mathematics · Physics and Astronomy · Psychology · #03B48 #FOS: Mathematics #Logic (math.LO) #Philosophy and History of Science #Philosophy and Theoretical Science #Quantum Mechanics and Applications #math.LO #msc:03B48
paper · pdf · doi:10.48550/arxiv.1509.01812
openalex publication_date 2015/09/06 · arxiv created 2016/09/08 · arxiv updated 2016/09/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.