Studia Logica 81 (1):79 - 98 (2005)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 56,081
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- illc.uva.nl (no proxy)
- jstor.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Admissible Sets and Structures: An Approach to Definability Theory.Jon Barwise - 1975 - Springer Verlag.
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.
View all 6 citations / Add more citations
Similar books and articles
When is Circularity in Definitions Benign?J. A. Burgess - 2008 - Philosophical Quarterly 58 (231):214–233.
Quantifiers, Games and Inductive Definitions.Peter Aczel - 1975 - In Stig Kanger (ed.), Journal of Symbolic Logic. Elsevier. pp. 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 index
2009-01-28
Total views
43 ( #232,469 of 2,403,891 )
Recent downloads (6 months)
7 ( #104,980 of 2,403,891 )
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
