34 found
Sort by:
  1. Volker Halbach, Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality (with Philip Welch), Mind, to Appear.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Volker Halbach & Philip Welch, Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Volker Halbach, Aksjomatyczne Teorie Prawdy.
    No categories
     
    My bibliography  
     
    Export citation  
  4. Volker Halbach (2012). AG Burgess and JP Burgess, Truth. Bulletin of Symbolic Logic 18 (2):271.
     
    My bibliography  
     
    Export citation  
  5. Volker Halbach (2010). The Logic Manual. Oxford University Press.
    The Logic Manual is a clear and concise introduction to logic for beginning philosophy students.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Volker Halbach (2009). On the Benefits of a Reduction of Modal Predicates to Modal Operators. In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. 323--333.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Volker Halbach (2009). Reducing Compositional to Disquotational Truth. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Volker Halbach, Axiomatic Theories of Truth. 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)  
     
    My bibliography  
     
    Export citation  
  9. Volker Halbach (2008). On a Side Effect of Solving Fitch's Paradox by Typing Knowledge. Analysis 68 (2):114 - 120.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Volker Halbach & Leon Horsten (2008). The Deflationists' Axioms for Truth. In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Oup Oxford.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Volker Halbach (2006). How Not to State T-Sentences. Analysis 66 (4):276–280.
    No categories
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  12. Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Bernd Buldt, Volker Halbach & Reinhard Kahle (2005). Reflections on Frege and Hilbert. Synthese 147 (1):1 - 2.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Volker Halbach & Leon Horsten (2005). Computational Structuralism. 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 (nonstandard) 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. (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  15. Volker Halbach (2003). Can We Grasp Consistency?. In. In Olsson Erik (ed.), The Epistemology of Keith Lehrer. Kluwer. 75--87.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Volker Halbach (2003). Löwe Benedikt and Welch Philip. Set-Theoretic Absoluteness and the Revision Theory. Studia Logica, Vol. 68 (2001), Pp. 21–41. Löwe Benedikt. Revision Sequences and Computers with an Infinite Amount of Time. Journal of Logic and Computation, Vol. 11 (2001), Pp. 25–40. [REVIEW] Bulletin of Symbolic Logic 9 (2):235-237.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Volker Halbach, Hannes Leitgeb & Philip Welch (2003). Possible-Worlds Semantics for Modal Notions Conceived as Predicates. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  18. Luc Lismont, Philippe Mongin, Strong Completeness, Volker Halbach, Hannes Leitgeb, Philip Welch, Francis Jeffry Pelletier, Alasdair Urquhart & Synonymous Logics (2003). Philip G. Calabrese/Operating on Functions with Variable Domains 1–18 Stewart Shapiro/Mechanism, Truth, and Penrose's New Argu-Ment 19–42 Steven E. Boër/Thought-Contents and the Formal Ontology Of. [REVIEW] Journal of Philosophical Logic 32:667-668.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. B. Lowe, P. Welch & Volker Halbach (2003). REVIEWS-Two Papers of B. Lowe and P. Welch. Bulletin of Symbolic Logic 9 (2):235-236.
    No categories
     
    My bibliography  
     
    Export citation  
  20. Volker Halbach (2002). War Descartes Erkenntnistheoretischer Voluntarist? Zeitschrift für Philosophische Forschung 56 (4):545 - 562.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Volker Halbach (2002). Review: Lev D. Beklemishev, Induction Rules, Reflection Principles, and Provably Recursive Functions. [REVIEW] Bulletin of Symbolic Logic 8 (2):302-303.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Volker Halbach & Leon Horsten (eds.) (2002). Principles of Truth. Hänsel-Hohenhausen.
  23. Volker Halbach (2001). Disquotational Truth and Analyticity. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  24. Volker Halbach (2001). Editorial Introduction. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Volker Halbach (2001). How Innocent is Deflationism? Synthese 126 (1-2):167 - 194.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Volker Halbach (2000). Truth and Reduction. 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.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Volker Halbach (1999). Conservative Theories of Classical Truth. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  28. Volker Halbach (1999). Disquotationalism and Infinite Conjunctions. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Volker Halbach (1999). On Lehrer's Principle of Trustworthiness. Erkenntnis 50 (2/3):259 - 272.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Volker Halbach & Erik J. Olsson (1999). Coherence and Dynamics of Belief. Erkenntnis 50.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Volker Halbach & Erik J. Olsson (1999). Editorial Overview. Erkenntnis 50 (2-3):149-153.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Volker Halbach (1997). Tarskian and Kripkean Truth. 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)  
     
    My bibliography  
     
    Export citation  
  33. Volker Halbach (1995). Tarski Hierarchies. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Volker Halbach (1994). A System of Complete and Consistent Truth. 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)  
     
    My bibliography  
     
    Export citation