-
151Guest editors' introductionLogic and Logical Philosophy 19 (1-2): 5-6. 2010.A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction
-
Scenari dell’impossibile. La contraddizione nel pensiero contemporaneo (edited book)Il Poligrafo. 2007.
-
776The Firmest of All PrinciplesIn Channa van Dijk, Eva van der Graaf, Michiel den Haan, Rosa de Jong, Christiaan Roodenburg, Dyane Til & Deva Waal (eds.), Under Influence - Philosophical Festival Drift (2014), Omnia. pp. 82-93. 2015.
-
3035Absolute Contradiction, Dialetheism, and RevengeReview of Symbolic Logic 7 (2): 193-207. 2014.Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature o…Read more
St Andrews, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
2 more
| Logic and Philosophy of Logic |
| Formal Epistemology |
| Doxastic and Epistemic Logic |
| Metaphysics |
| Modality |
| Metaontology |
| Philosophy of Computing and Information |