Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)
We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer in (...) models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)
The images from wars in the Middle East that haunt us are those of young women killing and torturing. Their media circulated stories share a sense of shock. They have both galvanized and confounded debates over feminism and women's equality. And, as Oliver argues in this essay, they share, perhaps subliminally, the problematic notion of women as both offensive and defensive weapons of war, a notion that is symptomatic of fears of women's "mysterious" powers.
In the post-Newtonian world motion is assumed to be a simple category which relates to the locomotion of bodies in space, and is usually associated only with physics. Philosophy, God and Motion shows that this is a relatively recent understanding of motion and that prior to the scientific revolution motion was a much broader and more mysterious category, applying to moral as well as physical movements. SimonOliver presents fresh interpretations of key figures in the history of western (...) thought including Plato, Aristotle, Aquinas and Newton, examining the thinkers' handling of the concept of motion. Through close readings of seminal texts in ancient and medieval cosmology and early modern natural philosophy, the book moves from antique to modern times investigating how motion has been of great significance within theology, philosophy and science. Particularly important is the relation between motion and God, following Aristotle traditional doctrines of God have understood the divine as the 'unmoved mover' while post-Holocaust theologians have suggested that in order to be compassionate God must undergo the motion of suffering. Philosophy, God and Motion suggests that there may be an authentically theological, as well as a natural scientific understanding of motion. (shrink)
In Womanizing Nietzsche, Kelly Oliver uses an analysis of the position of woman in Nietzsche's texts to open onto the larger question of philosophy's relation to the feminine and the maternal. Offering readings from Nietzsche, Derrida, Irigaray, Kristeva, Freud and Lacan, Oliver builds an innovative foundation for an ontology of intersubjective relationships that suggests a new approach to ethics. Oliver argues that while Freud, Nietzsche and Derrida, in particular, attempt to open up philosophy to its other--the unconscious, (...) the body, difference, even the feminine--their attempts depend on closing off the possibility of a specifically feminine other. In this regard, Oliver maintains that none of these theorists have escaped the Hegelian model of intersubjectivity at the level of Lordship and Bondage. She suggests that the recent talk of the death of philosophy is a symptom of the exclusion of woman, the feminine and the maternal. By problematizing and reformulating the traditional philosophical association between the maternal and nature, Oliver presents an alternative model for intersubjectivity and ethics. (shrink)
A valuable intervention in Kristevan scholarship and a significant and exciting contribution in its own right to post-structuralist discussions of ethical and political agency and practice. Contributors: Judith Butler, Tina Chanter, Marilyn Edelstein, Jean Graybeal, Suzanne Guerlac, Alice Jardine, Lisa Lowe, Noelle McAfee, Norma Claire Moruzzi, Kelly Oliver, Tilottma Rajan, Jacqueline Rose, Allison Weir, Mary Bittner Wiseman, Ewa Ziarek.
This enterprising book, written in the spirit of William James, urges our appreciation of the intensely personal character of spiritual transcendence. Phil Oliver's work has important implications for specialists concerned with the Jamesian concept of "pure experience," and it illuminates significant interdisciplinary ties among philosophy, literature, and other intellectual domains.
In his classic 1936 essay On the Concept of Logical Consequence, Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well.In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties:(1)(a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the logical terms and the non-logical terms of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model-theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)
The concepts of animal, human, and rights are all part of a philosophical tradition that trades on foreclosing the animal, animality, and animals. Rather than looking to qualities or capacities that make animals the same as or different from humans, I investigate the relationship between the human and the animal. To insist, as animal rights and welfare advocates do, that our ethical obligations to animals are based on their similarities to us reinforces the type of humanism that leads to treating (...) animals—and other people—as subordinates. But, if recent philosophies of difference are any indication, we can acknowledge difference without acknowledging our dependence on animals, or without including animals in ethical considerations. Animal ethics requires rethinking both identity and difference by focusing on relationships and responsivity. My aim is not only to suggest an animal ethics but also to show how ethics itself is transformed by considering animals. (shrink)
My essay is framed by Hypatia's first special issue on Motherhood and Sexuality at one end, and by the most recent special issue (as of this writing) on the work of Iris Young, whose work on pregnant embodiment has become canonical, at the other. The questions driving this essay are: When we look back over the last twenty-five years, what has changed in our conceptions of pregnancy and maternity, both in feminist theory and in popular culture? What aspects of feminist (...) debates from the 1970s and 1980s are still relevant today? And, how might what appear to be radical shifts in popular perceptions of pregnancy actually continue traditional values that objectify and “abjectify” the maternal body?Here, I will focus on three central elements of the revaluation of pregnancy and maternity as they show up in feminist philosophy and in popular culture: 1. The relationship between pregnancy and sexuality, both in terms of pregnant sexuality and in terms of the pregnant body as sexual object; 2. The “choice” to become a mother as a “feminist choice”; 3. The temporality of pregnancy and birth as marking something like “women's time.”. (shrink)
Yah boo sucks to the grammer wot we lernt in skool! Grammar (and the bad old traditional logic) says that quantifier phrases such as 'nobody', 'everyone', 'all women', 'some men' and 'a man' are in the same category as names such as 'Milly', 'Molly' and 'Mandy'. So, prior to their first corrective lessons, students are awfully muddled, the first and fundamental problem being the Woozle hunt for somebody called 'nobody'. Hoorah for modern logic and logic teachers! The story used to (...) justify our current logics is entirely fictional. The claims about names and quantifier phrases in English are wildly false. Two of the heroes of modern logic, Russell and Hilbert, make the very mistakes which are falsely blamed on traditional logic. The villain, Meinong, turns out to have been working a different patch. Ideas ascribed to traditional grammar are modern inventions. Neither logicians nor grammarians can be trusted to tell the history of either grammar or logic. (shrink)
We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of set-theoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)
The history of the idea of predicate is the history of its emancipation. The lesson of this paper is that there are two more steps to take. The first is to recognize that predicates need not have a fixed degree, the second that they can combine with plural terms. We begin by articulating the notion of a multigrade predicate: one that takes variably many arguments. We counter objections to the very idea posed by Peirce, Dummett's Frege, and Strawson. We show (...) that the arguments of a multigrade predicate must be grouped into places, with perhaps several arguments occupying positions at a place. Variability may relate to places or positions. Russell's multiple judgement predicate turns out to be just one example of a family—‘is necessarily true of’, ‘is said of’, ‘is instantiated by’ and so on—of predicates with variably many places. Our main concern, however, is lists. Any adequate account of lists must include plural as well as singular terms. On one account, lists are mere strings of separate arguments, which occupy variably many positions within a place of a multigrade predicate. A quite different account takes the list itself to be a compound plural term. We compare these rival conceptions, and reach some surprising conclusions. As a coda, we deploy the conceptual apparatus developed in the paper to assess Morton's pioneer system of multigrade logic. (shrink)
Introduction: The role of animals in philosophies of man -- Part I: What's wrong with animal rights? -- The right to remain silent -- Part II: Animal pedagogy -- You are what you eat : Rousseau's cat -- Say the human responded : Herder's sheep -- Part III: Difference worthy of its name -- Hair of the dog : Derrida's and Rousseau's good taste -- Sexual difference, animal difference : Derrida's sexy silkworm -- Part IV: It's our fault -- The (...) beaver's struggle with species-being : De Beauvoir and the praying mantis -- Answering the call of nature : Lacan walking the dog -- Part V: Estranged kinship -- The abyss between humans and animals : Heidegger puts the bee in being -- Strange kinship : Merleau-Ponty's sensuous stickleback -- Stopping the anthropological machine : Agamben's tick-tocking tick -- Psychoanalysis and the science of kinship -- Psychoanalysis as animal by-product : Freud's zoophilia -- Animal abjects, maternal abjects : Kristeva's strays -- Conclusion: Sustainable ethics. (shrink)
In this essay, I argue that the contemporary notion of law has been reduced to regulations and disciplinary codes that do not and cannot give meaning to our emotional lives and moral sensibilities. As a result, we have increasing numbers of what I call “abysmal individuals” who suffer from a split between law—broadly conceived as that which gives form and structure to social life—and personal embodied sensations of pain and pleasure. My attempt to understand the place of Abu Ghraib within (...) American culture leads to an analysis of our valorization of innocence and ignorance that not only becomes the grounds on which we morally (if not legally) excuse abusive behavior as “fun,” but also becomes part of the justification for condoning some forms of violence while condemning others. In addition, I argue that the distinction between legitimate and illegitimate violence trades on underlying assumptions about the relationship between culture and nature, technology and bodies, wherein bodies are imagined as natural and outside of the realm of law. (shrink)
Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider many-valued functions, since they too bring in plural terms—terms such as ‘4’ or the descriptive ‘the inhabitants of London’ which, like plain plural descriptions, stand for more than one thing. Logicians need to take plural reference seriously (...) if only because mathematicians take many-valued functions seriously. We assess the objection (by Russell, Frege and others) that many-valued functions are illegitimate because the corresponding terms are ambiguous. We also assess the various methods proposed for getting rid of them. Finding the objection ill-founded and the methods ineffective, we introduce a logical framework that admits plural reference, and use it to answer some earlier questions and to raise some more. (shrink)
: Our stereotypes of maternity and paternity as manifest in the history of philosophy and psychoanalysis interfere with the ability to imagine loving relationships. The associations of maternity with antisocial nature and paternity with disembodied cul-ture are inadequate to set up primary love relationships. Analyzing the conflicts in these associations, I reformulate the maternal body as social and lawful, and I re-formulate the paternal function as embodied, which enables imagining our primary relationships as loving.
Alfred Tarski (1944) wrote that “the condition of the ‘essential richness’ of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth.” But it has remained unclear what Tarski meant by an ‘essentially richer’ metalanguage. Moreover, DeVidi and Solomon (1999) have argued in this Journal that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true. We develop an answer to the historical question (...) of what Tarski meant by ‘essentially richer’ and pinpoint the general result that stands behind his essential richness claim. In defense of Tarski, we then show that each of the several arguments of DeVidi and Solomon are either moot or mistaken. (shrink)
This essay argues that Hegel's discussion of the family in "The Ethical Order" section of Phenomenology of Spirit undermines the entire project of that text. Hegel's project demands that every element of consciousness be conceptualizable, and yet, woman, an essential unconscious element of consciousness, is in principle unconceptualizable. The end of the essay attempts to relate Hegel's discussion of the family to contemporary discussions of family values.
The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects of (...) discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia.Building on recent work by Christopher Menzel (Nous 1990), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. (shrink)
I offer an interpretation of a familiar, but poorly understood portion of Tarskis work on truth – bringing to light a number of unnoticed aspects of Tarskis work. A serious misreading of this part of Tarski to be found in Scott Soames Understanding Truth is treated in detail. Soamesreading vies with the textual evidence, and would make Tarskis position inconsistent in an unsubtle way. I show that Soames does not finally have a coherent interpretation of Tarski. This is unfortunate, since (...) Soames ultimately arrogates to himself a key position that he has denied to Tarski and which is rightfully Tarskis own. (shrink)
What's new about globalization? -- Globalization and the social -- Beyond the nation-state? -- Virtual sociality -- Global inequalities and everyday life -- Global terrors.
Carter and Leslie's Doomsday Argument maintains that reflection upon the number of humans born thus far, when that number is viewed as having been uniformly randomly selected from amongst all humans, past, present and future, leads to a dramatic rise in the probability of an early end to the human experiment. We examine the Bayesian structure of the Argument and find that the drama is largely due to its oversimplification.
: I begin to suggest an alternative to the notion of vision based in alienation and hostility put forth by Jean-Paul Sartre, Sigmund Freud, and Jacques Lacan. I diagnose this alienating vision as a result of a particular alienating notion of space presupposed by their theories. I develop Irigaray's comments about light and air to suggest an alternative notion of space that opens up the possibility that vision connects us to others rather than alienates us from them.
Alfred Tarski (1944) wrote that "the condition of the 'essential richness' of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth." But it has remained unclear what Tarski meant by an 'essentially richer' metalanguage. Moreover, DeVidi & Solomon (1999) have argued that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true.
According to Timothy Williamson's epistemic view, vague predicates have precise extensions, we just don't know where their boundaries lie. It is a central challenge to his view to explain why we would be so ignorant, if precise borderlines were really there. He offers a novel argument to show that our insuperable ignorance ``is just what independently justified epistemic principles would lead one to expect''. This paper carefully formulates and critically examines Williamson's argument. It is shown that the argument (...) does not explain our ignorance, and is not really apt for doing so. Williamson's unjustified commitment to a controversial and crucial assumption is noted. It is also argued in three different ways that his argument is, in any case, self-defeating – the same principles that drive the argument can be applied to undermine one of its premises. Along the way, Williamson's unstated commitment to a number of other controversial doctrines comes to light. (shrink)
What is the nature of the decision-related personal values of corporate management? Managers' attitudes and behaviors are built upon their personal value systems (PVS). Knowledge about the structure of management's PVS assists in understanding the attributes of corporate decision making. Utilizing a survey instrument developed and used by England (1967, 1975), this article updates this research into corporate managers' personal value systems. England's PVS consists of sixty-six pre-tested values clustered into five groups. As one could expect with personal values, statistical (...) tests reveal that even with dramatic changes in the business environment the overall personal values structure has not changed over the intervening three decades. The results also reveal that corporate managers retain their pragmatic value orientation as discussed by England. (shrink)
According to Nancy Cartwright, a causal law holds just when a certain probabilistic condition obtains in all test situations which in turn satisfy a set of background conditions. These background conditions are shown to be inconsistent and, on separate account, logically incoherent. I offer a corrective reformulation which also incorporates a strategy for problems like Hesslow's thrombosis case. I also show that Cartwright's recent argument for modifying the condition to appeal to singular causes fails.Proposed modifications of the theory's probabilistic condition (...) to handle effects with extreme probabilities (0 or 1) are found unsatisfactory. I propose a unified solution which also handles extreme causes. Undefined conditional probabilities give rise to three good, but non-equivalent, ways of formulating the theory. Various formulations appear in the literature. I give arguments to eliminate all but one candidate. Finally, I argue for a crucial new condition clause, and show how to extend the results beyond a simple probabilistic framework. (shrink)
Although much of the growing literature on organizational identity implicitly recognizes the normative nature of identity, the ethical implications of organizational identity work and talk have not yet been explored in depth. Working from a meta-ethical perspective, we claim that the dynamic, processual, and temporal activities recently associated with organizational identity always have an ethical dimension, whether “good” or “bad.” In order to describe the ethical dimensions of organizational identity, we introduce the balance theory of practical wisdom as a theoretical (...) framework, and connect this theory to existing organizational identity concepts. We present an empirical case focused on an international paint company to illustrate the relevance of this theory for empirical organizational identity research. Our intention is to expand existing theory by bringing an aspect of organizational identity that has been tangentially acknowledged to the forefront, and by identifying it as a fruitful avenue for future theory development as well as empirical research. (shrink)
Between 1983 and 1993 the authors published a series of articles and a book promulgating and explicating "Critical Mass Theory," a theory of public goods provision in groups. In this article we seek to trace the growth, change, or decline of the theory, primarily through an analysis of all journal citations of the theory. We find that the majority of citations are essentially gratuitous or pick a single point from the theory, which may or may not be central to the (...) theory. However, we identify four lines of theorizing that creatively use substantial parts of Critical Mass Theory in their own development: (1) theories relevant to issues in communication studies such as interaction media and shared databases; (2) Macy's work on adaptive learning models; (3) Heckathorn's models of sanctioning systems; and (4) theories that are centrally concerned with issues of influence in collective goods processes. A few additional, less-developed lines of work are also discussed. None of this work identifies itself as being itself "Critical Mass Theory," but many of the innovations and assertions of the theory are important bases for its development. (shrink)
Transparencies (1) We used to stick them on window-panes Starting with butterflies. Later We found more momentous scenes Mandalas — ziggurats — Jesus. ...
The debate on whether and how to teach business ethics in graduate business programs continues. The authors of this article suggest specific content and processes for a course aimed at giving MBA candidates the awareness, tools, and mental processes necessary to recognize and address ethical issues in decision making. The inclusion of labor law, discrimination issues, consumer protection legislation, securities laws, and an overview of the U.S. Constitution and the Bill of Rights coupled with the development of utilitarian, deontological, and (...) egalitarian analysis of ethical issues provides the tools and processes necessary for ethical decision making. These tools and processes are applied in several class experiences using cases, moral audits, and the development of a code of ethics to help students acquire the knowledge, skills, and values needed in ethical decision making. (shrink)
Over the past few decades the pace of change in the business environment has been rapid, as the effects of electronic innovations and the acceptance of the globalisation mind-set have occurred. Communism has collapsed and the power of corporations has grown in the global community that has developed. It has become imperative that business decision-makers become aware that their decisions may limit the choices of future generations by irretrievably destroying the currently existing physical and social environment. Decision-making in today's business (...) environment will have a profound affect on human well-being in general and specifically on the breadth of options that are provided to the business decision-makers of tomorrow. Against this background it is argued that senior managers should adopt a new paradigm through which to view the world and assess the import of their decisions. Managers need to consider the effects of their decisions not only on the economy but also on the environment and the social world, which the economy is meant to serve. Managers must ensure their ways of doing business are sustainable. (shrink)
