In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...) a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

Increasing ethical attention and debate is focusing on whether individuals who take part in clinical trials should be given access to post-trial care. However, the main focus of this debate has been upon drug trials undertaken in low-income settings. To broaden this debate, we report findings from interviews with individuals (n = 24) who participated in a clinical trial of a closed-loop system, which is a medical device under development for people with type 1 diabetes that automatically adjusts blood glucose (...) to help keep it within clinically recommended ranges. Individuals were recruited from UK sites and interviewed following trial close-out, at which point the closed-loop had been withdrawn. While individuals were stoical and accepting of the requirement to return the closed-loop, they also conveyed varying degrees of distress. Many described having relaxed diabetes management practices while using the closed-loop and having become deskilled as a consequence, which made reverting back to pre-trial regimens challenging. Participants also described unanticipated consequences arising from using a closed-loop. As well as deskilling, these included experiencing psychological and emotional benefits that could not be sustained after the closed-loop had been withdrawn and participants reevaluating their pre- and post-trial life in light of having used a closed-loop and now perceiving this life much more negatively. Participants also voiced frustrations about experiencing better blood glucose control using a closed-loop and then having to revert to using what they now saw as antiquated and imprecise self-management tools. We use these findings to argue that ethical debates about post-trial provisioning need to be broadened to consider potential psychological and emotional harms, and not just clinical harms, that may result from withdrawal of investigated treatments. We also suggest that individuals may benefit from information about potential nonclinical harms to help make informed decisions about trial participation. (shrink)

Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school , the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...) logics that exhibit an interesting synergy between modal and classical ideas. This synergy, obvious for hybrid languages with full first-order expressive strength, is demonstrated for a weaker local language capable of defining the Until operator; we provide a minimal axiomatization, and show that in a wide range of temporally interesting cases extended completeness results can be obtained automatically. Second, we argue that the idea of sorted atomic symbols which underpins the hybrid enterprise can be developed further. To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. (shrink)

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

Traditional theistic proofs are often understood as evidence intended to compel belief in a divinity. John Clayton explores the surprisingly varied applications of such proofs in the work of philosophers and theologians from several periods and traditions, thinkers as varied as Ramanuja, al-Ghazali, Anselm, and Jefferson. He shows how the gradual disembedding of theistic proofs from their diverse and local religious contexts is concurrent with the development of natural theologies and atheism as social and intellectual options in early modern Europe (...) and America. Clayton offers a fresh reading of the early modern history of philosophy and theology, arguing that awareness of such history, and the local uses of theistic argument, offer important ways of managing religious and cultural difference in the public sphere. He argues for the importance of historically grounded philosophy of religion to the field of religious studies and public debate on religious pluralism and cultural diversity. (shrink)

This essay offers a preliminary account of the ways in which alterations to the landscape of fourteenth- and fifteenth-century Sukhothai and Chiang Mai figured within the micro-politics of these city-states. I show how landscape alterations inspired by Lanka and mainland South Asia served the consolidation and projection of royal power within the context of local and regional competition, and how such alterations formed part of strategic royal engagement with Buddhist monastic lineages.

The ability to quickly and accurately recognise emotional states is adaptive for numerous social functions. Although body movements are a potentially crucial cue for inferring emotions, few studies have studied the perception of body movements made in naturalistic emotional states. The current research focuses on the use of body movement information in the perception of fear expressed by targets in a virtual heights paradigm. Across three studies, participants made judgments about the emotional states of others based on motion-capture body movement (...) recordings of those individuals actively engaged in walking a virtual plank at ground-level or 80 stories above a city street. Results indicated that participants were reliably able to differentiate between height and non-height conditions (Studies 1 & 2), were more likely to spontaneously describe target behaviour in the height condition as fearful (Study 2) and their fear estimates were highly calibrated with the fear ratings from the targets (Studies 1-3). Findings show that VR height scenarios can induce fearful behaviour and that people can perceive fear in minimal representations of body movement. (shrink)

This article describes the spiritual formation training program for counseling students at Richmont Graduate University, an evangelical institution providing Master’s-level instruction for counselors and ministers. This model of spiritual formation has a dual foundation which includes the centrality of love to the Christian life and the importance of attachment to the development of persons. The training is intentionally designed to invite students to pursue a more secure attachment to God, healthier relationships with others, and a more grace-based self-awareness. Integrative and (...) clinical instruction, and experiences that foster establishment of secure attachment are described. Co-curricular efforts in research and student advisement focus on grace and wellness, as well as opportunities for service, and these serve to further contribute to a supportive environment for spiritual formation. (shrink)

Philosophy for the 21st Century, an introductory anthology, is an extraordinarily comprehensive collection of historical and contemporary readings. It covers all major fields, including not only metaphysics, epistemology, ethics, and philosophy of religion, but also philosophy of science, philosophy of mind, philosophy of language, political philosophy, and philosophy of art. This volume is unique in drawing on the judgments of a new generation of scholars, each of whom has chosen the articles and provided the introduction for one section of the (...) book. These associate editors--Delia Graff, Robin Jeshion, L. A. Paul, Jesse J. Prinz, Stuart Rachels, Gabriela Sakamoto, David Sosa, and Cynthia A. Stark--are at the forefront of 21st-century philosophy. Their selections include the work of such leading contemporary thinkers as Nancy Cartwright, Saul A. Kripke, David Lewis, Thomas Nagel, Robert Nozick, Derek Parfit, and Sydney Shoemaker, along with classic works from 2500 years of philosophy. The book has been structured to maximize continuity, and an introductory essay by Simon Blackburn explains the tools of symbolic logic. This groundbreaking volume sets a new standard for introducing students to the importance and fascination of philosophical inquiry. (shrink)

Abstract: We sometimes say our moral claims are "objectively true," or are "right, even if nobody believes it." These additional claims are often taken to be staking out metaethical positions, representative of a certain kind of theorizing about morality that "steps outside" the practice in order to comment on its status. Ronald Dworkin has argued that skepticism about these claims so understood is not tenable because it is impossible to step outside such practices. I show that externally skeptical metaethical theory (...) can withstand his attacks, thereby defending the possibility of this kind of metatheoretical method and showing that the additional objectivity claims still make sense as external claims. Four interpretations of the additional objectivity claims can still be understood externally: as secondary properties, as arguing for some form of causal correspondence, as explaining error, and under Blackburn's expressivism. In the end, Dworkin's argument can be turned against itself. (shrink)

Non-cognitivists claim that thick concepts can be disentangled into distinct descriptive and evaluative components and that since thick concepts have descriptive shape they can be mastered independently of evaluation. In Non-Cognitivism and Rule-Following, John McDowell uses Wittgenstein’s rule-following considerations to show that such a non-cognitivist view is untenable. In this paper I do several things. I describe the non-cognitivist position in its various forms and explain its driving motivations. I then explain McDowell’s argument against non-cognitivism and the Wittgensteinian considerations upon (...) which it relies, because this has been sufficiently misunderstood by critics and rarely articulated by commentators. After clarifying McDowell’s argument against non-cognitivism, I extend the analysis to show that commentators of McDowell have failed to appreciate his argument and that critical responses have been weak. I argue against three challenges posed to McDowell, and show that the case of thick concepts should lead us to reject non-cognitivism. (shrink)

Philosophy for the 21st Century, an introductory anthology, is an extraordinarily comprehensive collection of historical and contemporary readings. It covers all major fields, including not only metaphysics, epistemology, ethics, and philosophy of religion, but also philosophy of science, philosophy of mind, philosophy of language, political philosophy, and philosophy of art. This volume is unique in drawing on the judgments of a new generation of scholars, each of whom has chosen the articles and provided the introduction for one section of the (...) book. These associate editors--Delia Graff, Robin Jeshion, L. A. Paul, Jesse Prinz, Stuart Rachels, Gabriela Sakamoto, David Sosa, and Cynthia A. Stark--are at the forefront of 21st-century philosophy. Their selections include the work of such leading contemporary thinkers as Nancy Cartwright, Saul Kripke, David Lewis, Thomas Nagel, Robert Nozick, Derek Parfit, and Sydney Shoemaker, along with classic works from 2500 years of philosophy. The book has been structured to maximize continuity, and an introductory essay by Simon Blackburn explains the tools of symbolic logic. This groundbreaking volume sets a new standard for introducing students to the importance and fascination of philosophical inquiry. (shrink)

We are the funny organisms that make and follow rules. To understand us, one must understand what is it to institute and follow a rule, to perform correctly or in error. This question is more important than it might at first seem for linguistic meaning is constituted by rules that govern uses of expressions. For example, the fact that 'squid' is correctly applied to squid and incorrectly applied to cuttlefish is part of what makes 'squid' mean what it does. Philosophers (...) sometimes argue further that all representations are rule-governed so that a theory of representation must explain the possibility of misrepresentation. ;The rule-following problem makes an explanation of correctness surprisingly difficult. Philosophers have also not been clear on just what is the problem with rules. I provide a statement of the features of rules and the problems they drive. I then show that some well-known accounts of rule following---Kripke's, Wright's, Blackburn's---are inadequate. My formulation also shows that some favored theories of content---causal, evolutionary, interpretivist---are inadequate. ;Positively, I argue that an essentially social and irreducibly normative organization---a practice---solves the rule-following problem. Therefore, only participants in social practices can follow rules and thence traffic in linguistic meaning. Still, an account of the correctness of a linguistic performance is not yet an explanation of its representational content. I argue that linguistic content is constituted by correctness facts but also by the representational purport of expressions. I explain an expression's purport to represent naturalistically in terms of syndromes of psychological and behavioral symptoms. A theory of linguistic representation, then, must join the non-natural social facts that constitute correctness with the natural individualistic facts that constitute representational purport. ;Such a hybrid theory reveals that thought and language are not as intimately connected as philosophers assume. Whereas linguistic content constitutively partakes of the social organization that sets humans apart from other creatures, thought content involves only refinements of the psycho-behavioral syndromes that we share with most vertebrates. It follows that linguistic content and thought content cannot be explained one in terms of the other. (shrink)

Buddhist and Islamic Orders in Southern Asia: Comparative Perspectives, by R. Michael Feener and Anne M. Blackburn, eds. Honolulu: University of Hawai’i Press, 2019. 207pp. Hb. $68.00 ISBN-13: 9780824872113.

This bestselling dictionary is written by one of the leading philosophers of our time, and it is widely recognized as the best dictionary of its kind. Comprehensive and authoritative, it covers every aspect of philosophy from Aristotle to Zen. With clear and concise definitions, it provides lively and accessible coverage of not only Western philosophical traditions, but also themes from Chinese, Indian, Islamic, and Jewish philosophy. New entries on philosophy of economics, social theory, neuroscience, philosophy of the mind, and moral (...) conceptions, bring this authoritative third edition up to date. It is the ideal introduction to philosophy for anyone with an interest in the subject, and it is an indispensable work of reference for students and teachers. (shrink)

We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

This book disseminates practical solutions to the automation of open and distance learning. It discusses computational methods, algorithms, implemented prototype systems, and applications of open and distance learning. It also provides state-of-the-art research on the impact and general principles of ethical computer use in academics, while also emphasizing the cyber philosophical aspect of human-computer interaction.