We describe an ontology of philosophy that is designed to aid navigation through philosophical literature, including literature in the form of encyclopedia articles and textbooks and in both printed and digital forms. The ontology is designed also to serve integration and structuring of data pertaining to the philosophical literature, and in the long term also to support reasoning about the provenance and contents of such literature, by providing a representation of the philosophical domain that is oriented around what philosophical literature (...) is about. (shrink)

The basic elements of faceted thesauri are described, together with a review of their origins and some prominent examples. Their use in browsing and searching applications is discussed. Faceted thesauri are distinguished from faceted classification schemes, while acknowledging the close similarities. The paper concludes by comparing faceted thesauri and related knowledge organization systems to ontologies and discussing appropriate areas of use.

The purpose of this paper is to provide an account of the epistemology and metaphysics of universe creation on a computer. The paper begins with F.J.Tipler's argument that our experience is indistinguishable from the experience of someone embedded in a perfect computer simulation of our own universe, hence we cannot know whether or not we are part of such a computer program ourselves. Tipler's argument is treated as a special case of epistemological scepticism, in a similar vein to `brain-in-a-vat' arguments. (...) It is argued that the hypothesis that our universe is a program running on a digital computer in another universe generates empirical predictions, and is therefore a falsifiable hypothesis. The computer program hypothesis is also treated as a hypothesis about what exists beyond the physical world, and is compared with Kant's metaphysics of noumena. It is proposed that a theory about what exists beyond the physical world should be formulated with the precise concepts of mathematics, and should generate physical predictions. It is argued that if our universe is a program running on a digital computer, then our universe must have compact spatial topology, and the possibilities of observationally testing this prediction are considered. The possibility of testing the computer program hypothesis with the value of the density parameter Omega_0 is also analysed. The informational requirements for a computer to represent a universeexactly and completely are considered. Consequent doubt is thrown upon Tipler's claim that if a hierarchy of computer universes exists, we would not be able to know which `level of implementation' our universe exists at. It is then argued that a digital computer simulation of a universe cannot exist as a universe. However, the paper concludes with the acknowledgement that an analog computer simulation can be objectively related to the thing it represents, hence an analog computer simulation of a universe could, in principle, exist as a universe. (shrink)

The purpose of this paper is to provide an account of the epistemology and metaphysics of universe creation on a computer. The paper begins with F.J.Tipler's argument that our experience is indistinguishable from the experience of someone embedded in a perfect computer simulation of our own universe, hence we cannot know whether or not we are part of such a computer program ourselves. Tipler's argument is treated as a special case of epistemological scepticism, in a similar vein to `brain-in-a-vat' arguments. (...) It is argued that the hypothesis that our universe is a program running on a digital computer in another universe generates empirical predictions, and is therefore a falsifiable hypothesis. The computer program hypothesis is also treated as a hypothesis about what exists beyond the physical world, and is compared with Kant's metaphysics of noumena. It is proposed that a theory about what exists beyond the physical world should be formulated with the precise concepts of mathematics, and should generate physical predictions. It is argued that if our universe is a program running on a digital computer, then our universe must have compact spatial topology, and the possibilities of observationally testing this prediction are considered. The possibility of testing the computer program hypothesis with the value of the density parameter Omega_0 is also analysed. The informational requirements for a computer to represent a universeexactly and completely are considered. Consequent doubt is thrown upon Tipler's claim that if a hierarchy of computer universes exists, we would not be able to know which `level of implementation' our universe exists at. It is then argued that a digital computer simulation of a universe cannot exist as a universe. However, the paper concludes with the acknowledgement that an analog computer simulation can be objectively related to the thing it represents, hence an analog computer simulation of a universe could, in principle, exist as a universe. (shrink)

In this article, I introduce the notion of horizon for scientific practice (HSP), representing limits or boundaries within which scientists ply their trade, to facilitate analysis of scientific discovery and progress. The notion includes not only constraints that delimit scientific practice, e.g. of bringing experimentation to a temporary conclusion, but also possibilities that open up scientific practice to additional scientific discovery and to further scientific progress. Importantly, it represents scientific practice as a dynamic and developmental integration of activities to investigate (...) and analyze the natural world. I use the discovery of the clotting factor, thrombin, and the experiments conducted by the Johns Hopkins physiologist, William Howell, on the enzymatic nature of thrombin to illustrate the notion of HSP. In a concluding section, I compare the notion of HSP to other notions for scientific practice proposed in the history and philosophy of science literature. (shrink)

A system of categories is a complete list of highest kinds or genera. Traditionally, following Aristotle, these have been thought of as highest genera of entities (in the widest sense of the term), so that a system of categories undertaken in this realist spirit would ideally provide an inventory of everything there is, thus answering the most basic of metaphysical questions: “What is there?”. Skepticism about the possibilities for discerning the different categories of ‘reality itself’ has led others to approach (...) category systems not with the aim of cataloging the highest kinds in the world itself, but rather with the aim of elucidating the categories of our conceptual system. Thus Kant makes the shift to a conceptualist approach by drawing out the categories that are.. (shrink)

The application of digital humanities techniques to philosophy is changing the way scholars approach the discipline. This paper seeks to open a discussion about the difficulties, methods, opportunities, and dangers of creating and utilizing a formal representation of the discipline of philosophy. We review our current project, the Indiana Philosophy Ontology (InPhO) project, which uses a combination of automated methods and expert feedback to create a dynamic computational ontology for the discipline of philosophy. We argue that our distributed, expert-based approach (...) to modeling the discipline carries substantial practical and philosophical benefits over alternatives. We also discuss challenges facing our project (and any other similar project) as well as the future directions for digital philosophy afforded by formal modeling. (shrink)