The provability problem in intuitionistic propositional second-order logic with existential quantifier and implication (∃,→) is proved to be undecidable in presence of free type variables (constants). This contrasts with the result that inutitionistic propositional second-order logic with existential quantifier, conjunction and negation is decidable.

In general, there are two main approaches to settling the alleged conflict between religion and science. On the first approach, one argues that there is not even the possibility of such a conflict, since the uses of religious utterances are sufficiently different from those of scientific ones to constitute them a distinct logical type. Thus, if religion appears to conflict with science, either this is merely an appearance, or else one of them, at least, is also performing the function of (...) the other, in which case their conflict is really either a scientific conflict or a religious conflict. In no case, however, can the truth of a scientific utterance be any reason for inferring the falsity of a religious one, and much less can it be any reason for entertaining doubts about the religious utterance's logical propriety. (shrink)

According to the normativists, dispositionalist theories of meaning fail because meaning is normative, not descriptive. One way to understand this notion of normativity is in terms of semantic correctness conditions. Anti-normativists typically accept that meaning implies semantic correctness but deny that this in turn implies that meaning is normative. Jeffrey Kaplan has recently argued that while semantic correctness may not imply full-blown normativity, semantic correctness is not descriptive either. I contend that Kaplan's argument has two main problems. First, his focus (...) on dispositionalism leaves it open for other descriptive facts to provide the basis of semantic correctness conditions. Second, he fails to show that the problems of dispositionalism are connected to semantic correctness in a way that demonstrates problems with descriptive theories of meaning. (shrink)

This book/CD package guides readers and listeners on a journey through Franz Schubert's Winterreise song cycle, in which the composer set the poetry of Wilhelm Muller to music. The complete text of the 24 poems is presented in both German and English, with 116 b&w photographs of winter scenes on the facing pages. An introductory essay by Susan Youens offers a critical examination of the song cycle. The music CD features a new recording of Winterreise, performed by baritone Paul (...) Rowe and pianist Martha Fischer. Oversize: 10.25x10.25". Annotation 2003 Book News, Inc., Portland, OR. (shrink)

The analysis of armed opposition groups is heavily tainted by gross categorizations and labeling. Using vague terms that reduce the objectives of such groups to a uniform binary of secessionist or reformist defies their ideational complexity, undermining the effort to gain a nuanced and in-depth understanding of their actual motives. A closer look into the Ogaden National Liberation Front in Ethiopia reveals the type of complexity we might expect to find in armed opposition groups’ objectives, and thus the problem with (...) superficially labeling them to make for easy comparative analyses. (shrink)

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (as measured) results in a higher likelihood that the witnesses are reliable. Recently, it has been proved that several coherence measures proposed in the literature are reliability conducive in a restricted scenario (Olsson and Schubert 2007, Synthese 157:297–308). My aim is to investigate which coherence measures turn out to be reliability conducive in the more general scenario where it is any (...) finite number of witnesses that give equivalent reports. It is shown that only the so-called Shogenji measure is reliability conducive in this scenario. I take that to be an argument for the Shogenji measure being a fruitful explication of coherence. (shrink)

Drawing on the original conception of Kant’s synthetic a priori and the relevant related developments in philosophy, this book presents a reconstruction of the intellectual history of the conception of quantity and offers an entirely ...

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (asmeasured) of a set of testimonies implies a higher probability that the witnesses are reliable. Recently, it has been proved that the Shogenji measure of coherence is reliability conducive in restricted scenarios (e.g., Olsson and Schubert, Synthese, 157:297–308, 2007). In this article, I investigate whether the Shogenji measure, or any other coherence measure, is reliability conducive in general. An impossibility theorem (...) is proved to the effect that this is not the case. I conclude that coherence is not reliability conducive. (shrink)

The standard of care in the United States favors stabilizing any adult who arrives in an emergency department after a failed suicide attempt, even if he appears decisionally capacitated and refuses life‐sustaining treatment. I challenge this ubiquitous practice. Emergency clinicians generally have a moral obligation to err on the side of stabilizing even suicide attempters who refuse such interventions. This obligation reflects the fact that it is typically infeasible to determine these patients’ level of decisional capacitation—among other relevant information—in this (...) unique setting. Nevertheless, I argue, stabilizing suicide attempters over their objection sometimes violates a basic yet insufficiently appreciated right of theirs—the right against bodily invasion. In such cases, it is at least prima facie wrong to stabilize a patient who wants to die even if they lack a contrary advance directive or medical order and suffer from no terminal physical illness. (shrink)

The aim of the article is to define the relationship between the meaning included in an utterance and its formal shape. The author based his discussion on the study of natural communication. The notion of meaning is in the article associated with that which in communicational grammar is referred to as cognitive configuration. It is expressed through texts, but texts indicate the meaning a sender intends to send in only a conventional manner. The author stressed the mechanism of the emergence (...) of meaning in the process of paraphrasing utterances and its consequences for the practice of translation. He included the notion of discoursive meaning assuming that every discourse has specific individual self-organisation rules without considering which communication within it would not be possible. (shrink)

Inspired by the Catholic theologian Hans Küng, this book searches for a model for global ethics by analysing the contemporary philosophical discussion.

Quantification, understood in the widest possible sense, is a phenomenon of fundamental interest for logic and linguistics and at the same time a phenomenon whose exegesis presents notorious problems in both of these disciplines. The general point to be made in the present essay is this: that there is a lack of understanding of the real nature of quantification, both in natural language and in logic itself, and that this is a direct consequence of a serious defect in Morris’s division (...) of semiotics into three autonomous branches of syntax, semantics, and pragmatics, the study of each of which is supposed to proceed independently of the study of any other. The aim of this paper is thus twofold: on the one hand to show that the real exegesis of quantification may be attained only under a certain interpretation of semiotics as such; and on the other hand to show that the very fact of the attainability of this authentic explanation of the nature of quantification gives grounds to speak of the necessity of reassessing certain notions on which logic, linguistics, and semiotics are currently based. (shrink)

previous theories and the relevance of those criticisms to the new accounts. Additionally, we have included a new section at the end, which gives some directions to literature outside of formal semantics in which the notion of mass has been employed. We looked at work on mass expressions in psycholinguistics and computational linguistics here, and we discussed some research in the history of philosophy and in metaphysics that makes use of the notion of mass.

The standard of care in the United States favors stabilizing any adult who arrives in an emergency department after a failed suicide attempt, even if he appears decisionally capacitated and refuses life-sustaining treatment. I challenge this ubiquitous practice. Emergency clinicians generally have a moral obligation to err on the side of stabilizing even suicide attempters who refuse such interventions. This obligation reflects the fact that it is typically infeasible to determine these patients’ level of decisional capacitation—among other relevant information—in this (...) unique setting. Nevertheless, I argue, stabilizing suicide attempters over their objection sometimes violates a basic yet insufficiently appreciated right of theirs—the right against bodily invasion. In such cases, it is at least prima facie wrong to stabilize a patient who wants to die even if they lack a contrary advance directive or medical order and suffer from no terminal physical illness. (shrink)

Die Fuhrung von Streitkraften in Einsatzen ist eine verantwortungsvolle Aufgabe. Militarische Fuhrer benotigen dafur eine ausgepragte moralische Urteilskraft. Was ist aber damit gemeint? Wie konnen ethische Reflexionen bei der Fuhrung von Streitkraften im Einsatz helfen? Hartwig von Schubert bietet neben einer Klarung ethischer Begriffe praxisnahe Kriterien fur einen ethischen Entscheidungs-Check an, die er anhand einer komplexen militarischen Lage einem Praxistest unterzieht. Er pladiert fur eine integrative Militarethik, die sich aus den Ethiken verschiedenster Berufsgruppen speist und die interdisziplinar und international (...) vermittelbar ist.". (shrink)

A measure of coherence is said to be truth conducive if and only if a higher degree of coherence (as measured) results in a higher likelihood of truth. Recent impossibility results strongly indicate that there are no (non-trivial) probabilistic coherence measures that are truth conducive. Indeed, this holds even if truth conduciveness is understood in a weak ceteris paribus sense (Bovens & Hartmann, 2003, Bayesian epistemology. New York, Oxford: Oxford University Press; Olsson, 2005, Against coherence: Truth probability and justification. Oxford: (...) Oxford University Press). This raises the problem of how coherence could nonetheless be an epistemically important property. Our proposal is that coherence may be linked in a certain way to reliability. We define a measure of coherence to be reliability conducive if and only if a higher degree of coherence (as measured) results in a higher probability that the information sources are reliable. Restricting ourselves to the most basic case, we investigate which coherence measures in the literature are reliability conducive. It turns out that, while a number of measures fail to be reliability conducive, except possibly in a trivial and uninteresting sense, Shogenji’s measure and several measures generated by Douven and Meijs’s recipe are notable exceptions to this rule. (shrink)

ABSTRACT Pharmacogenetics is a rapidly expanding area of research exploring the relationship between inter‐individual genetic variation and drug response, with the goal of developing genetically optimised therapies. Slippery slope arguments claim that a particular action should be rejected (or supported) because it might be the first step onto a slippery slope leading to undesirable (or desirable) consequences. In this article, several slippery slope arguments relevant to the context of pharmacogenetics are evaluated under consideration of underlying reasons for their popularity. The (...) author concludes that although the examined arguments are unconvincing as slippery slope arguments, they do matter in this context. While positive slippery slope arguments serve as a driving force to fuel the development of pharmacogenetics, their negative counterparts play an important role to sensitise policy makers and the public to potential problems. (shrink)

When do people say that they are moved, and does this experience constitute a unique emotion? We review theory and empirical research on being moved across psychology and philosophy. We examine feeling labels, elicitors, valence, bodily sensations, and motivations. We find that the English lexeme being moved typically (but not always) refers to a distinct and potent emotion that results in social bonding; often includes tears, piloerection, chills, or a warm feeling in the chest; and is often described as pleasurable, (...) though sometimes as a mixed emotion. While we conclude that it is a distinct emotion, we also recommend studying it in a more comprehensive emotion framework, instead of using the ambiguous vernacular term being moved as a scientific term. (shrink)

Wie können Freiheit und Widerstand innerhalb von Foucaults Theorie der Macht und Subjektivierung konzipiert werden? Karsten Schubert liefert die erste systematische Rekonstruktion der sozialphilosophischen Debatte um Freiheit bei Foucault und eine neue Lösung für das Freiheitsproblem: Freiheit als die Fähigkeit zur reflexiven Kritik der eigenen Subjektivierung - kurz: Freiheit als Kritik - ist das Resultat von freiheitlicher Subjektivierung in politischen Institutionen. Der Band zeigt so die Konsequenzen von Foucaults Freiheitsdenken für die Demokratietheorie und die allgemeine sozialphilosophische Freiheitsdiskussion auf.

The canon within the canon to which all theological assertions must be appropriate is the meaning to be discerned in the earliest layer of Christian witness, and that means the Jesus-kerygma of the apostolic community.

European Journal of Philosophy, EarlyView.

Wie können Freiheit und Widerstand innerhalb von Foucaults Theorie der Macht und Subjektivierung konzipiert werden? Karsten Schubert liefert die erste systematische Rekonstruktion der sozialphilosophischen Debatte um Freiheit bei Foucault und eine neue Lösung für das Freiheitsproblem: Freiheit als die Fähigkeit zur reflexiven Kritik der eigenen Subjektivierung – kurz: Freiheit als Kritik – ist das Resultat von freiheitlicher Subjektivierung in politischen Institutionen. Der Band zeigt so die Konsequenzen von Foucaults Freiheitsdenken für die Demokratietheorie und die allgemeine sozialphilosophische Freiheitsdiskussion auf.

A measure of coherence is said to be reliability conducive if and only if a higher degree of coherence (as measured) among testimonies implies a higher probability that the witnesses are reliable. Recently, it has been proved that several coherence measures proposed in the literature are reliability conducive in scenarios of equivalent testimonies (Olsson and Schubert 2007; Schubert, to appear). My aim is to investigate which coherence measures turn out to be reliability conducive in the more general scenario (...) where the testimonies do not have to be equivalent. It is shown that four measures are reliability conducive in the present scenario, all of which are ordinally equivalent to the Shogenji measure. I take that to be an argument for the Shogenji measure being a fruitful explication of coherence. (shrink)

Inspired by the Catholic theologian Hans Küng, this book searches for a model for global ethics by analysing the contemporary philosophical discussion. It demonstrates that the Western model is unable to reckon with exclusivism and difference and presents an alternative model.

This volume sets out to discuss the role of norms and normativity in both language and linguistics from a multiplicity of perspectives. These concepts are centrally important to the philosophy and methodology of linguistics, and their role and nature need to be investigated in detail. The chapters address a range of issues from general questions about ontology, epistemology and methodology to aspects of particular subfields (such as semantics and historical linguistics) or phenomena (such as construal and code-switching). The volume aims (...) to further our understanding of language and linguistics as well as to encourage further discussion on the metatheory of linguistics. Due to the fundamental nature of the issues under discussion, this volume will be of interest to all linguists regardless of their background or fields of expertise and to philosophers concerned with language or other normative domains. (shrink)