We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

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

Admiration is thought to have essential functions for social interaction: it inspires us to learn from excellent models, to become better people, and to praise others and create social bonds. In intergroup relations, admiration for other groups leads to greater intergroup contact, cooperation, and help. Given these implications, it is surprising that admiration has only been researched by a handful of authors. In this article we review the literature, focusing on the definition of admiration, links to related emotions, measurement, antecedents, (...) and associated behaviors. We propose a conceptual model of admiration that highlights admiration’s function for approaching and emulating successful models, thus contributing to social learning at the interpersonal level and to cultural transmission at the group and societal level. (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.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

Deleuze and Foucault had a long, complicated and productive relationship, in which each was at various times a significant influence on the other. This collection combines 3 original essays by Deleuze and Foucault, in which they respond to each other's work, with 16 critical essays by key contemporary scholars working in the field. The result is a sustained discussion and analysis of the various dimensions of this fascinating relationship, which clarifies the implications of their philosophical encounter.

: In her recent paper, “How to Escape Indictment for Impiety: Teaching as Punishment in the Euthyphro,” G. Fay Edwards argues that if Socrates were to become Euthyphro’s student, this should count as the appropriate punishment for Socrates’ alleged crime. In this paper, we show that the interpretation Edwards has proposed conflicts with what Socrates has to say about the functional role of punishment in the Apology, and that the account Socrates gives in the Apology, properly understood, also provides the (...) correct interpretation of what Socrates says in the Euthyphro about the role of instruction for wrongdoers. (shrink)

This chapter concerns the ethics and metaphysics of occupations, such as teacher, waiter, and priest. It argues that teacher is a functional kind, but teachers are not functional objects. If you are a practising teacher, it is likely that you perform a function and serve a purpose, that of imparting knowledge and cultivating minds and skills. This is what teachers, generically, are for, and it is what your school is for. But it is not what you are for. Easily confused (...) senses of ‘job’ are distinguished: occupation, position, requirement, and function. The chapter explains that the requirements of your position and occupation do not entail ability, reasons, or fault (if not complied with), and that if you are not as your position and occupation require, you are not as you ought to be, but it does not follow that there is anything wrong with you. The chapter includes some metaphysical speculation about positions, and examines some sources of, and remedies for, workplace alienation and anxiety. (shrink)

In the Protagoras, Socrates argues that each of the virtue-terms refers to one thing (: 333b4). But in the Laches (190c8–d5, 199e6–7), Socrates claims that courage is a proper part of virtue as a whole, and at Euthyphro 11e7–12e2, Socrates says that piety is a proper part of justice. But A cannot be both identical to B and also a proper part of B – piety cannot be both identical to justice and also a proper part of justice. In this (...) paper we argue that coherent sense can be made of Socrates'' apparently conflicting claims. The key to understanding Socrates'' position, we will argue, is the central role of wisdom among the virtues. It is through the relationship of each virtue to wisdom that each may be said to be the same as all of the others, on the one hand, and also that some virtues may be regarded as proper parts of some other virtues, or as proper parts of virtue in general, on the other. (shrink)

Thomas Brickhouse and Nicholas Smith offer a comprehensive historical and philosophical interpretation of, and commentary on, one of Plato's most widely read works, the Apology of Socrates. Virtually every modern interpretation characterizes some part of what Socrates says in the Apology as purposefully irrelevant or even antithetical to convincing the jury to acquit him at his trial. This book, by contrast, argues persuasively that Socrates offers a sincere and well-reasoned defense against the charges he faces. First, the authors (...) establish a consensus of ancient reports about Socrates ' moral and religious principles and show that these prohibit him from needlessly risking the condemnation of the jury. Second, they consider each specific claim made by Socrates in the Apology and show how each can be construed as an honest effort to inform the jurors of the truth and to convince them of his blamelessness. The arguments of this book are informed by a critical review of the scholarly literature and careful attention to the philosophy expressed in Plato's other early dialogues. (shrink)

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)

Socrates' moral psychology is widely thought to be 'intellectualist' in the sense that, for Socrates, every ethical failure to do what is best is exclusively the result of some cognitive failure to apprehend what is best. Until publication of this book, the view that, for Socrates, emotions and desires have no role to play in causing such failure went unchallenged. This book argues against the orthodox view of Socratic intellectualism and offers in its place a comprehensive alternative account that explains (...) why Socrates believed that emotions, desires and appetites can influence human motivation and lead to error. Thomas C. Brickhouse and Nicholas D. Smith defend the study of Socrates' philosophy and offer an alternative interpretation of Socratic moral psychology. Their novel account of Socrates' conception of virtue and how it is acquired shows that Socratic moral psychology is considerably more sophisticated than scholars have supposed. (shrink)

Socrates' moral psychology is widely thought to be 'intellectualist' in the sense that, for Socrates, every ethical failure to do what is best is exclusively the result of some cognitive failure to apprehend what is best. Until publication of this book, the view that, for Socrates, emotions and desires have no role to play in causing such failure went unchallenged. This book argues against the orthodox view of Socratic intellectualism and offers in its place a comprehensive alternative account that explains (...) why Socrates believed that emotions, desires and appetites can influence human motivation and lead to error. Thomas C. Brickhouse and Nicholas D. Smith defend the study of Socrates' philosophy and offer an alternative interpretation of Socratic moral psychology. Their novel account of Socrates' conception of virtue and how it is acquired shows that Socratic moral psychology is considerably more sophisticated than scholars have supposed. (shrink)

The claim that the citizen's duty is to “persuade or obey” the laws, expressed by the personified Laws of Athens in Plato's Crito, continues to receive intense scholarly attention. In this article, we provide a general review of the debates over this doctrine, and how the various positions taken may or may not fit with the rest of what we know about Socratic philosophy. We ultimately argue that the problems scholars have found in attributing the doctrine to Socrates derive from (...) an anachronistic and erroneous understanding of Socrates as a kind of libertarian. (shrink)

Brickhouse and Smith cast new light on Plato's early dialogues by providing novel analyses of many of the doctrines and practices for which Socrates is best known. Included are discussions of Socrates' moral method, his profession of ignorance, his denial of akrasia, as well as his views about the relationship between virtue and happiness, the authority of the State, and the epistemic status of his daimonion.

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)

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

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...) or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

Spatial attention and eye-movements are tightly coupled, but the precise nature of this coupling is controversial. The influential but controversial Premotor theory of attention makes four specific predictions about the relationship between motor preparation and spatial attention. Firstly, spatial attention and motor preparation use the same neural substrates. Secondly, spatial attention is functionally equivalent to planning goal directed actions such as eye-movements (i.e. planning an action is both necessary and sufficient for a shift of spatial attention). Thirdly, planning a goal (...) directed action with any effector system is sufficient to trigger a shift of spatial attention. Fourthly, the eye-movement system has a privileged role in orienting visual spatial attention. This article reviews empirical studies that have tested these predictions. Contrary to predictions one and two there is evidence of anatomical and functional dissociations between endogenous spatial attention and motor preparation. However, there is compelling evidence that exogenous attention is reliant on activation of the oculomotor system. With respect to the third prediction, there is correlational evidence that spatial attention is directed to the endpoint of goal-directed actions but no direct evidence that this attention shift is dependent on motor preparation. The few studies to have directly tested the fourth prediction have produced conflicting results, so the extent to which the oculomotor system has a privileged role in spatial attention remains unclear. Overall, the evidence is not consistent with the view that spatial attention is functionally equivalent to motor preparation so the Premotor theory should be rejected, although a limited version of the Premotor theory in which only exogenous attention is dependent on motor preparation may still be tenable. A plausible alternative account is that activity in the motor system contributes to biased competition between different sensory representations with the winner of the competition becoming the attended item. (shrink)

Socrates is one of the most important yet enigmatic philosophers of all time; his fame has endured for centuries despite the fact that he never actually wrote anything. In 399 B.C.E., he was tried on the charge of impiety by the citizens of Athens, convicted by a jury, and sentenced to death (ordered to drink poison derived from hemlock). About these facts there is no disagreement. However, as the sources collected in this book and the scholarly essays that follow them (...) show, several of even the most basic facts about these events were controversial in antiquity, and the questions persist today: How and why was Socrates brought to trial? Why did the jurors, members of the world's first democracy, find him guilty? When he was given an opportunity to escape execution, why did he refuse to do so and instead accept the punishment that he and his friends agreed was unjustly assigned to him? How exactly did Socrates die? Differences of opinion on these and other issues continue to arouse our curiosity and to challenge new generations of students and scholars. The Trial and Execution of Socrates: Sources and Controversies is the first work to collect in one place all of the major ancient sources on Socrates' death--those of both his critics and his defenders--as well as recent scholarly views. Part I includes new translations of Plato's Euthyphro, Apology, Crito, and the death scene from Phaedo, as well as other ancient sources that shed light on Socrates' trial and execution. Part II features some of the most influential recent scholarship on this historically momentous event with work by M. F. Burnyeat, Robert Parker, Mark L. McPherran, Thomas C. Brickhouse and Nicholas D. Smith, Richard Kraut, Christopher Gill, and Enid Bloch (whose essay is published here for the first time). Ideal for undergraduate surveys of ancient Greek philosophy and upper-level courses on Socrates and Socratic philosophy, this unique collection provides an unprecedented look into the many perplexing questions surrounding the trial and execution of this remarkable man. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

In Plato’s Protagoras, Socrates clearly indicates that he is a cognitivist about the emotions—in other words, he believes that emotions are in some way constituted by cognitive states. It is perhaps because of this that some scholars have claimed that Socrates believes that the only way to change how others feel about things is to engage them in rational discourse, since that is the only way, such scholars claim, to change another’s beliefs. But in this paper we show that Socrates (...) is also responsive to, and has various non-rational strategies for dealing with, the many ways in which emotions can cloud our judgment and lead us into poor decision-making. We provide an account of how Socrates can consistently be a cognitivist about emotion and also have more than purely rational strategies for dealing with emotions. (shrink)

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

Mainstream nursing history often positions itself in opposition to philosophy and many nursing historians are reticent of theorizing. In the quest to illuminate the lives of nurses and women current historical approaches are driven by reformist aspirations but are based on the conception that nursing or caring is basically good and the timelessness of universal values. This has the effect of essentialising political categories of identity such as class, race and gender. This kind of history is about affirmation rather than (...) friction and about the conservation of memory and musealization. In contrast, we will focus on how we imagine nursing history could be used as a philosophical, critical perspective to challenge the ongoing transformations of our societies. Existing reality must be confronted with strangeness and the historically different can assume the function of this counterpart, meaning present and past must continuously be set in relation to each other. Thus, critical history is always the history of the present but not merely the pre‐history of the present – critique must rather present different realities and different certainties. In this paper, we use this approach to discuss the implementation of the nursing process (NP) in Germany. The nursing process appears to be a technology that helped to set up an infrastructure ‐ or assemblage ‐ to transform nursing interventions into a commodity exchangable between consumers and nurses in a free market. In our theoretical perspective, we argue that NP was a step in the realization of the German ordoliberal program, a specific variety of neoliberalism. In order to implement market‐orientation in the healthcare system it was necessary to transform hospitals into calculable spaces and to make all performances in the hospital calculable. This radically transformed not just the systems, but the ways in which nurses and patients conveived of themselves. (shrink)

It is often assumed that similar domain-specific behavioural impairments found in cases of adult brain damage and developmental disorders correspond to similar underlying causes, and can serve as convergent evidence for the modular structure of the normal adult cognitive system. We argue that this correspondence is contingent on an unsupported assumption that atypical development can produce selective deficits while the rest of the system develops normally (Residual Normality), and that this assumption tends to bias data collection in the field. Based (...) on a review of connectionist models of acquired and developmental disorders in the domains of reading and past tense, as well as on new simulations, we explore the computational viability of Residual Normality and the potential role of development in producing behavioural deficits. Simulations demonstrate that damage to a developmental model can produce very different effects depending on whether it occurs prior to or following the training process. Because developmental disorders typically involve damage prior to learning, we conclude that the developmental process is a key component of the explanation of endstate impairments in such disorders. Further simulations demonstrate that in simple connectionist learning systems, the assumption of Residual Normality is undermined by processes of compensation or alteration elsewhere in the system. We outline the precise computational conditions required for Residual Normality to hold in development, and suggest that in many cases it is an unlikely hypothesis. We conclude that in developmental disorders, inferences from behavioural deficits to underlying structure crucially depend on developmental conditions, and that the process of ontogenetic development cannot be ignored in constructing models of developmental disorders. Key Words: Acquired and developmental disorders; connectionist models; modularity; past tense; reading. (shrink)