Pure inductive logic with functions

&
Journal of Symbolic Logic 84 (4):1382-1402 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.49

Links

PhilArchive



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

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

An Analogy Principle in Inductive Logic.A. Hill & J. B. Paris - 2013 - Annals of Pure and Applied Logic 164 (12):1293-1321.
Six Problems in Pure Inductive Logic.J. B. Paris & A. Vencovská - 2019 - Journal of Philosophical Logic 48 (4):731-747.
A Note on Binary Inductive Logic.C. J. Nix & J. B. Paris - 2007 - Journal of Philosophical Logic 36 (6):735-771.
Second Order Inductive Logic and Wilmers' Principle.M. S. Kliess & J. B. Paris - 2014 - Journal of Applied Logic 12 (4):462-476.
An examination of the SEP candidate analogical inference rule within pure inductive logic.E. Howarth, J. B. Paris & A. Vencovská - 2016 - Journal of Applied Logic 14:22-45.
Predicate Exchangeability and Language Invariance in Pure Inductive Logic.M. S. Kliess & J. B. Paris - 2014 - Logique Et Analyse 57 (228):513-540.
Combining Analogical Support in Pure Inductive Logic.J. B. Paris & A. Vencovská - 2016 - Erkenntnis (2):01-19.
A Note on Irrelevance in Inductive Logic.Jeff B. Paris & Alena Vencovská - 2011 - Journal of Philosophical Logic 40 (3):357 - 370.
Some Aspects of Polyadic Inductive Logic.Jürgen Landes, Jeff Paris & Alena Vencovská - 2008 - Studia Logica 90 (1):3-16.
Principles of Remembering and Forgetting.E. Howarth & J. B. Paris - 2014 - Logique Et Analyse 57 (228):489-511.
A Rapprochement Between Deductive And Inductive Logic.Donald Gillies - 1994 - Logic Journal of the IGPL 2 (2):149-166.
A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic.Jürgen Landes, Jeff B. Paris & Alena Vencovská - 2010 - Annals of Pure and Applied Logic 161 (6):800-811.
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
A slow growing analogue to buchholz' proof.Toshiyasu Arai - 1991 - Annals of Pure and Applied Logic 54 (2):101-120.

Analytics

Added to PP
2019-04-10

Downloads
22 (#662,974)

6 months
6 (#403,662)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jeffrey Paris
University of Manchester
Jeffrey Paris
University of San Francisco

Citations of this work

Six Problems in Pure Inductive Logic.J. B. Paris & A. Vencovská - 2019 - Journal of Philosophical Logic 48 (4):731-747.

Add more citations

References found in this work

No references found.

Add more references