Results 11 to 20 of about 367 (91)
Comparing Axiomatic Theories of Truth [PDF]
Studia Semiotyczne, 2019 AT_PUBLICATION
+14 more sources
AXIOMATIZING SEMANTIC THEORIES OF TRUTH? [PDF]
The Review of Symbolic Logic, 2015 AbstractWe discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction.
Fischer, Martin +3 more
openaire +3 more sources
Axiomatizing Kripke's theory of truth
Journal of Symbolic Logic, 2006 AbstractWe investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that
Halbach, Volker, Horsten, Leon
openaire +3 more sources
Relative Truth Definability of Axiomatic Truth Theories
The Bulletin of Symbolic Logic, 2010 AbstractThe present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overviewof recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the ...
openaire +4 more sources
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth [PDF]
Studia Logica, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Axiomatics for Disquotational Truth Theory and Non-Conservativity Argument
Siberian Journal of Philosophy, 2019 The paper considers the possibilities for the axiomatization of disquotational truth theory in perspective of the general S. Shapiro’s non-conservative argument against deflationary concept of truth. It shows that in a generalized formulation, Shapiro’s argument cannot be automatically extended to any axiomatic formulation of the disquotational theory.
openaire +1 more source
Axiomatic theories of supervaluational truth: completing the picture
Supervaluational fixed-point theories of formal truth aim to amend an important shortcoming of fixed-point theories based on the Strong Kleene logic, namely, accounting for the truth of classical validities. In a celebrated paper, Andrea Cantini proposed an axiomatization of one such supervaluational theory of truth, which he called VF, and which ...
Dopico, Pablo, Hayashi, Daichi
openaire +2 more sources
The Holomorphic Architecture: Rotation as Computation --- A Generative AI Foundational Framework
Abstract Contemporary AI processes "rotation" while believing it is processing "points." This cognitive blind spot is not an engineering oversight, but an inevitable consequence of axiomatic limitations: real-number parameter spaces, the separation of ...
openaire +20 more sources
Axiomatic Theories of Truth, Bounded Induction and Reflection Principles
, 2017 151176
openaire +1 more source
Hilbert's Early Metatheory Revisited. [PDF]
ErkenntnisGiovannini EN, Schiemer G.
europepmc +1 more source