Some notes on truths and comprehension
type: Item
instance of: scholarly article
title: Some notes on truths and comprehension
zbMATH Open document ID: 1436.03308
author: Thomas Schindler
published in: Journal of Philosophical Logic
publication date: 2018-07-20T00:00:00Z
full work available at URL: https://www.repository.cam.ac.uk/handle/1810/263886
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6909152
zbMATH Keywords: truth
zbMATH Keywords: second-order arithmetic
zbMATH Keywords: relative interpretations
zbMATH Keywords: definability
MaRDI profile type: Publication
OpenAlex ID: W2591827476
Wikidata QID: Q59615000
cites work: A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES
cites work: The truth is never simple
cites work: On the weak Kleene scheme in Kripke's theory of truth
cites work: Notes on Formal Theories of Truth
cites work: A theory of formal truth arithmetically equivalent to ID1
cites work: Reflecting on incompleteness
cites work: AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
cites work: Truth and paradox
cites work: Truth and reduction
cites work: How innocent is deflationism?
cites work: REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
cites work: Q3005147
cites work: Notes on naive semantics
cites work: Outline of a Theory of Truth
cites work: What truth depends on
cites work: Q4124795
cites work: Elementary induction on abstract structures
cites work: EQUIVALENCES FOR TRUTH PREDICATES
cites work: Proof theory. The first step into impredicativity
cites work: A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
cites work: AXIOMS FOR GROUNDED TRUTH
cites work: A disquotational theory of truth as strong as \(Z_2^-\)
cites work: Q5537599
cites work: Q3395521
cites work: Notes on the computational aspects of Kripke's theory of truth
cites work: Undecidable theories
cites work: Q4215610
cites work: Pairs, sets and sequences in first-order theories
cites work: CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
cites work: On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
cites work: The complexity of the dependence operator
DBLP publication ID: journals/jphil/Schindler18
DOI: 10.1007/S10992-017-9434-1
description: scientific article; zbMATH DE number 6909152