Studia Logica 81 (1):79 - 98 (2005)

Authors
Benedikt Löwe
University of Amsterdam
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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1007/s11225-005-2803-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,081
Through your library

References found in this work BETA

Patterns of Paradox.Roy T. Cook - 2004 - Journal of Symbolic Logic 69 (3):767-774.
The Truth is Never Simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.

View all 16 references / Add more references

Citations of this work BETA

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
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

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
43 ( #232,469 of 2,403,891 )

Recent downloads (6 months)
7 ( #104,980 of 2,403,891 )

How can I increase my downloads?

Downloads

My notes