This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, (...) Henry Stapp. (shrink)

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

A discussion of the recent prominence of 'new atheism' and 'Christian nationalism' in the United States.

This paper is a critical review of *Big Bang Cosmology* by Quentin Smith and William Lane Craig. (The book is a collection of previously published papers; most are concerned, in one way or another, with kalam cosmological arguments for the existence of God.).

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo (...) E. Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This paper was presented as the keynote address at the 2005 Philosophy Graduate Student Conference at the University of Memphis on “Limitations of Subjectivity.”.

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

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)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

A meaningful life, we shall argue, is a life upon which a certain sort of valuable pattern has been imposed by the person in question - a pattern which involves in serious ways the person having an effect upon the world. Meaningfulness is thus a special kind of value which a human life can bear. Two interrelated difficulties face ths proposal. One concerns responsiblity: how are we to account for the fact that a life that satisfies the above criteria can (...) have more meaning than a life with the same positive outcomes but which lacks responsiblity on the part of the agent? The other turns on these outcomes themselves: how can the meaningfulness engendered by actions you perform now be affected by what those actions go on to produce in the future, perhaps even after your death? We provide a response to both of these difficulties. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

An interview by Alex Thomson of UKColumn on Landgrebe and Smith's book: Why Machines Will Never Rule the World. The subtitle of the book is Artificial Intelligence Without Fear, and the interview begins with the question of the supposedly imminent takeover of one profession or the other by artificial intelligence. Is there truly reason to be afraid that you will lose your job? The interview itself is titled 'Where this is no will there is no way', drawing on one (...) thesis of the book to the effect that there will never be anything like the human will on the part of a machine. This is for mathematical reasons. AI is always and in every case a matter of algorithms; thus of applied mathematics. And algorithms are not the sorts of things that can want or desire or intend to do something. It is the human will of those who work at OpenAI or google or microsoft which have given rise to the new shiny objects of AI (ChatGPT and other Large Language Models). And it is the human will of the users of these shiny objects which gives them the resources and power to work their apparent miracles. (shrink)

Epistemic permissivism is the view that it is possible for two people to rationally hold incompatible attitudes toward some proposition on the basis of one body of evidence. In this paper, I defend a particular version of permissivism – unacknowledged permissivism (UP) – which says that permissivism is true, but that no one can ever rationally believe that she is in a permissive case. I show that counter to what virtually all authors who have discussed UP claim, UP is an (...) attractive view: it is compatible with the intuitive motivations for permissivism and avoids a significant challenge to permissivism: the arbitrariness objection. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

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)

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

The paper seeks to develop an account of indexical phenomena based on the highly general theory of structure and dependence set forth by Husserl in his Logical Investigations. Husserl here defends an Aristotelian theory of meaning, viewing meanings as species or universals having as their instances certain sorts of concrete meaning acts. Indexical phenomena are seen to involve the combination of such acts of meaning with acts of perception, a thesis here developed in some detail and contrasted with accounts of (...) indexicals suggested by Frege, Wittgenstein and by the later Husserl himself in his Ideas I. Implications are drawn also for our understanding of the categorial grammar sketched by Husserl in his 4th Logical Investigation, as also for our understanding of the nature of proper names and other candidate indexical expressions. (shrink)

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

Historical research has recently made it clear that, prior to Austin and Searle, the phenomenologist Adolf Reinach (1884-1917) developed a full-fledged theory of speech acts under the heading of what he called "social acts". He we consider a second instance of a speech act theory avant la lettre, which is to be found in the common sense philosophy of Thomas Reid (1710-1796). Reid’s s work, in contrast to that of Reinach, lacks both a unified approach and the detailed analyses of (...) pertinent examples. But his writings leave no doubt that he is acutely aware of the very problems concerning language structure and use out of which contemporary speech act theory has evolved and that he goes a good way towards solving these problems in the spirit of the modern theory. (shrink)

The Handbook of Metaphysics and Ontology reflects the conviction that the history of metaphysics and current work in metaphysics and ontology can each throw valuable light on the other. Thus it is designed to serve both äs a means of making more widely accessible the results of recent scholarship in the history of philosophy, and also äs a unique work of reference in reladon to the metaphysical themes at the centre of much current debate in analyüc philosophy. The work contains (...) more man 450 shorter articies on specific themes and methods in metaphysics and ontology, together with biographical essays summarizing the thinking of the most important philosophers within the traditions dealt with. In addition, it contains about 20 longer survey arücles mapping out both historically and systemadcally the main areas of metaphysics and ontology. AU contributions have been speciaüy commissioned for this project from leading authorities in their respective fields. A special feature of the work is the pardcular attention that is paid to topics and issues of relevance to contemporary philosophical debates. The work includes also a series of arücles on the logical and mathematical tools of metaphysics and on the applications of metaphysical ideas within linguisdcs, psychology, cognitive science, and mathemadcs. (shrink)

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (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.

The last two decades have seen considerable efforts directed towards making Electronic Health Records interoperable through improvements in medical ontologies, terminologies and coding systems. Unfortunately, these efforts have been hampered by a number of influential ideas inherited from the work of Eugen Wüster, the father of terminology standardization and the founder of ISO TC 37. We here survey Wüster’s ideas – which see terminology work as being focused on the classification of concepts in people’s minds – and we argue that (...) they serve still as the basis for a series of influential confusions. We argue further that an ontology based unambiguously, not on concepts, but on the classification of entities in reality can, by removing these confusions, make a vital contribution to ensuring the interoperability of coding systems and healthcare records in the future. (shrink)

The current rise of neurodevelopmental disorders poses a critical need to detect risk early in order to rapidly intervene. One of the tools pediatricians use to track development is the standard growth chart. The growth charts are somewhat limited in predicting possible neurodevelopmental issues. They rely on linear models and assumptions of normality for physical growth data – obscuring key statistical information about possible neurodevelopmental risk in growth data that actually has accelerated, non-linear rates-of-change and variability encompassing skewed distributions. Here, (...) we use new analytics to profile growth data from 36 newborn babies that were tracked longitudinally for 5 months. By switching to incremental (velocity-based) growth charts and combining these dynamic changes with underlying fluctuations in motor performance – as the transition from spontaneous random noise to a systematic signal – we demonstrate a method to detect very early stunting in the development of voluntary neuromotor control and to flag risk of neurodevelopmental derail. (shrink)

In this paper, I offer reasons for thinking that two prominent sceptical arguments in the literature – the underdetermination-based sceptical argument and the closure-based sceptical argument – are less philosophically interesting than is commonly supposed. The underdetermination-based argument begs the question against a non-sceptic and can be dismissed with little fanfare. The closure-based argument, though perhaps not question-begging per se, does rest upon contentious assumptions that a non-sceptic is under no pressure to accept.

Digital Rights Management (DRM) covers the description, identification, trading, protection, monitoring and tracking of all forms of rights over both tangible and intangible assets. The Digital Object Identifier (DOI) system provides a framework for the persistent identification of entities involved in this domain. Although the system has been very well designed to manage object identifiers, some important questions relating to the creation and assignment of identifiers are left open. The paradigm of a Referent Tracking System (RTS) recently advanced in the (...) healthcare and life sciences environment is able to fill these gaps. This is demonstrated by pointing out inconsistencies in the existing DOI models and by showing how they can be corrected using an RTS. (shrink)

This paper explores the relation of the theory of time and the theory of truth in Deleuze’s philosophy. According to Deleuze, a mutation in our conception of time occurred with Kant. In antiquity, time had been subordinated to movement, it was the measure or the “number of movement” (Aristotle). In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an independence and autonomy of its own for the first time. In Deleuze’s phrasing, time becomes the (...) pure and empty form of everything that moves and changes — not an eternal form (as in Plato), but precisely the form of what is not eternal. In turn, the theory of time is inextricably linked to the concept of truth, since to say that a proposition is true means that it is true “in all times and in all places.” Truth, in other words, is timeless, eternal, non-temporal. When the form of the true is confronted with the form of time, the concept of truth is necessarily put into crisis, and Deleuze’s argument is that time allows the power of the false to assume an autonomy of its own. The analysis will attempt to show how the liberation of time from movement (the pure and empty form of time) leads to a liberation of the false from the true (the power of the false). (shrink)

In this paper, I argue that the two versions of divided line create problems that cannot be solved — with or without the hypothesis that the objects belonging to the level of διάνοια on the divided line are intermediates. I also argue that the discussion of arithmetic and calculation does not fit Aristotle’s attribution of intermediates to Plato and provides no support for the claim that Plato had such intermediates in mind when he talked about διάνοια in the Republic. The (...) upshot of my argument is negative: even if Aristotle’s report about Plato and intermediates is correct, there is no evidence for such objects provided in the passages I review from the Republic. If they are to be found in Plato, it will have to be elsewhere that they are found. (shrink)

Sensations can occur in the absence of perception and yet be experienced ‘as if’ seen, heard, tasted, or otherwise perceived. Two concepts used to investigate types of these sensory-like mental phenomena (SLMP) are mental imagery and hallucinations. Mental imagery is used as a concept for investigating those SLMP that merely resemble perception in some way. Meanwhile, the concept of hallucinations is used to investigate those SLMP that are, in some sense, compellingly like perception. This may be a difference of degree. (...) Attempts to reliably differentiate between instances of each type of SLMP remain unresolved. Despite this, the concepts of mental imagery and hallucinations are each routinely used independently of the other. These uses are especially interesting in those published accounts of experiments where equivalent findings about the neuroanatomical correlates of SLMP are reported in support of diverging knowledge-claims about the role of SLMP in neurocognitive processes. This practice presents a puzzle. To examine one aspect of this puzzle, I compare the uses of these two scientific concepts in three ways: examining their roles in differentiating between types of SLMP; exploring how their respective historical developments intersect; and analysing their contributions in neuroimaging experiments. In presenting this series of comparative analyses, I will draw on three themes from historical, philosophical, and social studies of scientific practices: interest in material contributions to knowledge; accounts of how concepts are used in experiments; and explorations of the historical conditions within which current practices emerge. Building on this literature, my comparative analyses supports five related claims. My first claim is that the concepts of mental imagery and hallucinations are each used as independent tools in neuroimaging experiments. My second claim is that, as experimental tools, the concepts of mental imagery and hallucinations are each used for investigating discrete epistemic goals. My third claim is that there are implicit interdependent associations that structure the uses of these two concepts as tools for independently investigating these discrete epistemic goals in neuroimaging experiments. This third claim rests on my analyses of both past and present uses of each concept. Firstly, as seen in their intersecting histories, there are disciplined performances of using the concepts of mental imagery and hallucinations that carry-along shared associations about the mediating role of SLMP in thought. Secondly, these interdependent ‘mediator-view’ associations continue to structure the independent uses of each concept as a tool for investigating SLMP in pursuit of specific goals. Taking this further, my fourth claim is that recognising the structured uses of the concepts of mental imagery and hallucinations can help to account for how equivalent SLMP-neuro-correlates are generated in support of diverging knowledge-claims. Finally, my fifth claim is that the structured uses of these concepts as tools can contribute to experiments in ways analogous to, yet not equivalent with, the active contributions of material instruments. Bringing these claims together, I argue that the concepts of mental imagery and hallucinations operate as structured tools that can actively contribute to the knowledge generated by neuroimaging experiments. In presenting this argument I seek to demonstrate that examining the structured uses of concepts as tools can complement existing approaches to studying how the heterogeneous dynamics of experimental practices can come to contribute to scientific knowledge in unintended ways. (shrink)

As is well known, speech acts such as acts of promising can have ontological consequences. For example an act of promising can give rise to a mutually correlated claim and obligation. Increasingly, speech acts in the narrow sense are being augmented by the use of documents of multiple different sorts. In this paper we analyze the results of this augmenta-tion from the ontological point of view, considering especially the domains of law and com-merce. We show how document acts are not (...) isolated phenomena, but rather form large and complex systems with other entities, including occurrent entities such as acts of signing and inspecting, as well as speech acts for example of instructing people to sign or complete a doc-ument. The paper concludes with a consideration of some of the special problems associated with the use of digital documents, for example as concerns issues of security and provenance. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

Intelligent defence support systems are confronted with the need to manage ever-increasing floods of data in a way that raises significant challenges because the data are described and presented using different terminologies and formats. How, on this basis, is it possible to reach a common understanding of the information content of these data among people and software agents? How is it possible to ensure that domain knowledge is reused in consistent fashion in a way that makes this information available for (...) integration and analysis? How can we support the identification, selection, composition, and orchestration of services based on such diverse data providing homogeneous support by a service-oriented architecture? This collection is devoted to the use of ontologies to answer questions such as these. (shrink)

The IPAP Schizophrenia Algorithm was originally designed in the form of a flow chart to help physicians optimise the treatment of schizophrenic patients. We examined the current version from the perspective of recent work on terminologies and ontologies thereby drawing on the resources of Basic Formal Ontology, and this with the objective to make the algorithm appropriate for Semantic Web applications. We found that Basic Formal Ontology is a rich enough theory to represent all the entities involved and that applying (...) the theory to the IPAP schizophrenia algorithm results in a representation that can be used by software agents to perform monitoring and control in a referent tracking environment. (shrink)

This paper takes the form of a series of sketches of 19th century Austrian political and intellectual history, allied with a number of more general reflections designed to contribute to our understanding of some of the peculiar characteristics of Austrian thought, particularly Austrian philosophy and economics, in the period in question.

Die biomedizinische Forschung hat ein Kommunikationsproblem. Um die Ergebnisse ihrer Arbeit darzustellen, greifen einzelne Forschergruppen auf unterschiedliche und oft inkompatible Terminologien zurück. Für den Fortschritt der modernen Biomedizin ist die Integration dieser Ergebnisse jedoch unabdingbar.

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...) For this purpose our ontology offers a variety of distinct partitions � of substances, processes and functions � and integrates these together within a single framework via transitive networks of part-whole and dependence relations among the entities in each of these categories. The paper concludes with a comparison of this methodology with the approaches of GOTM, KEGG, DIP and BIND and provides an outline of how the methodology is currently being applied in the field of biomedical database integration. (shrink)

Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...) law of nature (“the wave function of the universe”) is inconsistent with theism and implies that God does not exist. I criticize the claims of Alston, Craig, Deltete and Guy, Oppy and Plantinga that theism is consistent with quantum cosmology. (shrink)

Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first (...) systematic theory of speech acts in connection with his monograph of 1913 on “The A Priori Foundations of the Civil Law”. (shrink)

The goal of the Department of Defense Net-Centric Data Strategy is to improve data sharing throughout the DoD. Data sharing is a critical element of interoperability in the emerging system-of-systems. Achieving interoperability requires the elimination of two types of data heterogeneity: differences of syntax and differences of semantics. This paper builds a path toward semantic uniformity through application of a disciplined approach to ontology. An ontology is a consensus framework representing the types of entities within a given domain and the (...) relations between them. The construction of an ontology begins when a Community of Interest (COI) identifies its authoritative data sources (ADS), which are usually manifest in relevant doctrinal publications, glossaries, data dictionaries, and logical data models. The identified terms are then defined in relation to a common logical framework that has been designed to ensure interoperability with other ontologies created on the basis of the same strategy. As will be described, the Command and Control (C2) Ontology will include representations of a substantial number of entities within the Command and Control (C2) domain. If domain ontologies (e.g. Strike and Counterinsurgency) semantically align with the C2 Ontology, then a substantial barrier to systems interoperability is thereby crossed. (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 truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Is it possible to compare civilizations one with another? Is it possible, in other words, to construct some neutral and objective framework in terms of which we could establish in what respects one civilization might deserve to be ranked more highly than its competitors? Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reasonably claim that their fellow-believers are characteristically more moral than are many in the West). Criteria (...) such as material well-being will need to play a role, too, as also will happiness or pleasure (and again we note that it is not clear a priori that there is more happiness in the West than there is in other civilizations). But even happiness (pace some proponents of the utilitarian philosophy) comes in different types, and to count in the civilization stakes the happiness involved would presumably need to be of the right kind. We explore what this might mean in terms of the idea of a self-chosen life plan. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.