-
Do we need haecceitates to be haecceitists?Documenti E Studi Sulla Tradizione Filosofica Medievale 18 573-586. 2007.
-
711To 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
-
31Pragmatic and dialogic interpretations of bi-intuitionism. Part 1Logic and Logical Philosophy 23 (4): 449-480. 2014.We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the i…Read more
-
990Assertion and hypothesis: a logical framework for their opposition relationsLogic Journal of the IGPL 25 (2): 131-144. 2017.Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypothe…Read more
-
386On assertion and denial in the logic for pragmaticsJournal of Applied Logic 25. 2017.The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence
-
497A Notion of Logical Concept Based on Plural ReferenceActa Analytica 33 (1): 19-33. 2018.In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. Within this theory, we propose …Read more
-
7Comments on HughesDialectica 59 (4): 481-484. 2005.The aim of this paper is to discuss Hughes’ formulation of three‐dimensionalism. Firstly, I observe that the linguistic data do not clearly support his formulation. Secondly, the arguments he uses to state his formulation could be disputed either on the basis of a difference between ordinary language and regimented language, or on the basis of a different notion of temporal part.
-
298A Multimodal Pragmatic Treatment of the Knowability Paradox.In Gillman Payette & Rafał Urbaniak (eds.), Applications of Formal Philosophy: The Road Less Travelled, Springer International Publishing Ag. pp. 195-209. 2017.
-
865Composition and Relative CountingDialectica 71 (4): 489-529. 2017.According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase t…Read more
-
176Ontological commitment and reconstructivismErkenntnis 55 (1): 33-50. 2001.Some forms of analytic reconstructivism take natural language (and common sense at large) to be ontologically opaque: ordinary sentences must be suitably rewritten or paraphrased before questions of ontological commitment may be raised. Other forms of reconstructivism take the commitment of ordinary language at face value, but regard it as metaphysically misleading: common-sense objects exist, but they are not what we normally think they are. This paper is an attempt to clarify and critically as…Read more
-
696More Reflections on ConsequenceLogique Et Analyse 57 (227): 223-258. 2014.This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts …Read more
-
79Grounding Megethology on Plural ReferenceStudia Logica 103 (4): 697-711. 2015.In Mathematics is megethology Lewis reconstructs set theory combining mereology with plural quantification. He introduces megethology, a powerful framework in which one can formulate strong assumptions about the size of the universe of individuals. Within this framework, Lewis develops a structuralist class theory, in which the role of classes is played by individuals. Thus, if mereology and plural quantification are ontologically innocent, as Lewis maintains, he achieves an ontological reductio…Read more
-
30Alcune osservazioni sull'identità degli indiscernibiliRivista di Storia Della Filosofia 1. 2002.In questo articolo l’autore intende fornire una risposta a questo quesito: è possibile identificare una specificazione di proprietà tale da evitare alcune obiezioni standard al Principio d’identità degli indiscernibili ? dove con l’espressione "obiezioni standard" ci si riferisce a quell’insieme di argomenti proposti da M. Black e P.F. Strawson contro . Si argomenta che, se si segue Leibniz, ci si trova di fronte ad una empasse. Infatti, se si vuole evitare l’accusa di circolarità nei confronti …Read more
-
50A logical argument known as Fitch’s Paradox of Knowability, starting from the assumption that every truth is knowable, leads to the consequence that every truth is also actually known. Then, given the ordinary fact that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. The main literature on the topic has been focusing on the threat the argument poses to the so called semantic anti-realist theories, which aim to epistemically charact…Read more
-
69Nicholas Rescher, in The Limits of Science (1984), argued that: «perfected science is a mirage; complete knowledge a chimera» . He reached the above conclusion from a logical argument known as Fitch’s Paradox of Knowability. The argument, starting from the assumption that every truth is knowable, proves that every truth is also actually known and, given that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. Prima facie, this argument…Read more
-
21Pragmatic and dialogic interpretations of bi-intuitionism. Part IILogic and Logical Philosophy. 2014.
-
52From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, the relation representing the identity condition fails to be transitive in many cases. We consider the proposals given so far to give logical adequacy to inadequate identity conditions. We focus on the most refined proposal and expand its formal framework by taking into account two further aspects that we consider essential in the formal treatment of ident…Read more
-
32Logically Unknowable Propositions: a criticism to Tennant's three-partition of Anti-Cartesian propositionsIn P. Hanna (ed.), An Anthology of Philosophical Studies, Vol.2, Atiner. pp. 181-194. 2009.The Knowability Paradox is a logical argument that, starting from the plainly innocent assumption that every true proposition is knowable, reaches the strong conclusion that every true proposition is known; i.e. if there are unknown truths, there are unknowable truths. The paradox has been considered a problem for every theory assuming the Knowability Principle, according to which all truths are knowable and, in particular, for semantic anti-realist theories. A well known criticism to the Knowab…Read more
-
72Ontology for information systems: artefacts as a case studyMind and Society 7 (2): 143-156. 2008.The goal of the paper is to analyse some specific features of a very central concept for top-level ontologies for information systems: i.e. the concept of artefact. Specifically, we analyse the relation to be a copy of that is strongly linked to the notion of artefact and—as we will demonstrate—could be useful to distinguish artefacts from objects of other kinds. Firstly, we outline some intuitive and commonsensical reasons for the need of a clarification of the notion of artefact in ontologies …Read more
-
28Comments on HughesDialectica 59 (4). 2005.The aim of this paper is to discuss Hughes’ formulation of three‐dimensionalism. Firstly, I observe that the linguistic data do not clearly support his formulation. Secondly, the arguments he uses to state his formulation could be disputed either on the basis of a difference between ordinary language and regimented language, or on the basis of a different notion of temporal part
-
546Unity and Plurality. Philosophy, Logic, and SemanticsOxford University Press. 2016.This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo,…Read more
-
37Assertions and Hypotheses: A Logical Framework for their Opposition RelationsLogic Journal of the IGPL. 2016.Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola (1995, Erkenntnis, 43, 81–109) by outlining a pragmatic l…Read more
-
60Towards a Formal Account of Identity CriteriaIn Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality, Springer. pp. 227--242. 2012.
-
20Propositions: Semantic and Ontological Issues (edited book)BRILL. 2006.This special issue of GPS collects 11 papers (and a long introduction), by leading philosophers and young researchers, which tackle more or less from close the topic of propositions by trying to provide the reader with a cross-section of the ongoing debate in this area. The raised issues range over the semantics, the ontology, the epistemology, and the philosophy of mathematics and stimulate the reader to reflect on crucial problems such as the following: are propositions objects? In the positiv…Read more
Padua, Italy
Areas of Specialization
Metaphysics |
Logic and Philosophy of Logic |
Metaphysics and Epistemology |
Areas of Interest
Metaphysics |
Logic and Philosophy of Logic |
Metaphysics and Epistemology |