Outline of a Theory of Truth
From MaRDI portal
Publication:4523164
DOI10.2307/2024634zbMath0952.03513OpenAlexW46517763WikidataQ56050630 ScholiaQ56050630MaRDI QIDQ4523164
Publication date: 8 January 2001
Published in: The Journal of Philosophy (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/dc290f09d49238ee5972aef045f20207806c737d
Related Items
Dynamic semantics and circular propositions, One hundred years of semantic paradox, Logical predictivism, Inferences and metainferences in \(\mathsf{ST}\), From closure games to strong Kleene truth, Restriction by noncontraction, A syntactic theory of belief and action, Paths to triviality, Comparing fixed-point and revision theories of truth, Supervaluation-style truth without supervaluations, A propositional theory of truth, Some remarks on extending and interpreting theories with a partial predicate for truth, Partial models and logic programming, Truth and the liar in De Morgan-valued models, Descending chains and the contextualist approach to semantic paradoxes, An axiomatic approach to self-referential truth, Languages with self-reference. II: Knowledge, belief, and modality, Tarski on the necessity reading of convention T, Truth, partial logic and infinitary proof systems, A theory of truth that prefers falsehood, I'm OK if you're OK: On the notion of trusting commmunication, Truth and definite truth, \textit{Aletheia} in Greek thought until Aristotle, Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices, Bilattices and the theory of truth, The elimination of self-reference: Generalized Yablo-series and the theory of truth, Dangerous reference graphs and semantic paradoxes, Platitudes against paradox, The paradox of the knower revisited, A logical semantics for depth-first Prolog with ground negation, Permission to speak: a logic for access control and conformance, An algebraic view of super-Belnap logics, Non-monotonic logic. I, Some limitations to the psychological orientation in semantic theory, Some supervaluation-based consequence relations, Why the liar does not matter, A note on three-valued logic and Tarski theorem on truth definitions, Assertoric semantics and the computational power of self-referential truth, Truth and meaning, Unified grounding, A new semantics for vagueness, Provably true sentences across axiomatizations of Kripke's theory of truth, Paradox and logical revision. A short introduction, Norms of truth and logical revision, A note on contraction-free logic for validity, Denial and disagreement, Paradox, repetition, revenge, Self-referential propositions, Three questions for minimalism, This is not an instance of (E), Intuitionism and the liar paradox, Partial inductive definitions, Alternative ways for truth to behave when there's no vicious reference, Propositional discourse logic, Tarski's theorem and the extensionality of truth, A disquotational theory of truth as strong as \(Z_2^-\), Tarskian and Kripkean truth, Stone-type representations and dualities for varieties of bisemilattices, A non-probabilist principle of higher-order reasoning, Sets and supersets, Epistemicism and the liar, On the costs of nonclassical logic, Non-classical elegance for sequent calculus enthusiasts, Monotonic and non-monotonic embeddings of Anselm's proof, Notes on the computational aspects of Kripke's theory of truth, Theories of abstract objects without ad hoc restriction, Associative substitutional semantics and quantified modal logic, Logic, sets, and mathematics, John McCarthy's legacy, Reasoning with truth, On the status of reflection and conservativity in replacement theories of truth, Some notes on truths and comprehension, Principles for object-linguistic consequence: from logical to irreflexive, Reinflating logical consequence, Jump liars and Jourdain's card via the relativized T-scheme, Truth values, neither-true-nor-false, and supervaluations, Two types of deflationism, Partially interpreted relations and partially interpreted quantifiers, Supervaluation fixed-point logics of truth, What is a truth value and how many are there?, Alethic reference, Reference and truth, Notes on naive semantics, Grounding, dependence, and paradox, Logic of paradox revisited, Accepting inconsistencies from the paradoxes, A fixed point theorem for the weak Kleene valuation scheme, Paradox, truth and logic. I. Paradox and truth, Four valued semantics and the Liar, Quantified Quinean \(S5\), Semantic closure, Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!), Fixpoint semantics for logic programming a survey, Property theory: The type-free approach \(v\). The Church approach, How truthlike can a predicate be? A negative result, Contextual-hierarchical reconstructions of the strengthened liar problem, The logics of strict-tolerant logic, What truth depends on, Saving the truth schema from paradox, The intrinsic quantum nature of Nash equilibrium mixtures, Should Deflationists Be Dialetheists?, LF+ in Coq for "fast and loose" reasoning, , , AND REINHARDT’S PROGRAM, THE LATTICE OF SUPER-BELNAP LOGICS, Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond, What is the Church-Turing Thesis?, Reflecting on incompleteness, On the weak Kleene scheme in Kripke's theory of truth, A Tale of Excluding the Middle, Metatheory and dialetheism, THE POWER OF NAIVE TRUTH, MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY, A theory of truth based on a medieval solution to the liar paradox, Foreword: Three-valued logics and their applications, Remarks on the Gupta-Belnap fixed-point property fork-valued clones, A guide to truth predicates in the modern era, BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH, SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS, NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE, GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE, The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework), RAMSIFICATION AND SEMANTIC INDETERMINACY, A theory of properties, Identifying logical evidence, Systems for non-reflexive consequence, The signalman against the glut and gap theorists, TRUTH AND FEASIBLE REDUCIBILITY, A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS, The truth is never simple, A constructive interpretation of the full set theory, Truth meets vagueness. Unifying the semantic and the soritical paradoxes, A new anti-expertise dilemma, A step towards absolute versions of metamathematical results, On the metainferential solution to the semantic paradoxes, Grounding generalizations, Bicontextualism, Varieties of self-reference in metamathematics, On \(\mathcal{F} \)-systems: a graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks, Disquotational truth and analyticity, Anti-exceptionalism, truth and the BA-plan, Substitutional validity for modal logic, The liar paradox and ``meaningless revenge, CLASSICAL DETERMINATE TRUTH I, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Unnamed Item, Vier Philosophen über semantische Paradoxien, Some Philosophical Aspects of Semantic Theory of Truth, On representation of indeterminate identity via vague concepts, MODELS OF POSITIVE TRUTH, A UNIFIED THEORY OF TRUTH AND PARADOX, CAN MODALITIES SAVE NAIVE SET THEORY?, A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES, Guest editors' introduction, LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’, On meaningfulness and truth, Henkin quantifiers and the definability of truth, PROVING UNPROVABILITY, ON THE PROBABILISTIC CONVENTION T, EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE, ON PATHOLOGICAL TRUTHS, A Kripkean approach to unknowability and truth, Fixed points and unfounded chains, SUPER LIARS, Truth as translation. Part A, Semantic paradoxes as equations., First Degree Entailment, Symmetry and Paradox, Believing in semantics, Can deflationists be dialetheists?, The anatytic conception of truth and the foundations of arithmetic, A Note on Kripke’s Observation, Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules, Why Paraconsistent Logics?, Extendability and Paradox, Unfolding Schematic Systems, Feferman and the Truth, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES, FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS, Structure with fast elimination of quantifiers, Axiomatizing Kripke's theory of truth, Games for Truth, Meeting of the Association for Symbolic Logic, Chrysippus Confronts the Liar: The Case for Stoic Cassationism, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, EXCEPTIONAL LOGIC, REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH, Sorites, Curry and Suitable Models, Montague semantics, nominalization and Scott's domains, Explicating the Notion of Truth Within Transparent Intensional Logic, INFINITARY TABLEAU FOR SEMANTIC TRUTH, AXIOMATIZING SEMANTIC THEORIES OF TRUTH?, AUTOLOGY OF TIME*, The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions, Toward useful type-free theories. I, EQUIVALENCES FOR TRUTH PREDICATES, Did Descartes make a diagonal argument?, A contextual-hierarchical approach to truth and the liar paradox, On revision operators, CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH, Relative Truth Definability of Axiomatic Truth Theories, Outline of an intensional theory of truth, Autonomous progression and transfinite iteration of self-applicable truth, Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth., Yablo's paradox in second-order languages: consistency and unsatisfiability, Truth, dependence and supervaluation: living with the ghost, The strong completeness of a system based on Kleene's strong three-valued logic, On cut-elimination arguments for axiomatic theories of truth, Truth and the Liar, A unified approach to semantic and soritical paradoxes, Truth, reflection and hierarchies, Levels of truth, An approach to uncertainty via sets of truth values, Arithmetic with satisfaction, A theory of formal truth arithmetically equivalent to ID1, Adding a conditional to Kripke's theory of truth, A pragmatic dissolution of Curry's paradox, Meeting of the Association for Symbolic Logic, Chicago, 1989, A remark on probabilistic measures of coherence, SOME OBSERVATIONS ON TRUTH HIERARCHIES, LOGICAL GROUNDS, AXIOMS FOR GROUNDED TRUTH, MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD, NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES, A contingent Russell's paradox, TRUTH WITHOUT CONTRA(DI)CTION, A new conditional for naive truth theory, Revision without revision sequences: circular definitions, Truth, predication and a family of contingent paradoxes, Instability and contraction. \textit{Méditations hégéliennes}. I, Fixed-point posets in theories of truth, One step is enough, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Monstrous content and the bounds of discourse, In defense of logical universalism: taking issue with Jean van Heijenoort, Truthier Than Thou: Truth, Supertruth and Probability of Truth, Paradoxes and the limits of theorizing about propositional attitudes, Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Notes on models of (partial) Kripke-Feferman truth, A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences, How truth behaves when there's no vicious reference, Variations on a Montagovian theme, Montague's paradox, informal provability, and explicit modal logic, Fitch's paradox and probabilistic antirealism, Degrees of Validity and the Logical Paradoxes, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, How to eliminate self-reference: a précis, The Operational Perspective: Three Routes, Paraconsistent or Paracomplete?, Some Comments and Replies, Comparing more revision and fixed-point theories of truth, Structural weakening and paradoxes, Mathematical perspectives on liar paradoxes, Disquotation and infinite conjunctions, Revision without revision sequences: self-referential truth, Ungroundedness in Tarskian languages, ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH, AXIOMS FOR DETERMINATENESS AND TRUTH, Speech acts, categoricity, and the meanings of logical connectives, Proper classes, Reference, paradoxes and truth, Against stepping back: A critique of contextualist approaches to the semantic paradoxes, Notes on Leitgeb's Ruitenburg, INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH, Noncontractive classical logic, Time and logic: A calculus of binary events, The implicit commitment of arithmetical theories and its semantic core, Paradoxical hypodoxes, A revenge-immune solution to the semantic paradoxes, Possible-worlds semantics for modal notions conceived as predicates, Minimalism, supervaluations and fixed points, Truthmaker maximalism and the truthmaker paradox, A note on Horwich's notion of grounding, INEFFABILITY AND REVENGE, BUNDER’S PARADOX, T-EQUIVALENCES FOR POSITIVE SENTENCES, MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY, Deflationary truth and the Liar, FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO, TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX, PARADOXES OF INTENSIONALITY, Key notions of Tarski's methodology of deductive systems, Ternary Equational Languages, Non-deterministic logic of informal provability has no finite characterization, Vagueness and blurry sets, Generalizing Montague's theorem on recursive definitions, Cut elimination for systems of transparent truth with restricted initial sequents, Validities, antivalidities and contingencies: a multi-standard approach, Non-reflexivity and revenge, A modern elaboration of the ramified theory of types, Truth and the philosophy of mathematics, Truth and paradox, An update of Tarski: two usages of the word ``true, Naive infinitism: the case for an inconsistency approach to infinite collections, Extending the first-order theory of combinators with self-referential truth, Mechanism, truth, and Penrose's new argument
