Comparing inductive and circular definitions: Parameters, complexity and games

, , &
Studia Logica 81 (1):79 - 98 (2005)
  Copy   BIBTEX

Abstract

Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-2803-8

Links

PhilArchive



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

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

Research note: 29 1/2 definitions of politics.T. J. Donahue - manuscript
When is circularity in definitions benign?J. A. Burgess - 2007 - Philosophical Quarterly 58 (231):214–233.
Quantifiers, games and inductive definitions.Peter Aczel - 1975 - Journal of Symbolic Logic 82 (2):1--14.
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
The Inductive Support of Inductive Rules: Themes from Max Black.David H. Sanford - 1990 - Dialectica 44 (1‐2):23-41.
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators.Toshiyasu Arai - 2004 - Journal of Symbolic Logic 69 (3):830-850.
Revision Rules: An Investigation into Non-Monotonic Inductive Definitions.G. Aldo Antonelli - 1992 - Dissertation, University of Pittsburgh
Meaning and circular definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.

Analytics

Added to PP
2009-01-28

Downloads
57 (#275,739)

6 months
11 (#225,837)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Benedikt Löwe
University of Amsterdam

Citations of this work

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Solovay-type theorems for circular definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.

View all 6 citations / Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.

View all 19 references / Add more references