_In_ The Sources of Normativity_, Christine M. Korsgaard argues that unconditional obligation can be accounted for in terms of practical identity. My argument in this paper is that practical identity cannot play this foundational role. More specifically, I interpret Korsgaard's argument as beginning with something analogous to Kant's fact of reason, viz. with the fact that our minds are reflective. I then try to show that her determination of this fact is inadequate and that this causes the argument concerning practical (...) identity to fail. Finally, I argue that a conception of the fact of reason more in line with what I take to be Kant's own is necessary to account for unconditional obligation._. (shrink)
One of the dominant themes structuring the trajectory of Jean-François Lyotard's philosophical work is his concern to think the event in a way that renders it intelligible, but that also respects the alterity and the uncanniness that are essential to it. In this paper I defend Lyotard's earlier understanding of the event, articulated most thoroughly in Discours, figure, from the criticisms of the later Lyotard, articulated most thoroughly in The Differend. More specifically, I attempt to demonstrate that the event, as (...) disruption of the stable system of signification, is given immediately with the signification that it disrupts. (shrink)
I argue in this paper that Maurice Merleau-Ponty provides a compelling account of alterity in The Prose of the World. I begin by tracing this account of alterity back to its roots in Phenomenology of Perception. I then show how the dynamic of expression articulated in The Prose of the World overcomes the limitations of the account given in the earlier work. After addressing an objection to the effect that the account given in The Prose of the World fails for (...) the same reason as the one given in Phenomenology of Perception, I argue that the key to Merleau-Ponty’s more successful account of alterity is provided by the phenomenon of orientation. (shrink)
In The Troubadour of Knowledge, Michel Serres demonstrates, by means of an extended discussion of learning, that our capacity to adopt a position presupposes a kind of disorienting exposure to a dimension of pure possibility that both subtends and destabilizes that position. In this paper I trace out the implications of this insight for our understanding of obligation, especially as it is articulated in the moral philosophy of Immanuel Kant. Specifically, I argue that obligation is given along with a dimension (...) of moral possibility, and not, as Kant thought, as an unmediated fact of reason. (shrink)
According to Immanuel Kant, moral experience is made possible by respect, an absolutely unique feeling in which the sensible and the intelligible are given immediately together. This paper argues that Kant's moral philosophy underemphasizes the role of this sensibility at the heart of moral experience and that a more rigorous conception of respect, grounded in Michel Serres's concepts of the parasite, the excluded/included third, and noise would yield a moral philosophy more consistent with Kant's own basic insights.
This is a review of From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, by Hans Kamp and Uwe Reyle, published by Kluwer Academic Publishers in 1993.
In this book Uwe Steinhoff describes and explains the basic tenets of just war theory and gives a precise, succinct and highly critical account of its present status and of the most important and controversial current debates surrounding it. Rejecting certain in effect medieval assumptions of traditional just war theory and advancing a liberal outlook, Steinhoff argues that every single individual is a legitimate authority and has under certain circumstances the right to declare war on others or the state. He (...) also argues that the just cause cannot be established independently of the other criteria of jus ad bellum (the justification of entering a war), except for right intention, which he interprets more leniently than the tradition does. Turning to jus in bello (which governs the conduct of a war) he criticizes the Doctrine of Double Effect and concludes that insofar as wars kill innocents, and be it as "collateral damage", they cannot be just but at best justified as the lesser evil. Steinhoff gives particular attention to the question why soldiers, allegedly, are legitimate targets and civilians not. Discussing four approaches to the explanation of the difference he argues that the four principles underlying them all need to be taken into account and outlines how their weighing can proceed if applied to concrete cases. The resulting approach does not square the distinction between legitimate and illegitimate targets with the distinction between soldiers and civilians, which has extremely important consequences for the conduct of war. Finally, Steinhoff analyses the concept of terrorism and argues that some forms of "terrorism" are actually not terrorism at all and that even terrorism proper can under certain circumstances be justified. (shrink)
Commentators on Uwe Reinhardt's Tanner Lecture. The Tanner Lectures are a collection of educational and scientific discussions relating to human values. Conducted by leaders in their fields, the lectures are presented at prestigious educational facilities around the world.
Can torture be morally justified? I shall criticise arguments that have been adduced against torture and demonstrate that torture can be justified more easily than most philosophers dealing with the question are prepared to admit. It can be justified not only in ticking nuclear bomb cases but also in less spectacular ticking bomb cases and even in the socalled Dirty Harry cases. There is no morally relevant difference between self-defensive killing. of a culpable aggressor and torturing someone who is culpable (...) of a deadly threat that can be averted only by torturing him. Nevertheless, I shall argue that torture should not be institutionalised, for example by torture warrants. (shrink)
Although physicalism has been the dominant position in recent work in the philosophy of mind, this dominance has not prevented a small but growing number of philosophers from arguing that physicalism is untenable for several reasons: both ontologically and epistemologically it cannot reduce mentality to the realm of the physical, and its attempts to reduce subjectivity to objectivity have thoroughly failed. The contributors to After Physicalism provide powerful alternatives to the physicalist account of the human mind from a dualistic point (...) of view and argue that the reductive and naturalistic paradigm in philosophy has lost its force. -/- The essays in this collection all firmly engage in a priori metaphysics. Those by Uwe Meixner, E. J. Lowe, John Foster, Alvin Plantinga, and Richard Swinburne are concerned with ways to establish the truth of dualism. Essays by William Hasker, A. D. Smith, and Howard Robinson deal with the relation between physicalism and dualism. Benedikt Paul Göcke argues that the “I” is not a particular and Stephen Priest that “I have to understand myself not as a thing but as no-thing-ness.” In the final essay, Thomas Schärtl argues that there are limits to dualism as indicated by the concept of resurrection. By including two classical essays by Plantinga and Swinburne, the volume conveniently brings together some of the best and the newest thinking in making the philosophical case for dualism. (shrink)
In the first part, the paper describes in detail the classical conception of intentionality which was expounded in its most sophisticated form by Edmund Husserl. This conception is today largely eclipsed in the philosophy of mind by the functionalist and by the representationalist account of intentionality, the former adopted by Daniel Dennett and David Chalmers, the latter by John Searle and Fred Dretske. The very considerable differences between the classical and the modern conceptions are pointed out, and it is argued (...) that the classical conception is more satisfactory than the two modern ones, not only regarding phenomenal adequacy, but also on the grounds of epistemological considerations. In the second part, the paper argues that classical intentionality is not naturalizable, that is, physicalizable. Since classical intentionality exists (in the experiences that display it), the non-naturalizability of classical intentionality implies psychophysical dualism. (shrink)
The paper provides new perspectives for a dualistic conception of mental causation by putting causation that originates in a nonphysical self into an evolutionary perspective. Nonphysical causation of this type - free agency -, together with nonphysical consciousness, is regarded as being not only compatible with physics, but also as having a natural place in nature. It is described how free agency can work, on the basis of the brain, and how it can be compatible with the result of the (...) Libet-experiment. The necessary condition for the existence of free agency is that the physical macro-world is indeterministic to a degree that is relevant for living beings, that is, for their survival and well-being. From an evolutionary point of view, and on the basis of the facts of consciousness, it is more likely than not that this condition is in fact fulfilled. (shrink)
With the emergence of modern physics a conflict became apparent between the Principle of Sufficient Cause and the Principle of Physical Causal Closure. Though these principles are not logically incompatible, they could no longer be considered to be both true; one of them had to be false. The present paper makes use of this seldom noticed conflict to argue on the basis of considerations of comparative rationality for the truth of causal statements that have at least some degree of philosophico-theological (...) relevance and can be taken to indicate ( not prove) the existence of God. The paper’s comparatively modest aim is to establish belief in the existence of God as a rational metaphysical option, not as a rational obligation. In its final section, enriched causal considerations lead to an indication ( not proof) of God as that which guarantees the unified continuance of the physical world. (shrink)
According to the dominant position in the just war tradition from Augustine to Anscombe and beyond, there is no “moral equality of combatants.” That is, on the traditional view the combatants participating in a justified war may kill their enemy combatants participating in an unjustified war— but not vice versa (barring certain qualifications). I shall argue here, however, that in the large number of wars (and in practically all modern wars) where the combatants on the justified side violate the rights (...) of innocent people (“collateral damage”), these combatants are in fact liable to attack by the combatants on the unjustified side. I will support this view with a rights-based account of liability to attack and then defend it against a number of objections raised in particular by Jeff McMahan. The result is that the thesis of the moral equality of combatants holds good for a large range of armed conflicts while the opposing thesis is of very limited practical relevance. (shrink)
Thomas Pogge claims “that, by shaping and enforcing the social conditions that foreseeably and avoidably cause the monumental suffering of global poverty, we are harming the global poor – or, to put it more escriptively, we are active participants in the largest, though not the gravest, crime against humanity ever committed.” In other words, he claims that by upholding certain international arrangements we are violating our strong negative duties not to harm, and not just some (perhaps much weaker) positive duties (...) to help. I shall argue that even if Pogge were correct in claiming that certain rich states or at least the rich states collectively violate certain negative duties towards the poor and harm the poor, he is far too hasty in concluding that “we,” the citizens of those states, are thus harming the global poor or violating our negative duties towards them. In fact, his conclusion can be shown to be wrong not least of all in the light of some of his own assumptions about collective responsibility, the enforceability of human rights, and terrorism. In addition, I will also argue that his view that we share responsibility for the acts of our political “representatives,” who allegedly act “on our behalf,” is unwarranted. (shrink)
In a recent paper, McMahan argues that his ‘Responsibility Account’, according to which ‘the criterion of liability to attack in war is moral responsibility for an objectively unjustified threat of harm’, can meet the challenge of explaining why most combatants on the unjustified side of a war are liable to attack while most civilians (even on the unjustified side) are not. It should be added, however, that in the light of his rejection of the ‘moral equality of combatants’, McMahan would (...) also have to explain why combatants on the justified side of a war are not liable to attack. I will argue here that McMahan does not succeed in meeting these challenges. (shrink)
Joanna Mary Firth and Jonathan Quong argue that both an instrumental account of liability to defensive harm, according to which an aggressor can only be liable to defensive harms that are necessary to avert the threat he poses, and a purely noninstrumental account which completely jettisons the necessity condition, lead to very counterintuitive implications. To remedy this situation, they offer a “pluralist” account and base it on a distinction between “agency rights” and a “humanitarian right.” I argue, first, that this (...) distinction is spurious; second, that the conclusions they draw from this distinction do not cohere with its premises; third, that even if one granted the distinction, Firth’s and Quong’s implicit premise that you can forfeit your agency rights but not your “humanitarian right” is unwarranted; fourth, that their attempt to mitigate the counterintuitive implications of their own account in the Rape case relies on mistaken ad-hoc assumptions; fifth, that even if they were successful in somewhat mitigating said counterintuitive implications, they would still not be able to entirely avoid them; and sixth, that even in the unlikely case that none of these previous five critical points are correct, Firth and Quong still fail to establish that aggressors can be liable to unnecessary defensive harm since they fail to establish that unnecessary harm can ever be defensive in the first place. (shrink)
One of the perennial questions of philosophy concerns the simple statements which say that an object is so and so or that such and such objects are so and so related: simple predicative statements. Do such statements have an ontological basis, and if so, what is that basis? The answer to this question determinesâor in any case, is expressive ofâa specific fundamental outlook on the world. In the course of the history of Western philosophy, various philosophers have given various answers (...) to the question of predication. This essay presents the main, crucial answers: the paradigms and theories of predication of the Sophists (and of all later radical relativists), of Plato, of Aristotle, of the Aristotelian-minded non-nominalists, of Leibniz, and of Frege. In addition, the essay follows (to some extent) the most influentialâthe Aristotelian or mereologicalâparadigm of predication in its continuity and modification through the many centuries of its reign. However, the essay is not content to adopt the merely historical point of view; it also poses the question of adequacy. Prior to Frege, there was no philosophically adequate theory of predication, and the essay points out the shortcomings (besides aspects that can be viewed as advantages) of each pre-Fregean predication theory considered in it. Frege, in the nineteenth century, brought the philosophy of predication on the right track, but his own theory of predication has its own deficits. The essay ends with the presentation of a theory of predication that the author himself considers adequate. (shrink)
Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
The paper first distinguishes ontological priority from epistemological priority and unilateral ontic dependence. Then explications of ontological priority are offered in terms of the reducibility of the actual existence or identity of entities in one ontological category to the actual existence or identity of entities in another. These explications lead to incompatible orders of ontological priority for individuals, properties of individuals and states of affairs. Common to those orders is, however, that the primacy of the category of individuals is abandoned. (...) This primacy is challenged in the paper also by epistemological arguments, and an onto-anthropological explanation is offered for the very common but false idea that individuals are ontological prior to all other kinds of entities. Finally ontological priority is discussed with respect to a fully specified system of ontological categories. (shrink)
I argue (1) that it is not philosophically significant whether causation is linguistically represented by a predicate or by a sentence connective; (2) that there is no philosophically significant distinction between event- and states-of-affairs-causation; (3) that there is indeed a philosophically significant distinction between agent- and event-causation, and that event-causation must be regarded as an analog of agent-causation. Developing this point, I argue that event-causation's being in the image of agent-causation requires, mainly, (a) that the cause is temporally prior to (...) the effect, (b) that the cause necessitates (is sufficient with necessity) for the effect. Causal necessity is explained as a derivative of nomological necessity, and finally, via a definition of the causal sentence connective, the logic of event-causation is shown to be a part of temporal modal logic. (shrink)
In the tradition of just war theory two assumptions have been taken pretty much for granted: first, that there are quite a lot of justified wars, and second, that there is a moral inequality of combatants, that is, that combatants participating in a justified war may kill their enemy combatants participating in an unjustified war but not vice versa. I will argue that the first assumption is wrong and that therefore the second assumption is virtually irrelevant for reality. I will (...) also argue, primarily against Jeff McMahan, that his particular thesis about the moral inequality of “just” and “unjust combatants” is an analytical truth which, however, does hardly apply to anything (there are few if any “unjust combatants” as he defines them). If one takes his thesis less literally, namely in the sense of a thesis about combatants participating in a justified war and combatants participating in an unjustified war, it is correct in principle, but still of little practical relevance even if one disregarded the fact that there are virtually no justified wars. One of the reasons for this is that, contrary to McMahan’s claims, justification does not defeat liability. (shrink)
In this paper I discuss a variant of the knowledge argument which is based upon Frank Jackson's Mary thought experiment. Using this argument, Jackson tries to support the thesis that a purely physical â or, put generally: an objectively scientific â perspective upon the world excludes the important domain of `phenomenal' facts, which are only accessible introspectively. Martine Nida-Rümelinhas formulated the epistemological challenge behind the case of Mary especially clearly. I take her formulation of the problem as a starting-point and (...) present a solution which is based solely on the concepts of capability and of metalinguistic beliefs. References to epiphenomenal facts, phenomenal knowledge etc. will be avoided completely. I specify my proposal against the backdrop of Burge's critical reflections about metalinguistic reinterpretation of expressions of belief and the externalist thesis held by Burge, Putnam and others that meanings and mental states are dependent upon the environment. My solution is then compared with Lewis' and Nemirow's ability objection. Finally I argue that the much discussed ``knowing what it is like'' has in its ordinary meaning nothing much to do with `phenomenal knowledge' or knowledge of `epiphenomenal' facts. (shrink)
Yitzhak Benbaji defends the view that soldiers on both the ‘just’ and the ‘unjust’ side in a war have the same liberty right to kill one another, because soldiers have ‘tacitly accepted’ the egalitarian laws of war and thereby waived their moral rights not to be attacked. I argue that soldiers on the ‘just’ side have not accepted the egalitarian laws of war; even if they had, they would not thereby have waived their moral rights not to be attacked. Moreover, (...) the egalitarian laws of war and ‘the war convention’ are not fair and mutually beneficial, and so would not be accepted. Benbaji does not come to grips with the problem of the killing of civilians in war: his idea that states could waive the moral rights of their citizens is untenable. (shrink)
This paper examines recent arguments by Michael Walzer and Uwe Steinhoff for justifying or excusing indiscriminate terrorism by means of invoking ‘emergency’ circumstances. While both authors claim that the principle of non-combatant immunity can be justifiably overridden under extreme circumstances, it is argued here that neither provides a convincing argument as to when and why the survival of some innocents ought to counterbalance the harms or rights violations of indiscriminate terrorism. A defensible emergency justification for indiscriminate terrorism is proposed and (...) shown to open the door to a broader, non-emergency rationale for conceivably excusing or justifying indiscriminate terrorism. (shrink)
This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the (...) formulas of DRS-languages, i.e. of the Discourse Representation Structures suggest for the components of such a system inference rules that differ somewhat from those usually found in proof systems for the first order predicate calculus and which are, we believe, more in keeping with inference patterns that are actually employed in common sense reasoning.This is why we have decided to publish the present exercise, in spite of the fact that it is not one for which a great deal of originality could be claimed. In fact, it could be argued that the problem addressed in this paper was solved when Gödel first established the completeness of the system of Principia Mathematica for first order logic. For the DRS-languages we consider here are straightforwardly intertranslatable with standard formulations of the predicate calculus; in fact the translations are so straightforward that any sound and complete proof system for first order logic can be used as a sound and complete proof system for DRSs: simply translate the DRSs into formulas of predicate logic and then proceed as usual. As a matter of fact, this is how one has chosen to proceed in some implementations of DRT, which involve inferencing as well as semantic representation; an example is the Lex system developed jointly by IBM and the University of Tübingen (see in particular (Guenthner et al. 1986)). (shrink)
This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...) transformed into the definitive representation by a series of transformations which reflect the ways in which the contributions from different constituents of the sentence interact. Since the different constituents which make their respective contributions to the meaning of the sentence are in most instances ambiguous, the initial representations are typically of a high degree of underspecification. (shrink)
McMahan’s own example of a symmetrical defense case, namely his tactical bomber example, opens the door wide open for soldiers to defend their fellow-citizens (on grounds of their special obligations towards them) even if as part of this defense they target non-liable soldiers. So the soldiers on both sides would be permitted to kill each other and, given how McMahan defines “justification,” they would also be justified in doing so and hence not be liable. Thus, we arrive, against McMahan’s intentions, (...) at a moral equality of combatants. In addition, his own account of liability cannot deal adequately with symmetrical defense cases in the first place. This undermines his presupposition that justification defeats liability, which is central to his defense of the moral inequality of combatants. I shall argue that McMahan’s attempts to counter these objections fail and that therefore his general claim of the moral inequality of combatants remains unpersuasive. (shrink)
This paper is dedicated to the formulation of a restricted theory of ontic modality (for example, I do not address questions that arise when modal operators interact with quantifiers, although some of the theoretical developments presented here certainly suggest such questions). As will be seen, notwithstanding its restrictions, the theory has a pleasing richness to it, as well as formal rigor and intuitive satisfactoriness. It also offers an unusual perspective on modality.
Mit Beitragen von: Wolfgang U. Eckart, Christian Bonah, Wolfgang U. Eckart / Andreas Reuland, Alexander Neumann, Peter Steinkamp, Volker Roelcke, Anne ...
Normative research has nearly vanished from the academic ‘mainstream’ in accounting. Due to its prescriptive and value-driven approach, normative accounting research has been stigmatized as being unscientific and largely replaced by positive studies. We put this stigma into perspective. We first conceptualize the ‘positive-normative’ distinction and identify this dichotomy in accounting research history. We then challenge the dogmatic confinement of science to descriptive (positive) approaches. Moreover, we debate the basic conditions for normative accounting research and conclude that methodological and epistemological (...) pluralism in accounting research may help address a wide range of potential research questions. We point out that normative research approaches are essential in an applied science such as accounting, lest practical implications and prescriptions are to be the exclusive domain of accounting practice. (shrink)
Many philosophers have criticized John Rawls’s Law of Peoples. However, often these criticisms take it for granted that the moral conclusions drawn in A Theory of Justice are superior to those in the former book. In my view, however, Rawls comes to many of his “conclusions” without too many actual inferences. More precisely, my argument here is that if one takes Rawls’s premises and the assumptions made about the original position(s) seriously and does in fact think them through to their (...) logical conclusions, both A Theory of Justice and The Law of Peoples have abysmally counterintuitive and immoral implications. These implications comprise, among other things, the justifiability of slavery, the denial of human rights and the permissibility of genocide. (shrink)
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is (...) given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics. (shrink)
The reception history of Aristotle's Prior Analytics in the Islamic world began even before its ninth-century translation into Arabic. Three generations earlier, Arabic authors already absorbed echoes of the varied and extensive logical teaching tradition of Greek- and Syriac-speaking religious communities in the new Islamic state. Once translated into Arabic, the Prior Analytics inspired a rich tradition of logical studies, culminating in the creation of an independent Islamic logical tradition by Ibn Sina (d. 1037), Ibn Rušd (d. 1098) and others. (...) This article traces the translation and commentary tradition of the Prior Analytics in Syriac and Arabic in the sixth to ninth centuries and sketches its appropriation, revision and, ultimately, transformation by Islamic philosophers between the ninth and eleventh centuries. (shrink)
This article examines the moral issues of guerrilla, and counter-guerrilla, warfare. Just war theorists who have studied the phenomenon tend to claim that the guerrilla tactic of wearing civilian clothes and hiding among the civilian population is rather difficult, if at all, to reconcile with the ius in bello principle of discrimination (the principle according to which combatants have to distinguish between combatants and non-combatants and may only target the former “directly”). I argue that this ever-repeated assessment is profoundly confused. (...) I also argue, conversely, against the claim that this guerrilla tactic makes it somehow easier for the counter-insurgents to comply with the principle of discrimination, thereby easily allowing them to resort to tactics like area bombardment. Finally, I demonstrate that, contrary to common opinion, guerrilla war does not face greater difficulties in complying with ius ad bellum requirements than conventional or counter-insurgency war does. (shrink)
The article focuses on Gramsci's elaboration of the concept of hegemony to analyze the function of Social Work during the periods of Fordism and post-Fordism. It discusses the limits and opportunities for a democratic development in the theory and praxis of Social Work.
Whatever the difference in the authors' positions, this collection gains its unity through their common interest in the significance and value of Critical ...
A new argument in favour of free will is given. It shows that our will is free in a comprehensive sense. The argument is developed in the context of a decision situation, which is paradigmatic for the discussion of free will and human action. German Eine schlüssige Begründung für die Willensfreiheit des Menschen wird vorgestellt. Sie zeigt, dass wir in einem sehr weit reichenden Sinne frei sind. Das Argument wird im Kontext einer Entscheidungssituation präsentiert, die für die Diskussion um Handlungs- (...) und Willensfreiheit paradigmatischen Charakter hat. (shrink)
David Rodin denies that defensive wars against unjust aggression can be justified if the unjust aggression limits itself, for example, to the annexation of territory, the robbery of resources or the restriction of political freedom, but would endanger the lives, bodily integrity or freedom from slavery of the citizens only if the unjustly attacked state (or someone else) actually resisted the aggression. I will argue that Rodin’s position is not correct. First, Rodin’s comments on the necessity condition and its relation (...) to an alleged “duty to retreat” misinterpret the law, and a correct interpretation of the law is not only compatible with, but implies a permission to resist the “bloodless invader,” and this is also the correct view from the perspective of morality. Second, Rodin’s remarks on the proportionality of self-defense against conditional threats focus on physical or material harm but implausibly ignore the severity of the violations of autonomy and of the socio-legal or moral order that such conditional threats involve. Third, I will address Rodin’s claim that (“often”) defensive wars against “political aggression” are disproportionate because they risk the lives of those defended in an attempt to secure lesser interests. I will argue that this take on proportionality misses the point in an important respect, namely by confusing wide and narrow proportionality, and makes unwarranted assumptions about the alleged irrationality or impermissibility of incurring or imposing lethal risks to safeguard less vital interests. Next, I will also show that while Rodin talks of a “myth of national self-defense” and of the necessity of moving beyond traditional just war theory and international law, it is actually his interpretation of just war theory and international law that weaves myths. Finally, I will argue that Rodin’s views on national self-defense on the one hand, and “war as law enforcement” on the other, are incoherent. (shrink)
In a recent article Yvonne Chiu argues that nonuniformed combat is impermissible. However, her argument that by fighting without uniforms nonuniformed guerillas coerce civilians into participating in the armed conflict and thus into surrendering their immunity (their right not to be attacked) fails: there is no coercion, no participation, and no surrendering of immunity. Yet even if this argument of hers were correct, it would still not show that such “coercion” would amount to a rights infringement. Moreover, even if it (...) did, there are examples that show that such an infringement would sometimes be perfectly justified. Finally, if she were right that forcing civilians into a moral position that they have not accepted or chosen is absolutely wrong, then this would affect the moral status of uniformed combatants no less than it would affect the moral status of nonuniformed ones. (shrink)
avant propos This paper is basically Keenan (1992) augmented by some new types of properly polyadic quantification in natural language drawn from Moltmann (1992), Nam (1991) and Srivastav (1990). In addition I would draw the reader's attention to recent mathematical studies of polyadic quantiicationz Ben-Shalom (1992), Spaan (1992) and Westerstahl (1992). The first and third of these extend and generalize (in some cases considerably) the techniques and results in Keenan (1992). Finally I would like to acknowledge the stimulating and constructive (...) discussions ofthe earlier paper with many scholars, notably Dorit Ben-Shalom, Jaap van der Does, Hans Kamp, Uwe Mormich, Arnim von Stechow, Mats Rooth, and Ede Zimmermann. And I repeat here the acknowledgment in the earlier paper to Jim Lambek, Ed Stabler and two anonymous referees for Linguistics and Philosophy (the latter responsible for substantial improvements in the proofs - see footnote 10). (shrink)
On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within (...) the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. (shrink)
Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem. The efficiency of the latest ASP solvers reached a state that makes them applicable for problems of practical importance. Consequently, problems from many different areas, including diagnosis, data integration, and graph theory, have been successfully tackled via ASP. In this work, we present such ASP-encodings for problems associated (...) to abstract argumentation frameworks (AFs) and generalisations thereof. Our encodings are formulated as fixed queries, such that the input is the only part depending on the actual AF to process. We illustrate the functioning of this approach, which is underlying a new argumentation system called ASPARTIX in detail and show its adequacy in terms of computational complexity. (shrink)
It is typically assumed that while we know other people's mental states by observing and interpreting their behavior, we know our own mental states by introspection, i.e., without interpreting ourselves. In his latest book, The opacity of mind: An integrative theory of self-knowledge, Peter Carruthers [2011. The opacity of mind: An integrative theory of self-knowledge. Oxford: Oxford University Press] argues against this assumption. He holds that findings from across the cognitive sciences strongly suggest that self-knowledge of conscious propositional attitudes such (...) as intentions, judgments, and decisions involves a swift and unconscious process of self-interpretation that utilizes the same sensory channels that we employ when working out other people's mental states. I provide an overview of Carruthers? book before discussing a pathological case that challenges his account of self-knowledge and mentioning empirical evidence that undermines his use of a particular kind of data in his case against introspection of conscious attitudes. (shrink)
Practically all modern definitions of war rule out that individuals can wage war. They conceive of war as a certain kind of conflict between groups. In fact, many definitions even restrict the term “war” to sustained armed conflicts between states. Instead of taking such definitions as points of departure, the article starts from scratch. I first explain what an explication of the concept of “war” should achieve. I then introduce the fundamental, and frequently overlooked, distinction between war as an historical (...) event and war as an action. It is war as action—which, unlike events, can be right or wrong—that I explicate. Testing our linguistic intuitions with different examples of conflict I isolate several criteria that a war proper has to fulfill and try to demonstrate that not only collectives but individuals, too, can wage war. In conclusion I examine alternative definitions of war and show that in comparison to them mine fares rather well. (shrink)
In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the (...) structure and length of dag proofs.The second topic of this paper is the effect of different embeddings from Int to S4. We select two different embeddings from the literature and show that translated (propositional) intuitionistic formulae have sometimes exponentially shorter minimal proofs in a cut-free Gentzen system for S4than the original formula in a cut-free single-succedent Gentzen system for Int. Moreover, the length and the structure of proofs of translated formulae crucially depend on the chosen embedding. (shrink)
With Carl Gegenbaur and Ernst Haeckel, inspiredby Darwin and the cell theory, comparativeanatomy and embryology became established andflourished in Jena. This tradition wascontinued and developed further with new ideasand methods devised by some of Haeckelsstudents. This first period of innovative workin evolutionary morphology was followed byperiods of crisis and even a disintegration ofthe discipline in the early twentieth century.This stagnation was caused by a lack ofinterest among morphologists in Mendeliangenetics, and uncertainty about the mechanismsof evolution. Idealistic morphology was stillinfluental in (...) Germany, which prevented a fullappreciation of the importance of Darwinstheory of natural selection for comparativemorphology. Evolutionary morphology andembryology failed to contribute significantlyto the modern synthesis of evolutionarybiology, thereby probably delaying theintegration of developmental biology intomodern evolutionary biology. However, Haeckelsstudent Oscar Hertwig, as well as Victor Franzand Alexej N. Sewertzoff from a youngergeneration, all tried to forge their ownsynthetic approaches in which (inspired byHaeckels work) embryology played an importantrole. Important for all three researchers wereattempts to refine, and sometimes redefine, thebiogenetic law, and to find new scientificexplanations for it (and for the manyexceptions to it). Their research was latermore or less forgotten, and had littleinfluence on the architects of the modernsynthesis. As the relationship betweenevolutionary and developmental biology is nowagain rising in importance in the form ofEvo-Devo, we would like to draw attention tohow this earlier research tradition grappledwith similar questions to those now on theagenda, albeit from sometimes quite differentperspectives. (shrink)
Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.
Jürgen Habermas seeks to defend the Enlightenment and with it an ëmphatical", üncurtailed¨conception of reason against the post-modern critique of reason on the one hand, and against so-called scientism (which would include critical rationalism and the greater part of analytical philosophy) on the other. His objection to the former is that it is self-contradictory and politically defeatist; his objection to the latter is that, thanks to a standard of rationality derived from the natural sciences or from Weber's concept of purposive (...) rationality, it leaves normative questions to irrational decisions. Habermas wants to offer an alternative, trying to develop a theory of communicative action that can clarify the normative foundations of a critical theory of society as well as provide a fruitful theoretical framework for empirical social research. -/- This study is a comprehensive and detailed analysis and sustained critique of Habermas' philosophical system since his pragmatist turn in the seventies. It clearly and precisely depicts Habermas' long chain of arguments leading from an analysis of speech acts to a discourse theory of law and the democratic constitutional state. Along the way the study examines, among other things, Habermas' theory of communicative action, transcendental and universal pragmatics and the argument from "performative contradictions", discourse ethics, the consensus theory of truth, Habermas' ideas on developmental psychology, communicative pathologies and social evolution, his theory of social order, the analysis of the tensions between system and lifeworld, his theory of modernity, and his theory of deliberative democracy. For all Habermas students this study will prove indispensable. (shrink)
In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word (...) problem for free ortholattices. (shrink)
