-
40Generalizing 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
-
34Universalism 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
-
33Incorporating 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.
-
29Towards a concept of property evaluation typeJournal of Physics CS 238 (1): 1-6. 2010.An appropriate characterization of property types is an important topic for measurement science. This paper proposes to derive them from evaluation types, and analyzes the consequences of this position for the VIM3.
-
27From 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
-
25Trust as the End of Practical Reason. Justification ProceduresIn Botturi Francesco (ed.), Understanding Human Experience, Peter Lang. 2012.This paper is about the epistemology of practical reason and, in particular, the function of trust as an end to be pursued rationally in praxis. Our purpose is threefold: first, to present an outline of the structure of practical reason; secondly, to compare practical reason and scientific reason in order to determine the main differences between these two basic manifestations of human reason; finally, to argue in favour of a non-utilitarian model of practical reason in the light of some results…Read more
-
23On 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
-
19Quantified 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.
-
17Relating 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
-
17BibliographyIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. pp. 373-390. 2018.
-
15Logic 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
-
14PrefaceIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
14Situation-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
-
14Tempo e struttura dell'essere: il concetto di tempo in Aristotele e i suoi fondamenti ontologici (edited book)Vita e Pensiero. 1995.
-
11From 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
-
11On 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
-
9ContentsIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
9FrontmatterIn Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic, De Gruyter. 2018.
-
2
-
1On the Input of a Measurement ProcessJournal of Physics: Conference Series 588 1-6. 2015.It is assumed sometimes that the input of a measurement, and therefore the entity with which a measuring system interacts, is a quantity value, possibly the (true) measurand value, and from this hypothesis the model of ideal measurement as an identity process is formulated. In this paper we show that this position is based on an inappropriate superposition of quantities and quantity values, and therefore should be discarded.
-
Articulating the world in states of affairsRivista di Filosofia Neo-Scolastica 103 (4): 587-603. 2011.
-
Philosophical problems of controlRivista di Filosofia Neo-Scolastica 104 (4): 661-686. 2012.The present paper presents a philosofical analysis of the concept of control based on a specific characterization of the structure of control systems. The paper is subdivided into four section: in the first and the second sections the control dynamics is described and interpreted, while the last two sections briefly copy with the relationships between control, teleonomy, teleology and freedom.
Lugano, Ticino, Switzerland
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
General Philosophy of Science |
PhilPapers Editorships
Measurement in Science |