-
278Normality Operators and Classical CollapseIn T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. pp. 2-20. 2018.In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.
-
247On the ontological commitment of mereologyReview of Symbolic Logic 2 (1): 164-174. 2009.In Parts of Classes (1991) and Mathematics Is Megethology (1993) David Lewis defends both the innocence of plural quantification and of mereology. However, he himself claims that the innocence of mereology is different from that of plural reference, where reference to some objects does not require the existence of a single entity picking them out as a whole. In the case of plural quantification . Instead, in the mereological case: (Lewis, 1991, p. 87). The aim of the paper is to argue that one—a…Read more
-
245On the semantics of artifactual kind termsPhilosophy Compass 16 (11). 2021.What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whet…Read more
-
240Eserciziario di LogicaPadova University Press. 2021.Intervistati sul valore di questo testo, gli autori hanno dichiarato: «o questa affermazione è falsa, oppure questo è il miglior eserciziario di logica che sia mai stato scritto». Se la loro affermazione vi risulta poco comprensibile, ma avete intenzione di capirci qualcosa di più, questo eserciziario può fare al caso vostro! È uno strumento che integra ed estende un comune manuale di logica – ma che non si sostituisce ad esso, mancando la parte teorica –, ed è pensato per coloro che hanno intra…Read more
-
228Si può spiegare un’identità?Rivista Italiana di Filosofia del Linguaggio 1 31-5. 2018.In this paper we reconstruct an argument, based on the observations of David Lewis and Jaegwon Kim, according to which, given that identities are necessary, they cannot be grounded; and given that they cannot be grounded, they cannot be explained either. We argue against two key premises of this argument. Furthermore, we present two counterexamples, in the form of two alleged sets of cases of explanation of identities. This argument against the explanation of identities is instrumental for a wid…Read more
-
227Normality operators and Classical Recapture in Extensions of Kleene LogicsLogic Journal of the IGPL. forthcoming.In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture re…Read more
-
226A PWK-style Argumentation Framework and ExpansionIfCoLog Journal of Logics and Their Applications 10 (3): 485-509. 2023.In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes;…Read more
-
224A New Logic of Technical MalfunctionStudia Logica 101 (3): 547-581. 2013.Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privativ…Read more
-
223If engineering function is a family resemblance concept: Assessing three formalization strategiesApplied ontology 6 (2): 141-163. 2011.
-
220Why Knowledge Should Not Be Typed: An Argument against the Type Solution to the Knowability ParadoxTheoria 77 (2): 180-193. 2011.The Knowability Paradox is a logical argument to the effect that, if there are truths not actually known, then there are unknowable truths. Recently, Alexander Paseau and Bernard Linsky have independently suggested a possible way to counter this argument by typing knowledge. In this article, we argue against their proposal that if one abstracts from other possible independent considerations supporting reasons for typing knowledge and considers the motivation for a type-theoretic approach with re…Read more
-
209On false antecedent in dialetheic entailmentIn Luca Bellotti, Luca Gili, Enrico Moriconi & Giacomo Turbanti (eds.), Third Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of Mauro Mariani and Carlo Marletti, Edizioni Ets. pp. 59-68. 2019.Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.
-
205Refining OntoClean. Identity Criteria and GroundingProceedings of the Joint Ontology Workshops (JOWO 2020). 2020.In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuiti…Read more
-
201Two Conceptions of Technical MalfunctionTheoria 77 (2): 117-138. 2011.The topic of this paper is the notion of technical (as opposed to biological) malfunction. It is shown how to form the property being a malfunctioning F from the property F and the property modifier malfunctioning (a mapping taking a property to a property). We present two interpretations of malfunctioning. Both interpretations agree that a malfunctioning F lacks the dispositional property of functioning as an F. However, its subsective interpretation entails that malfunctioning Fs are Fs, where…Read more
-
195La composizione come identità da un punto di vista modaleRivista Italiana di Filosofia del Linguaggio 1 26-39. 2018.In the debate about Composition as Identity (CI), a recurring pattern is to ask whether a certain feature of identity is also instantiated by composition. This recurring pattern is followed when, for example, the question is asked whether a whole and its parts are indiscernible. In following this pattern, it is methodologically desirable to assume the most standard account of the philosophical problems at stake. However, when the necessity of identity and the problem whether composition is as ne…Read more
-
184DLEAC and the Rejection ParadoxJournal of Applied Logics 8 (2): 377-396. 2021.In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension of DLEAC contanining the rejec…Read more
-
173Ontological 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
-
159The fine-grained metaphysics of artifactual and biological functional kindsSynthese 169 (1): 125-143. 2009.In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in …Read more
-
156Artifact Categorization. Trends and ProblemsReview of Philosophy and Psychology 4 (3): 351-373. 2013.The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the object we exploit in order to de…Read more
-
155What Topic for off-topic in WK3?In Pavel Materna & Bjørn Jespersen (eds.), Logically Speaking. A Festschrift for Marie Duží, College Publications. pp. 113-128. 2022.Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is to help to …Read more
-
132Cardinality and IdentityJournal of Philosophical Logic 36 (5): 539-556. 2007.P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to be strictly connec…Read more
-
125Some Remarks on Assertion and ProofJournal of Applied Logics 8 (21): 321-328. 2021.In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.
-
115Paradox and Logical Revision. A Short IntroductionTopoi 34 (1): 7-14. 2015.Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular dia…Read more
-
112To Be is to Be the Object of a Possible Act of ChoiceStudia Logica 96 (2): 289-313. 2010.Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference . Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom …Read more
-
112Denial and DisagreementTopoi 34 (1): 109-119. 2015.We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a language either. We then turn to an alternat…Read more
-
104A Compatibilist Approach in Ontology: Steps Towards a FormalizationIn Formal Ontology in Information Systems, Ios Press. pp. 182-194. 2023.Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is …Read more
-
91We don’t know we don’t know: asserting ignoranceSynthese 198 (4): 3565-3580. 2019.The pragmatic logic of assertions shows a connection between ignorance and decidability. In it, we can express pragmatic factual ignorance and first-order ignorance as well as some of their variants. We also show how some pragmatic versions of second-order ignorance and of Rumsfeld-ignorance may be formulated. A specific variant of second-order ignorance is particularly relevant. This indicates a strong pragmatic version of ignorance of ignorance, irreducible to any previous form of ignorance, w…Read more
-
88Relative Identity and the Number of ArtifactsTechné: Research in Philosophy and Technology 13 (2): 108-122. 2009.Relativists maintain that identity is always relative to a general term. According to them, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz’s Law does not hold. For relativists RI is at least as good as the Fregean cardinality thesis, which contends that an ascription of cardinality is always relative to a concept specifying what, in any specific case, counts as a unit. The same train of thought on cardinality an…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 |