- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Non-Classical Circular Definitions
Australasian Journal of Logic 14 (1) (2017)
Abstract
Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
On empirical status of logical inferences.Marcin Mostowski - 1983 - Bulletin of the Section of Logic 12 (4):181-184.
Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2018 - Journal of Philosophical Logic 47 (5):817-850.
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.
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.
In praise of a logic of definitions that tolerates ω‐inconsistency.Anil Gupta - 2018 - Philosophical Issues 28 (1):176-195.
Revision Rules: An Investigation into Non-Monotonic Inductive Definitions.G. Aldo Antonelli - 1992 - Dissertation, University of Pittsburgh
A Minimal Equational Base For Certain Varieties Of Bck-algebras.Pawel Idziak - 1981 - Bulletin of the Section of Logic 10 (4):152-156.
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
Analytics
Added to PP
2017-04-11
Downloads
48 (#363,633)
6 months
10 (#612,305)
2017-04-11
Downloads
48 (#363,633)
6 months
10 (#612,305)
Historical graph of downloads
Author's Profile
Citations of this work
In praise of a logic of definitions that tolerates ω‐inconsistency.Anil Gupta - 2018 - Philosophical Issues 28 (1):176-195.
References found in this work
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-9b866bbb8-nm99f uwo