-
76The design stance and its artefactsSynthese 190 (6): 1131-1152. 2013.In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design …Read more
-
75Grounding 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
-
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
-
67Ontology 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
-
66Il mondo messo a fuoco. Storie di allucinazioni e miopie filosofiche (The World in Focus. Stories of Philosophical Hallucinations and Myopias) – By Achille Varzi (review)Dialectica 65 (3): 473-477. 2011.
-
64The Grounding of IdentitiesPhilosophia 49 (5): 1943-1952. 2021.A popular stance amongst philosophers is one according to which, in Lewis’ words, “identity is utterly simple and unproblematic”. Building from Lewis’ famous passage on the matter, we reconstruct, and then criticize, an argument to the conclusion that identities cannot be grounded. With the help of relatively uncontroversial assumption concerning identity facts, we show that not all identities are equi-fundamental, and, on the contrary, some appear to be provided potential grounding bases using …Read more
-
61On biological identityBiology and Philosophy 19 (3): 443-457. 2004.In our paper, we propose a relativisticand metaphysically neutral identity criterionfor biological entities. We start from thecriterion of genidentity proposed by K. Lewinand H. Reichenbach. Then we enrich it to renderit more philosophical powerful and so capableof dealing with the real transformations thatoccur in the extremely variegated biologicalworld.
-
60The Knowability Paradox in the light of a Logic for PragmaticsIn Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI), Springer. pp. 47-58. 2014.The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions –ncalled logical revision – has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, we focus on so-called revisionary solutions to the paradox – solutions that put the blame on the underl…Read more
-
58Towards a Formal Account of Identity CriteriaIn Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality, Springer. pp. 227--242. 2012.
-
55Propositions. An introductionGrazer Philosophische Studien 72 (1): 1-27. 2006.According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as a warrant for their exi…Read more
-
54Identity criteria are used to confer ontological respectability: Only entities with clearly determined identity criteria are ontologically acceptable. From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical constraint is only rarely met. More precisely, in some cases, the relation representing the identity condition fails to be transitive. We consider the proposals given so far to give logical adeq…Read more
-
54Self-Effacing Reasons and Epistemic Constraints: Some Lessons from the Knowability ParadoxPhilosophical Quarterly. forthcoming.A minimal constraint on normative reasons seems to be that if some fact is a reason for an agent to φ (act, believe, or feel), the agent could come to know that fact. This constraint is threatened by a well-known type of counterexamples. Self-effacing reasons are facts that intuitively constitute reasons for an agent to φ, but that if they were to become known, they would cease to be reasons for that agent. The challenge posed by self-effacing reasons bears important structural similarities with…Read more
-
52In Parts of Classes [Lewis 1991] David Lewis attempts to draw a sharp contrast between mereology and set theory and to assimilate mereology to logic. He argues that, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter…Read more
-
52Individuals, minds and bodies: themes from Leibniz (edited book)Franz Steiner Verlag. 2004.The other aim of the volume is to show that there is a close semantic connection between the concepts of individual, mind and body in Leibniz.
-
51Functions and Kinds of Art Works and Other ArtifactsGrazer Philosophische Studien 96 (1): 1-18. 2019.Currently, there is not yet a full-fledged philosophical sub-discipline devoted to artifacts. In order to establish such a general philosophical discourse on artifacts, two topics are of special importance: artifact functionality and artifact categorization. Both are central to the question of what artifacts are in general and in particular. This introduction first presents the current state of the art in the debates on functions, both in general and in the domain of artifacts in particular. It …Read more
-
49A 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
-
48From 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
-
42Symposium on “Cognition and Rationality: Part I” (review)Mind and Society 5 (2): 167-171. 2006.This is an excerpt from the contentThis symposium on Cognition and Rationality originated from two conferences held in Padua on March 17–21, 2003. The title of the first conference was Reasoning and understanding: mental models, relevance, and limited rationality approaches. The second one was entitled: Being rational. Models and limits of rationality in scientific research, economic behaviour, common sense reasoning. The papers published in these two issues are a selection of the ones presented…Read more
-
41Symposium on “Cognition and Rationality: Part II”Mind and Society 6 (1): 35-39. 2007.This is an excerpt from the contentIn the introduction to part I of the symposium we stated that a rational agent could be thought of as an agent who has good reasons for its actions. In formal analyses of economic, medical, political, military and forensic decisions rationality, that is the “goodness” of those reasons, is inextricably intertwined with probability. Typically, those analyses concern decisions in a particular class of uncertain situations, namely “risky” situations, where all the …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
-
36Perfected Science and the Knowability ParadoxIn M. M. D’Agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science, London College Publications. 2010.In "The Limits of Science" N. Rescher introduces a logical argument known as the Knowability Paradox, according to which, if every true proposition is knowable, then every true proposition is known, i.e. if there are unknown truths, there are unknowable truths. Rescher argues that the Knowability Paradox, giving evidence to a limit of our knowledge (the existence of unknowable truths) could be used for arguing against perfected science. In this article we present two criticisms against Rescher's…Read more
-
34MeghetologiaAphex. Portale Italiano di Filosofia Analitica 21 (1): 1-49. 2020.Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.
-
33Giorgio Lando, Mereology: A Philosophical Introduction, London and New York: Bloomsbury Publishing, 2017, viii + 237 pp., US$120 , ISBN: 978‐1472583666 (review)Dialectica 72 (4): 628-633. 2018.Tis is a review of Giorgio Lando's "Mereology: A Philosophical Introduction".
-
33On Cotnoir’s two notions of proper parthoodPhilosophical Studies 179 (9): 2787-2795. 2022.A.J. Cotnoir has argued that we should distinguish between two notions of proper parthood: outstripped part and non-identical part. Outstripped parthood is an asymmetric relation, but non-identical parthood is not. We argue, first, that the intuitions Cotnoir uses to motivate these notions do not always give the right verdict; and, second, that systematic reasons for distinguishing these two notions of parthood have further counter-intuitive consequences. This means the distinction between two n…Read more
-
32Pragmatic and dialogic interpretations of bi-intuitionism. Part ILogic and Logical Philosophy. 2014.
-
32Computability, Finiteness and the Standard Model of ArithmeticIn Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics, Springer International Publishing. 2016.This paper investigates the question of how we manage to single out the natural number structure as the intended interpretation of our arithmetical language. Horsten submits that the reference of our arithmetical vocabulary is determined by our knowledge of some principles of arithmetic on the one hand, and by our computational abilities on the other. We argue against such a view and we submit an alternative answer. We single out the structure of natural numbers through our intuition of the abso…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
-
31Pragmatic logics for hypotheses and evidenceLogic Journal of the IGPL. forthcoming.The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare…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 |