Introduction to the Logic of Definitions

In International Workshop on Definitions in Ontologies, organized in conjunction with the Fourth International Conference on Biomedical Ontology (ICBO), Montreal, July 7, 2013, (CEUR, 1061). pp. 1-2 (2013)
Download Edit this record How to cite View on PhilPapers
What follows is a summary of basic principles pertaining to the definitions used in constructing an ontology. A definition is a statement of necessary and sufficient conditions. What this means in the simplest case can be understood as follows. To say that ɸ‐ing is a necessary condition for being an A is just another way of saying that every A ɸ’s; to say that ɸ‐ing is a sufficient condition for being an A is just another way of saying that everything that ɸ’s is an A. The goal in writing a definition is to specify a set of conditions of this sort which are all necessary, and which are jointly sufficient.
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2017-12-09
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
39 ( #30,879 of 38,083 )

Recent downloads (6 months)
10 ( #27,779 of 38,083 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.