Revision Without Revision Sequences: Circular Definitions

Journal of Philosophical Logic 48 (1):57-85 (2019)
  Copy   BIBTEX

Abstract

The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendumP occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, they develop in this book one general theory of definitions based on revision sequences, namely, ordinal-length iterations of the operator which is induced by the definition of the predicate. Gupta-Belnap’s approach to circular definitions has been criticised, among others, by D. Martin and V. McGee. Their criticisms point to the logical complexity of revision sequences, to their relations with ordinary mathematical practice, and to their merits relative to alternative approaches. I will present an alternative general theory of definitions, based on a combination of supervaluation and ω-length revision, which aims to address some criticisms raised against revision sequences, while preserving the philosophical and mathematical core of revision.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,377

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Vagueness and revision sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
Finite Circular Definitions.Anil Gupta - 2008 - In Thomas Bolander (ed.), Self-reference. Center for the Study of Language and Inf. pp. 79-93.
Comparing More Revision and Fixed-Point Theories of Truth.Qiqing Lin & Hu Liu - 2021 - Journal of Philosophical Logic 50 (4):615-671.
Meaning and circular definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.

Analytics

Added to PP
2018-08-25

Downloads
60 (#284,519)

6 months
20 (#183,821)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edoardo Rivello
Università di Torino

Citations of this work

Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.

View all 28 references / Add more references