Papers by Francesco Franda
Synthese, 2025
Proponents of technical monism argue that artistic functions are technical functions, and that th... more Proponents of technical monism argue that artistic functions are technical functions, and that therefore artworks and technical artifacts may be unified under the same theoretical framework. We hold that this view fails because it does not account for the phenomenon of technical malfunction: if artistic functions were technical functions, then artistic malfunctions would be technical malfunctions too. We argue that artistic malfunctions are not technical malfunctions because they cannot meet all the following four criteria: (1) malfunctioning attribution to a technical artifact entails negative evaluation and a reason to avoid use; (2) technical malfunction is caused by a failure of the artifact itself rather than failing circumstances; (3) a malfunctioning technical artifact remains a member of its artifactual kind; (4) malfunctioning technical artifacts are sometimes repaired. Since artistic malfunction cannot meet all these conditions, we claim that artworks and technical artifacts do not share the same type of function and, as such, unification theories based on technical function are untenable. We conclude by suggesting that our account raises broader challenges not only for technical-function-based unification theories, but also for other theories that seek to unify artworks and technical artifacts through a shared notion of function, as well as for accounts of artifact function more broadly.
Acta Analytica, 2024
This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the re... more This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the relationship between ontology, conceived as the branch of philosophy concerned with the question of what entities exist, and metaphysics, conceived as the complementary part of philosophy that seeks to explain, of those entities, what they are. Most philosophers claim that it is not possible to address the first question without at the same time addressing the second, since knowing whether an entity exists requires knowing what that entity is. Prof. Whether argues against this popular position and offers a detailed analysis of the idea according to which it is possible to do ontology without engaging in metaphysics. Prof. Whether and Prof. What agree that, rather than being merely possible, in some cases it is, for methodological reasons, even preferable to start with a metaphysics-free ontology, postponing any inquiry concerning the nature of the entities included in the ontological inventory to a later stage. However, Prof. What notes that it is not always possible to do ontology without metaphysics, because there are certain kinds of entities, such as universals and possible worlds, that necessarily need a prior metaphysical characterization.
Proceedings of the 2nd International Workshop on Ontology of Social, Legal and Economic Entities (SoLEE), 2021
In this paper, I argue against what I call "natural realism" about social kinds, the view accordi... more In this paper, I argue against what I call "natural realism" about social kinds, the view according to which social categories have natural boundaries, independent of our thought. First, I draw a distinction between two different types of entity realism, one being about the existence of the entity, "ontological realism", and the other one being about the direct mind-independence of the entity, "natural realism". After endorsing ontological realism, I present the natural realist argument according to which there would be certain social kinds, such as economic recessions and racism, even if we had no clue about their existence and nature. I claim that the argument fails insofar it mistakes the single instances for the kinds themselves. I then argue against natural realism by showing how the vagueness characterizing the boundaries of social kinds puts the realist in front of a dilemma: either she accepts the vagueness of these boundaries as ontic, a metaphysically problematic thesis, or she accepts that most or all social kinds remain unknown, an epistemologically problematic thesis. Thus, I argue that antirealism, according to which social kinds are constructed, is a better alternative to the realist account.
BMC Medical Informatics and Decision Making, Aug 31, 2018
Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviate... more Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT.
Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS).
Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/.
Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications.
Keywords: SNOMED CT, Ontology, Clinical terminology, Electronic health records, Description logic
Rivista Italiana Di Filosofia Analitica Junior, 2014
In this paper, I tackle the problem of diachronic identity. Far from providing a criterion for id... more In this paper, I tackle the problem of diachronic identity. Far from providing a criterion for identity over time, the aim of this work is to understand if this issue pertains to ontology, conceived as that part of philosophy that tries to answer the question about what entities exist, or metaphysics, conceived as that part of philosophy that tries to explain, of those entities, what they are. On the face of it, only metaphysics has the task to solve this problem, but I argue that this is false. Through the analysis of different theories concerning identity through time, I show how both ontology and metaphysics are concerned with the problem of diachronic identity, and how actually ontology turns out to be primary in solving the problem.
Books by Francesco Franda
Social Kinds: A User's Manual, 2022
This is a dissertation in social ontology, whose goal is to defend a constructivist account of so... more This is a dissertation in social ontology, whose goal is to defend a constructivist account of social kinds. First, I show how there is no fully satisfactory characterization or definition of the social, but that we can rely on an intuitive understanding on which entities count as social entities. Second, I clarify what I mean by ‘social category’ or ‘social kind,’ which I define as a partition of entities that bear and share certain social properties. Third, I argue against what I call ‘Natural Boundaries Realism,’ the view according to which there are at least some social kinds that are not constructed. Fourth, I develop my constructivist account, claiming that social kinds are concepts, and showing several ways in which they are created. Fifth, I argue that social kinds may be natural kinds, and that the Stable Property Cluster account of natural kinds is the one that best accommodates the existence of social kinds that are also natural kinds. Finally, I show how values may play a role in the making of social kinds, and how my constructive account accommodates these normative inputs.
Uploads
Papers by Francesco Franda
Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS).
Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/.
Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications.
Keywords: SNOMED CT, Ontology, Clinical terminology, Electronic health records, Description logic
Books by Francesco Franda