Abstract
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in which A and ‘A is truen’ are inter-derivable. In this article, we show how in the context of a weaker logic, which we call Basic De Morgan Logic, we can coherently start with such a fully disquotational truth theory and arrive at a strong compositional truth theory by applying a natural uniform reflection principle a finite number of times.
| Item Type: | Journal article |
|---|---|
| EU Funded Grant Agreement Number: | 675415 |
| EU Projects: | Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement |
| Form of publication: | Publisher's Version |
| Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox |
| Subjects: | 100 Philosophy and Psychology > 100 Philosophy 100 Philosophy and Psychology > 160 Logic |
| ISSN: | 0955-792X |
| Language: | English |
| Item ID: | 41338 |
| Date Deposited: | 06. Dec 2017, 05:31 |
| Last Modified: | 04. Nov 2020, 13:17 |
Actions (login required)
- View Item
