Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Volker Halbach"'
Autor:
Volker Halbach, Leon Horsten
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 t
Autor:
Volker Halbach
Publikováno v:
Notre Dame J. Formal Logic 61, no. 2 (2020), 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 pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf6e033f4c92104beaa6757144157e87
https://ora.ox.ac.uk/objects/uuid:1d770ff9-54d1-4e72-9759-3e2ce5374bd4
https://ora.ox.ac.uk/objects/uuid:1d770ff9-54d1-4e72-9759-3e2ce5374bd4
Autor:
Volker Halbach
Publikováno v:
Noûs. 54:431-450
A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6cee774bf796953b3f7c54d4bd720ec
https://doi.org/10.1111/nous.12256
https://doi.org/10.1111/nous.12256
Autor:
Carlo Nicolai, Volker Halbach
Publikováno v:
Journal of Philosophical Logic
Halbach, V & Nicolai, C 2018, ' On the Costs of Nonclassical Logic ', JOURNAL OF PHILOSOPHICAL LOGIC, vol. 47, no. 2, pp. 227-257 . https://doi.org/10.1007/s10992-017-9424-3
Halbach, V & Nicolai, C 2018, ' On the Costs of Nonclassical Logic ', JOURNAL OF PHILOSOPHICAL LOGIC, vol. 47, no. 2, pp. 227-257 . https://doi.org/10.1007/s10992-017-9424-3
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 concepti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8b5de745940c37f59c82b3aa7b2a2d8
https://doi.org/10.1007/s10992-017-9424-3
https://doi.org/10.1007/s10992-017-9424-3
Publikováno v:
Fischer, M, Halbach, V, Kriener, J & Stern, J 2015, ' Axiomatizing Semantic Theories of Truth? ', Review of Symbolic Logic, vol. 8, no. 2, pp. 257-278 . https://doi.org/10.1017/S1755020314000379
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a06d76484c7f2a60b8ba0b43a464fa6
https://doi.org/10.1017/s1755020314000379
https://doi.org/10.1017/s1755020314000379
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319633329
We outline some of Feferman’s main contributions to the theory of truth and the motivations behind them. In particular, we sketch the role truth can play in the foundations of mathematics and in the formulation of reflection principles, systems of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59434356d907baffd811c180731b5626
https://doi.org/10.1007/978-3-319-63334-3_11
https://doi.org/10.1007/978-3-319-63334-3_11
Autor:
Shuoying Zhang, Volker Halbach
Publikováno v:
Analysis. 77(1)
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 circ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97e3f6f882ef21ea2cbd07deca27aba9
http://ora.ox.ac.uk/objects/uuid:45baabf3-cf71-44c0-ad0d-88b27909b229
http://ora.ox.ac.uk/objects/uuid:45baabf3-cf71-44c0-ad0d-88b27909b229
Autor:
Volker Halbach
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 co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a55bd9337b159ff02cfbf1f1a733caff
https://ora.ox.ac.uk/objects/uuid:f6ba1919-6747-4683-98d5-bc5e5e78479c
https://ora.ox.ac.uk/objects/uuid:f6ba1919-6747-4683-98d5-bc5e5e78479c
Autor:
Volker Halbach
a sufficiently robust metaphysics of propositions to justify accepting (1) while rejecting (3). More subtle is to reject the classical picture of truth and modality which is used in establishing (5) and (6). If you take that line you need to apprecia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::325fa738bb66b2d5af1eb70faeb5c81c
https://ora.ox.ac.uk/objects/uuid:30d91466-c998-43c5-a04c-03ec515a6a97
https://ora.ox.ac.uk/objects/uuid:30d91466-c998-43c5-a04c-03ec515a6a97