Second Order Inductive Logic and Wilmers' Principle

&
Journal of Applied Logic 12 (4):462-476 (2014)
  Copy   BIBTEX

Abstract

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Second order inductive logic and Wilmers' principle.M. S. Kließ & J. B. Paris - 2014 - Journal of Applied Logic 12 (4):462-476.
A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (2):339-350.
An Analogy Principle in Inductive Logic.A. Hill & J. B. Paris - 2013 - Annals of Pure and Applied Logic 164 (12):1293-1321.
A Note on Irrelevance in Inductive Logic.Jeff B. Paris & Alena Vencovská - 2011 - Journal of Philosophical Logic 40 (3):357 - 370.
An Inductive Modal Approach for the Logic of Epistemic Inconsistency.Ricardo Silvestre - 2010 - Abstracta 6 (1):136-155.
A Note on Binary Inductive Logic.C. J. Nix & J. B. Paris - 2007 - Journal of Philosophical Logic 36 (6):735-771.
Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
The theory of spectrum exchangeability.E. Howarth & J. B. Paris - 2015 - Review of Symbolic Logic 8 (1):108-130.
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.Fernando Ferreira - 2020 - Annals of Pure and Applied Logic 171 (9):102843.
Models with second order properties V: A general principle.Saharon Shelah, Claude Laflamme & Bradd Hart - 1993 - Annals of Pure and Applied Logic 64 (2):169-194.

Analytics

Added to PP
2017-02-03

Downloads
349 (#60,915)

6 months
63 (#81,648)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references