-
A note concerning the ontological basis of praxis in AristotleRivista di Filosofia Neo-Scolastica 89 (4): 625-636. 1997.
-
10On the Notion of Aboutness in Logical SemanticsIn Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic, Springer Verlag. pp. 407-449. 2023.In his theory of truthmaker content, Kit Fine has provided many insights concerning the relation of aboutness, allowing us to understand why a unique subject matter can be associated to a sentence, what is the relation between the subject matter of a sentence and its truth conditions, and why necessary sentences can be distinguished with respect to what they are about. The aim of this chapter is to consider these insights critically, compare them to the notion of subject matter developed by Lewi…Read more
-
211Aristotelian universals, strong immanence, and constructionSynthese 203 (2): 1-15. 2024.The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we arg…Read more
-
24Generalizing Deontic Action LogicStudia Logica 110 (4): 989-1033. 2022.We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our appro…Read more
-
13Outline of a general model of measurementSynthese 175 (2): 123-149. 2010.Measurement is a process aimed at acquiring and codifying information about properties of empirical entities. In this paper we provide an interpretation of such a process comparing it with what is nowadays considered the standard measurement theory, i.e., representational theory of measurement. It is maintained here that this theory has its own merits but it is incomplete and too abstract, its main weakness being the scant attention reserved to the empirical side of measurement, i.e., to measure…Read more
-
217Voluntary Imagination: A Fine-Grained AnalysisReview of Symbolic Logic 1-26. 2020.We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology and the philosophy…Read more
-
7Situation-Based Connexive LogicStudia Logica 112 (1): 295-323. 2023.The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to fulfill some specific co…Read more
-
22Atoms, combs, syllables and organismsPhilosophical Studies 180 (7): 1995-2024. 2023.Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts without proper parts. Typically, this thesis is characterized by an axiom stating that everything has atomic parts. The present paper argues that the success of this standard characterization depends on how the notions of sum and composition are defined. In particular, we put forward a novel definition of mereological sum that: (i) is not equivalent to existing definitions in the literature, if…Read more
-
16Universalism and extensionalism revisitedSynthese 201 (3): 1-18. 2023.We present a new notion of mereological sum that is inequivalent to extant ones in the literature and does not fall prey to reasonable complaints that can be raised against some such notions. In light of this notion, we then revisit the relation between mereological universalism and extensionalism. In particular we argue that Varzi’s claim to the point that universalism entails extensionalism is justified only insofar as one sticks to Varzi’s notion of sum. In effect, we distinguish different ve…Read more
-
12An Extensional Mereology for Structured EntitiesErkenntnis 87 2343-2373. 2020.In this paper, we present an extensional system of mereology suitable to account for the intuitive distinction between heaplike and non-heaplike entities. Since the need to capture this distinction has been a key motivation for non-extensional mereologies, we first assess the main non-extensional systems advanced in the last years and highlight some mereological and metaphysical difficulties they involve. We then advance a novel program, according to which the distinction between heaplike and no…Read more
-
7From arithmetic to metaphysics: a path through philosophical logic (edited book)De Gruyter. 2018.Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments o…Read more
-
17Incorporating the Relation into the Language?Logic and Logical Philosophy 30 (4). 2021.In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.
-
15Relating Semantics for Epistemic LogicLogic and Logical Philosophy 30 (4): 681-709. 2021.The aim of this paper is to explore the advantages deriving from the application of relating semantics in epistemic logic. As a first step, I will discuss two versions of relating semantics and how they can be differently exploited for studying modal and epistemic operators. Next, I consider several standard frameworks which are suitable for modelling knowledge and related notions, in both their implicit and their explicit form and present a simple strategy by virtue of which they can be associa…Read more
-
2Tempo e struttura dell'essere: il concetto di tempo in Aristotele e i suoi fondamenti ontologici (edited book)Vita e Pensiero. 1995.
-
21In defense of Aristotelian universalsSynthese 200 (2): 1-18. 2022.To be an Aristotelian about universals is to hold that universals depend for their existence on their exemplifiers. An argument against Aristotelianism about universals has recently been put forward by Costa to the effect that a contradiction follows from assuming a certain formulation of Aristotelianism together with some highly plausible principles governing the notions employed in that formulation. In this paper, we provide different ways of articulating the Aristotelian position which, while…Read more
-
6On Theory Dependence of Truth in MeasurementPerspectives on Science 29 (6): 757-781. 2021.Measurement results are stated in terms of sentences ascribing measured values, as obtained via measurement processes, to measurands, as defined by measuring agents. Since both the definition of the measurands and the characterization of the processes depend on models constructed on the basis of relevant theories, the issue arises of the theory dependence of the truth of those sentences. This paper aims at assessing the question by introducing suitable distinctions about the sense and reference …Read more
-
7Logic in High Definition: Trends in Logical Semantics (edited book)Springer. 2020.This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first…Read more
-
243A Classical Logic of Existence and EssenceLogic and Logical Philosophy 29 (4): 541-570. 2020.The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness pr…Read more
-
12From Arithmetic to Metaphysics: A Path Through Philosophical Logic (edited book)De Gruyter. 2018.Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments o…Read more
-
88Enriching Deontic LogicJournal of Logic and Computation 1 1-23. 2018.It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the paradoxes and (ii) exploi…Read more
-
4Axiomatizing the Logic of ImaginationStudia Logica 107 (4): 639-657. 2019.In a recent paper Berto introduces a semantic system for a logic of imagination, intended as positive conceivability, and aboutness of imaginative acts. This system crucially adopts elements of both the semantics of conditionals and the semantics of analytical implications in order to account for the central logical traits of the notion of truth in an act of imagination based on an explicit input. The main problem left unsolved is to put forward a complete set of axioms for the proposed system. …Read more
-
5BibliographyIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. pp. 373-390. 2018.
-
2ContentsIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
6PrefaceIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
3FrontmatterIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
6Quantified Modal Justification Logic with Existence PredicateIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. pp. 179-194. 2018.
-
97On the factivity of implicit intersubjective knowledgeSynthese 191 (8): 1909-1923. 2014.The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that are explicitly kn…Read more
-
4A structural interpretation of measurement and some related epistemological issuesStudies in History and Philosophy of Science Part A 1-11. 2017.Measurement is widely applied because its results are assumed to be more reliable than opinions and guesses, but this reliability is sometimes justified in a stereotyped way. After a critical analysis of such stereotypes, a structural characterization of measurement is proposed, as partly empirical and partly theoretical process, by showing that it is in fact the structure of the process that guarantees the reliability of its results. On this basis the role and the structure of background knowle…Read more
-
134On a New Tentative Solution to Fitch’s ParadoxErkenntnis 81 (3): 597-611. 2016.In a recent paper, Alexander argues that relaxing the requirement that sound knowers know their own soundness might provide a solution to Fitch’s paradox and introduces a suitable axiomatic system where the paradox is avoided. In this paper an analysis of this solution is proposed according to which the effective move for solving the paradox depends on the axiomatic treatment of the ontic modality rather than the limitations imposed on the epistemic one. It is then shown that, once the ontic mod…Read more
-
99Perspectival Logic of Acceptance and RejectionLogique and Analyse 265-283. 2017.This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which t…Read more
Lugano, Ticino, Switzerland
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
General Philosophy of Science |
PhilPapers Editorships
Measurement in Science |