The Finite Values Property

Howarth, E. and Paris, J.B. (2017) The Finite Values Property. [MIMS Preprint]

[thumbnail of lw150830GKI.pdf] PDF
lw150830GKI.pdf

Download (347kB)

Abstract

We argue that the simplicity condition on a probability function on sentences of a predicate language $L$ that it takes only finitely many values on the sentences of any finite sublanguage of $L$ can be viewed as rational. We then go on to investigate consequences of this condition, linking it to the model theoretic notion of quantifier elimination.

Item Type: MIMS Preprint
Uncontrolled Keywords: Finite Values Property, Quantifier Elimination, Inductive Logic, Logical Probability, Rationality, Uncertain Reasoning.
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations
Depositing User: Professor Jeff Paris
Date Deposited: 14 Feb 2017
Last Modified: 20 Oct 2017 14:13
URI: https://eprints.maths.manchester.ac.uk/id/eprint/2526

Actions (login required)

View Item View Item