Barry C. Smith

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.

The Joint Battle Management Language (JBML) is an XML-based language designed to allow Command and Control (C2) systems to interface easily with Modeling and Simulation (M&S) systems. While some of the XML-tags defined in this language correspond to types of entities that exist in reality, others are mere syntactic artifacts used to structure the messages themselves. Because these two kinds of tags are not formally distinguishable, JBML messages in effect confuse data with what the data represent. In this paper we show how a realism-based ontology combined with a rule language can be used to make these distinctions explicit. The approach allows storage of the contents of JBML messages in a Referent Tracking System in a format that mimics the structure of reality thereby providing an aid to message validation

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain.

EVERY speaker of a language knows a bewildering variety of linguistic facts, and will come to know many more. It is knowledge that connects sound and meaning. Questions about the nature of this knowledge cannot be separated from fundamental questions about the nature of language. The conception of language we should adopt depends on the part it plays in explaining our knowledge of language. This chapter explores options in accounting for language, and our knowledge of language, and defends the view that individuals’ languages are constituted by the standing knowledge they carry from one speech situation to another.

In uttering a sentence we are often taken to assert more than its literal meaning — though we sometimes assert less. Robyn Carston and others take this phenomenon to show that what is said or asserted by a speaker on an occasion of utterance is usually a contextuallyenriched version of the semantic content of the sentence. I shall argue that we can resist this conclusion if we recognize that what we think we are asserting, or take others to be asserting, involves selective attention to one of the ways a sentence could be true and neglects others. Most of the time people converge in their selective attention and so communication is not impaired. Though in the case of sentences involving predicates of taste, people’s attention to different aspect of the truth conditions leads to seemingly intractable disputes. I will propose a treatment of such cases on which speakers mean the same by a sentence, assert no more than its semantic content, hold conflicting opinions about its truth-value, and are both right.

MEDIEVAL LOGICCARLOS A. DUFOUR, Die Lehre der Proprietates Terminorum. Sinn und Referenz in mittelalterlicher Logik. München, Hamden, Wien: Philosophia, 1989. 312 pp. 148 DM.NORMAN KRETZMANN and BARBARA ENSIGN KRETZMANN The Sophismata of Richard Kilvington. Oxford: Published for the British Academy by Oxford University Press, 1990. xx + 156 pp. £27.50.LOGIC AND MATHEMATICSSOULEYMANE BACHIR DIAGNE, Boole. Paris: Editions Belin, 1989. 262pp. 75 Ffr.M.-M. TOEPELL, Über die Entstehung von David Hilberts “Grundlagen der Geometrie”. Göttingen: Vandenhoeck und Ruprecht, 1986. vii + 293 pp. 82 DM.VOLKER PECKHAUS, Hilbertprogramm und Kritische Philosophie. Das Göttinger Model1 interdisziplinarer Zusammenärbeit zwischen Mathematik und Philosophie. Gottingen: Vandenhoeck und Ruprecht, 1990. vi + 291 pp. 78 DM.E. WELTI, Die Philosophie des Strikten Finitismus, Entwicklungstheoretische und mathematische Untersuchungen iiber Unendlichkeitsbegriffe in Ideengeschichte und Mathematik, Bern, Frankfurt am Main und New York: Peter Lang, 1986. xxix + 652pp. $79.90.Philosophy of logicMARK A. NOTTURNO, Perspectives on psychlogism. Leiden, New York, Copenhagen and Cologne: E. J. Brill, 1989. viii + 504 pp. 225 Dfl/$112.50.ROBERT N. MCLAUGHLIN, On the logic of ordinary conditionals. Albany: State University of New York Press, 1990. xvii + 202 pp. $54.50 /$17.95.JAAKKO HINTIKKA and MERRILL HINTIKKA, The logic of epistemology and the epistemology of logic: selected essays. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989.J. NORMAN and R. SYLVAN, Directions in relevant logic. Foreword by N. D. Belnap. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989. xii + 453 pp. £72.00.LOGIC AND LANGUAGEC. J. F. WILLIAMS, What is identity? Oxford: Clarendon Press, 1989. xx + 207 pp. £25.00.GREGORY MCCULLOCH, The game of the name. Oxford: Oxford University Press, 1989. xvi + 320pp. £30.00, £9.95.GRAEME FORBES, Languages of possibility. Oxford: Basil Blackwell, 1989. x + 181 pp. £27.50.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine.

The problem of self‐knowledge is examined and the linguistic strategy for tackling it is explored. The strategy attempts—as in Davidson's and Wright's discussions of self‐knowledge—to ground knowledge of one's mind on knowledge of what one means in speaking one's mind. If knowing what one is saying in speaking a language is to provide a means of knowing one's own mind, it cannot simply be a part of it. But if no account of knowledge of what one means is offered, there will be a lacuna in the strategy. The paper considers what form a full account should take, and argues that it will have to combine first‐personal, third‐personal and sub‐personal elements of our knowledge of language. All three elements are necessary to explicate what is made available in, and expressed by, instances of disquotational knowledge, such as ‘Snow is white’ means that snow is white.. Immediate and authoritative knowledge of which sentences are grammatical depends on the internal workings of the language faculty and their impact on the conscious experience of the speaker, but immediate and authoritative knowledge of word meaning is not solely a matter internal to the speaker. Knowledge of word meaning is knowledge of public norms that govern our use of words, which introduce third‐personal standards into our first‐personal use. It is argued that our knowledge of word meaning is immediately authoritative about objective standards governing the proper use of our words, and so the authority attaching to these disquotational pronouncements is substantial and not merely an artefact of disquotation. Without an account of that knowledge the lacuna in the linguistic strategy remains.

MEDIEVAL AND RENAISSANCE LOGICSMARK D. JOHNSTON, The spiritual logic of Ramon Llull. Oxford: Clarendon Press,1987. xi + 336 pp. £35.00E. J. ASHWORTH, Thomas Bricot: Tractatus Znsolubilium. Nijmegen: Ingenium, 1986. xxiii+ 155 pp. 44 Dfl.CYPRIANI REGNERI, Demonstratio logicae verae iuridica. Edited by G. Kalinowski. Bologna: Cooperativa Libraria Universitaria Editrice Bologna, 1986. xxviii + 167 pp. No price stated.GIROLAMO SACCHERI, Euclides vindicatus. Edited and translated by George Bruce Halsted: second, expanded, edition. New York: Chelsea Publishing Company 1986. xxx + 255 pp. $16.95.THE NINETEENTH CENTURYT. HAILPERIN, Boole's logic andprobability. Second edition. Amsterdam, New York,Oxford and Tokyo: North-Holland, 1986. xii + 428 pp. $76.00.WALTER PURKERT and HANS JOACHIM ILGAUDS, Georg Cantor 1845-1918. Basel/Boston/Stuttgart: Birkhauser Verlag, 1987. 262 pp., 26 plts. SFr. 48.MAX H. FISCH, Peirce, semeiotic, andpragmatism: essays by Max H. Fisch. Edited by Kenneth Laine Ketner and Christian J. W. Kloesel. Bloomington: Indiana University Press, 1986. xiv + 464 pp. $45.00.LOGIC AND LANGUAGEJOËLLE PROUST, Qusesting de forme. logique et proposition analtique de kant á Carnap. Paris Fayard, 1986. xxviii + 504 pp. FF 160H. PALMER, Presupposition and transcendental inference. London and Sydney: Croom Helm, 1985. 208 pp. £15.95EDITIONSALFRED TARSKI, Collected papers. Edited by Steven R. Givant and Ralph N. McKenzie. Vol. I, 1921-1934, 659 pp. Vol. 11, 1935-1944, 699 pp. Vol. 111, 1945-1957, 682 pp. Vol. IV, 1958-1979, 757 pp. Basel, Boston, Stuttgart: Birkhäuser,1986. SF 1280KURT GöDEL, Collected works, Volume 1. Edited by Solomon Feferman, John W. Dawson Jr., Stephen Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort. New York: Oxford University Press; Oxford: Clarendon Press; 1986. xviii + 474 pp. £25.00.MISCELLANEOUSJ. MACNAMARA, A border dispute. The place of logic in psychology. Cambridge, Mass. and London: M. I. T. Press. 1986. xviii + 212 pp. £22.50.G. LOLLI, La macchina e le dimostrazioni. Bologna: il Mulino, 1987. 157 pp. L. 15.000.