- 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
Fixed-Point Posets in Theories of Truth
Journal of Philosophical Logic (1) (2019)
Abstract
We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.Author's Profile
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
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
A fixed point theorem for the weak Kleene valuation scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
Fixed-Point Models for Theories of Properties and Classes.Greg Restall - 2017 - Australasian Journal of Logic 14 (1).
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.
Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.
Two kinds of fixed point theorems and reverse mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.
Analytics
Added to PP
2018-08-26
Downloads
654 (#24,355)
6 months
118 (#28,656)
2018-08-26
Downloads
654 (#24,355)
6 months
118 (#28,656)
Historical graph of downloads
Author's Profile
References found in this work
Semantics and the liar paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property.José Martínez Fernández - 2007 - Notre Dame Journal of Formal Logic 48 (4):449-472.
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-67c5d994d4-wzg2g uwo