-
2
-
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.
-
1122From times to worlds and back again: a transcendentist theory of persistenceThought: A Journal of Philosophy 2 (1): 210-220. 2013.Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism …Read more
-
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.
-
585An Internal Limit of the Structural Analysis of CausationAxiomathes 26 (4): 429-450. 2016.Structural models of systems of causal connections have become a common tool in the analysis of the concept of causation. In the present paper I offer a general argument to show that one of the most powerful definitions of the concept of actual cause, provided within the structural models framework, is not sufficient to grant a full account of our intuitive judgements about actual causation, so that we are still waiting for a comprehensive definition. This is done not simply by focusing on a set…Read more
-
53Property evaluation typesMeasurement 45 (3): 437-452. 2012.An appropriate characterization of property types is an important topic for measurement science. On the basis of a set-theoretic model of evaluation and measurement processes, the paper introduces the operative concept of property evaluation type, and discusses how property types are related to, and in fact can be derived from, property evaluation types, by finally analyzing the consequences of these distinctions for the concepts of ‘property’ used in the International Vocabulary of Metrology – …Read more
-
1210A New Semantics for Systems of Logic of EssenceStudia Logica 102 (3): 411-440. 2014.The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; fin…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
-
590Logic of Implicit and Explicit JustifiersIn L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science, College Publications. pp. 119-131. 2016.The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constru…Read more
-
931On Representing Information: A Characterization of the Analog/Digital DistinctionDialectica 67 (4): 455-483. 2013.The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. T…Read more
-
46Quantity and Quantity ValueMetrologia 49 (6): 756-764. 2012.The concept system around 'quantity' and 'quantity value' is fundamental for measurement science, but some very basic issues are still open on such concepts and their relation. This paper argues that quantity values are in fact individual quantities, and that a complementarity exists between measurands and quantity values. This proposal is grounded on the analysis of three basic 'equality' relations: (i) between quantities, (ii) between quantity values and (iii) between quantities and quantity v…Read more
-
463A new framework for justification logicJournal of Applied Non-Classical Logics 25 (4): 308-323. 2015.The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning…Read more
-
594Perspectival 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
-
303A suitable semantics for implicit and explicit beliefLogique Et Analyse 58 (231). 2015.In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view i…Read more
-
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.
-
911The Truthmaker Solution to the Gettier ProblemsEpistemologia 38 66-78. 2015.A truthmaker solution to the Gettier problems is based on the idea that knowledge can be defined as justified true belief provided that the source of one’s justification is suitably connected with what makes the believed proposition true. Different developments of this basic intuition have been recently criticized on the basis of a series of arguments aiming at showing that no truthmaker theory can allow us to solve Gettier problems, since the very idea underlying such solution is ineffective. I…Read more
-
143Measurement, Models, and UncertaintyIEEE Transactions on Instrumentation and Measurement 61 (8). 2012.Against the tradition, which has considered measurement able to produce pure data on physical systems, the unavoidable role played by the modeling activity in measurement is increasingly acknowledged, particularly with respect to the evaluation of measurement uncertainty. This paper characterizes measurement as a knowledge-based process and proposes a framework to understand the function of models in measurement and to systematically analyze their influence in the production of measurement resul…Read more
-
61Aristotelian and Naturalistic OntologyIn A. Corradini, S. Galvan & E. J. Lowe (eds.), Analytic Philosophy Without Naturalism, Routledge. 2006.The present paper analyses the correctness of an argument aiming to show that Aristotelian ontology justifies a better interpretation of the world than naturalistic ontology. The problems connected with this argument can be reduced to three: (1) the assumption of a scientific appoach to the world does not imply the exclusion of subjectivity or intentionality; (2) the assumption of an ontology of substances does not imlpy the exclusion of ontological models deriving from the scientific approach t…Read more
-
Articulating the world in states of affairsRivista di Filosofia Neo-Scolastica 103 (4): 587-603. 2011.
-
86Quantity and quantity valueProc. TC1-TC7-TC13 14th IMEKO Joint Symposium. 2011.The concept system around ‘quantity’ and ‘quantity value’ is fundamental for measurement science, but some very basic issues are still open on such concepts and their relations. This paper proposes a duality between quantities and quantity values, a proposal that simplifies their characterization and makes it consistent.
-
709Basic Action Deontic LogicIn Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems, College Publications. pp. 80-92. 2016.The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the definition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types of action that are abstractly pres…Read more
-
615In Defence of TranscendentismActa Analytica 31 (2): 225-234. 2016.How do objects persist through time? According to endurantism, objects persist through time and do not have temporal parts. According to the transcendentist version of endurantism, objects exist at times by participating in events that occur at those times. This version of transcendentism offers specific metaphysical and semantical advantages over other versions of endurantism. In this paper, we defend transcendentist endurantism against a series of criticisms that have been recently offered by …Read more
Lugano, Ticino, Switzerland
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
General Philosophy of Science |
PhilPapers Editorships
Measurement in Science |