-
No futureJournal of Philosophical Logic 30 (3): 259-265. 2001.The difficulties with formalizing the intensional notions necessity, knowability and omniscience, and rational belief are well-known. If these notions are formalized as predicates applying to (codes of) sentences, then from apparently weak and uncontroversial logical principles governing these notions, outright contradictions can be derived. Tense logic is one of the best understood and most extensively developed branches of intensional logic. In tense logic, the temporal notions future and past…Read more
-
Maximal consistent sets of instances of Tarski’s schemaJournal of Philosophical Logic 21 (3). 1992.
-
Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite AxiomatizabilityJournal of Symbolic Logic 40 (4): 600-601. 1963.
-
Axiomatic Theories of TruthCambridge University Press. 2010.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 re…Read more
Vincent R.B. Blazy
Université de Paris
-
Université de ParisInstitut de Recherche En Informatique FondamentaleDoctoral student
Areas of Specialization
2 more
Science, Logic, and Mathematics |
Mathematical Logic |
Proof Theory |
Formalism in Mathematics |
Objectivity Of Mathematics |
Mathematical Truth |
Undecidability |