Pure Inductive Logic with Functions

Elizabeth Howarth; Jeffrey Paris

doi:10.1017/jsl.2017.49

Pure Inductive Logic with Functions

Elizabeth Howarth
, Jeffrey Paris

Division of Population Health, Health Services Research & Primary Care (L5)

Research output: Contribution to journal › Article › peer-review

215 Downloads (Pure)

Abstract

We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.

Original language	English
Journal	The Journal of Symbolic Logic
Early online date	8 Apr 2019
DOIs	https://doi.org/10.1017/jsl.2017.49
Publication status	Published - 2019

Keywords

Constant exchangeability
Inductive logic
Logical Probability
Rationality
Uncertain Reasoning

Access to Document

10.1017/jsl.2017.49

lw170613fncAccepted author manuscript, 345 KB

Cite this

@article{b97a8d063e8b46a9a043f4b0fe445906,

title = "Pure Inductive Logic with Functions",

abstract = "We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.",

keywords = "Constant exchangeability, Inductive logic, Logical Probability, Rationality, Uncertain Reasoning",

author = "Elizabeth Howarth and Jeffrey Paris",

year = "2019",

doi = "10.1017/jsl.2017.49",

language = "English",

journal = "The Journal of Symbolic Logic",

issn = "1943-5886",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Pure Inductive Logic with Functions

AU - Howarth, Elizabeth

AU - Paris, Jeffrey

PY - 2019

Y1 - 2019

N2 - We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.

AB - We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.

KW - Constant exchangeability

KW - Inductive logic

KW - Logical Probability

KW - Rationality

KW - Uncertain Reasoning

U2 - 10.1017/jsl.2017.49

DO - 10.1017/jsl.2017.49

M3 - Article

SN - 1943-5886

JO - The Journal of Symbolic Logic

JF - The Journal of Symbolic Logic

ER -

Pure Inductive Logic with Functions

Abstract

Keywords

Access to Document

Fingerprint

Cite this