The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those systems which can (...) include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

Part of understanding the meaning and power of algorithms means asking what new demands they might make of ethical frameworks, and how they might be held accountable to ethical standards. I develop a definition of networked information algorithms as assemblages of institutionally situated code, practices, and norms with the power to create, sustain, and signify relationships among people and data through minimally observable, semiautonomous action. Starting from Merrill’s prompt to see ethics as the study of “what we ought to do,” (...) I examine ethical dimensions of contemporary NIAs. Specifically, in an effort to sketch an empirically grounded, pragmatic ethics of algorithms, I trace an algorithmic assemblage’s power to convene constituents, suggest actions based on perceived similarity and probability, and govern the timing and timeframes of ethical action. (shrink)

Upper ontologies have traditionally arisen from the approach in which concepts that are common across a set of domains can be axiomatized at a general level. The rationale is that reuse across domains is to be supported through specialization of the general concepts from an upper ontology. Similarly, semantic integration between ontologies is to be achieved through the general concepts they specialize. The TUpper Ontology follows an alternative approach to the conventional upper ontology paradigm. Rather than think of an upper (...) ontology as a monolithic axiomatization centred on a taxonomy, the sideways approach considers an upper ontology to be a modular ontology composed of generic ontologies that cover concepts including those related to time, process, and space. TUpper is therefore composed of a set of generic ontologies, and each generic ontology axiomatizes a particular set of generic concepts. The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. (shrink)

The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

This paper explores the distinctive features of the critical agenda associated with the ‘Social Life of Methods’. I argue that although this perspective can be associated with the increasing interest, often associated with scholars in Science and Technology Studies, to reflect on how methods can become objects of inquiry, it also needs to be rooted in the current crisis of positivist methods. I identify the challenge for positivism in terms of the decreasing ability of its procedures to effectively organize increasingly (...) ‘lively’ sources of standardized data, which can now be assembled using aesthetic registers. In developing this argument, I dispute the idea that this development is due to historical shifts linked to the way that methodological devices are playing an increasingly significant role in contemporary social life, which might be argued by writers such as Thrift or Castells. I also argue that by opening up issues of method to the aesthetic, we also recast the relationship between theory and method, pointing to the exhaustion of a certain kind of cultural theory within the social sciences. I contextualize these issues by considering how methods are implicated in the intellectual differentiation between scientific and humanities expertise. Rather than conceiving the ‘Social Life of Methods’ in terms of the rise of instrumentalist modes of governance, it is preferable to place it within the dialectic of transparency and the relationship between the implicit and explicit. These issues are addressed through introducing the papers in the special issue. (shrink)

The paper aims to show that, if S5 is the logic of metaphysical necessity, then no state of affairs in any possible world constitutes any non-trivial evidence for or against the existence of the traditional God. There might well be states of affairs in some worlds describing extraordinary goods and extraordinary evils, but it is false that these states of affairs constitute any (non-trivial) evidence for or against the existence of God. The epistemological and metaphysical consequences for philosophical theology of (...) assuming that S4 or Kσρ is the logic of metaphysical necessity are equally untenable. S4 guarantees that God does not exist if there is the slightest evidence against the existence of God. And Kσρ guarantees that God might survive the loss or acquisition of any essential property at all. (shrink)

Perhaps the greatest impediment to a viable libertarianism is the provision of a satisfactory explanation of how actions that are undetermined by an agent's character can still be under the control of, or ‘up to’, the agent. The ‘luck problem’ has been most assiduously examined by Robert Kane who supplies a detailed account of how this problem can be resolved. Although Kane's theory is innovative, insightful, and more resourceful than most of his critics believe, it ultimately cannot account for the (...) type of control that moral responsibility and (ultimate) agency legitimately require. (shrink)

The central aim of this book is to understand modules and the categories they form through associated structures and dimensions, which reflect the complexity of these, and similar, categories.

Philosophers and psychologists have long worried that the human tendency to anthropomorphize leads us to err in our understanding of nonhuman minds. This tendency, which I call intuitive anthropomorphism, is a heuristic used by our unconscious folk psychology to understand nonhuman animals. The dominant understanding of intuitive anthropomorphism underestimates its complexity. If we want to understand and control intuitive anthropomorphism, we must treat it as a cognitive bias and look to the empirical evidence. This evidence suggests that the most common (...) control for intuitive anthropomorphism, Morgan’s Canon, should be rejected, while others are incomplete. It also suggests new approaches. (shrink)

Presents Baudrillard’s key concepts and examines his contribution to the analysis of specific domains, such as postmodernism, feminism, technology, art, war, ...

Philosophers and psychologists make many different, seemingly incompatible parsimony claims in support of competing models of cognition in nonhuman animals. This variety of parsimony claims is problematic. Firstly, it is difficult to justify each specific variety. This problem is especially salient for Morgan's Canon, perhaps the most important variety of parsimony claimed. Secondly, there is no systematic way of adjudicating between particular claims when they conflict. I argue for a view of parsimony in comparative psychology that solves these problems, based (...) on Sober's view that parsimony claims are claims that one model is more plausible given background theory. (shrink)

I challenge the dominant understanding of what it means to say two thoughts are associated. The two views that dominate the current literature treat association as a kind of mechanism that drives sequences of thought. The first, which I call reductive associationism, treats association as a kind of neural mechanism. The second treats association as a feature of the kind of psychological mechanism associative processing. Both of these views are inadequate. I argue that association should instead be seen as a (...) highly abstract filler term, standing in for causal relations between representational states in a system. Associations, so viewed, could be implemented by many different mechanisms. I outline the role that this view gives associative models as part of a top-down characterization of psychological processes of any kind and of any complexity. (shrink)

The middle-market tabloid newspapers in Britain help to shape a perception of teachers and state schools that is mostly negative and derisory. This article provides examples of this bias in newspaper reportage based on a case study of an annual teacher union conference and journalists' different interpretations of events generally.

Are people rational? This question was central to Greek thought and has been at the heart of psychology and philosophy for millennia. This book provides a radical and controversial reappraisal of conventional wisdom in the psychology of reasoning, proposing that the Western conception of the mind as a logical system is flawed at the very outset. It argues that cognition should be understood in terms of probability theory, the calculus of uncertain reasoning, rather than in terms of logic, the calculus (...) of certain reasoning. (shrink)

In response to calls for greater interdisciplinary involvement from the social sciences and humanities in the development, governance, and study of artificial intelligence systems, this paper presents one sociologist’s view on the problem of algorithmic bias and the reproduction of societal bias. Discussions of bias in AI cover much of the same conceptual terrain that sociologists studying inequality have long understood using more specific terms and theories. Concerns over reproducing societal bias should be informed by an understanding of the ways (...) that inequality is continually reproduced in society—processes that AI systems are either complicit in, or can be designed to disrupt and counter. The contrast presented here is between conservative and radical approaches to AI, with conservatism referring to dominant tendencies that reproduce and strengthen the status quo, while radical approaches work to disrupt systemic forms of inequality. The limitations of a conservative approach to racial bias are discussed through the specific example of biased criminal risk assessments and Indigenous overrepresentation in Canada’s criminal justice system. This illustrates the dangers of treating racial bias as a generalizable problem and equality as a generalizable solution, emphasizing the importance of considering inequality in context. Societal issues can no longer be out of scope for AI and machine learning, given the impact of these systems on human lives. This requires engagement with a growing body of critical AI scholarship that goes beyond biased data to analyze structured ways of perpetuating inequality, opening up the possibility for interdisciplinary engagement and radical alternatives. (shrink)

A number of Christian theologians and philosophers have been critical of overly moralizing approaches to the doctrine of sin, but nearly all Christian thinkers maintain that moral fault is necessary or sufficient for sin to obtain. Call this the “Moral Consensus.” I begin by clarifying the relevance of impurities to the biblical cataloguing of sins. I then present four extensional problems for the Moral Consensus on sin, based on the biblical catalogue of sins: (1) moral over-demandingness, (2) agential unfairness, (3) (...) moral repugnance, and (4) moral atrocity. Next, I survey several partial solutions to these problems, suggested by the recent philosophical literature. Then I evaluate two largely unexplored solutions: (a) genuine sin dilemmas and (b) defeasible sinfulness. I argue that (a) creates more problems than it solves and that, while (b) is well-motivated and solves or eases each of the above problems, (b) leaves many biblical ordinances about sin morally misleading, creating (5) a pedagogical problem of evil. I conclude by arguing that (5) places hefty explanatory burdens on those who would appeal to (b) to resolve the four extensional problems discussed in this paper. So Christian thinkers may need to consider a more radical separation of sin and moral fault. (shrink)

This paper employs ethnographic research methods to study a Buddhist meditation practice that takes the walking body as its object. The mundane act of walking is transformed into a meditative object for the purpose of refining states of embodied consciousness. This meditation practice offers a glimpse of the relationship of body to mind, a fundamental concern within the philosophy of mind. The analytic focus of this paper is the practical nature of meditation work. Aspects of Buddhist Philosophy are explored and (...) compared to analytic themes within Phenomenology and Ethnomethodology. (shrink)

Over the last decade, fully distributed models have become dominant in connectionist psychological modelling, whereas the virtues of localist models have been underestimated. This target article illustrates some of the benefits of localist modelling. Localist models are characterized by the presence of localist representations rather than the absence of distributed representations. A generalized localist model is proposed that exhibits many of the properties of fully distributed models. It can be applied to a number of problems that are difficult for fully (...) distributed models, and its applicability can be extended through comparisons with a number of classic mathematical models of behaviour. There are reasons why localist models have been underused, though these often misconstrue the localist position. In particular, many conclusions about connectionist representation, based on neuroscientific observation, can be called into question. There are still some problems inherent in the application of fully distributed systems and some inadequacies in proposed solutions to these problems. In the domain of psychological modelling, localist modelling is to be preferred. Key Words: choice; competition; connectionist modelling; consolidation; distributed; localist; neural networks; reaction-time. (shrink)

There are two roles that association played in 18th–19th century associationism. The first dominates modern understanding of the history of the concept: association is a causal link posited to explain why ideas come in the sequence they do. The second has been ignored: association is merely regularity in the trains of thought, and the target of explanation. The view of association as regularity arose in several forms throughout the tradition, but Thomas Brown (1778–1820) makes the distinction explicit. He argues that (...) there is no associative link, and association is mere sequence. I trace this view of association through the tradition, and consider its implications: Brown's views, in particular, motivate a rethinking of the associationist tradition in psychology. Associationism was a project united by a shared explanandum phenomenon, rather than a theory united by a shared theoretical posit. (shrink)

Many philosophers of science believe that empirical psychology can contribute little to the philosophical investigation of explanations. They take this to be shown by the fact that certain explanations fail to elicit any relevant psychological events (e.g., familiarity, insight, intelligibility, etc.). We report results from a study suggesting that, at least among those with extensive science training, a capacity to render an event intelligible is considered a requirement for explanation. We also investigate for whom explanations must be capable of rendering (...) events intelligible and whether or not accuracy is also viewed as a requirement. (shrink)

Journal Name: Cognitive Linguistics Issue: Ahead of print.

Despite its long period of dominance, the details of associationism as developed by the British Empiricists in the 18th and 19th centuries are often ignored or forgotten today. Perhaps as a result, modern understandings of Empiricist associationism are often oversimplified. In fact, there is no single core view that can be viewed as definitional, or even weaker, as characteristic, of the tradition. The actual views of associationists in this tradition are much more diverse than any such view would allow, even (...) on fundamental aspects of the concept of association. This paper presents some of the most striking theoretical diversity and most significant discussions within the Empiricist associationist tradition. Recognizing this diversity, Empiricist associationism is best viewed as a project with shared questions and methods rather than a shared substantive theory of mind. This discussion can inform our understanding of the historical tradition, and also inform our current use of association and associationism. The concept of association is more flexible than it is often treated, and even its basic nature and function remain up for debate. (shrink)

Disagreement holds the key: the possibility of agreeing or disagreeing with a state of mind makes that state of mind act logically like accepting a claim. Charles Stevenson was quite right to begin his presentation of emotivism with disagreement.—Allan Gibbard.

Thinking Space is ideal reading for those looking to learn about the Ospatial turn1 in social and cultural theory. As theorists have begun using using geographical concepts and metaphors to think about the complex and differentiated world this book examines the way they use spatial ideas, what role these ideas play in their thinking and what this means for how we think about theory and space. Among the writers discussed are: Simmel, Bakhtin, Deleuze, Cixous, Lefebvre, Lacan, Bourdieu, Foucault and Fanon.

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it is (...) impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

The dead donor rule justifies current practice in organ procurement for transplantation and states that organ donors must be dead prior to donation. The majority of organ donors are diagnosed as having suffered brain death and hence are declared dead by neurological criteria. However, a significant amount of unrest in both the philosophical and the medical literature has surfaced since this practice began forty years ago. I argue that, first, declaring death by neurological criteria is both unreliable and unjustified but (...) further, the ethical principles which themselves justify the dead donor rule are better served by abandoning that rule and instead allowing individuals who have suffered severe and irreversible brain damage to become organ donors, even though they are not yet dead and even though the removal of their organs would be the proximal cause of death. (shrink)

Spaces of Geographical Thought examines key ideas like space and place - which inform the geographic imagination. The text: discusses the core conceptual vocabulary of human geography: agency: structure; state: society; culture: economy; space: place; black: white; man: woman; nature: culture; local: global; and time: space; explains the significance of these binaries in the constitution of geographic thought; and shows how many of these binaries have been interrogated and re-imagined in more recent geographical thinking. A consideration of these binaries will (...) define the concepts and situate students in the most current geographical arguments and debates. The text will be required reading for all modules on the philosophy of geography and on geographical theory. (shrink)