Martin Heidegger gilt als einer der bedeutendsten und zugleich umstrittensten Philosophen des zwanzigsten Jahrhunderts. Werk und Person üben bis heute diesseits und jenseits philosophischer Diskussionen eine erhebliche Faszination aus. Dies liegt nicht allein an der außergewöhnlichen Originalität seines Denkens und der Kraft seiner Sprache, sondern auch an seinen schwerwiegenden politischen Verstrickungen im Zusammenhang mit der Machtergreifung Hitlers. Florian Grosser zeichnet die wesentlichen Stationen und Entwicklungslinien von Heideggers verschlungenem Denkweg aus einem halben Jahrhundert nach. Dabei arbeitet er die spezifische Gefährlichkeit (...) von Heideggers politischem Denken klar heraus, insbesondere sein radikal revolutionäres und überzogen antagonistisches Verständnis des Politischen, das ihn hindert, reale politische Phänomene angemessen zu verstehen. Grosser geht der Frage nach, ob Heideggers Denken, wie vielfach unterstellt, tatsächlich eine innere Verwandtschaft mit dem Nationalsozialismus aufweist. Die Differenzen immerhin sind gravierend. Die essayistisch gehaltene Darstellung, die im Grenzbereich zwischen Philosophie und Politikwissenschaft angesiedelt ist, erweckt die festgefahrene, seit Jahrzehnten in den starren Mustern von Anklage und Verteidigung verharrende Kontroverse um den "Fall Heidegger" zu neuem Leben. (shrink)

This paper explores an apparent tension between two widely held views about logic: that logic is normative and that there are multiple equally legitimate logics. The tension is this. If logic is normative, it tells us something about how we ought to reason. If, as the pluralist would have it, there are several correct logics, those logics make incompatible recommendations as to how we ought to reason. But then which of these logics should we look to for normative guidance? I (...) argue that inasmuch as pluralism draws its motivation from its ability to defuse logical disputes—that is, disputes between advocates of rival logics—it is unable to provide an answer: pluralism collapses into monism with respect to either the strongest or the weakest admissible logic. (shrink)

This paper argues that logical inferentialists should reject multiple-conclusion logics. Logical inferentialism is the position that the meanings of the logical constants are determined by the rules of inference they obey. As such, logical inferentialism requires a proof-theoretic framework within which to operate. However, in order to fulfil its semantic duties, a deductive system has to be suitably connected to our inferential practices. I argue that, contrary to an established tradition, multiple-conclusion systems are ill-suited for this purpose because they fail (...) to provide a 'natural' representation of our ordinary modes of inference. Moreover, the two most plausible attempts at bringing multiple conclusions into line with our ordinary forms of reasoning, the disjunctive reading and the bilateralist denial interpretation, are unacceptable by inferentialist standards. (shrink)

Dans cet article, nous proposons de montrer expérimentalement que le "sens commun" n'est en matière moral ni complètement objectiviste ni complètement relativiste, mais qu'un même individu peut être tantôt objectiviste tantôt relativiste. De même, nous montrons que les jugements de goût portant sur le prédicat "dégoûtant" ne sont pas toujours relativiste mais peuvent varier selon le contexte entre objectivisme et relativisme.

In this paper, we pursue three general aims: (I) We will define a notion of fundamental opacity and ask whether it can be found in High Energy Physics (HEP), given the involvement of machine learning (ML) and computer simulations (CS) therein. (II) We identify two kinds of non-fundamental, contingent opacity associated with CS and ML in HEP respectively, and ask whether, and if so how, they may be overcome. (III) We address the question of whether any kind of opacity, contingent (...) or fundamental, is unique to ML or CS, or whether they stand in continuity to kinds of opacity associated with other scientific research. (shrink)

Quantum Mechanics notoriously faces a measurement problem, the problem that the unitary time evolution, encoded in its dynamical equations, together with the kinematical structure of the theory generally implies the non-existence of definite measurement outcomes. There have been multiple suggestions to solve this problem, among them the so called many worlds interpretation that originated with the work of Hugh Everett III. According to it, the quantum state and time evolution fully and accurately describe nature as it is, implying that under (...) certain conditions multiple measurement outcomes that are seemingly mutually exclusive can be realized at the same time – but as different 'worlds' contained in a global, quantum mechanical structure, sometimes referred to as 'the multiverse'. The many worlds interpretation has, however, been confronted with serious difficulties over the course of its development, some of which were solved by the advent of decoherence theory. The present thesis critically investi- gates the state of play on a key remaining problem of the many worlds interpretation, the problem of the meaning and quantification of probabilities in a quantum multiverse. Recent attempts of deriving the pivotal statistical ingredient of quantum mechanics, Born’s rule, from either principles of decision theory or from quantum mechanics alone, supplemented with a few general premises about probability are analyzed and their premises are scrutinized. It will be argued that, though both approaches yield promising results, they both ultimately fail to clearly establish the validity of Born’s rule in the context of the many worlds interpretation. It is hence suggested that further research on this problem is indicated. (shrink)

In this paper, I question the dichotomy between fundamental moral disagreements, arising from divergences on moral principles, and superficial moral disagreements, that are expected to disappear under ideal epistemic circumstances. I claim that there are many other possibilities for moral disagreements, including moral disagreements that do not arise from different moral principles but would not disappear under ideal epistemic conditions. I describe two major kinds of such disagreements: semi-fundamental disagreements, which are made possible by the fact that the same moral (...) rules can be applied in different ways to the same situations, and non-morally fundamental moral disagreements, which arise by the fact that moral truths are not the only potentially non-factual truths. (shrink)

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (shrink)

Identification of propositions as the core of attitudes and beliefs (De Houwer, 2014) has resulted in the development of implicit measures targeting personal evaluations of complex sentences (e.g., the IRAP or the RRT). Whereas their utility is uncontested, these paradigms are subject to limitations inherent in their block based design, such as allowing assessment of only a single belief at a time. We introduce the Propositional Evaluation Paradigm (PEP) for assessment of multiple propositional beliefs within a single experimental block. Two (...) experiments provide first evidence for the PEP’s validity. In Experiment 1 endorsement of racist beliefs measured with the PEP was related to criterion variables such as explicit racism assessed via questionnaire and indicators of behavioral tendencies. Experiment 2 indicates that the PEP’s implicit racism scores may predict actual behavior over and above explicit, self-report measures. Finally, Experiment 3 tested the PEP's applicability in the domain of hiring discrimination. Whereas general PEP based gender stereotypes were not related to hiring bias, results suggest a possible role of female stereotypes in hiring discrimination. In the context of these findings, we discuss both the potential and possible challenges in adopting the PEP to different beliefs. In sum, these initial findings suggest that the PEP may offer researchers a reliable and easily administrable option for the indirect assessment of propositional evaluations. (shrink)

ABSTRACT:Increasingly, global businesses are confronted with the question of complicity in human rights violations committed by abusive host governments. This contribution specifically looks at silent complicity and the way it challenges conventional interpretations of corporate responsibility. Silent complicity implies that corporations have moral obligations that reach beyond the negative realm of doing no harm. Essentially, it implies that corporations have a moral responsibility to help protect human rights by putting pressure on perpetrating host governments involved in human rights abuses. This (...) is a controversial claim, which this contribution proposes to analyze with a view to understanding and determining the underlying conditions that need to be met in order for moral agents to be said to have such responsibilities in the category of the duty to protect human rights. (shrink)

_In times of economic crisis austerity becomes a rallying cry, but what does history tell us about its chances for success?_ Austerity is at the center of political debates today. Its defenders praise it as a panacea that will prepare the ground for future growth and stability. Critics insist it will precipitate a vicious cycle of economic decline, possibly leading to political collapse. But the notion that abstinence from consumption brings benefits to states, societies, or individuals is hardly new. This (...) book puts the debates of our own day in perspective by exploring the long history of austerity—a popular idea that lives on despite a track record of dismal failure. Florian Schui shows that arguments in favor of austerity were—and are today—mainly based on moral and political considerations, rather than on economic analysis. Unexpectedly, it is the critics of austerity who have framed their arguments in the language of economics. Schui finds that austerity has failed intellectually and in economic terms _every time_ it has been attempted. He examines thinkers who have influenced our ideas about abstinence from Aristotle through such modern economic thinkers as Smith, Marx, Veblen, Weber, Hayek, and Keynes, as well as the motives behind specific twentieth-century austerity efforts. The persistence of the concept cannot be explained from an economic perspective, Schui concludes, but only from the persuasive appeal of the moral and political ideas linked to it. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In his invited essay for Business & Society’s 60th anniversary, Archie B. Carroll refers to human rights as “a topic that holds considerable promise for CSR [corporate social responsibility] researchers in the future.” The objective of this article is to unpack this promise. We discuss the momentum of business and human rights in international policy, national regulation, and corporate practice, review how and why BHR scholarship has been thriving, provide a conceptual framework to analyze how BHR and corporate social responsibility (...) relate to each other, and provide a research agenda outlining how BHR can expand business and society scholarship in general and one of its foundational constructs, CSR, in particular, beyond the current confines of the business and society field. (shrink)

Quantum mechanics notoriously faces the measurement problem, the problem that if read thoroughly, it implies the nonexistence of definite outcomes in measurement procedures. A plausible reaction to this and to related problems is to regard a system's quantum state |ψ> merely as an indication of our lack of knowledge about the system, i.e., to interpret it epistemically. However, there are radically different ways to spell out such an epistemic view of the quantum state. We here investigate recent developments in the (...) branch that introduces hidden variables λ in addition to the quantum state |ψ> and has its roots in Einstein's views. In particular, we confront purported achievements of a concrete model that has been considered to serve as evidence for an epistemic view of the envisioned kind, as well as specific no-go results and their import. It will be argued that while an epistemic account of the particular kind is not straightforwardly ruled out by the no-go results, they demonstrate that the evidential character of the model(s) discussed rests on a rather shaky foundation, and that they make some achievements widely recognized in the literature appear worthy of doubt. (shrink)

Cet article étudie la réinterprétation et l’appropriation de l’exotisme dans les traductions-adaptations des voyages imaginaires du xviiie siècle, tout particulièrement celles de Desfontaines (Les Voyages du capitaine Lemuel Gulliver), de Berault-Bercastel (Voyages récréatifs du chevalier de Quevedo) et de Louis de Mailly (Les Trois Princes de Sarendip). Les traducteurs ont comme objectif d’adapter l’oeuvre au « goût de la France » : ils sont aux prises avec un double exotisme, celui décrit dans le voyage et celui intrinsèque à l’oeuvre. Leur (...) travail d’adaptation repose sur la recherche des équivalences culturelles, sur la suppression des passages subversifs et sur la conservation d’une représentation convenue de l’ailleurs et du merveilleux. Certains traducteurs vont jusqu’à réécrire une grande partie de ces ouvrages afin que le genre littéraire corresponde à celui du voyage. (shrink)

What is needed to enable communication about observation and measurement results in information systems? Information system ontologies make a certain conceptualization explicit and partially accoun...

In this paper I examine a neglected question concerning the centerpiece of Carnap's philosophy: the principle of tolerance. The principle of tolerance states that we are free to devise and adopt any well-defined form of language or linguistic framework we please. A linguistic framework defines framework-internal standards of correct reasoning that guide us in our first-order scientific pursuits. The choice of a linguistic framework, on the other hand, is an ‘external’ question to be settled on pragmatic grounds and so not (...) itself constrained by these standards. However, even if choosing a framework is a practical matter, we would nevertheless expect the process of framework selection to be subject to rational norms. But which norms might those be? And where do they come from? I begin by showing that these questions are crucial to the success of Carnap's entire philosophical project. I then offer a response on behalf of the Carnapian which guarantees the rationality of the process of framework selection, while remaining true to Carnap's firm commitment to tolerance. (shrink)

L’idée d’une fondation naturelle des normes a rencontré de nombreuses résistances. Néanmoins, de récents développements en sciences cognitives ont tenté de donner un nouveau sens à l’idée d’une fondation naturelle de ces normes. Après avoir présenté un échantillon de ces approches, je conclurai néanmoins que leurs contributions ont en général un apport plutôt sceptique, en permettant de repérer les normes qui ne sont pas fondées plus que celles qui le sont.

Ce travail opère une relecture de deux textes de jeunesse de Th. W. Adorno dans l’optique d’une réévaluation de leur importance pour son œuvre ultérieure, en particulier pour sa philosophie de l’histoire. Ces deux textes, dans lesquels est défini le concept d’interprétation philosophique de l’histoire, ou Deutung, seront abordés à partir d’une question issue des philosophies de l’histoire classiques du xixe siècle, celle du lien entre cette interprétation philosophique et une expérience commune de l’histoire. Nous montrerons que, loin de pouvoir (...) constituer un programme univoque pour la suite de la philosophie adornienne, ces textes de jeunesse sont au contraire travaillés par une ambiguïté. Fondamentale pour toute la philosophie adornienne de l’histoire, cette ambiguïté prend place entre un fondement méthodologique de la Deutung et la tentative de l’originer au contraire dans une expérience dialectique de la réalité historique. (shrink)

One of the goals of computerized tutoring systems is to optimize the learning of facts. Over a hundred years of declarative memory research have identified two robust effects that can improve such systems: the spacing and the testing effect. By making optimal use of both and adjusting the system to the individual learner using cognitive models based on declarative memory theories, such systems consistently outperform traditional methods. This adjustment process is driven by a continuously updated estimate of the rate of (...) forgetting for each item and learner on the basis of the learner's accuracy and response time. In this study, we investigated to what extent these estimates of individual rates of forgetting are stable over time and across different materials. We demonstrate that they are stable over time but not across materials. Even though most theories of human declarative memory assume a single underlying rate of forgetting, we show that, in practice, it makes sense to assume different materials are forgotten at different rates. If a computerized, adaptive fact-learning system allowed different rates of forgetting for different materials, it could adapt to individual learners more readily. (shrink)

According to Michael Dummett, we may think of the meaning of an expression as given by the principles governing the use we make of it. The principles regulating our linguistic practices can then be grouped into two broad categories (Dummett 1973: 396, 1991: 211). We might state them as follows: I-principles: state the circumstances under which an assertion of a sentence containing the expression in question is warranted. E-principles: state the consequences of asserting a sentence containing the expression. In the (...) case of the logical constants, we may associate a constant's I-principles with the set of its introduction rules and its E-principles with the set of its elimination rules (Dummett 1973: 454).1. (shrink)

There is now considerable evidence that human sentence processing is expectation based: As people read a sentence, they use their statistical experience with their language to generate predictions about upcoming syntactic structure. This study examines how sentence processing is affected by readers' uncertainty about those expectations. In a self-paced reading study, we use lexical subcategorization distributions to factorially manipulate both the strength of expectations and the uncertainty about them. We compare two types of uncertainty: uncertainty about the verb's complement, reflecting (...) the next prediction step; and uncertainty about the full sentence, reflecting an unbounded number of prediction steps. We find that uncertainty about the full structure, but not about the next step, was a significant predictor of processing difficulty: Greater reduction in uncertainty was correlated with increased reading times. We additionally replicated previously observed effects of expectation violation, orthogonal to the effect of uncertainty. This suggests that both surprisal and uncertainty affect human RTs. We discuss the consequences for theories of sentence comprehension. (shrink)

To operate in an unpredictable environment, a vehicle with advanced driving assistance systems, such as a robot or a drone, not only needs to register its surroundings but also to combine data from different sensors into a world model, for which it employs filter algorithms. Such world models, as this article argues with reference to the SLAM problem in robotics, consist of nothing other than probabilities about states and events arising in the environment. The model, thus, contains a virtuality of (...) possible worlds that are the basis for adaptive behavior. The article shows that the current development of these technologies requires new concepts because their complex adaptive behaviors cannot be explained by referring them to mere algorithmic processes. Instead, it proposes the heuristic instrument of microdecisions to designate the temporality of decisions between alternatives that are created by probabilistic procedures of world modeling. Microdecisions are more than the implementation of deterministic processes—they decide between possibilities and, thus, always open up the potential of their otherness. By describing autonomous adaptive technologies with this heuristic, the question of sovereignty inevitably arises. It forces us to re-think what autonomy means when decisions can be automated. (shrink)

Responding to recent concerns about the reliability of the published literature in psychology and other disciplines, we formed the X-Phi Replicability Project to estimate the reproducibility of experimental philosophy. Drawing on a representative sample of 40 x-phi studies published between 2003 and 2015, we enlisted 20 research teams across 8 countries to conduct a high-quality replication of each study in order to compare the results to the original published findings. We found that x-phi studies – as represented in our sample (...) – successfully replicated about 70% of the time. We discuss possible reasons for this relatively high replication rate in the field of experimental philosophy and offer suggestions for best research practices going forward. (shrink)

Recently, Fahrbach and Park have argued that the pessimistic meta-induction about scientific theories is unsound. They claim that this very argument does not properly take into account scientific progress, particularly during the twentieth century. They also propose amended arguments in favour of scientific realism, which are supposed to properly reflect the history of science. I try to show that what I call the argument from scientific progress cannot explain satisfactorily why the current theories should have reached a degree of success (...) that excludes their future refutations and allows the inference to their truth. I further argue that this line of argumentation dismisses the burden of proof in a rather unfair manner by using a delaying tactic to postpone the question about the validity of the PMI in the future. (shrink)

Die vorliegende Studie erforscht den Zusammenhang zwischen den Konzepten des höchsten Gutes und des kategorischen Imperativs in Kants praktischer Philosophie. Nach einer originiellen Lesart des Autors gebietet der kategorische Imperativ, das eigene Glück stets nur als Bestandteil allgemeinen Glücks zu verfolgen. Das höchste Gut ist nun derjenige Zustand der Welt, der erreicht würde, wenn alle Menschen diesem Prinzip gemäß handeln würden und ihrem gemeinsamen Streben nach allgemeiner Glückseligkeit auch Erfolg beschieden wäre. Dieser Zustand ist ein notwendiges Ziel vernünftigen Handelns, das (...) sich aus dem kategorischen Imperativ ergibt, dessen Verfolgung aber trotzdem über das bloße Handeln nach verallgemeinerbaren Maximen hinausgeht. Durch eine Neuinterpretation von Kants These, im höchsten Gut sei das Glück stets proportional zur Tugend, gelingt es dem Autor, nicht nur diese These, sondern auch Kants Aussagen über Gerechtigkeit, Glückswürdigkeit und Hoffnung argumentativ an den kategorischen Imperativ zu binden und damit im Kontext des höchsten Guts zu rechtfertigen. Dem Autor zufolge hat das höchste Gut somit eine wichtige eigenständige Funktion in der kantischen Ethik, ohne ihren deontologischen Charakter in Frage zu stellen. (shrink)

Do laypeople think that moral responsibility is compatible with determinism? Recently, philosophers and psychologists trying to answer this question have found contradictory results: while some experiments reveal people to have compatibilist intuitions, others suggest that people could in fact be incompatibilist. To account for this contradictory answers, Nichols and Knobe (2007) have advanced a ‘performance error model’ according to which people are genuine incompatibilist that are sometimes biased to give compatibilist answers by emotional reactions. To test for this hypothesis, we (...) investigated intuitions about determinism and moral responsibility in patients suffering from behavioural frontotemporal dementia. Patients suffering from bvFTD have impoverished emotional reaction. Thus, the ‘performance error model’ should predict that bvFTD patients will give less compatibilist answers. However, we found that bvFTD patients give answers quite similar to subjects in control group and were mostly compatibilist. Thus, we conclude that the ‘performance error model’ should be abandoned in favour of other available model that best fit our data. (shrink)

Der dreibändige Mikrokosmos, 1856-1864 mit dem Untertitel Versuch einer Anthropologie erstmal erschienen, gehörte in der zweiten Hälfte des 19. Jahrhunderts zu den meistgelesenen philosophischen Werken. Sein Verfasser, der Mediziner und Philosoph Rudolph Hermann Lotze (1817-1881), entwirft darin während der Dekade des Materialismusstreits eine Position, die einerseits den Erkenntnissen der Naturwissenschaft oberste Priorität einräumt, andererseits aber aufzeigt, dass die Konstanten der althergebrachten Metaphysik - die Seele, Gott, ein höherer Sinn- und Zweckzusammenhang - durch sie nicht hinfällig werden. Lotzes Bestreben nach grundlegender (...) Analyse der Divergenzen zwischen den Bedürfnissen des Gemütes und den Ergebnissen menschlicher Wissenschaft führt dazu, dass er erstmalig die Leitfrage der modernen Philosophie des Geistes stellt: Wenn es empirisch ergründbare materielle Bedingungen sind, durch die subjektives Erleben überhaupt möglich wird, wie lässt sich dann das wechselseitige Verhältnis dieser beiden Größen sinnvoll bestimmen? Im Mikrokosmos findet sich hierzu eine Reihe von Argumenten, die die Körper-Geist-Debatten des 20. Jahrhunderts in wesentlichen Punkten antizipieren und mit denen sich auch heute noch deutlich machen lässt, wieso die Schlichtheit des naturalistischen Monismus schwerlich mit der Komplexität des Leib-Seele-Problems in Einklang zu bringen ist. (shrink)

There are basically four options to which state the limiting instant in a change from one state to its opposite belongs – only the first, only the second, both or none. This situation is usually referred to as the limit decision problem since all of these options seem troublesome: The first two alleged solutions are asymmetric and thus need something to ground this asymmetry in ; while the last two options leave the realm of classical logic. I argue that including (...) the debate about dispositions enables new options for solutions to the temporal limit decision problem. Metaphysical considerations function as a symmetry-breaker and thus remove the need for a non-classical solution. Dispositions bring about the changes in the world, so they constitute the metaphysical background for the instant of change. In particular, I argue that according to the triadic process account of dispositions, the limiting instant belongs to the second interval and only the second interval. (shrink)

À propos de : Nathalie Heinich, Des valeurs. Une approche sociologique, Paris, Gallimard, coll. « Bibliothèque des Sciences humaines », 2017, 416 p. Si jusqu’à présent les articles publiés par Nathalie Heinich sur la question des valeurs restaient modestes dans leurs ambitions et à ce titre inconsistants dans leurs propositions, Des valeurs. Une approche sociologique constitue à l’inverse une somme soigneusement élaborée. Et au-delà des polémiques extra-scientifiques suscitées par l’obtention...

We introduce and analyze two theories for typed inductive definitions and establish their proof-theoretic ordinal to be the small Veblen ordinal \. We investigate on the one hand the applicative theory \ of functions, inductive definitions, and types. It includes a simple type structure and is a natural generalization of S. Feferman’s system \\). On the other hand, we investigate the arithmetical theory \ of typed inductive definitions, a natural subsystem of \, and carry out a wellordering proof within \ (...) that makes use of fundamental sequences for ordinal notations in an ordinal notation system based on the finitary Veblen functions. The essential properties for describing the ordinal notation system are worked out. (shrink)

The notion of harmony has played a pivotal role in a number of debates in the philosophy of logic. Yet there is little agreement as to how the requirement of harmony should be spelled out in detail or even what purpose it is to serve. Most, if not all, conceptions of harmony can already be found in Michael Dummett's seminal discussion of the matter in The Logical Basis of Metaphysics. Hence, if we wish to gain a better understanding of the (...) notion of harmony, we do well to start here. Unfortunately, however, Dummett's discussion is not always easy to follow. The following is an attempt to disentangle the main strands of Dummett's treatment of harmony. The different variants of harmony as well as their interrelations are clarified and their individual shortcomings qua interpretations of harmony are demonstrated. Though no attempt is made to give a detailed alternative account of harmony here, it is hoped that our discussion will lay the ground for an adequate rigorous treatment of this central notion. (shrink)

The requirement of proof-theoretic harmony has played a pivotal role in a number of debates in the philosophy of logic. Different authors have attempted to precisify the notion in different ways. Among these, three proposals have been prominent in the literature: harmony–as–conservative extension, harmony–as–leveling procedure, and Tennant’s harmony–as–deductive equilibrium. In this paper I propose to clarify the logical relationships between these accounts. In particular, I demonstrate that what I call the equivalence conjecture —that these three notions essentially come to the (...) same thing—is erroneous. (shrink)