This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...) presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge). (shrink)

Pv~P: Cambridge Journal of Undergraduate Philosophy, Issue 1, 1982.

I adopt a cladistic view of species, and explore the possibility that there exists an equally valuable cladistic view of organismic traits. This suggestion seems to run counter to the stress on functional views of biological traits in recent work in philosophy and psychology. I show how the tension between these two views can be defused with a multilevel view of biological explanation. Despite the attractions of this compromise, I conclude that we must reject it, and adopt an essentially cladistic (...) conception of biological traits. (shrink)

The widely cited Nuffield Council on Bioethics ‘Intervention Ladder’ structurally embodies the assumption that personal autonomy is maximized by non-intervention. Consequently, the Intervention Ladder encourages an extreme ‘negative liberty’ view of autonomy. Yet there are several alternative accounts of autonomy that are both arguably superior as accounts of autonomy and better suited to the issues facing public health ethics. We propose to replace the one-sided ladder, which has any intervention coming at a cost to autonomy, with a two-sided ‘Balanced Intervention (...) Ladder,’ where intervention can either enhance or diminish autonomy. We show that not only the alternative, richer accounts of autonomy but even Mill’s classic version of negative liberty puts some interventions on the positive side of the ladder. (shrink)

Assuming it rational to treat other persons' probabilities as epistemically significant, how shall their judgements be weighted (Barnes [1998])? Several plausible methods exist, but theorems in classical psychometrics greatly reduce the importance of the problem. If scientists' judgements tend to be positively correlated, the difference between two randomly weighted composites shrinks as the number of judges rises. Since, for reasons such as representative coverage, minimizing bias, and avoiding elitism, we would rarely employ small numbers of judges (e.g. less than 10), (...) the difference between two weighting systems becomes negligible. Suggestions are made for quantifying verisimilitude, identifying 'types' of scientists or theories (taxometrics), inferring latent factors, and estimating reliability of pooled judgements. (shrink)

The Discourses report wide-ranging discussions between Epictetus and his students.

Philosophers have had an interest in language from the earliest times but the twentieth century, with its so-called 'linguistic turn' in philosophy, has seen a huge expansion of work focused specifically on language and its foundations. No branch of philosophy has been unaffected by this shift of emphasis. It is timely at the end of the century to review and assess the vast range of issues that have been developed and debated in this central area. The distinguished international contributors present (...) a clear, accessible guide to the fundamental questions raised by the philosophers about language. Contributions include Graeme Forbes on necessity, Susan Haack on deviant logics, Paul Horwich on truth, Charles Travis on Wittgenstein, L.J. Cohen on linguistic philosophy, Ruth Kempson on semantics and syntax and Christopher Hookway on ontology, to name but a few. A wide range of topics are covered from the metaphysics and ontology of language, language and mind, truth and meaning, to theories or reference, speech act theory, philosophy of logic and formal semantics. There are also articles on key figures from the twentieth century and earlier. Based on the foundation provided by the award-winning Encyclopedia of Language and Linguistics this single volume provides a collection of articles that will be an invaluable reference tool for all those interested in the area of philosophy of language, and also to those in cognitive science and psychology. All the articles have been thoroughly revised and updated. This volume gives a unique survey of topics that are at the very core of contemporary philosophy. (shrink)