We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)
History, Philosophy and Science Teaching argues that science teaching and science teacher education can be improved if teachers know something of the history and philosophy of science and if these topics are included in the science curriculum. The history and philosophy of science have important roles in many of the theoretical issues that science educators need to address: the goals of science education; what constitutes an appropriate science curriculum for all students; how science should be taught in traditional cultures; what (...) integrated science is; how scientific literacy can be promoted; and the conflict which can occur between science curriculum and deep-seated religious or cultural values and knowledge. In part, answers to these questions hinge on views about the nature of science, views that are best informed by historical and philosophical study. Outlining the history of liberal, or contextual, approaches to the teaching of science, Michael Matthews elaborates contemporary curriculum developments that explicitly address questions about the nature and the history of science. He provides examples of classroom teaching and develops useful arguments on constructivism, multicultural science education and teacher education. The book will appeal to school and university science teachers, educators of science teachers, and historians and philosophers of science. (shrink)
Philosophy plays an integral role in French society, affecting its art, drama, politics, and culture. In this accessible, chronological survey, Matthews offers some explanations for the enduring popularity of the subject and traces the developments that French philosophy has taken in the twentieth century, from its roots in the thought of Descartes to key figures such as Bergson, Sartre, Marcel, Merleau-Ponty, Foucault, Derrida, and the recent French Feminists.
Gareth Matthews suggests that we can better understand the nature of philosophical inquiry if we recognize the central role played by perplexity. The seminal representation of philosophical perplexity is in Plato's dialogues; Matthews examines the intriguing shifts in Plato's attitude to perplexity and suggests that these may represent a course of philosophical development that philosophers follow even today.
One challenge to the concept of human dignity is that it is a rootless notion invoked simply to mask inequalities that inevitably exist between human beings. This privileging of humans is speciesist and its weak point is the profoundly disabled human being. This article argues that far from being a weak point, the profoundly disabled person is a source of strength and witness to the intrinsic dignity that all human beings have by virtue of being human. The disabled represent the (...) reality of human existence that is both strong and fragile. Although human dignity can be understood philosophically its depth is rooted in Christian theological insights. The profoundly disabled occupy a privileged position and share in a theology of mission since they testify to the interdependence of every human being and human dependence on God to a myopic world that only values strength, autonomy and independence . Content Type Journal Article Category Article Pages 185-203 DOI 10.1558/hrge.v17i2.185 Authors Pia Matthews, Theology, Philosophy, and History, St Mary’s University College, Waldegrave Road, Strawberry Hill, TW1 4SX Journal Human Reproduction & Genetic Ethics Online ISSN 2043-0469 Print ISSN 1028-7825 Journal Volume Volume 17 Journal Issue Volume 17, Number 2 / 2011. (shrink)
Breaking with a Puritan past -- A mother's concern -- Turmoil and diversity in the English Reformation -- The influences and the options available in English -- Reformation theology -- Intellectual trends : patristics and hebrew -- Millennialism and the belief in a providential age -- Bacon's break with the godly -- Bacon's turn toward the ancient faith -- The formative years -- Bacon and Andrewes -- The Meditationes sacrae and Bacon's turn away from calvinism -- Bacon's confession of faith (...) -- In the beginning : the creation of nature and the nature of the fall the instauration as an event in sacred history -- The ages of the world and the chain of causes -- Creation as a pattern for human learning -- Humanity in the garden -- Knowledge and the fall -- Knowledge as a support for the faith -- Human effort as the key to recovery -- On the way of salvation : Bacon's twofold via salutis -- Bbacon and original sin -- Patterns in divine action and prophecies of instauration -- The instauration in the history of providence -- Bacon's providential age -- The conditions for instauration -- In the autumn of the world : features of the age of instauration -- Irenaeus and Francis Bacon on the golden age -- Inaugurated eschatology in Bacon's instauration -- Laborers in the fields of instauration : orders and offices -- Rebuilding the temple of nature -- Human agency and the instauration -- The problem of confusing the two books -- The possibility of immortality -- Bacon's circle and his legacy -- Bacon's literary circle -- Tobie Matthew (1577-1655) -- William Rawley (1588-1667) -- Henry Wotton (15681639) -- Thomas Bushell (1594-1674) -- John Selden (1584-1654) -- George Herbert (1593-1633) -- Thomas Hobbes (1588-1679) -- Thomas Bodley (1545-1613) -- Conclusions regarding Bacon's literary circle -- The reform of learning in the Civil War and the commonwealth the restoration and the Royal Society -- The Enlightenment transformation of Bacon's memory. (shrink)
It has become quite common for people to develop `personal'' relationships nowadays, exclusively via extensive correspondence across the Net. Friendships, even romantic love relationships, are apparently, flourishing. But what kind of relations really are possible in this way? In this paper, we focus on the case of close friendship. There are various important markers that identify a relationship as one of close friendship. One will have, for instance, strong affection for the other, a disposition to act for their well-being and (...) a desire for shared experiences. Now obviously, while all these features of friendship can gain some expression through extensive correspondence on the Net, such expression is necessarily limited –you cannot, e.g., physically embrace the other, or go on a picnic together. The issue we want to address here however, is whether there might be distinctive and important influences on the structure of interaction undertaken on the Net, that affect the kind of identity ``Net-friends'''' can develop in relation to one another. In the normal case, one develops a close friendship, and in doing so, one''s identity, in part, is shaped by the friendship. To some extent, through extensive shared experience, one comes to see aspects of the world (and of oneself) through the eyes of one''s friend and so, in part, one''s identity develops in an importantly relational way, i.e., as the product of one''s relation with the close friend. In our view, however, on account of the limits of, and/or the kind of, shared contact and experience one can have with another via correspondence on the Net, there are significant structural barriers to developing the sort of relational identity that is a feature of close friendship. In arguing our case here, and by using the case of Net ``friendship'''' as our foil, we aim to shed light on the nature and importance of certain sorts of self-expression and relational interaction found in close friendship. (shrink)
School science education is currently the subject of much debate. Historians and philosophers of science should play a role in this debate. Since the late nineteenth century there has been a persistent, if minor, tradition arguing for the incorporation of historical and philosophical dimensions in the teaching of school science. With the current crisis in science teaching, there are encouraging signs that more attention is being paid to this tradition. What is required is much greater collaboration between philosophers, historians, and (...) science educators, particularly in the training of teachers. (shrink)
Marya Schechtman argues that psychological continuity accounts of personal identity, as represented by Derek Parfit's account, fail to escape the circularity objection. She claims that Parfit's deployment of quasi-memory (and other quasi-psychological) states to escape circularity implicitly commit us to an implausible view of human psychology. Schechtman suggests that what is lacking here is a coherence condition, and that this is something essential in any account of personal identity. In response to this I argue first that circularity may be escaped (...) using quasi-psychological states even with the addition of the coherence condition. Second, I argue that there is something right about the coherence condition, and a major task of this paper is to identify its proper theoretical role. I do so by reflection on integration therapies for people with multiple personality disorder (MPD). The familiar distinction between the moral and the metaphysical concept of the person is developed alongside such reflection. Connecting these two issues I argue that coherence acts as a normative constraint on accounts of personal identity, but that the normative dimension of personhood is not essential to our notion of a person tout court. (shrink)
The condition known as Multiple Personality Disorder (MPD) or Dissociative Identity Disorder (DID) is metaphysically strange. Can there really be several distinct persons operating in a single body? Our view is that DID sufferers are single persons with a severe mental disorder. In this paper we compare the phenomenology of dissociation between personality states in DID with certain delusional disorders. We argue both that the burden of proof must lie with those who defend the metaphysically extravagant Multiple Persons view and (...) that there is little theoretical motivation to yield to that view in light of the fact that the core symptoms of DID bear remarkable similarity to the symptoms of these other disorders where no such extravagance is ever seriously entertained. (shrink)
Dissociative Identity Disorder (DID) (formerly known as Multiple Personality Disorder) is a condition in which a person appears to possess more than one personality, and sometimes very many. Some recent criminal cases involving defendants with DID have resulted in "not guilty" verdicts, though the defense is not always successful in this regard. Walter Sinnott-Armstrong and Stephen Behnke have argued that we should excuse DID sufferers from responsibility, only if at the time of the act the person was insane (typically delusional); (...) otherwise the presumption should be that persons with DID are indeed responsible for their actions. We find their interpretation of DID and of the way in which the requirements for criminal insanity relate to this condition worrying and likely to result in injustice to DID sufferers. Our thesis is that persons with DID cannot be responsible for their actions if the usual features of the condition are present. A person with DID is a single person in the grip of a very serious mental disorder. By focusing on the features of DID which have, as we argue, the effect of deluding the patient, we try to show that such a person is unable to fulfill the ordinary conditions of responsible agency (namely, autonomy and self-control). (shrink)
The “top-down” and “bottom-up” approaches have been thought to exhaust the possibilities for doing cognitive neuroscience. We argue that neither approach is likely to succeed in providing a theory that enables us to understand how cognition is achieved in biological creatures like ourselves. We consider a promising third way of doing cognitive neuroscience, what might be called the “neural dynamic systems” approach, that construes cognitive neuroscience as an autonomous explanatory endeavor, aiming to characterize in its own terms the states and (...) processes responsible for brain-based cognition. We sketch the basic motivation for the approach, describe a particular version of the approach, so-called ‘Dynamic Causal Modeling’ (DCM), and consider a concrete example of DCM. This third way, we argue, has the potential to avoid the problems that afflict the other two approaches. (shrink)
Effective agency, according to contemporary Kantians, requires a unity of purpose both at a time, in order that we may eliminate conflict among our motives, and over time, because many of the things we do form part of longer-term projects and make sense only in the light of these projects and life plans. Call this the unity of agency thesis. This thesis can be regarded as a normative constraint on accounts of personal identity and indeed on accounts of what it (...) is to have the life of a person in the broad, rather than narrowly biological sense. It is also a fundamental condition of social life that persons within society fulfill a range of longitudinal roles: parenthood is one such obvious example, as are teachers, health professionals, engineers, artists, and many others. The fulfillment of these and other valuable social roles requires that agents have the capacity to rationally conceive of themselves as engaged in these roles and subject to the demands of them. To be unable to fulfill any such longitudinal social roles is to have a life deficient in value. The unity of agency is thus, we argue, something we rationally strive for, and something to be morally promoted. Psychiatric states that undermine the unity of agency are morally and rationally disvaluable. Using the example of dissociation, we explain how one such state may have this undermining or disruptive effect on the unity of agency. The therapeutic ends for psychiatry in conditions involving such states are thus seen more globally as the restoration of effective agency, that is, unified agency. (shrink)
'Backsliding', 'weakness of, will', ' moral weakness', '"lack of self-restraint', 'lack of self-control'. Do all these have the same meaning ? Is there a philosophical problem here, and if so, what precisely is it? How is an account of what happens in cases to which these terms apply related to the meaning of the words, and to the philosophical problem? These are the questions which I shall try to discuss in this paper.
In our target article, we discussed the standards of evidence that could be used to identify adaptations, and argued that building an empirical case that certain features of a trait are best explained by exaptation, spandrel, or constraint requires the consideration, testing, and rejection of adaptationist hypotheses. We are grateful to the 31 commentators for their thoughtful insights. They raised important issues, including the meaning of “exaptation”; whether Gould and Lewontin's critique of adaptationism was primarily epistemological or ontological; the necessity, (...) sufficiency, or utility of design evidence, phylogenetic analyses, homology, and molecular genetics in distinguishing exaptations from adaptations; whether adaptationists accept adaptationist hypotheses too quickly; and the real utility of adaptationism to human behavioral science. We organize our response along the major points of the target article, in some situations defending our original claims and in others modifying them. While debate on these issues will undoubtedly continue, we are cautiously optimistic that the main points of the target article (as modified by our response) will help move the debate in a positive direction. (shrink)
Undercover marketing targets potential customers by concealing the commercial nature of an apparently social transaction. In a typical case an individual approaches a marketing target apparently to provide some information or advice about a product in a way that makes it seem like they are a fellow consumer. In another kind of case, a friend displays a product to you, and encourages its purchase, but fails to disclose their association with the marketing firm. We focus on this second type of (...) case and argue that the constitutive dispositions of friendship that provide for the development and maintenance of intimacy also render friends especially vulnerable to undercover marketing techniques and so to the exploitation of friendship for commercial ends. We show how this is corrupting both of the friendship and the commercial agent. (shrink)
This study investigates the relative attractiveness of production level jobs provided by multinational firms in Mexico's maquiladora industry. We take the position that workers themselves are an important and often overlooked source of information relevant to the controversy focusing on the responsibilities of multinational companies to their employees in the developing world. We conducted interviews with 59 maquila production level workers in the Mexican cities of Cd. Juárez and Chihuahua. Using a relative attractiveness framework that compared maquila jobs to other (...) employment available in the local economy, maquila line and technical workers responded to questions addressing why they were working at a maquila, their work history, the attractiveness of maquila jobs compared to both their prior jobs and the jobs held by friends and family, and whether they planned to continue working in the maquilas. While the responses from maquila workers are diverse, they suggest that maquila jobs provide attractive employment for the economically disadvantaged in Northern Mexico. (shrink)
1 Adaptationism is a research strategy that seeks to identify adaptations and the specific selective forces that drove their evolution in past environments. Since the mid-1970s, paleontologist Stephen J. Gould and geneticist Richard Lewontin have been critical of adaptationism, especially as applied toward understanding human behavior and cognition. Perhaps the most prominent criticism they made was that adaptationist explanations were analogous to Rudyard Kipling's Just So Stories (outlandish explanations for questions such as how the elephant got its trunk). Since storytelling (...) (through the generation of hypotheses and the making of inferences) is an inherent part of science, the criticism refers to the acceptance of stories without sufficient empirical evidence. In particular, Gould, Lewontin, and their colleagues argue that adaptationists often use inappropriate evidentiary standards for identifying adaptations and their functions, and that they often fail to consider alternative hypotheses to adaptation. Playing prominently in both of these criticisms are the concepts of constraint, spandrel, and exaptation. In this article we discuss the standards of evidence that could be used to identify adaptations and when and how they may be appropriately used. Moreover, building an empirical case that certain features of a trait are best explained by exaptation, spandrel, or constraint requires demonstrating that the trait's features cannot be better accounted for by adaptationist hypotheses. Thus, we argue that the testing of alternatives requires the consideration, testing, and systematic rejection of adaptationist hypotheses. Where possible, we illustrate our points with examples taken from human behavior and cognition. Key Words: adaptation; ADHD; brain allometry; constraint; epistemology; evolutionary psychology; exaptation; female orgasm; optimization; special design; waist-hip ratio (WHR). Footnotes1 The authors contributed equally to this paper. Order of authorship was determined alphabetically. Correspondence may be addressed to any of the authors. (shrink)
In a recent paper Paul Vincent Spade suggests that, although the medieval doctrine of the modes of personal supposition originally had something to do with the rest of the theory of supposition, it became, by the 14th century, an unrelated theory with no question to answer. By contrast, I argue that the theory of the modes of personal supposition was meant to provide a way of making understandable the idea that a general term in a categorical proposition can be used (...) to refer to the individual things that fall under it. Once that idea had been made acceptable, truth conditons for the various forms of categorical proposition could be given without any specific appeal to the ideas of descent and ascent in terms of which the modes had been defined. (shrink)
Fodor and Pylyshyn (1988), Fodor and McLaughlin (1990) and McLaughlin (1993) challenge connectionists to explain systematicity without simply implementing a classical architecture. In this paper I argue that what makes the challenge difficult for connectionists to meet has less to do with what is to be explained than with what is to count as an explanation. Fodor et al. are prepared to admit as explanatory, accounts of a sort that only classical models can provide. If connectionists are to meet the (...) challenge, they are going to have to insist on the propriety of changing what counts as an explanation of systematicity. Once that is done, there would seem to be as yet no reason to suppose that connectionists are unable to explain systematicity. (shrink)
We compare Colman's proposed “psychological game theory” with the existing literature on psychological games (Geanakoplos et al. 1989), in which beliefs and intentions assume a prominent role. We also discuss experimental evidence on intentions, with a particular emphasis on reciprocal behavior, as well as recent efforts to show that such behavior is consistent with social evolution.
The theory of general relativity has produced some great insights into the nature of space and time. Unfortunately, its relevance to the problem of the direction of time has been overestimated. This paper points out that the problem of the direction of time can be formulated in purely local ways, and that in this kind of formulation considerations of general relativity are of little or no importance. On the basis of this, positions which assume that relativistic considerations are always relevant (...) are criticised. (shrink)
Many believe that the grammatical sentences of a natural language are a recursive set. In this paper I argue that the commonly adduced grounds for this belief are inconclusive, if not simply unsound. Neither the native speaker's ability to classify sentences nor his ability to comprehend them requires it. Nor is there at present any reason to think that decidability has any bearing on first-language acquisition. I conclude that there are at present no compelling theoretical grounds for requiring that transformational (...) grammars enumerate only recursive sets. Hence, the fact that proposed transformational grammars do not satisfy this requirement does not, as some have claimed, represent a shortcoming in current theory. (shrink)
Anthony Kenny says it is impossible to want what one already has and knows one has. We present a counter-example and then suggest that Kenny may have been misled by the fact that wanting expresses itself in goal-directed behavior. From the truism that one's behavior cannot be directed toward a goal that one knows one has already attained, Kenny may have been led to suppose that behavior directed toward an as yet unattained goal cannot express one's desire for what one (...) has and knows one has. (shrink)
In De trinitate X Augustine seeks to discover the nature of mind (mens). As if recalling Plato’s Paradox of Inquiry, he wonders how such a search can be coherently understood. Rejecting the idea that the mind knows itself only indirectly, or partially, or by description, he insists that nothing is so present to the mind as itself. Yet it is open to the mind to perfect its knowledge of itself by coming to realize that its nature is to be only (...) what it is certain that it is. (shrink)
The heart is a huge old barnacled whale, Vastly outsize and cumbersome, Encased in a mountain of deadweight flesh, Lugubrious, peering out of her carnal tomb with little wrinkled eye, Unable to encompass her own immensity. Yet this great gravid tender yearning creature lies Undetected, invisible, under the waters of appearance.
Youth forums are a favoured means for encouraging youth participation. Taking many forms, they usually describe groups of young people who come together in committees to discuss issues relating to their communities. Adults establish many youth forums largely because they are perceived to provide tangible opportunities deemed to enable ongoing participation rather than because of demand from young people themselves. Recent evidence suggests, however, that youth forums are often an inappropriate way of engaging many young people, especially those who are (...) traditionally hardest to reach. This paper explores the ethical and methodological challenges facing those agencies who wish to behave in an inclusive manner, yet in so doing establish structures and bureaucracies that sideline many young people, further obfuscating their voices in local decision making. Alternative ways forward for engaging young people are suggested. (shrink)