In this paper we discuss extensions of Feferman's theory T 0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natural recursion-theoretic models for systems of explicit mathematics which is based on nonmonotone inductive definitions.

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices. (shrink)

Auf welchen normativen Grundlagen beruhte das NS-System? Mit welcher Rechtfertigung konnte der Führerwille dort zu einer Quelle des Rechts werden? Wie war es gemäß der NS-Strafgesetzgebung möglich, Handlungen zu bestrafen, die gegen kein geschriebenes Gesetz verstießen? Die in diesem Band versammelten und kommentierten Originaltexte geben Einblick in das Denken von Rechtstheoretikern, die mit dem Nationalsozialismus sympathisierten, und belegen deren Versuch, autoritäre und dem Rechtsstaat widersprechende Rechtsprinzipien zu legitimieren. Dabei zeigt sich ein überraschender und bis jetzt von der rechts- und moralphilosophischen (...) Forschung weitgehend unbeachteter Aspekt des NS-Unrechtssystems: der Versuch einer »Ethisierung« des Rechts und die damit verbundene Totalisierung des machtstaatlichen Einflusses. (shrink)

We first look at an existing infinitary sequent system for common knowledge for which there is no known syntactic cut-elimination procedure and also no known non-trivial bound on the proof-depth. We then present another infinitary sequent system based on nested sequents that are essentially trees and with inference rules that apply deeply inside these trees. Thus we call this system “deep” while we call the former system “shallow”. In contrast to the shallow system, the deep system allows one to give (...) a straightforward syntactic cut-elimination procedure. Since both systems can be embedded into each other, this also yields a syntactic cut-elimination procedure for the shallow system. For both systems we thus obtain an upper bound of φ20 on the depth of proofs, where φ is the Veblen function. (shrink)

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal (...) explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic. (shrink)

We discuss some implications of the Holocaust for moral philosophy. Our thesis is that morality became distorted in the Third Reich at the level of its social articulation. We explore this thesis in application to several front-line perpetrators who maintained false moral self-conceptions. We conclude that more than a priori moral reasoning is required to correct such distortions.

Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completness with respect to various models and we study the problem of realization.

For some modal fixed point logics, there are deductive systems that enjoy syntactic cut-elimination. An early example is the system in Pliuskevicius [15] for LTL. More recent examples are the systems by the authors of this paper for the logic of common knowledge [5] and by Hill and Poggiolesi for PDL[8], which are based on a form of deep inference. These logics can be seen as fragments of the modal mu-calculus. Here we are interested in how far this approach can (...) be pushed in general. To this end, we introduce a nested sequent system with syntactic cut-elimination which is incomplete for the modal mu-calculus, but complete with respect to a restricted language that allows only fixed points of a certain form. This restricted language includes the logic of common knowledge and PDL. There is also a traditional sequent system for the modal mu-calculus by Jäger et al. [9], without a syntactic cut-elimination procedure. We embed that system into ours and vice versa, thus establishing cut-elimination also for the shallow system, when only the restricted language is considered. (shrink)

We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.

Christian List and Philip Pettit develop an account of group agency which is based on a functional understanding of agency. They claim that understanding organizations such as commercial corporations, governments, political parties, churches, universities as group agents helps us to a better understanding of the normative status and working of those organizations. List and Pettit, however, fail to provide a unified account of group agency since they do not show how the functional side of agency and the normative side of (...) agency are connected. My claim is that a constitutive account of agency helps us to a proper understanding of group agency since it ties the functional part of acting to the group agent’s self-understanding and its commitment to specific norms, principles and values. A constitutive model of agency meets much better what List and Pettit seek to accomplish, namely conceiving of group agents as artificial persons, constituted by normative principles and entertaining normative relations to others to whom they are accountable. (shrink)

In his ground‐breaking study Complicity, Christopher Kutz introduces the notion of ‘participatory intentions’ (individual intentions whose content is collective) to explain an agent's complicity with groups or organisations. According to Kutz, participatory intentions allow us to hold individuals morally accountable for collective wrongs independent of their causal contribution to the wrong and its ensuing harm. This article offers an alternative account of complicity. Its central claim is that an agent's complicity might be due to the dependence of his professional role (...) on the normative principles that make up the organisation or institution in whose practices he partakes. In other words, there might arise a constitutive failure in an agent's attempt to ascribe to himself a non‐complicit professional identity. I use the case of SS‐Judge Konrad Morgen in order to illustrate this understanding of complicity. (shrink)

This paper proposes a new account of the relationship between Kant’s ethics and Kant’s philosophy of right. I reject the claim of some philosophers that Kant’s Groundwork of the Metaphysics of Morals cannot offer a foundation for Kant’s philosophy of right. While I agree that the basic principles of Kant’s philosophy of right cannot be deduced from Kant’s ethical Categorical Imperatives, I try to show that we find in Kant’s Groundwork the normative resources for grounding his philosophy of right. My (...) thesis is that Kant’s conception of a realm of ends, as he develops it in the Groundwork, provides a common normative source for Kant’s ethical Categorical Imperatives, on the one hand, and the Universal Principle of Right, on the other. Agreement on common universal principles, which is crucial for Kant’s notion of a realm of ends provides, I will argue, a justification of the ethical Categorical Imperatives and the Universal Principle of Right. (shrink)

This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman's.

Konrad Morgen: The Conscience of a Nazi Judge recounts the wartime career of Georg Konrad Morgen (1909–1982), a judge who prosecuted crimes committed by members of the SS in Nazi concentration camps, including Buchenwald, Dachau, and Auschwitz. In 1943, Morgen discovered the existence of gas chambers at Auschwitz-Birkenau. He tried to throw sand in the works by prosecuting concentration camp officials for lesser crimes. He charged the chief of the Auschwitz Gestapo with for 2,000 murders, and even sought an arrest (...) warrant for Adolf Eichmann. Yet he worked within the ethos of the SS and continued to defend its reputation after the war. The book is a moral biography of Morgen, focusing on how he felt, thought, and deliberated about the moral challenges of his unique position. It explores Morgen’s moral and legal reasoning by drawing on his wartime papers as well as his postwar interrogations and testimonies at war-crimes trials. What emerges is a case study in moral complexity. (shrink)

What picture do we get when wie apply gender analysis to mainstream moral philosophy? Starting with an analysis of Kant, Hume and Rawls, Pauer–Studer develops the categorical framework of a moral theory that is free from any "male bias".

Buchholz’s Ω μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of Buchholz (Iterated (...) inductive definitions and subsystems of analysis: recent proof theoretic studies. Lecture notes in mathematics, vol. 897, pp. 189–233, Springer, Berlin, 1981). (shrink)

Zusammenfassung Obwohl im Berufsfeld Sport die Ausdifferenzierung einer großen Vielfalt an Tätigkeitsbereichen zu beobachten ist, werden die Chancen auf stabile und angemessen bezahlte Beschäftigungsverhältnisse von Absolventen sportwissenschaftlicher Studiengänge vielfach als skeptisch beurteilt. Dabei stellt sich die Frage, inwieweit hierfür branchenspezifische Sättigungserscheinungen sowie Effekte substituierbarer Qualifikationsanforderungen eine Rolle spielen. Um Antworten auf diese Fragen zu finden, werden dem Ansatz der Lebensverlaufsforschung folgend, zeithistorische Veränderungen im Berufsfeld Sport auf der Grundlage individueller Berufsverläufe analysiert. Als Datengrundlage dient ein Sample von n = 1.105 (...) Absolventen aller Schweizer Hochschulen, das die beruflichen Verläufe von Absolventen sportwissenschaftlicher Studiengänge in Form eines retrospektiven Längsschnitts für drei Kohorten erfasst. Die Ergebnisse zeigen, dass der Arbeitsmarkt Sport für Absolventen sportwissenschaftlicher Studiengänge in der Schweiz als stabil eingeschätzt werden kann. Gleichwohl zeigt die Analyse, dass in außerschulischen Berufsfeldern fachspezifische Qualifikationsstrukturen als Einstellungsvoraussetzung, die die Stabilisierung von Berufspositionen der Absolventen sportwissenschaftlicher Studiengänge langfristig absichern könnten, mitunter fehlen. (shrink)

In Anglo-American legal theory the lack of morality was often considered as the main problem of Nazi law. Bringing law and morality together thus seems to meet the challenge posed by the Nazi legal system. In this paper I argue that the mere unification of law and morality is not sufficient to cope with the distortions of Nazi law. By discussing the framework of the SS-jurisdiction and the case of the SS-judge Konrad Morgen I try to show that in the (...) Nazi legal system morality is so deformed that in such circumstances a judge’s aiming for justice has equivocal implications. My conclusion is that we should consider law and morality as two distinct normative spheres and approach the issue of Nazi law using a conception of legality that captures basic requirements of a rule-of-law system. (shrink)

Neo-Kantian accounts which try to ground morality in the necessary requirements of agency face the problem of “bad action”. The most prominent example is Christine Korsgaard’s version of constitutivism that considers the categorical imperative to be indispensable for an agent’s self-constitution. In my paper I will argue that a constitutive account can solve the problem of bad action by applying the distinction between constitutive and regulative rules to the categorical imperative. The result is that an autonomous agent can violate the (...) categorical imperative in so far as it amounts to a regulative rule of morality; however, an agent cannot call into question the categorical imperative as a constitutive rule of the practice of morality without losing her or his identity as a moral agent. The paper then compares this approach to bad action with the one Korsgaard provides and outlines also a new way of grounding the categorical imperative. (shrink)

The main impetus for organizing this event was the publication, in 2011, of Philip Pettit’s and Christian List’s book, *Group Agency*. List and Pettit argue that interpreting institutions like commercial corporations, governments, political parties, trade unions, churches, and universities as group agents offers a better understanding of their internal working and their effects on social life. Pettit and List base their account of group agency on a so-called “functionalist account of agency” which assumes that an agent is constituted by a (...) method of transforming representational and motivational states into actions. They reject essentialist conceptions of collective willing by claiming that group attitudes supervene on the individual attitudes of the group members.The invited speakers were asked to consider the following issues arising out of List’s and Pettit’s work: Can and should we consider groups as agents? What normative commitments come with such an assumption? What model of agen .. (shrink)

Georg Konrad Morgen (1909–1982) war von 1941 bis 1945 Richter in der SS-und Polizeigerichtsbarkeit. Er ermittelte gegen hochrangige SS-Offiziere wegen Korruption; ab Juni 1943 ermittelte er auch wegen Verbrechen in den Konzentrationslagern (Buchenwald, Dachau, Auschwitz). Im November 1943 konnte sich Morgen persönlich von den Vernichtungsanlagen in Auschwitz-Birkenau überzeugen. Nach eigenen Angaben versuchte er im Rahmen seiner Möglichkeiten als SS-Richter gegen diese Verbrechen vorzugehen. So verhaftete Morgen den Chef der Gestapo in Auschwitz, Maximilian Grabner, und er versuchte auch, einen Haftbefehl gegen (...) Adolf Eichmann zu erwirken. Dennoch war Morgen der SS verbunden. Das Buch versteht sich als moralische Biographie eines zutiefst ambivalenten Charakters: es zeichnet anhand der verfügbaren Archivmaterialien nach, wie Morgen dachte und urteilte. In der theoretischen Einleitung und im Nachwort analysiert das Buch den philosophisch-normativen Kontext des Falls Konrad Morgen. (shrink)

The papers of this special issue are the outcome of a two-­‐day conference entitled “The Second-­‐Person Standpoint in Law and Morality,” that took place at the University of Vienna in March 2013 and was organized by the ERC Advanced Research Grant “Distortions of Normativity.” -/- The aim of the conference was to explore and discuss Stephen Darwall’s innovative and influential second-­‐personal account of foundational moral concepts such as „obligation“, „responsibility“, and „rights“, as developed in his book The Second-­‐Person Standpoint: Morality, (...) Respect, and Accountability (Harvard University Press 2006) and further elaborated in Morality, Authority and Law: Essays in Second-­‐Personal Ethics I and Honor, History, and Relationships: Essays in Second-­‐Personal Ethics II (both Oxford University Press 2013). -/- With the second-­‐person standpoint Darwall refers to the unique conceptual normative space that practical deliberators and agents occupy when they address claims and demands to one another (and to themselves). The very first sentence of Darwall’s examination of the second-­‐personal conceptual paradigm summarizes the gist of the argument succinctly when he claims that “the second-­‐person standpoint [is] the perspective that you and I take up when we make and acknowledge claims on one another’s conduct and will.” (Darwall 2006, 3) The Second-­‐Person Standpoint reminds us that this perspective has been ignored for much too long and that it better take centre stage in any philosophical analysis of moral phenomena, in order to yield a satisfying account of morality as a social institution. The negative part of Darwall’s strategy is to show that neither a purely first-­‐personal approach (represented by Kant and contemporary Kantians), nor a third-­‐personal state-­‐of-­‐affairs-­‐perspective (represented by most varieties of contemporary consequentialism) are capable of accounting for the categorical bindingness characteristic of moral obligation. The latter feat can only be accomplished, and this is the positive part of Darwall’s argument, when those second-­‐ personal normative “felicity conditions” and conceptual presuppositions are acknowledged and spelled out that are already presupposed in every instance of issuing (putatively valid) claims and demands. It is especially second-­‐personal competence and second-­‐personal authority that are the bedrock of these normative conceptual presuppositions, without which engaging in any meaningful address would be impossible. Kantians and utilitarians alike have neglected this critical dimension of the normative landscape. -/- In addition to working out an original conception of moral obligation, the first eight chapters of The Second-­‐Person Standpoint articulate this fundamental insight with respect to a variety of traditional projects in ethical theory such as developing accounts of moral responsibility, rights, dignity, and autonomy. In this context, special emphasis is to be awarded, on the one hand, to Darwall’s refreshing second-­‐personal interpretation of Strawson’s influential account of reactive attitudes and moral responsibility and, on the other, to his historically well-­‐informed reconstruction of Samuel Pufendorf’s often neglected version of an enlightened theistic voluntarism concerning moral authority. Darwall dedicates the second part of The Second-­‐Person Standpoint to the urgent question: how should one respond to the sceptical challenge that expresses utter indifference to the second-­‐person standpoint, including all its multifarious normative presuppositions and implications? What commits us to all this? It is at this point that Darwall, firstly, refines his criticisms of the Kantian, first-­‐personal, paradigm of normativity and emphasizes that only if one already incorporates the second-­‐personal conceptual apparatus into a Kantian analysis of moral obligation is the latter going to yield a convincing account. Secondly, and this certainly is one of the highlights of Darwall’s theory, the Second-­‐Person Standpoint employs themes from Fichte’s philosophy of right in order to strengthen the case for the inescapability of taking up the second-­‐person standpoint of moral obligation. In his contribution for this special issue Darwall further develops his diagnosis that Fichte’s thought offers in many respects a more promising, since more second-­‐personal, foundation of morality than, for example, Kant’s. -/- By now, the impact of Darwall’s second-­‐person standpoint theory has far transcended the confines of contemporary debates on moral obligation. Darwall has put to use the second-­‐personal apparatus to critical engagements with Joseph Raz’s theory of legal authority and Derek Parfit’s convergence arguments for his recent Triple Theory of moral wrongness. The constant theme that unifies all these diverse applications remains the one so impressively presented in The Second-­‐Person Standpoint: without paying attention to the “interdefinable” and “irreducible” circle of (four) foundational second-­‐ personal concepts (valid demand, practical authority, second-­‐personal reason, and accountability), neither superior epistemic status (Raz) nor the identification of optimific states of affairs (Parfit) are potent enough sources to generate anything close to the authority relationships that underlie the idea involved in obligating ourselves and one another. Given all of the above, it comes as no surprise that Darwall reserves his strongest sympathies for a specific ethical theory, namely contractualism. Our commitment to equal basic second-­‐personal authority, that Darwall arrives at through his Fichtean rectification of the Kantian project, leads him to the endorsement of a contractualist paradigm in the spirit of broadly Rawls and Scanlon. -/- . (shrink)

This article explores Darwall’s second-­‐personal account of morality, which draws on Fichte’s practical philosophy, particularly Fichte’s notions of a summons and principle of right. Darwall maintains that Fichte offers a philosophically more appealing account of relations of right than Kant. Likewise, he thinks that his second-­‐personal interpretation of morality gives rise to contractualism. I reject Darwall’s criticism of Kant’s conception of right. Moreover, I try to show that Darwall’s second-­‐personal conception of morality relies on a Kantian form of contractualism. Instead (...) of accepting Darwall’s claim that contractualism depends upon a second-­‐personal account of morality, I will argue that contractualism provides the foundations not only for second-­‐personal moral relations, but also for first-­‐personal moral authority. (shrink)

Wie war es möglich? Diese mit Blick auf den Nationalsozialismus und die Zeit von 1933 bis 1945 unausweichliche Frage stellt sich für jede Generation aufs Neue – und auf unterschiedlichen Ebenen. Im Gegensatz zur detaillierten historischen Aufarbeitung der NS-Zeit ist die philosophisch-theoretische Analyse der normativen Grundlagen des NS Systems ein bislang vernachlässigtes Gebietder Forschung. Die hier edierte Sammlung von Originaltextenführender Juristen, Rechtstheoretiker und Rechtsphilosophen, die dem nationalsozialistischen Regime loyal gegenüberstanden und an der rechtlichen Um- und Neugestaltung mitarbeiteten, will diese Lücke (...) schließen helfen und einen Beitrag zur Analyse des nationalsozialistischen Herrschaftssystems aus dem Blickwinkel der Rechtstheorie und Rechtsphilosophie leisten. Die abgedruckten Originaltexte dokumentieren nicht nur die normativen Verschiebungen im Zuge der politischen Neuentwicklung, sondern zeigen auch, dass viele Maßnahmen des NS-Regimes, die in ihrer Radikalität und Unmenschlichkeit ohne Beispiel sind, eine gesetzliche Basis hatten und theoretisch vorbereitet waren. (shrink)

In dem vorliegenden Buch wird in kritischer Abgrenzung zu den Ansätzen von John Rawls, Ronald Dworkin und Jürgen Habermas eine autonomiebezogene Konzeption des politischen Liberalismus entwickelt, welche die Herstellung sozialer Gleichheit als Mittel der Freiheitssicherung begreift. Neben einer detaillierten Analyse der Begriffe »Freiheit«, »Gleichheit« und einer Diskussion der angemessenen Parameter der Verteilungsgleichheit wird auch gezeigt, dass ein autonomiebezogener Liberalismus wichtige Impulse für eine Aufarbeitung substanzieller Fragen der feministischen politischen Philosophie ermöglicht.

In this paper I suggest an account of knowledge by adding a fourth condition to the traditional analysis in terms of justified true belief. I am going to make a first proposal ruling out the Gettier-counterexamples.1 This proposal will then be corrected in the light of other counterexamples. The final analysis will be a combination of a justified-true-belief-account and a causal account of knowledge. Some philosophers have disputed that Gettier‟s examples must be accepted as refutations of the justified true belief (...) analysis of knowledge.2 Their rejection rests on declining a principle underlying Gettier‟s reasoning, namely – as Thalberg calls it – the principle of deducibility of justification (PDJ). PDJ reads as following: For any proposition p, if a person S is justified in believing p, and p entails q, and S deduces q from p and accepts q as a result of this deduction, then S is justified in believing q. This principle allows, for example, the move in Gettier‟s first example from the proposition a) “Jones is the man who will get the job and Jones has ten coins in his pocket” to proposition b) “The man who will get the job has ten coins in his pocket”. 1. (shrink)

In his seminal work The Concept of Law, H. L. A. Hart observed that the ‘law of every modern state shows at a thousand points the influence of both the accepted social morality and wider moral idea...

In this paper I am going to examine Kelsen’s legal positivism in the light of Nazilegal theory. My claim will be that Kelsen’s thesis that law and morality constitute two distinct normative spheres is highly plausible, but that some of his metaethical assumptions are seriously flawed.

This paper explores the question whether perfectionism amounts to a political doctrine that is more attractive than liberalism. I try to show that an egalitarian liberalism that is open to questions of value and that holds a conception of limited neutrality can meet the perfectionist challenge. My thesis is that liberalism can be reconciled easily with perfectionism read as a moral doctrine. Perfectionism as a political doctrine equally stays within the value framework of liberalism. Finally, I try to show that (...) liberalism can give an account of civic virtue that is a sufficient basis for developing the normative guidelines of a rich and meaningful social life. (shrink)

This paper criticizes Peter Singer‟s position on euthanasia. Singer uses two versions of utilitarianism in order to deal with the issue of the morality of killing: preference-utilitarianism for persons, classical utilitarianism for sentient beings that are not persons (in Singer‟s sense). I try to show that Singer‟s back and forth between preference-utilitarianism and classical utilitarianism raises difficulties in regard to his arguments for the permissibility on non-voluntary euthanasia in the case of severely handicapped children. In the last section of the (...) paper I address the sharp objections to Singer‟s views in German-speaking countries, arguing that these reactions – though in some forms clearly unacceptable – are understandable. (shrink)