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)

Der Band stellt die maßgeblichen Theorien der Ethik vor: die Kantische Ethik, den Utilitarismus, die Tugendethik und den Kontraktualismus. Diskutiert werden auch die wesentlichen Probleme der Moraltheorie, wie z.B. die Ursprünge und die Reichweite moralischer Verpflichtung, die Rolle moralischer Gefühle und die universelle Begründbarkeit moralischer Grundsätze. Studierenden der Philosophie, aber auch der Medizin, Rechtswissenschaft, Ökonomie und Medientheorie, die mit konkreten Fragen der Ethik konfrontiert sind, bietet diese Einführung grundlegendes Wissen über die Prinzipien der Ethik.

In his digression on the Gauls in Book 6 of theGallic War, Caesar includes a portrait of the Druids (BGall.6.13.3sed de his duobus generibus[sc. quae aliquo sunt numero atque honore]alterum estdruidum) and their public roles first and foremost in religious and legal affairs (6.13.4–5illirebus diuinisintersunt,sacrificiapublica ac priuata procurant,religionesinterpretantur … fere de omnibuscontrouersiispublicis priuatisque constituunt), not forgetting their philosophical doctrine (6.14.6multa …disputantet iuuentuti tradunt). He emphasizes the strictly oral form their teaching takes (6.14.4), how ‘they do not deem it appropriate to (...) commit it [their learning] to writing even though in almost everything else, in public and private affairs, they resort to Greek writing (neque fas esse existimantea litteris mandare, cum in reliquis fere rebus, publicis priuatisque rationibus Graecis litteris utantur)’, about the reasons for which he then proceeds to speculate (6.14.4):idmihiduabus de causis instituisseuidentur, quod neque in uulgum disciplinam efferri uelint neque eos qui discunt litteris confisos minus memoriae studere: quodfere plerisque accidit, ut praesidio litterarum diligentiam in perdiscendo ac memoriam remittant.This [sc. practice] they seem to me to have instituted for two reasons: they do not wish either that their teaching be revealed to the general public or that those who are learning it, having become reliant on writing, give less attention to memorization; and it does, as a rule, happen to many that, because of the prop offered by writing, they relax their diligence in thoroughly committing things to memory. (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)

The paper argues that Toni Rønnow-Rasmussen’s fitting-attitude analysis of ‘good’ and ‘good for’ allows us to interpret and justify Kant’s Formula of Humanity (FH) in a constructive way. His classification of ‘good’ as a non-relational intrinsic final value and ‘good for’ as a relational extrinsic final value sheds light on two main features of FH, namely that it requires us to display a specific attitude to human beings, while also obligating us to recognize this value in the relational dimension. Based (...) on a reflection of what attitudes toward persons are fitting, we might well come to endorse that persons are “ends in themselves” and merit respect and recognition. I then argue (by way of an ethical reading of Kant’s demand to leave the state of nature and move to a rightful civil condition) that we have, in addition to a fitting attitude, deontic normative reasons (not mere pro tanto reasons) for making this very attitude toward persons the principal standard for our relations to others and to ourselves. (shrink)

Norms, Values, and Society is the second Yearbook of the Vienna Circle Institute, which was founded in October 1991. The main part of the book contains original contributions to an international symposium the Institute held in October 1993 on ethics and social philosophy. The papers deal among others with questions of justice, equality, just social institutions, human rights, the connections between rationality and morality and the methodological problems of applied ethics. The Documentation section contains previously unpublished papers by Rudolf Carnap, (...) Philipp Frank, Charles W. Morris and Edgar Zilsel, and the review section presents new publications on the Vienna Circle. The Vienna Circle Institute is devoted to the critical advancement of science and philosophy in the broad tradition of the Vienna Circle, as well as to the focusing of cross-disciplinary interest on the history and philosophy of science in a social context. The Institute's Yearbooks will, for the most part, document its activities and provide a forum for the discussion of exact philosophy, logical and empirical investigations, and analysis of language. (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)

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.

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".

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)

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)