70 found
Order:
  1. Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
    Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   80 citations  
  2.  46
    On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
    Solutions to semantic paradoxes often involve restrictions of classical logic for semantic vocabulary. In the paper we investigate the costs of these restrictions in a model case. In particular, we fix two systems of truth capturing the same conception of truth: of the system KF of Feferman formulated in classical logic, and the system PKF of Halbach and Horsten, formulated in basic De Morgan logic. The classical system is known to be much stronger than the nonclassical one. We assess the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3. Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
    We 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 can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  4. Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    We 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. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  5.  61
    Self-Reference in Arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  6.  78
    Disquotationalism and Infinite Conjunctions.Volker Halbach - 1999 - Mind 108 (429):1-22.
    According to the disquotationalist theory of truth, the Tarskian equivalences, conceived as axioms, yield all there is to say about truth. Several authors have claimed that the expression of infinite conjunctions and disjunctions is the only purpose of the disquotationalist truth predicate. The way in which infinite conjunctions can be expressed by an axiomatized truth predicate is explored and it is considered whether the disquotationalist truth predicate is adequate for this purpose.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  7. How Innocent Is Deflationism?Volker Halbach - 2001 - Synthese 126 (1):167-194.
  8.  61
    The Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Noûs 54 (2):431-450.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  89
    A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
    To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  10. Possible-Worlds Semantics for Modal Notions Conceived as Predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
    If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  11.  78
    Reducing Compositional to Disquotational Truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
    Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  12.  57
    Yablo Without Gödel.Volker Halbach & Shuoying Zhang - 2017 - Analysis 77 (1):53-59.
    We prove Yablo’s paradox without the diagonal lemma or the recursion theorem. Only a disquotation schema and axioms for a serial and transitive ordering are used in the proof. The consequences for the discussion on whether Yablo’s paradox is circular or involves self-reference are evaluated.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Computational Structuralism &Dagger.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.
    According to structuralism in philosophy of mathematics, arithmetic is about a single structure. First-order theories are satisfied by models that do not instantiate this structure. Proponents of structuralism have put forward various accounts of how we succeed in fixing one single structure as the intended interpretation of our arithmetical language. We shall look at a proposal that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. On (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  85
    On a Side Effect of Solving Fitch's Paradox by Typing Knowledge.Volker Halbach - 2008 - Analysis 68 (2):114-120.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  15.  5
    A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.
    To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation φ/Tφ and conecessitation T φ/φ and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is w-inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  16.  33
    Self-Reference in Arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  63
    Conservative Theories of Classical Truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
    Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of [2] are conservative over PA.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  18.  94
    Disquotational Truth and Analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
    The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  19. The Logic Manual.Volker Halbach - 2010 - Oxford University Press.
  20. Tarskian and Kripkean Truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.
    A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtained.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  21.  20
    Principles of Truth.Volker Halbach & Leon Horsten (eds.) - 2002 - Hänsel-Hohenhausen.
    On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated logical theories of truth and the paradoxes. Recent developments in logical theories of the semantical paradoxes are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect and promote deeper interaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22.  14
    Axiomatische Wahrheitstheorien.Volker Halbach - 1999 - Studia Logica 63 (1):138-140.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  23.  55
    Truth and Reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
    The proof-theoretic results on axiomatic theories oftruth obtained by different authors in recent years are surveyed.In particular, the theories of truth are related to subsystems ofsecond-order analysis. On the basis of these results, thesuitability of axiomatic theories of truth for ontologicalreduction is evaluated.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24. How Not to State T-Sentences.Volker Halbach - 2006 - Analysis 66 (4):276–280.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  91
    Tarski Hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.
    The general notions of object- and metalanguage are discussed and as a special case of this relation an arbitrary first order language with an infinite model is expanded by a predicate symbol T0 which is interpreted as truth predicate for . Then the expanded language is again augmented by a new truth predicate T1 for the whole language plus T0. This process is iterated into the transfinite to obtain the Tarskian hierarchy of languages. It is shown that there are natural (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  17
    How Not to State T-Sentences.Volker Halbach - 2006 - Analysis 66 (4):276-280.
  27.  16
    Modalized Disquotationalism.Volker Halbach - 2003 - In Leon Horsten & Volker Halbach (eds.), Principles of Truth. De Gruyter. pp. 75-102.
  28.  7
    Disquotational Truth and Analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
    The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  8
    Coherence and Dynamics of Belief.Volker Halbach & Erik J. Olsson - 1999 - Erkenntnis 50 (2-3):149-153.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  21
    Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.
    In this note two propositions about the epistemic formalization of Church's Thesis are proved. First it is shown that all arithmetical sentences deducible in Shapiro's system EA of Epistemic Arithmetic from ECT are derivable from Peano Arithmetic PA + uniform reflection for PA. Second it is shown that the system EA + ECT has the epistemic disjunction property and the epistemic numerical existence property for arithmetical formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  7
    On the Benefits of a Reduction of Modal Predicates to Modal Operators.Volker Halbach - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 323--333.
  32.  35
    War Descartes Erkenntnistheoretischer Voluntarist?Volker Halbach - 2002 - Zeitschrift für Philosophische Forschung 56 (4):545 - 562.
    Nach Auffassung einiger Autoren wie Alvin Goldman und William Alston setzt normative Erkenntnistheorie einen erkenntnistheoretischen Voluntarismus voraus, der besagt, daß epistemische Verhaltensweisen wie Glauben, Urteilen, Urteilsenthaltung willentliche Handlungen sind. Normen können dann auf diese Verhaltensweisen einwirken, indem wir den Normen willentlich Folge leisten. Gegen diesen Voluntarismus spricht aber die Beobachtung, daß epistemische Verhaltensweisen in den meisten Fällen keine willentlichen Handlungen sind. Descartes' wurde von beiden genannten Autoren als ein typischer Vertreter eines normativen Ansatzes angesehen, der diesen unhaltbaren Voluntarismus voraussetzt. Ich (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  7
    `Contemporary Methods for Investigating the Concept of Truth – An Introduction'.Leon Horsten & Volker Halbach - 2003 - In Leon Horsten & Volker Halbach (eds.), Principles of Truth. De Gruyter. pp. 11-36.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  40
    Editorial Introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
    I survey some important semantical and axiomatic theories of self-referential truth. Kripke's fixed-point theory, the revision theory of truth and appraoches involving fuzzy logic are the main examples of semantical theories. I look at axiomatic theories devised by Cantini, Feferman, Freidman and Sheard. Finally some applications of the theory of self-referential truth are considered.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  37
    Reflections on Frege and Hilbert.Bernd Buldt, Volker Halbach & Reinhard Kahle - 2005 - Synthese 147 (1):1-2.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  95
    Reflections On Frege And Hilbert.Bernd Buldt, Volker Halbach & Reinhard Kahle - 2005 - Synthese 147 (1):1-2.
  37. AG Burgess and JP Burgess, Truth.Volker Halbach - 2012 - Bulletin of Symbolic Logic 18 (2):271.
  38.  15
    Alexis G. Burgess and John P. Burgess. Truth. Princeton Foundations of Contemporary Philosophy. Princeton University Press, Princeton, 2011, Xiv + 158 Pp. [REVIEW]Volker Halbach - 2012 - Bulletin of Symbolic Logic 18 (2):271-272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Axiomatic Theories of Truth.Volker Halbach - 2011 - Cambridge University Press.
    At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the (...)
     
    Export citation  
     
    Bookmark   59 citations  
  40. Aksjomatyczne Teorie Prawdy.Volker Halbach - 2013
    No categories
     
    Export citation  
     
    Bookmark  
  41. Axiomatische Wahrheitstheorien.Volker Halbach - 1996 - De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  42.  27
    Benedikt Löwe and Philip Welch. Set-Theoretic Absoluteness and the Revision Theory. Studia Logica, Vol. 68 , Pp. 21–41. - Benedikt Löwe. Revision Sequences and Computers with an Infinite Amount of Time. Journal of Logic and Computation, Vol. 11 , Pp. 25–40. [REVIEW]Volker Halbach - 2003 - Bulletin of Symbolic Logic 9 (2):235-237.
  43.  5
    Classical Symmetric Truth.Volker Halbach - 1997 - In Julian Nida-Rümelin & Georg Meggle (eds.), Analyomen 2, Volume I: Logic, Epistemology, Philosophy of Science. De Gruyter. pp. 87-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  12
    Can We Grasp Consistency?Volker Halbach - 2003 - In Olsson Erik (ed.), The Epistemology of Keith Lehrer. Kluwer Academic Publishers. pp. 75--87.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  16
    Editorial Overview.Volker Halbach & Erik J. Olsson - 1999 - Erkenntnis 50 (2-3):149-153.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  28
    Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
    Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters. Variants of this definition of logical consequence are given: logical validity can be defined with or without identity as a logical constant, and quantifiers can be relativized in substitution instances or not. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  22
    Induction Rules, Reflection Principles, and Provably Recursive Functions.Volker Halbach & Lev D. Beklemishev - 2002 - Bulletin of Symbolic Logic 8 (2):302.
  48. Kapitel II. Die Basistheorie.Volker Halbach - 1996 - In Axiomatische Wahrheitstheorien. De Gruyter. pp. 15-29.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  3
    Kapitel I. Grundlagen.Volker Halbach - 1996 - In Axiomatische Wahrheitstheorien. De Gruyter. pp. 1-14.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  1
    Kapitel III. Klassische Wahrheitstheorien.Volker Halbach - 1996 - In Axiomatische Wahrheitstheorien. De Gruyter. pp. 30-64.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 70