ABSTRACT The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be ?1 1-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.

Model checking is a widely used technique that aids in the designand debugging of reactive systems. This paper gives an overview onthe theory and algorithms used for model checking, with a biastowards automata-theoretic approaches and linear-time temporallogic. We also describe elementary abstraction techniques useful forlarge systems that cannot be directly handled by model checking.

Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of security functions such as firewalls, intrusion detection systems and data leakage prevention mechanisms, offer new perspectives to protect these devices using software-defined networking and network function virtualization. However, the complexity and dynamics of these chains require new automation techniques to orchestrate them. This chapter describes an (...) automated orchestration methodology for security chains in order to secure connected devices and their applications. This methodology exploits process learning to establish behavioral models and infer security constraints represented as logical predicates. It then generates and merges a set of chains of security functions on the basis of these predicates. These chains are finally compiled into low-level configuration rules and deployed into the network, optimizing for the underlying topology. The benefits and limits of such a methodology combining machine learning and verification techniques are evaluated by a set of experimental results. (shrink)

Dr. McGee presents a cogent argument for the patentability of the diagnosis of gene forms that are found to be associated with disease or other phenotypic manifestations. We're convinced he's wrong. An analogy will help explain why.

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)

Among the questions to be raised under the heading of “personal identity” are these: “What are we?” (fundamental nature question) and “Under what conditions do we persist through time?” (persistence question). Against the dominant neo-Lockean approach to these questions, the view known as animalism answers that each of us is an organism of the species Homo sapiens and that the conditions of our persistence are those of animals. Beyond describing the content and historical background of animalism and its rivals, this (...) entry explores some of the arguments for and objections to this controversial account of our nature and persistence. (shrink)

This comprehensive new book introduces the core history of phenomenology and assesses its relevance to contemporary psychology, philosophy of mind, and cognitive science. From critiques of artificial intelligence research programs to ongoing work on embodiment and enactivism, the authors trace how phenomenology has produced a valuable framework for analyzing cognition and perception, whose impact on contemporary psychological and scientific research, and philosophical debates continues to grow. The first part of _An Introduction to Phenomenology_ is an extended overview of the history (...) and development of phenomenology, looking at its key thinkers, focusing particularly on Husserl, Heidegger and Merleau-Ponty, as well as its cultural and intellectual precursors. In the second half Chemero and Käufer turn their attention to the contemporary interpretations and uses of phenomenology in cognitive science, showing that phenomenology is a living source of inspiration in contemporary interdisciplinary studies of the mind. Käufer and Chemero have written a clear, jargon-free account of phenomenology, providing abundant examples and anecdotes to illustrate and to entertain. This book is an ideal introduction to phenomenology and cognitive science for the uninitiated, as well as for philosophy and psychology students keen to deepen their knowledge. (shrink)

What are we? What is the nature of the human person? Animalism has a straightforward answer to these long-standing philosophical questions: we are animals. After being ignored for a long time in philosophical discussions of our nature, this idea has recently gained considerable support in metaphysics and philosophy of mind. Containing mainly new papers as well as two highly important articles that were recently published elsewhere, this volume's contributors include both emerging voices in the debate and many of those who (...) have been instrumental in shaping it. Some of their contributions defend animalism, others criticize it, still others explore its more general implications. The book also contains a substantial introduction by the editors explaining what animalism is, identifying leading issues that merit attention, and highlighting many of the issues that the contributors have raised. (shrink)

The relation of global supervenience is widely appealed to in philosophy. In slogan form, it is explained as follows: a class of properties A supervenes on a class of properties B if no two worlds differ in the distribution of A-properties without differing in the distribution of B-properties. It turns out, though, that there are several ways to cash out that slogan. Three different proposals have been discussed in the literature. In this paper, I argue that none of them is (...) adequate. Furthermore, I present a puzzle that reveals a tension in our concept of global supervenience. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

This entry sketches the theory of personal identity that has come to be known as animalism. Animalism’s hallmark claim is that each of us is identical with a human animal. Moreover, animalists typically claim that we could not exist except as animals, and that the (biological) conditions of our persistence derive from our status as animals. Prominent advocates of this view include Michael Ayers, Eric Olson, Paul Snowdon, Peter van Inwagen, and David Wiggins.

This book successfully achieves to serve two different purposes. On the one hand, it is a readable physics-based introduction into the philosophy of science, written in an informal and accessible style. The author, himself a professor of physics at the University of Notre Dame and active in the philosophy of science for almost twenty years, carefully develops his metatheoretical arguments on a solid basis provided by an extensive survey along the lines of the historical development of physics. On the other (...) hand, this book supplies one long argument for Cushing´s own attitude in the philosophy of science. While former studies of the author, from which this book draws in part, focused each on one special episode in the history of science, this book gathers case material from many different parts of physics and epochs. The main goal of this book is ”to impress upon the reader the essential and ineliminable role that philosophical considerations have played in the actual practice of science” (p. xv). (shrink)

In the opinion of most philosophers, the capacity to entertain I-thoughts is grounded on a basic capacity to self-consciousness. It is because a creature has a concept of herself that she is able to say “I”. The aim of that book is to reverse the order of dependence and to show that the capacity to form I-thoughts is the primitive aptitude that transforms an impersonal consciousness into a Self.

" Le normal a pris la relève de l'ancestral ". C'est en ces termes que Michel Foucault salua l'avènement d'une nouvelle ère, celle des disciplines - moment où les sujets cessent de s'identifier par leurs généalogies et leurs positions dans un système d'alliances, par des mécanismes historico-rituels, mais sont plutôt voués à l'interminable hantise de la norme, à ne plus se connaître et se reconnaître que par le détour de l'altérité de l'anormal : voués à ne ressaisir leur identité et (...) à n'être auprès d'eux-mêmes qu'au plus proche du spectre inquiétant de ce tout autre qu'ils repoussent au plus loin. Alors, l'enfance de l'homme n'est plus la mémoire de son innocence perdue, mais la forme première de son insoumission ; le primitif n'est plus celui qui, depuis l'autre rive d'un quelconque voyage, lui fait signe vers le mirage de sa bonté native, mais celui qui indique, sous les espèces de la plus honteuse barbarie, le danger qu'il représente pour sa propre race ; et la folie n'est plus le masque grotesque ou sublime d'un au-delà de la raison, mais le miroir tendu de sa propre faiblesse. Car, si le temps est venu où " l'homme calculable " a remplacé " l'homme mémorable ", il n'en reste pas moins que le travail de la norme ne consiste pas, comme on le croit trop souvent, à produire un effet d'uniformisation sociale, mais fait bien plutôt jouer un complexe système de codage différentiel des conduites, à l'intérieur duquel nous sommes pris et advenons comme sujets. Pour autant qu'il engage notre mode d'être de sujets modernes, il nous appartient donc d'explorer ce code étrange et familier : c'est la tâche que se fixe l'auteur, à partir de l'un des concepts-clé de l'œuvre de Foucault. (shrink)

Nancy Cartwright is one of the most distinguished and influential contemporary philosophers of science. Despite the profound impact of her work, there is neither a systematic exposition of Cartwright’s philosophy of science nor a collection of articles that contains in-depth discussions of the major themes of her philosophy. This book is devoted to a critical assessment of Cartwright’s philosophy of science and contains contributions from Cartwright's champions and critics. Broken into three parts, the book begins by addressing Cartwright's views on (...) the practice of model building in science and the question of how models represent the world before moving on to a detailed discussion of methodologically and metaphysically challenging problems. Finally, the book addresses Cartwright's original attempts to clarify profound questions concerning the metaphysics of science. With contributions from leading scholars, such as Ronald N. Giere and Paul Teller, this unique volume will be extremely useful to philosophers of science the world over. (shrink)

Much attention has been focused in recent years on the ethical acceptability of physicians receiving gifts from drug companies. Professional guidelines recognize industry gifts as a conflict of interest and establish thresholds prohibiting the exchange of large gifts while expressly allowing for the exchange of small gifts such as pens, note pads, and coffee. Considerable evidence from the social sciences suggests that gifts of negligible value can influence the behavior of the recipient in ways the recipient does not always realize. (...) Policies and guidelines that rely on arbitrary value limits for gift-giving or receipt should be reevaluated. (shrink)

Despite widespread support for the claim that death can harm the one who dies, debate continues over how to rescue this harm thesis (HT) from Epicurus’s challenge. Disagreements focus on two of the three issues that any defense of HT must resolve: the subject of death’s harm and the timing of its injury. About the nature of death’s harm, however, a consensus has emerged around the view that death harms a subject (when it does) by depriving her of the goods (...) life would’ve afforded had she continued living. This deprivation view of death’s harm (DV) derives some of its credibility from the general deprivation theory of which it is an instance: mortal harm is subject to the same kind of analysis plausibly given of other non-mortal harms. Furthermore, note that the weak formulation of HT—asserting only that death can inflict harm, not that it always or necessarily does—accommodates the intuition that instances of rational suicide and justifiable euthanasia present cases in which death fails to harm. DV is equipped to explain how in these cases the harms involved in continued existence outweigh the goods of which death deprives the subject. I agree that suicide can be rational and that euthanasia can be justifiable. Likewise I accept both HT and DV as far as they go. But they do not go far enough. Specifically, I argue here that death harms even those who die as a result of rational suicide or justifiable euthanasia; that death’s harm is neither undifferentiated nor wholly contingent, but multifaceted and partly necessary; that the necessary part of death’s harm is distinctive, inflicting a peculiar restriction on the autonomy of one who dies; and, regarding the timing and subject issues, that this restriction harm is inflicted on the antemortem subject prior to her death. (shrink)

Why is there a specific problem with biological individuality? Because the living realm contains a wide range of exotic particular concrete entities that do not easily match our ordinary concept of an individual. Slime moulds, dandelions, siphonophores are among the Odd Entities that excite the ontological zeal of the philosophers of biology. Most of these philosophers, however, seem to believe that these Odd Cases oblige us to refine or revise our common concept of an individual. They think, explicitly or tacitly, (...) that to be a living, evolutionary entity is to be a living individual. In this paper, we explore an alternative proposal: the variety and oddity of the forms of the living realm might be ontologically regimented through an increase in the categorial complexity of the living realm, by admitting, beside living individuals, living non-individuals or by acknowledging, more generally, that the evolutionary development of the living forms is not necessarily a process of building individuals, that life is not necessarily individuals-oriented. We claim that, from an ontological point of view, the spectacle of the living realm obliges us to take aggregativity seriously. (shrink)

This study examined narrative identity in a group of 81 patients with schizophrenia and 50 healthy controls through the recall of self-defining memories. The results indicated that patients’ narratives were less coherent and elaborate than those of controls. Schizophrenia patients were severely impaired in the ability to make connections with the self and extract meaning from their memories, which significantly correlated with illness duration. In agreement with earlier research, patients exhibited an early reminiscence bump. Moreover, the period of the reminiscence (...) bump, which is highly relevant for identity development, was characterized by fewer achievements and more life-threatening event experiences, compared with controls. A negative correlation was found between negative symptoms, number of self-event connections and specificity of narratives. Our results suggest that schizophrenia patients have difficulties to organize and extract meaning from their past experiences in order to create coherent personal narratives. (shrink)

This paper examines a number of questions about the degree to which the clinical practice of medicine is affected, if at all, by the legal systems in four countries: Chile, Germany, Japan and the United States. The focus on these four countries in four different regions of the world offers a unique perspective within which to examine medical treatment decisions made by patients and their proxies or surrogates, the potential role for universal written instruments such as advance directives, the cross-professional (...) tensions between clinical and legal concerns in very distinct cultures, and the degree to which legal activities can change or affect clinical realities in the context of these different political and health care systems. We have incorporated, whenever relevant, the insights of many disciplines, including the social sciences, in analyzing the existing interrelations between law and behavior in this specific context. Der Beitrag untersucht, inwieweit die klinische Praxis in vier Ländern mit unterschiedlichen Rechtssystemen und Berufskulturen durch Rechtsnormen oder das Verständnis von Recht beeinflußt wird. Es wird gefragt, welche Funktion rechtliche Interventionen bei der Veränderung von Verhaltensnormen in unterschiedlichen Gesundheitssystemen haben können. Folgende Themenbereiche werden diskutiert: Entscheidungen über die medizinische Behandlung, die von Patienten und ihren Angehörigen oder Stellvertretern getroffen werden; die mögliche Rolle umfassender schriftlicher Verfügungen wie z.B. der Patiententestamente ; die berufsübergreifenden Spannungen zwischen medizinischen und rechtlichen Belangen in sehr unterschiedlichen Kulturen; der Einfluß, den gesetzgeberische Aktivitäten im Kontext der verschiedenen politischen und Gesundheitssysteme auf die medizinische Wirklichkeit haben. Bei ihrer Analyse der in diesem Zusammenhang bestehenden Beziehungen im Verhältnis von Recht und Verhalten haben die Autoren die Erkenntnisse vieler Disziplinen unter Einschluß der Sozialwissenschaften, soweit sie als relevant erscheinen, in ihren Beitrag eingearbeitet. (shrink)

Antisemitism is on the rise. Recently, discussions have considered so-called “no-go zones for Jews” (city areas Jews should avoid to reduce the likelihood of being attacked). In this context and drawing from attribution theory, we examined if news consumers perceive a Jewish hate crime victim as partly responsible for being attacked when news coverage explicitly emphasizes that the victim displayed religious symbols (kippah) in a certain inner-city location. We conducted a quota-based survey experiment (N = 392) in Germany (4 groups, (...) between-subjects design) and randomly exposed participants to news coverage about an anti-Semitic attack. The article either emphasized that the Jewish victim displayed religious symbols (kippah) or not, and highlighted the specific location of the attack (Berlin synagogue vs. deprived inner-city district of Berlin). Moderated mediation analysis suggested that participants perceived the victim’s behavior to be more provocative when the news article highlighted that the victim displayed religious symbols and when the attack occurred in a deprived Berlin district. Yet, effects were only detected for individuals with low (vs. high) levels of education. Perceived provocativeness in turn increased victim blaming indicating that some individuals indirectly regarded the Jewish victim to be partly responsible for being attacked. (shrink)

The view known as animalism asserts that we are human animals—that each of us is an instance of the Homo sapiens species. The standard argument for this view is known as the thinking animal argument . But this argument has recently come under attack. So, here, a new argument for animalism is introduced. The animal ancestors argument illustrates how the case for animalism can be seen to piggyback on the credibility of evolutionary theory. Two objections are then considered and answered.

In the past decade well-designed research studies have shown that the practice of collaborative philosophical inquiry in schools can have marked cognitive and social benefits. Student academic performance improves, and so too does the social dimension of schooling. These findings are timely, as many countries in Asia and the Pacific are now contemplating introducing Philosophy into their curricula. This paper gives a brief history of collaborative philosophical inquiry before surveying the evidence as to its effectiveness. The evidence is canvassed under (...) two categories: schooling and thinking skills; and schooling, socialisation and values. In both categories there is clear evidence that even short-term teaching of collaborative philosophical inquiry has marked positive effects on students. The paper concludes with suggestions for further research and a final claim that the presently-available research evidence is strong enough to warrant implementing collaborative philosophical inquiry as part of a long-term policy. (shrink)

ABSTRACT: Confronted with the “wrong kind of reason problem”, several proponents of the fitting attitude analysis of emotional values have argued in favor of an epistemic approach. In such a view, an emotion fits its object because the emotion is correct. However, I argue that we should reorient our search towards a practical approach because only practical considerations can provide a satisfying explanation of the fittingness of emotional responses. This practical approach is partially revisionist, particularly because it is no longer (...) an analysis of final value and because it is relativistic. (shrink)

A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

I suggest a way of extending Stalnaker’s account of assertion to allow for centered content. In formulating his account, Stalnaker takes the content of assertion to be uncentered propositions: entities that are evaluated for truth at a possible world. I argue that the content of assertion is sometimes centered: the content is evaluated for truth at something within a possible world. I consider Andy Egan’s proposal for extending Stalnaker’s account to allow for assertions with centered content. I argue that Egan’s (...) account does not succeed. Instead, I propose an account on which the contents of assertion are identified with sets of multi-centered worlds. I argue that such a view not only provides a plausible account of how assertions can have centered content, but also preserves Stalnaker’s original insight that successful assertion involves the reduction of shared possibilities. (shrink)

This Elibron Classics title is a reprint of the original edition published by William Blackwood and Sons in Edinburgh and London, 1904.

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

ABSTRACT: Confronted with the “wrong kind of reason problem”, several proponents of the fitting attitude analysis of emotional values have argued in favor of an epistemic approach. In such a view, an emotion fits its object because the emotion is correct. However, I argue that we should reorient our search towards a practical approach because only practical considerations can provide a satisfying explanation of the fittingness of emotional responses. This practical approach is partially revisionist, particularly because it is no longer (...) an analysis of final value and because it is relativistic. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The FA Analysis of Emotional Values and Practical Reasons*Volume 51, Issue 1Stephane Lemaire DOI: https://doi.org/10.1017/S0012217312000224Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The FA Analysis of Emotional Values and Practical Reasons*Volume 51, Issue 1Stephane Lemaire DOI: https://doi.org/10.1017/S0012217312000224Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The FA Analysis of Emotional Values and Practical Reasons*Volume 51, Issue 1Stephane Lemaire DOI: https://doi.org/10.1017/S0012217312000224Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

This article reflects a conversation between Jan G. van der Watt and Stephan Joubert. The article serves as the introduction to the Special Collection: ‘From timely exegesis to contemporary ecclesiology: Relevant hermeneutics and provocative embodiment of faith in a Corona-defined world – Festschrift for Stephan Joubert, sub-edited by Willem Oliver ’. Following a brief bio-statement as introduction, the following issues are discussed: the collection for the Jerusalem church; relevance of theology for society; social-scientific exegesis; the ancient concept of (...) grace; Bible translation in South Africa; public theology on the electronic platform; biblical examples of leadership and electronic media in religious activities and education.Contribution: This Festschrift represents current trends in biblical scholarship and ecclesial leadership. It contributes to the public discourse in church and society, especially the role of the electronic media in current Fourth Industrial Revolution. (shrink)

This chapter contains sections titled: Case Study I: Jokes and Their Relation to the Unconscious (1905) Case Study II: Beyond the Pleasure Principle (1920) Case Study III: The Future of an Illusion (1927) Conclusion References Further Reading.

From the first part of the title, Schopenhauer’s Encounter with Indian Thought, the reader could expect a study of the influence that Indian philosophy had on Schopenhauer. And even though this expectation will be met, Stephen Cross primarily presents a well-documented analysis of parallels between Schopenhauer’s philosophy and that of the Buddhist schools of Madhyamaka and Yogācāra, of the early Advaita Vedānta, and those of other configurations of religious and philosophical ideas prevalent in India. Cross employs their philosophical deliberations to (...) elucidate questions posed by Schopenhauer: in this sense a meeting of Schopenhauer with Indian thinking does take... (shrink)