The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it true, relations between mental (...) acts on the one hand and underlying mental states (attitudes, beliefs), on the other, relations between my acts and states, associated uses of language and overt actions on my part and on the part of those other subjects with whom I communicate. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

Many political theorists defend the view that egalitarian justice should extend from the domestic to the global arena. Despite its intuitive appeal, this ‘global egalitarianism’ has come under attack from different quarters. In this article, we focus on one particular set of challenges to this view: those advanced by domestic egalitarians. We consider seven types of challenges, each pointing to a specific disanalogy between domestic and global arenas which is said to justify the restriction of egalitarian justice to the former, (...) and argue that none of them – both individually and jointly – offers a conclusive refutation of global egalitarianism. (shrink)

The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from (...) a knowledge of these historical roots of their discipline, which are shown to imply above alla critique of the set-theory-based models of reality typically presupposed by contemporary work in common-sense ontology [1]. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Elon Musk famously predicted that an artificial intelligence superior to the smartest individual human would arrive by the year 2025. In response, Gary Marcus offered Musk a $1 million bet to the effect that he would be proved wrong. In specifying the conditions of this bet (which Musk did not take) Marcus lists the following ‘tasks that ordinary people can perform’ which, he claimed, AI will not be able to perform by the end of 2025. • Reliably drive a car (...) in a novel location that they haven’t previously encountered, even in the face of unusual circumstances like hand lettered signs, without the assistance of other humans. • Learn to ride a mountain bike off-road through forest trails. • Babysit children in an unfamiliar home and keep them safe. • Tend to the physical and psychological needs of an elderly or infirm person. Each of these tasks involves the application of practical or tacit knowledge, or what is also called ‘knowing how’, which is to say knowledge of a sort that is captured not by means of sentences or propositions or explicit rules, but rather through the expertise demonstrated in human actions. The talk addresses the puzzle that nowhere in the AI literature do we find a discussion of knowing how as a feature of human intelligence. (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based (...) supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals. (shrink)

A number of philosophers have been impressed with the thought that moral saints and moral monsters—or, evil people, to put it less sensationally—“mirror” one another, in a sense to be explained. Call this the mirror thesis. The project of this paper is to cash out the metaphorical suggestion that moral saints and evil persons mirror one other and to articulate the most plausible literal version of the mirror thesis. To anticipate, the most plausible version of the mirror thesis implies that (...) evil persons mirror moral saints insofar as the characters of each are marked by similar aretaic properties: suffering from extremely vicious character traits—in a sense to be explained—suffices for being evil whereas possessing extremely virtuous character traits similarly suffices for moral sainthood. (shrink)

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys (...) some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support. (shrink)

My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (shrink)

While Darwin is commonly supposed to have demonstrated the inapplicability of the Aristotelian ontology of species to biological science, recent developments, especially in the wake of the Human Genome Project, have given rise to a new golden age of classification in which ontological ideas -- as for example in the Gene Ontology, the Cell Ontology, the Protein Ontology, and so forth -- are once again playing an important role. In regard to species, on the other hand, matters are more complex. (...) We provide a brief overview of recent proposals concerning the ontology of species, dealing with species as sets, classes and as collections, the views of Ernst Meyr, and mereological views. (shrink)

The paper relates classical treatments of physics and metaphysics to contemporary work on common sense in the field of artificial intelligence (J. Hobbs, P. Hayes, et al.). It defends the universality (and truth) of certain basic principles of common-sense physics and shows why these basic principles must leave certain issues undetermined.

Review article on recent publications in phenomenology.

The paper investigates the role played by ethical deliberation and ethical judgment in Wittgenstein's early thought in the light of twentieth?century German legal philosophy. In particular the theories of the phenomenologists Adolf Reinach, Wilhelm Schapp, and Gerhart Husserl are singled out, as resting on ontologies which are structurally similar to that of the Tractatus: in each case it is actual and possible Sachverhalte which constitute the prime ontological category. The study of the relationship between the states of affairs depicted, e.g., (...) in the sentences of a legal trial and prior fact?complexes to which these may correspond suggests one possible connecting link between the logical and ontological sections of the Tractatus and the ethical reflections appearing at the end. It is argued that the latter can best be understood in terms of the idea of a ?last judgment? (with its associated ethical rewards and punishments) which would relate to the world as a whole as a penal trial relates to individual complexes of facts. (shrink)

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (shrink)

It is plausible that being an evil person is a matter of having a particularly morally depraved character. I argue that suffering from extreme moral vices—and not consistently lacking moral vices, for example—suffices for being evil. Alternatively, I defend an extremity account concerning evil personhood against consistency accounts of evil personhood. After clarifying what it is for vices to be extreme, I note that the extremity thesis I defend allows that a person could suffer from both extremely vicious character traits (...) while possessing some modest virtue as well. By contrast, consistency theses rule out this possibility by definition. This result does not suggest that extremity accounts are flawed, however, since, as I argue, the thesis that evil people must lack moral virtue altogether effectively defines evil people out of existence and prematurely privileges skepticism about evil personhood. Ultimately, I contend that an extremity account is most consistent with common intuitions about putative evil persons as well as plausible assumptions about aretaic evaluations of character quite generally. (shrink)

Ingarden’s puzzle is: how can we come to know what is essentially involved in an act of knowing? As starting point he takes what he holds to be a particular good candidate example of such an act, namely an act of perceiving an apple. Here we have act and object standing in a certain first-level relation to each other. We now in a second level act of reflection, make this first-level relation into an object, and strive to apprehend this object (...) as an instantiation of the essence knowledge. But how, on this basis, could we ever establish that we had indeed grasped this essence, and that this is indeed the appropriate essence? Surely, through some third-level act of reflection on this second-level act. We expound from an ontological point of view Ingarden's idea as to how this regress can be avoided. (shrink)

To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are called 'dependence structures', or (...) in other words by certain complex concrete portions of reality between the parts of which relations of dependence are defined. Principles governing such dependence-structures are laid down, principles of an ontologically motivated sort which serve as basis for a topological semantics conceived as an altemative to standard set-theoretic approaches to semantics of the Tarskian sort. These principles are then used to resolve certain puzzles generated by the (semantically motivated) theory of events put forward by Davidson. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

Works of philosophy written in English have spawned a massive secondary literature dealing with ideas, problems or arguments. But they have almost never given rise to works of ‘commentary’ in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and Scholastic traditions, but also in relation to more recent German-language philosophy. Yet Anglo-Saxon philosophers have themselves embraced the commentary form when dealing with Greek or Latin philosophers outside their own (...) tradition. The paper seeks to establish the reasons for this peculiar asymmetry by examining those factors which might be conducive to the growth of a commentary literature in a given culture. (shrink)

The explanatory role of natural selection is one of the long-term debates in evolutionary biology. Nevertheless, the consensus has been slippery because conceptual confusions and the absence of a unified, formal causal model that integrates different explanatory scopes of natural selection. In this study we attempt to examine two questions: (i) What can the theory of natural selection explain? and (ii) Is there a causal or explanatory model that integrates all natural selection explananda? For the first question, we argue that (...) five explananda have been assigned to the theory of natural selection and that four of them may be actually considered explananda of natural selection. For the second question, we claim that a probabilistic conception of causality and the statistical relevance concept of explanation are both good models for understanding the explanatory role of natural selection. We review the biological and philosophical disputes about the explanatory role of natural selection and formalize some explananda in probabilistic terms using classical results from population genetics. Most of these explananda have been discussed in philosophical terms but some of them have been mixed up and confused. We analyze and set the limits of these problems. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...) a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

Typically, philosophers interested in evil have typically been concerned with reconciling (or not) the apparent existence of gratuitous suffering with the existence of an omnipotent and omniscient and supremely loving and caring Deity. Undeniably, ‘evil’ functions as a mass noun: note the intelligibility of asking “Why is there so much evil in the world?” But ‘evil’ sometimes functions as an adjective and is used variously to describe persons, actions, desires, motives, and intentions; Joel Feinberg even speaks of “evil smells.” In (...) what follows, I shall consider the relationship between evil actions, evildoers—that is, persons disposed to perform evil actions—and evil people. Roughly, I defend the simple thesis that being an evil person just is being an evildoer. (shrink)

Der vorliegende Aufsatz stellt den Versuch dar, die normative Seite von Wittgensteins Frühwerk herauszuarbeiten und dabei an seinem Ansatz insofern Kritik zu üben, als gezeigt wird, wie sehr dessen Implikationen mit unseren üblichen ethischen Vorstellungen in Konflikt stehen. Die Arbeit hat aber auch einen etwas wohlwollenderen Aspekt: Sie versucht zu zeigen, wie Wittgensteins scheinbar widersinnige Ansichten so formuliert werden können, daß sie zumindest begreifbar erscheinen. Zu diesem Zweck beginnen wir mit der Untersuchung des demjenigen Wittgensteins erstaunlich ähnlichen ethischen Ansatzes, wie (...) er von einem seiner frühen väterlichen Freunde vertreten wurde, nämlich von Karl Kraus. (shrink)

However liberalism is best understood, liberals typically seek to defend a wide range of liberty. Since same-sex marriage [henceforth: SSM] prohibitions limit the liberty of citizens, there is at least some reason to suppose that they are inconsistent with liberal commitments. But some have argued that it is the recognition of SSM—not its prohibition—that conflicts with liberalism’s commitments. I refer to the thesis that recognition of SSM is illiberal as “The Charge.” As a sympathetic liberal, I take The Charge seriously (...) enough to consider and ultimately reject it. Ultimately, I contend that The Charge is simply misguided and that arguments for it either fail to find support in some liberal principle or else find support from some illiberal principle. (shrink)

Some philosophers have argued that the concepts of evil and wickedness cannot be well grasped by those inclined to a naturalist bent, perhaps because evil is so intimately tied to religious discourse or because it is ultimately not possible to understand evil, period. By contrast, I argue that evil—or, at least, what it is to be an evil person—can be understood by naturalist philosophers, and I articulate an independently plausible account of evil character.

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields responses to the (...) Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (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)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

Experience clearly suggests that most legal philosophers and ethicists are not surprised to be told that liberal states cannot permissibly prohibit same-sex marriage (henceforth: SSM). It is somewhat less clear just what the appropriate liberal strategy is and should be in defense of this thesis. Rather than try to defend SSM directly, I shall proceed indirectly by arguing that SSM prohibitions are indefensible on liberal grounds. Initially, I shall consider what I take to be the most powerful liberal argument against (...) SSM prohibitions and account for my reservations about it. Then, I shall propose an alternative argument with roots in constitutional law that since SSM prohibitions do not survive liberal scrutiny, they must be rejected. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

It is reasonably well accepted that the explanation of intentional action is teleological explanation. Very roughly, an explanation of some event, E, is teleological only if it explains E by citing some goal or purpose or reason that produced E. Alternatively, teleological explanations of intentional action explain “by citing the state of affairs toward which the behavior was directed” thereby answering questions like “To what end was the agent’s behavior directed?” Causalism—advocated by causalists—is the thesis that explanations of intentional action (...) are both causal and teleological. By contrast, non-causalism—advocated by non-causalists—is the thesis that explanations of intentional action are teleological but not causal. Familiarly, the problem of causal deviance plagues causalism. But while some have supposed that the problem is grave enough that causalism is bound to suffer a global breakdown, the rumors of causalism’s demise are greatly exaggerated. In what follows, I note that every instance of causal deviance is also an instance of teleological deviance and that teleological deviance is a problem for causalist and non-causalist alike, a problem that causalists may be better able to deal with. Or so I argue. (shrink)

I contend that there are two dogmas that are still popular among philosophers of action: that agents can only desire what they think is good and that they can only intentionally pursue what they think is good. I also argue that both dogmas are false. Broadly, I argue that our best theories of action can explain the possibility of intentionally pursuing what one thinks is not at all good, that we need to allow for the possibility of intentionally pursuing what (...) one think is not at all good, and that if we can intentionally pursue what we think is not at all good then we can desire it on similar grounds. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (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)

The paper seeks to show how the world of everyday human cognition might be treated as an object of ontological investigation in its own right. The paper is influenced by work on affordances and prototypicality of psychologists such as Gibson and Rosch, by work on cognitive universals of the anthropologist Robin Horton, and by work of Patrick Hayes and others on ‘naive’ or ‘qualitative physics’. It defends a thesis to the effect that there is, at the heart of common sense, (...) a theoretical core of true propositions pertaining to mesoscopic objects, and that the latter are to be understood as relating mereologically to the objects studied by physical science. (shrink)

The paper introduces the concepts at the heart of point-set-topology and of mereotopology (topology founded in the non-atomistic theory of parts and wholes) in an informal and intuitive fashion. It will then seek to demonstrate how mereotopological ideas can be of particular utility in cognitive science applications. The prehistory of such applications (in the work of Husserl, the Gestaltists, of Kurt Lewin and of J. J. Gibson) will be sketched, together with an indication of the field of possibilities in linguistics, (...) perceptual psychology, cate¬gorization and geographic information systems. Topological structures will be shown to play a central role in studies of naive physics not least in virtue of the fact that even well-attested departures from true physics on the part of common sense leave the topology and vectorial orientation of the underlying physical phenomena invariant: our common sense would thus seem to have a veridical grasp of the topology and broad general orientation of physical phenomena, both static and dynamic, even where it illegitimately modifies the relevant shape and metric properties. The implications of this and related insights for the methodology of psychology will be explored. (shrink)