Representing the kinetic state of a patient (posture, motion, and activity) during vital sign measurement is an important part of continuous monitoring applications, especially remote monitoring applications. In contextualized vital sign representation, the measurement result is presented in conjunction with salient measurement context metadata. We present an automated annotation system for vital sign measurements that uses ontologies from the Open Biomedical Ontology Foundry (OBO Foundry) to represent the patient’s kinetic state at the time of measurement. The annotation system is applied (...) to data generated by a wearable personal status monitoring (PSM) device. We demonstrate how annotated PSM data can be queried for contextualized vital signs as well as sensor algorithm configuration parameters. (shrink)

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its (...) primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (shrink)

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual (...) obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods. (shrink)

A miracle is defined as a violation of or intercession in the laws of nature. Some recent reports of UFO phenomena are such that UFOs may satisfy that definition. In this paper, we ask how Hume’s famous argument in “Of Miracles” relates to UFOs. We argue that his critique fails and that some well corroborated UFO reports are such that they justify a belief in miracles (qua violations of laws of nature).

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Le présent article est une tentative nouvelle d’articuler le rôle d’une théorie des vérifacteurs. Nous soutenons que la théorie de la vérifaction constitue une pierre angulaire dans une bonne méthodologie en métaphysique, mais que l’amalgame entre la théorie de la vérifaction et la théorie de la vérité a été responsable de certains excès associés aux approches vérifactionnistes dans la littérature récente. Nous montrons que la théorie de la vérifaction conserve son attrait comme instrument d’investigation métaphysique, et ce, malgré notre accord (...) avec les doctrines déflationnistes telles que celles défendues par Ayer, Quine, Field et Horwich (ou, du moins, malgré notre neutralité à leur égard). Nous soutenons en outre que les intuitions sous-jacentes à la théorie de la vérifaction s’éclairent quand nous les dissocions d’une théorie de la vérité et, par-dessus tout, de la tentative de fournir une définition de la vérité. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

This letter addresses the editorial decision to publish the article, “Research on group differences in intelligence: A defense of free inquiry” (Cofnas, 2020). Our letter points out several critical problems with Cofnas's article, which we believe should have either disqualified the manuscript upon submission or been addressed during the review process and resulted in substantial revisions.

We are addressing this letter to the editors of Philosophical Psychology after reading an article they decided to publish in the recent vol. 33, issue 1. The article is by Nathan Cofnas and is entitled “Research on group differences in intelligence: A defense of free inquiry” (2020). The purpose of our letter is not to invite Cofnas’s contribution into a broader dialogue, but to respectfully voice our concerns about the decision to publish the manuscript, which, in our opinion, fails to (...) meet a range of academic quality standards usually expected of academic publications. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

Is the brain really a computer? In particular, is our intelligence a computational achievement: is it because our brains are computers that we get on in the world as well as we do? In this paper I will evaluate an ambitious new argument to the contrary, developed in Landgrebe and Smith (2021a, 2022). Landgrebe and Smith begin with the fact that many dynamical systems in the world are difficult or impossible to model accurately (inter alia, because it is (...) intractable to find exact solutions to the differential equations that describe them—meaning we have to approximate—but at the same time they are such that small differences in starting conditions lead to big differences in final conditions, thwarting accurate approximation). Yet we manage to survive and thrive in a world full of such systems. Landgrebe and Smith argue from these premises that it is not because our brains are computers that we get on as well as we do: instead it is because of the various ways that we dynamically couple with such systems, these couplings themselves impossible to model well enough to emulate in silico. Landgrebe and Smith thus defend a dynamical systems model in the lineage of Gibson (1979), Van Gelder (1995), and Thompson (2007), though their focus is on decisively refuting the computationalist alternatives rather than developing the positive account. Here I will defend the claim that human intelligence is genuinely computational (and that whole brain emulation and others forms of AGI may be possible) against this argument. (shrink)

Die Entwicklung der Philosophie in Österreich unterscheidet sich in markanter Weise von der Hauptlinie der philosophischen Entwicklung in Deutschland. Dabei fällt bei der österreichischen Philosophie vor allem die konsequente Orientierung an den Wissenschaften auf. In der philosophiegeschichtlichen Forschung sind für diese Besonderheit der österreichischen Philosophie z. B. von Otto Neurath, Rudolf Haller, Friedrich Stadier und J.C. Nyiri verschiedene Erklärungen vorgeschlagen worden. In diesen spielen in jeweils unterschiedlicher Weise Faktoren der spezifisch österreichischen Entwicklungen in historischer, institutioneller, politischer und religiöser Hinsicht eine (...) Rolle. Der vorliegende Aufsatz kritisiert demgegenüber bereits die diese Erklärungsversuche tragende Fragestellung: Die philosophischen Entwicklungen in Österreich bedürfen - so lautet die neue These - gar nicht einer besonderen Erklärung; denn sie stellen den geistesgeschichtlichen Normalfall dar. Vielmehr ist eine Erklärung dafür notwendig, daß sich die wissenschaftliche Philosophie und die mit ihr verbundenen Charakterzüge stilistischer Klarheit, technischer Kompetenz, systematischer Orientierung, Spezialisierung und Professionalisierung im gleichen Zeitraum nicht auch in Deutschland entwickelt haben. Eine solche Erklärung läßt sich - so eine weitere These des Aufsatzes - ziemlich leicht aus der besonderen Rolle der (traditionellen idealistischen) Philosophie im deutschen Nationalbewußtsein herleiten. (shrink)

In der klassischen Logik von Aristoteles bis Wolff findet sich eine durchgängige Parallelität von logischen (einschließlich grammatikalischen und psychologischen) und ontologischen Gebilden. Der Logiker beschäftigt sich mit Subjekt und Prädikat, aber gleichzeitig auch z.B. mit Substanz und Akzidenz als Entitäten in der Welt. Nach Kant begann für die Logik eine Phase, in der diese ontologische oder objektbezogene Seite verloren ging. Gegen Ende des 19. Jahrhunderts beginnt man dann aber wieder über die ontologischen Korrelate des Denkens und des Urteilens zu sprechen. (...) Wir zeigen, dass diese Wiederbelebung der alten Logik mit der Einführung des Terminus ‘Sachverhalt’ in die Sprache der Philosophie verbunden ist. (shrink)

W dziełach Arystotelesa, lub z medievals, jak również w pismach późniejszych zdroworozsądkowe filozofów, takich jak Thomas Reid czy GE Moore’a, możemy znaleźć rodzinę różnych prób uporania się ze strukturami rozsądku i wspólnego -sense świat, który jest nam dany w normalnym, doświadczenie pre-teoretycznym. Będziemy argumentować, co wynika, że ​​teoria takich struktur stanowi ważny i dotychczas niedoceniany związek między wczesnym psychologii Gestalt z jednej strony, oraz współczesnych osiągnięć w filozofii i sztucznej inteligencji badań na innych.

Peter Godfrey-Smith’s Metazoa and Joseph LeDoux’s The Deep History of Ourselves present radically different big pictures regarding the nature, evolution and distribution of consciousness in animals. In this essay review, I discuss the motivations behind these big pictures and try to steer a course between them.

: For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...) Ingarden’s approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

Die klassische bikategoriale Ontologie von Substanzen und Akzidentien ist für die Festlegung der Strukturen menschlichen und tierischen Verhaltens nicht hinreichend, da die Umwelten dieses Verhaltens sich nicht in dieses klassische System einfügen. Wir bieten dementsprechend den Grundriß einer Theorie der besonderen Gebilde, die die Alltagswelten menschlicher und tierischer Verhalten konstituieren. Die Ausgangsüberlegung ist die folgende, Wir sind alle (Schau)spieler, und diese brauchen eine Bühne. Unsere Bühne ist die jeweilige Umwelt, in der wir leben und handeln. Der Terminus ‘Umwelt’ wird hierbei (...) in Analogie zu Husserls Begriff der Lebenswelt verwendet. Er bezeichnet dementsprechend einen strukturierten Teil der Welt, in den sich ein Lebewesen, z.B. ein Mensch, einpaßt. Die Umwelt ist, wenn man so will, demnach die Bühne, auf welcher sich unser Verhalten abspielt. Der Versuch, das Wesen solcher Umwelten ontologisch festzulegen, bringt allerdings ein schwieriges Problem mit sich - ein Problem so alt wie Platons Höhlengleichnis und so neu wie gegenwärtige Reflexionen amerikanischer Philosophen zur Metaphysik der virtuellen Realität und zum Gedankenexperiment des Gehirns im Tank. Es gibt nämlich in manchen Fällen grobe Inkonsistenzen zwischen (1) der Umwelt, wie wir sie uns gerade vorstellen, und (2) der Umwelt als Bestandteil der wirklichen Welt. Das Problem, zwischen diesen beiden Umweltklassen einen Ausgleich zu finden, wird im letzten Teil des Aufsatzes behandelt. (shrink)

Pojęcie niszy (otoczenia, kontekstu, siedliska, środowiska) nie cieszy się specjalnym zainteresowaniem ontologów, mimo że ma szerokie zastosowanie w rozmaitych dyscyplinach, od biologii ewolucyjnej po ekonomię. Niniejszy artykuł zawiera pierwszą teorię formalną tego pojęcia — teorię relacji pomiędzy przedmiotami a ich niszami. Teoria ta opiera się na istniejącym dorobku mereologii, topologii i teorii lokalizacji przestrzennej, które są narzędziami ontologii formalnej. Jest ona tutaj ilustrowana głównie za pomocą prostych przykładów z biologii, ale pojęcie niszy należy rozumieć — podobnie jak pojęcia części, granicy (...) i położenia — jako pojęcie strukturalne, znajdujące zastosowanie w obszernym zakresie różnych dziedzin. (shrink)

Aristotle says that ὑπαρχειν has as many senses as ‘to be true’ (PrA. , A, 36, 48b2-9) and as many ways as there are different categories. (PrA., A, 37, 49a6-9) This may mean that for every ‘is’ there is a ὑπαρχειν. Τhe reason is that Aristotle uses ὑπαρχειν in converse direction of ‘is’. The equal statement of ‘A is B’ with ὑπαρχειν is ‘B ὑπαρχει to A.’ Allen Bāck points to the difference between the use of the verb with dative (...) case and its use with a subject alone in Greek language. When it is used with the dative, it retains its basic meaning, that is, ‘be already present’ or ‘exist really.’ ‘So to say that P belongs to S is to say that P exists in S, or, if you like, that P has its being in S.’ He believes that Aristotle uses this construction to insist that primary substances alone are the fundamental being and all other things only are ‘in’ substances. Thus, when the verb is used with the dative, it expresses dependent substance relation. But when it is used with a subject alone, e.g. in ‘S ὑπάρχει,’ it expresses that the subject really exists. (OI., 17a24 and 17b2) Thus, while it is the subject which is said to be the predicate, it is the predicate which ὑπάρχει to the subject. The formula of ‘τὸ Α ὑπάρχει τῷ Β’ is equivalent to ‘τὸ Β ἐστι Α.’ He uses the word for the predication of a category on substance (e.g. Met., α, 993b24-25; Met., Z, 1029a15-16; Cat., 5, 3b24-25), the predication of secondary substance on primary substance (e.g. Met., Z, 1038b21-23; Cat., 5, 2a14-19), the predication of primary substance on nothing else but itself (e.g. Met., Z, 1040b23-24), the belonging of a verb to the subject, the belonging of axioms to a single science (Met., 1005a22-23) , the belonging of PNC to all things that are (Met., IV, 3) , in the sense of really existing (Cael. 297b22, Met., 1041b4. Cf. B503, 125-126) or merely in the sense of the predication of a predicate on a subject (e.g. OI., I, 5, 17a22-24) and especially and much more repeatedly than anywhere else in his discussion of syllogism. (e.g. PrA., A, 36, 48a40-b2; PrA., B, 22, 67b28-30; PrA., A, 24a26-28) It is also used in some related senses like mere belonging (e.g. Met., A, 989a10-14; K, 1060a9-10) or to be there. (So., B, 5, 417b23-26) Some of its derived forms are also used by Aristotle. For example, ἐνυπαρχον in the sense of the thing that is ‘in’ something; (e.g. Met., A, 991a13-16; Met., Z, 1038b29-33 and 1039a3-5) ὑπερέχον in the sense of that which contains and ὑπερεχόμενον in the sense of that which is contained in something else. (e.g. Met., Δ, 1020b26-28) In a sense, the extent of the application of ὑπαρχειν is wider than ‘is’ since it is not restricted to the nominative form in which ‘is’ is used but is applicable to other cases as well: ‘For ‘That does not belong to this’ does not always mean that ‘This is not that’ but sometimes that ‘this is not of that’ or ‘for that.’ (PsA., A, 36, 48b28-33) Allen Bāck (B503, 124) points that in the Prior Analytics Aristotle uses ‘ὑπάρχει τῷ’ and ‘κατηγορεῖσθαι κατά’ interchangeably. (e.g. at 25b37-26a4) Referring to its converse construction in respect of μετέχει (if A belongs to B, then B participates in A) as a probable reason that it may have Platonist foundations. But the question is: why does Aristotle uses this construction (B belongs to A) instead of simply saying A is B? Alexander of Aphrodisias (Apr 54.21-29) wonders why Aristotle had to adhere to such artificial language, entirely unnatural for ordinary speakers of Greek. As Jonathan Barnes points out, all the three formulas of ‘τὸ Α ὑπάρχει τῷ Β,’ ‘τὸ Α κατηγορεῖται κατὰ τοῦ Β’ and ‘τὸ Α λέγεται κατὰ τοῦ Β’ are artificial in the sense that no Greek who wanted to say that pleasure was good would normally have expressed himself by way of any of them.’ Bāck thinks Aristotle may have used it ‘to stress the primacy of primary substances as the ultimate subjects.’ He also mentions the probability that it may be to emphasize that the terms are being coupled in predication without any existence condition, a suggestion he is not himself inclined with. Robin Smith notes for Aristotle that ‘belonging to’ construction is wider than ‘predicated of’ construction because it can be used for cases that cannot easily be treated as categorical sentences. While predication is restricted to cases in which the subject term is in the nominative case, belonging can indicate, as he quotes Mignucci (480-481), ‘any possible grammatical construction for a predicative relation’ . (shrink)

John Smith was among the first of the Cambridge Platonists. He was therefore in a position to influence not only his contemporaries but all those who followed after him well into the twentieth century and beyond. Well established lines of influence both to and from Whichcote, Cudworth, and More are explored first before moving on to less well-known connections to Bishop Simon Patrick and mathematician Isaac Barrow. Smith’s continued significance for eighteenth century theology is demonstrated through discussion of (...) his inspiration of the doctrines of spiritual sensation developed by Jonathan Edwards and John Wesley. Special notice is also given to Smith’s authority as an interpreter of Biblical prophecy through the eighteenth and nineteenth centuries. The chapter concludes with looks at Smith’s influence on Samuel Taylor Coleridge, Ralph Waldo Emerson, William Ralph Inge, Rufus Jones, Pierre Hadot, and others. This chapter, offers a broad, but highly selective, overview of the reception and influence of Smith’s life and work. It is intended, however, as a call for future research more than as an authoritative presentation of Smith’s legacy. For, if the Cambridge Platonists have been underappreciated until recently, none of them have been unjustly ignored as consistently as Smith. (shrink)

The literature on the Cambridge Platonists abounds with references to Neoplatonism and the Alexandrian Fathers on general themes of philosophical and theological methodology. The specific theme of the spiritual senses of the soul has received scant attention however, to the detriment of our understanding of their place in this important tradition of Christian speculation. Thus, while much attention has been paid to the clear influence of Plotinus and the Florentine Academy, far less has been given to important theological figures that (...) also form a vital part of the tradition the Cambridge Platonists find irresistible. Similarly, scholarship on the spiritual senses has tended to ignore early modern Protestant developments in this tradition focusing instead on patristic, medieval, and later modern figures. In response to these oversights, the present chapter provides a close reading and analysis of the reception and modification of Origen of Alexandria’s (185-252) doctrine of the spiritual senses in the “Discourse on the True Way or Method of Attaining to Divine Knowledge” by the Cambridge Platonist, John Smith (1618-1652). Although Smith accepted much of the doctrine as he found it in Origen his allegiance to modern notions of methodology, derived especially from Descartes, as well as his Protestantism, made taking the doctrine on authority or antiquity alone unacceptable. Smith therefore offered his own case for the spiritual senses, at once intentionally mimicking the Alexandrian’s interpretive synthesis of Platonism and Scripture (“Origen as model”) and echoing Origen’s own words (“Origen as source”). Whereas Origen made spiritual sensibility intelligible by means of Middle Platonic thought, Smith’s Neoplatonism provided the conceptual tools needed to make sense of biblical passages without suggesting a merely metaphorical meaning for sensory language concerning the awareness of spiritual realities. In this way, both tradition and innovation guide Smith’s reformulation of the doctrine of the spiritual senses. In addition to demonstrating Smith’s debt to patristic thought, this chapter also discusses his influence on such leading figures in modern theology as John Wesley (1703-1791) and Jonathan Edwards (1703-1758). The chapter thus presents an important moment in the development of Christian speculation about the spiritual senses that begins to bridge scholarship on the Patristic and Enlightenment periods. (shrink)

This paper is a review of R.C. Smith's "The Ticklish Subject? A Critique of Žižek’s Lacanian Theory of Subjectivity, with Emphasis on an Alternative". Whereas Lacan places central importance on the Oedipal phase as a necessary step on the road to the acquisition of subjectivity, R.C. Smith views it as a fundamentally authoritarian moment in early child development. This disagreement, in turn, puts Smith at odds with Žižek’s rupture between the Real and the Symbolic, leading him to (...) advance instead an understanding of the subject as engaged in constant mediation in concert with others. The political ramifications of a notion of mediating subjectivity are intensely gripping, for they disclose nothing less than the promise to recover a sense of effective agency – the possibility of making a difference to one’s sociohistorical conditions – from the ruins of the neoliberal deformation of the subject. (shrink)

Is Divine Knowledge Incompatible with Human Freedom? An Analysis of Some Arguments The problem that divine omniscience or divine foreknowledge makes free will impossible belongs to notoriously difficult to solve. In XX century one of the most important interpretation of this difficulty was provided by Nelson Pike. If God believes infallibly and in advance how Smith will act, this fact about the past excludes out all alternatives for Smith. But libertarian account of free will requires alternatives possibilities, so, (...) it could be argue that God’s foreknowledge is incompatible with our free will. This paper carefully criticizes Pike’s argumentation and suggests that because God’s foreknowledge doesn’t eliminate future alternatives through causal means, it is compatible with free will and that Pike’s argument and two briefly analyzed standard arguments for fatalism presented by Zagzebski failed. (shrink)

Brought to you by: Crop X editors: Jonathan Alexander Perez, Harmony Smith, Corinne Tendorf, David Turturo, and Derek Rahn Williams. Faculty Advisor: David Turturo; Crop X team included: Chaimae Alehyane, Zachary S. Casey, Suzanna Brinez, Jacob Brown, Elizabeth George, Francisco Javier Muniz Ituarte, Brodey Myers. -/- Credits: Huckabee College of Architecture; Graphic Designers: Studio BLDG (Blossom Liu + Danny Gray); English Editor: Luke Studebaker; Spanish Translator: Jessie Forbes; Printer: Die Keure. Cover Photo: Derek Williams. -/- Generously supported by (...) the Graham Foundation for Advanced Studies in the Fine Arts and the Huckabee College of Architecture, Texas Tech University. (shrink)

We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the epistemology of testimony (...) and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (shrink)

Bilimi ve bilimsel bilgiyi kültür, değer ve öznel yargılardan izole ederek nesnel bir şekilde ortaya koyabilmeye yönelik hararetli tartışmaların yaşandığı yirminci yüzyıl bilim anlayışının temel gayesi, deney ve gözleme tabi olabilecek fiziki dünyadaki olguları, mantıksal çözümlemeye tabi tutarak birleştirilmiş bilime ulaşmaktır. Bu amaca giden yolda olgulara dayanmayan ve sınanamayan her türlü metafizik öge yok sayılır. Bilimsel bilginin sadece deney ve gözleme tabi olana, diğer bir deyişle olgu verilerine dayandığı iddiasını taşıyan bu düşünce sistemi, özellikle Viyana Çevresi üyeleri tarafından benimsenmiştir. Bu (...) bakımdan Çevre üyelerinin bilimsellik anlayışındaki temel ölçüt olgulara dayanan önermelerin ya da yargıların doğrulanabilmesidir. Bilimsel bilginin sadece olgusal dünyanın gözlemlenmesi ve bu gözlem sonucunda ortaya konulan önermelerin ya da ifadelerin doğrulanmasıyla sağlandığını düşünen Çevre üyelerinin bu savlarındaki amacı bilimi ve onun bilgisini her türlü kültür ve değer alanından uzaklaştırarak metafiziksel unsurlardan arındırılmış nesnel bilgiye ulaşmaktır. Çevre üyelerinin birçoğu bilim alanı içerisinde tartışmaya yol açan meselelerin aslında metafiziksel içerikli ve dolayısıyla bunların görünüşte problemler olduğunu belirterek bu tartışmaların bilimsel bilginin gelişimi önünde bir engel oluşturacağı kanaatindedir (Hızır, 1965, s. 254). Söz gelimi, Carnap’a göre, metafizik ögeler olgusal içeriğe sahip olmadığı ve sınanabilir nitelikte olmadıkları için bilim alanı içerisinde değerlendirilemez. Bu nedenle, metafizik ögeler hem doğrulanması mümkün olmadığı hem de dilin mantıksal dizimine genellikle uymadığı gerekçesiyle anlamsızdır (Öztürk, 2011, s. 155). Bu bakımdan Çevre üyelerine göre, olgulara dayanmayan ve bilimde yanılsamalara yol açan metafizik söylemler bilimden ayıklanmalı ve bilimsel bilgi ancak olgu ve deneye dayanan önermeler üzerinden yürütülmelidir. Öte yandan Çevre düşünürleri mantıksal çözümleme yoluyla olgulara dayanan önermelerin metafiziksel unsurlar içeren önermelerden ayırt edilebileceğini ifade etmiştir. Bu bağlamda metafizik önermeleri, metafizik olmayan önermelerden ayırt edecek ölçütün doğrulanabilirlik olduğunu savunurlar. Çevre üyelerinin bu tutumları bir bakıma bilim ve sözde bilim arasında ayrım yapma ve metafiziği bilimin dışında tutma çabası olarak da değerlendirilebilir (Kabadayı, 2011, s. 39-40). Yirminci yüzyıl bilim anlayışında bilimsel etkinlikte gözlemin ve gözlemi yürüten bilim insanlarının dolaysız öznel duyu verileriyle ilişkili olduğu bu nedenle gözlem verilerinin psikolojizmin etkisinde olduğu fikri ortaya atılır. Başta Neurath olmak üzere dönemin bilim felsefecileri bilimsel bilginin kültür, değer ve psikoloji gibi öznel unsurlardan uzaklaştığı sürece değerli olduğu kanısında olduğu için bu fikre karşı çıkmaktadır (Gillies, 2018, s. 123). Görüldüğü üzere, Çevre üyelerinin temel amacı metafizik önermelerden arındırılmış, olgulara dayanan bir bilime ulaşmaktır. Bu amacın gerçekleşmesine olanak sağlayacak yöntem ise mantıksal çözümlemedir. Bu bağlamda Çevre üyeleri olgulara dayanan ve doğrulanabilen önermelerin, söz dizimi (sentaks) ve anlamsal (semantik) açıdan incelemeye tabi tutulması gerektiğini düşünmektedir (Yardımcı, 2018, s. 13-15). Özellikle Carnap (1935, s. 9-10) doğrulamanın ancak öne sürülen önermenin mantıksal analize tabi tutularak yapılması gerektiğini iddia etmiştir (Irzık, 1962, s. 65). Bununla birlikte, felsefenin işlevi, önermeleri mantıksal analize tabi tutarak yalın hale getirmektir. İşte felsefenin bu yönü Neurath’da bilimin birliği, Carnap’ta ise bilimin sentaksı, yani bilimin mantığı üzerine çalışma anlamına gelir (Hızır, 1965, s. 252). Bilimi, bilim olmayandan ayırma yöntemi olarak kullanılan doğrulama işlemi, teorik bir söylem ve gözlem önermesi arasında yapılan bir işlem olması bakımından mantıksal ve dilsel bir özellik taşır. Buradaki temel sorun ise teorik bir önermenin gözlem önermelerine indirgenebilir nitelikte olması ve gözlem önermelerinin, gözlem ile nasıl ilişki kurduğunu saptamaktır. İşte Viyana Çevresi üyeleri bu ilişkinin protokol önermeleri ile kurulduğu kanaatindedir (Ural, 2012, s. 105-107) çünkü onlara göre; öznelerarası bir bilimin sağlanması için yansız ve anlam karmaşasından arındırılmış bir dil gereklidir (Serin, 2015, s. 55). Bu dil de ancak protokol önermeler aracılığıyla kurulabilir. Bu bağlamda Çevre üyelerinin, metafiziksel ifadeler barındıran önermelerin anlamsızlığı ve bilimleri ortak bir paydada birleştiren fiziksel bir dil oluşturma olmak üzere iki temel hedefinin olduğu söylenebilir (Godfrey-Smith, 2003, s. 25; Salgar, 2012, s. 187). (shrink)

Two separate research programs have revealed two different factors that feature in our judgments of whether some entity persists. One program—inspired by Knobe—has found that normative considerations affect persistence judgments. For instance, people are more inclined to view a thing as persisting when the changes it undergoes lead to improvements. The other program—inspired by Kelemen—has found that teleological considerations affect persistence judgments. For instance, people are more inclined to view a thing as persisting when it preserves its purpose. Our goal (...) in this paper is to determine what causes persistence judgments. Across four studies, we pit normative considerations against teleological considerations. And using causal modeling procedures, we find a consistent, robust pattern with teleological and not normative considerations directly causing persistence judgments. Our findings put teleology in the driver’s seat, while at the same time shedding further light on our folk notion of an object. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist theories are unable to account for (...) the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

Molyneux's Question (MQ) concerns whether a newly sighted man would recognize/distinguish a sphere and a cube by vision, assuming he could previously do this by touch. We argue that (MQ) splits into questions about (a) shared representations of space in different perceptual systems, and about (b) shared ways of constructing higher dimensional spatiotemporal features from information about lower dimensional ones, most of the technical difficulty centring on (b). So understood, MQ resists any monolithic answer: everything depends on the constraints faced (...) by particular perceptual systems in extracting features of higher dimensionality from those of lower. Each individual question of this type is empirical and must be investigated separately. We present several variations on MQ based on different levels of dimensional integration—some of these are familiar, some novel adaptations of problems known elsewhere, and some completely novel. Organizing these cases in this way is useful because it unifies a set of disparate questions about intermodal transfer that have held philosophical and psychological interest, suggests a new range of questions of the same type, sheds light on similarities and differences between members of the family, and allows us to formulate a much-augmented set of principles and questions concerning the intermodal transfer of spatiotemporal organization. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

Can new technology enhance purpose-driven, democratic dialogue in groups, governments, and societies? Online Deliberation: Design, Research, and Practice is the first book that attempts to sample the full range of work on online deliberation, forging new connections between academic research, technology designers, and practitioners. Since some of the most exciting innovations have occurred outside of traditional institutions, and those involved have often worked in relative isolation from each other, work in this growing field has often failed to reflect the full (...) set of perspectives on online deliberation. This volume is aimed at those working at the crossroads of information/communication technology and social science, and documents early findings in, and perspectives on, this new field by many of its pioneers. -/- CONTENTS: -/- Introduction: The Blossoming Field of Online Deliberation (Todd Davies, pp. 1-19) -/- Part I - Prospects for Online Civic Engagement -/- Chapter 1: Virtual Public Consultation: Prospects for Internet Deliberative Democracy (James S. Fishkin, pp. 23-35) -/- Chapter 2: Citizens Deliberating Online: Theory and Some Evidence (Vincent Price, pp. 37-58) -/- Chapter 3: Can Online Deliberation Improve Politics? Scientific Foundations for Success (Arthur Lupia, pp. 59-69) -/- Chapter 4: Deliberative Democracy, Online Discussion, and Project PICOLA (Public Informed Citizen Online Assembly) (Robert Cavalier with Miso Kim and Zachary Sam Zaiss, pp. 71-79) -/- Part II - Online Dialogue in the Wild -/- Chapter 5: Friends, Foes, and Fringe: Norms and Structure in Political Discussion Networks (John Kelly, Danyel Fisher, and Marc Smith, pp. 83-93) -/- Chapter 6: Searching the Net for Differences of Opinion (Warren Sack, John Kelly, and Michael Dale, pp. 95-104) -/- Chapter 7: Happy Accidents: Deliberation and Online Exposure to Opposing Views (Azi Lev-On and Bernard Manin, pp. 105-122) -/- Chapter 8: Rethinking Local Conversations on the Web (Sameer Ahuja, Manuel Pérez-Quiñones, and Andrea Kavanaugh, pp. 123-129) -/- Part III - Online Public Consultation -/- Chapter 9: Deliberation in E-Rulemaking? The Problem of Mass Participation (David Schlosberg, Steve Zavestoski, and Stuart Shulman, pp. 133-148) -/- Chapter 10: Turning GOLD into EPG: Lessons from Low-Tech Democratic Experimentalism for Electronic Rulemaking and Other Ventures in Cyberdemocracy (Peter M. Shane, pp. 149-162) -/- Chapter 11: Baudrillard and the Virtual Cow: Simulation Games and Citizen Participation (Hélène Michel and Dominique Kreziak, pp. 163-166) -/- Chapter 12: Using Web-Based Group Support Systems to Enhance Procedural Fairness in Administrative Decision Making in South Africa (Hossana Twinomurinzi and Jackie Phahlamohlaka, pp. 167-169) -/- Chapter 13: Citizen Participation Is Critical: An Example from Sweden (Tomas Ohlin, pp. 171-173) -/- Part IV - Online Deliberation in Organizations -/- Chapter 14: Online Deliberation in the Government of Canada: Organizing the Back Office (Elisabeth Richard, pp. 177-191) -/- Chapter 15: Political Action and Organization Building: An Internet-Based Engagement Model (Mark Cooper, pp. 193-202) -/- Chapter 16: Wiki Collaboration Within Political Parties: Benefits and Challenges (Kate Raynes-Goldie and David Fono, pp. 203-205) -/- Chapter 17: Debian’s Democracy (Gunnar Ristroph, pp. 207-211) -/- Chapter 18: Software Support for Face-to-Face Parliamentary Procedure (Dana Dahlstrom and Bayle Shanks, pp. 213-220) -/- Part V - Online Facilitation -/- Chapter 19: Deliberation on the Net: Lessons from a Field Experiment (June Woong Rhee and Eun-mee Kim, pp. 223-232) -/- Chapter 20: The Role of the Moderator: Problems and Possibilities for Government-Run Online Discussion Forums (Scott Wright, pp. 233-242) -/- Chapter 21: Silencing the Clatter: Removing Anonymity from a Corporate Online Community (Gilly Leshed, pp. 243-251) -/- Chapter 22: Facilitation and Inclusive Deliberation (Matthias Trénel, pp. 253-257) -/- Chapter 23: Rethinking the ‘Informed’ Participant: Precautions and Recommendations for the Design of Online Deliberation (Kevin S. Ramsey and Matthew W. Wilson, pp. 259-267) -/- Chapter 24: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces (Mark E. Phair and Adam Bliss, pp. 269-271) -/- Part VI - Design of Deliberation Tools -/- Chapter 25: An Online Environment for Democratic Deliberation: Motivations, Principles, and Design (Todd Davies, Brendan O’Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, and Aaron Tam, pp. 275-292) -/- Chapter 26: Online Civic Deliberation with E-Liberate (Douglas Schuler, pp. 293-302) -/- Chapter 27: Parliament: A Module for Parliamentary Procedure Software (Bayle Shanks and Dana Dahlstrom, pp. 303-307) -/- Chapter 28: Decision Structure: A New Approach to Three Problems in Deliberation (Raymond J. Pingree, pp. 309-316) -/- Chapter 29: Design Requirements of Argument Mapping Software for Teaching Deliberation (Matthew W. Easterday, Jordan S. Kanarek, and Maralee Harrell, pp. 317-323) -/- Chapter 30: Email-Embedded Voting with eVote/Clerk (Marilyn Davis, pp. 325-327) -/- Epilogue: Understanding Diversity in the Field of Online Deliberation (Seeta Peña Gangadharan, pp. 329-358). -/- For individual chapter downloads, go to odbook.stanford.edu. (shrink)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated (...) with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...) multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

Abstract It would be puzzling if the morally best agents were not so good after all. Yet one prominent account of the morally best agents ascribes to them the exact motivational defect that has famously been called a “fetish.” The supposed defect is a desire to do the right thing, where this is read de dicto . If the morally best agents really are driven by this de dicto desire, and if this de dicto desire is really a fetish, then (...) the morally best agents are moral fetishists. This is puzzling. I resolve the puzzle by showing that on a proper understanding of the interaction between de dicto and de re moral motivation, it is not only not fetishistic, but quite possibly desirable, to be motivated by a de dicto desire to do the right thing. My argument relies partly on an appeal to a non-buck-passing account of moral rightness, according to which rightness is itself an additional reason-giving property over and above the right-making properties of an action. If this account of moral rightness is correct, then we would expect the morally best agents to exhibit de dicto moral motivation. However, since their de dicto desire acts in concert with de re desires, there is no reason to consider it a fetish. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9825-z Authors Vanessa Carbonell, Philosophy Department, University of Cincinnati, P.O. Box 210374, Cincinnati, OH 45221-0374, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide benefits not offered by current information standards. Although there have been ontologies developed in the industrial manufacturing domain, they have been fragmented and inconsistent, and little has received a standard status. With successes in developing coherent ontologies in the biological, biomedical, and financial domains, an effort called (...) Industrial Ontologies Foundry (IOF) has been formed to pursue the same goal for the industrial manufacturing domain. However, developing a coherent ontology covering the entire industrial manufacturing domain has been known to be a mountainous challenge because of the multidisciplinary nature of manufacturing. To manage the scope and expectations, the IOF community kicked-off its effort with a proof-of-concept (POC) project. This paper describes the developments within the project. It also provides a brief update on the IOF organizational set up. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in many influential (...) ontologies, illustrating our results by reference to examples drawn from the domain of the life sciences. (shrink)

I defend a perceptual account of face-to-face mindreading. I begin by proposing a phenomenological constraint on our visual awareness of others' emotional expressions. I argue that to meet this constraint we require a distinction between the basic and non-basic ways people, and other things, look. I offer and defend just such an account.

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds of (...) situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

It is argued that medical science requires a classificatory system that (a) puts functions in the taxonomic center and (b) does justice ontologically to the difference between the processes which are the realizations of functions and the objects which are their bearers. We propose formulae for constructing such a system and describe some of its benefits. The arguments are general enough to be of interest to all the life sciences.

If SNOMED CT is to serve as a biomedical reference terminology, then steps must be taken to ensure comparability of information formulated using successive versions. New releases are therefore shipped with a history mechanism. We assessed the adequacy of this mechanism for its treatment of the distinction between changes occurring on the side of entities in reality and changes in our understanding thereof. We found that these two types are only partially distinguished and that a more detailed study is required (...) to propose clear recommendations for enhancement along at least the following lines: (1) explicit representation of the provenance of a class; (2) separation of the time-period during which a component is stated valid in SNOMED CT from the period it is (or has been) valid in reality, and (3) redesign of the historical relationships table to give users better assistance for recovery in case of introduced mistakes. (shrink)

We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political affairs. Crucially, the X and the Y terms are here identical. A (...) problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retrieval of data in electronic health records (EHRs). Its purpose is to avoid the ambiguity that arises when statements in an EHR refer to disorders or other entities on the side of the patient exclusively by means of compound descriptions utilizing general terms such as ‘pimple on nose’ or ‘small left breast tumor’. In (...) this paper, we describe the theoretical foundations of this paradigm and show how it is being applied to the solution of analogous problems of ambiguous identification in the fields of digital rights management, corporate memories and decision algorithms. (shrink)

When do we judge that someone was forced to do what they did? One relatively well-established finding is that subjects tend to judge that agents were not forced to do actions when those actions violate norms. A surprising discovery of Young & Phillips 2011 is that this effect seems to disappear when we frame the relevant ‘force’-claim in the active rather than passive voice ('X forced Y to φ ' vs. 'Y was forced to φ by X'). Young and Phillips (...) found a similar contrast when the scenario itself shifts attention from Y (the forcee) to X (the forcer). We propose that these effects can be (at least partly) explained by way of the role of attention in the setting of quantifier domains which in turn play a role in the evaluation of ‘force’- claims. We argue for this hypothesis by way of an experiment which shows that sequences of active vs. passive ‘force’-claims display the characteristic “stickiness” of quantifier domain expansion, using a paradigm which we argue provides a useful general paradigm for testing quantifier domain hypotheses. Finally, we sketch a semantics for ‘force’ which we argue is suitable for capturing these effects. (shrink)