-
3235Hegel's dialectics as a semantic theory: An analytic readingEuropean Journal of Philosophy 15 (1). 2007.
-
489There’s Plenty of Boole at the Bottom: A Reversible CA Against Information EntropyMinds and Machines 26 (4): 341-357. 2016.“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, dis…Read more
-
748On Conceiving the InconsistentProceedings of the Aristotelian Society 114 (1pt1): 103-121. 2014.I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossibl…Read more
-
1572Impossible worlds and propositions: Against the parity thesisPhilosophical Quarterly 60 (240): 471-486. 2010.Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impo…Read more
-
896Coincident Entities and Question-Begging Predicates: an Issue in Meta-OntologyMetaphysica 14 (1): 1-15. 2013.Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident ent…Read more
-
537The Selection ProblemRevue Internationale de Philosophie 262 (4): 519-537. 2012.In 'Fiction and Fictionalism', Mark Sainsbury has recently dubbed “Selection Problem” a serious trouble for Meinongian object theories. Typically, Meinongianism has been phrased as a kind of realism on nonexistent objects : these are mind-independent things, not mental simulacra, having the properties they have independently from the activity of any cognitive agent. But how can one single out an object we have no causal acquaintance with, and which is devoid of spatiotemporal location, picking i…Read more
-
693To exist and to count: A note on the minimalist viewDialectica 63 (3): 343-356. 2009.Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereolo…Read more
-
270Meaning, Metaphysics, and ContradictionAmerican Philosophical Quarterly 43 (4): 283-297. 2006.None
-
205How to Sell a Contradiction: The Logic and Metaphysics of InconsistencyCollege Publications. 2007.There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not hold…Read more
-
25Buone scartoffie, cattive intenzioni: una piccola nota su DocumentalitàRivista di Estetica 50 29-35. 2012.I take into account Ferraris’ attempt at reversing the traditional order of explanation going from thought to language and writing, as exposed in Documentalità. The reversal is supposed to provide a new ontology of social objects that dispenses with Searle’s notion of (collective) intentionality. The book’s motto is «[social] object = written act». What does that identity sign mean? Given that social objects are not identical with documents taken as mere material objects, they must be identical …Read more
-
1138Modal Meinongianism and CharacterizationGrazer Philosophische Studien 90 (1): 183-200. 2014.In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.
-
158There's Something About Gdel: The Complete Guide to the Incompleteness TheoremWiley-Blackwell. 2009.Berto’s highly readable and lucid guide introduces students and the interested reader to Gödel’s celebrated _Incompleteness Theorem_, and discusses some of the most famous - and infamous - claims arising from Gödel's arguments. Offers a clear understanding of this difficult subject by presenting each of the key steps of the _Theorem_ in separate chapters Discusses interpretations of the _Theorem_ made by celebrated contemporary thinkers Sheds light on the wider extra-mathematical and philosophic…Read more
-
2059Paraconsistency: Logic and Applications (edited book)Springer. 2013.A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. Th…Read more
-
905Impossible Worlds and the Logic of ImaginationErkenntnis 82 (6): 1277-1297. 2017.I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imp…Read more
-
Scenari dell’impossibile. La contraddizione nel pensiero contemporaneo (edited book)Il Poligrafo. 2007.
-
68Guest 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
-
1545Absolute 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
-
419The 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.
-
257Modal Meinongianism for Fictional ObjectsMetaphysica 9 (2): 205-218. 2008.Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellia…Read more
-
1110Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist’s DilemmaDialectica 61 (2). 2007.In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the in…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 |