Philosophy of Science: A Unified Approach combines a general introduction to philosophy of science with an integrated survey of all its important subfields. As the book’s subtitle suggests, this excellent overview is guided methodologically by "a unified approach" to philosophy of science: behind the diversity of scientific fields one can recognize a methodological unity of the sciences. This unity is worked out in this book, revealing all the while important differences between subject areas. Structurally, this comprehensive book offers a two-part (...) approach, which makes it an excellent introduction for students new to the field and a useful resource for more advanced students. Each chapter is divided into two sections. The first section assumes no foreknowledge of the subject introduced, and the second section builds upon the first by bringing into the conversation more advanced, complementary topics. Definitions, key propositions, examples and figures overview all of the core material. At the end of every chapter there are selected readings and exercises . The book also includes a comprehensive bibliography and an index. (shrink)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the paper, (...) however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.

Many of the things we do, we do together with other people. Think of carpooling and playing tennis. In the past two or three decades it has become increasingly popular to analyze such collective actions in terms of collective intentions. This volume brings together ten new philosophical essays that address issues such as how individuals succeed in maintaining coordination throughout the performance of a collective action, whether groups can actually believe propositions or whether they merely accept them, and what kind (...) of evidence, if any, disciplines such as cognitive science and semantics provide in support of irreducibly collective states.The theories of the Big Four of collective intentionality -- Michael Bratman, Raimo Tuomela, John Searle, and Margaret Gilbert -- and the Big Five of Social Ontology -- which in addition to the Big Four includes Philip Pettit -- play a central role in almost all of these essays. Drawing on insights from a wide range of disciplines including dynamical systems theory, economics, and psychology, the contributors develop existing theories, criticize them, or provide alternatives to them.Several essays challenge the idea that there is a straightforward dichotomy between individual and collective level rationality, and explore the interplay between these levels in order to shed new light on the alleged discontinuities between them. These contributions make abundantly clear that it is no longer an option simply to juxtapose analyses of individual and collective level phenomena and maintain that there is a discrepancy. Some go as far as arguing that on closer inspection the alleged discontinuities dissolve. (shrink)

This paper has three goals. The first goal is to work out the difference between literal ceteris paribus laws in the sense of “all others being equal” and ceteris rectis “laws” in the sense of “all others being right”. While cp laws involve a universal quantification, cr generalizations involve an existential quantification over the values of the remainder variables Z. As a result, the two differ crucially in their confirmability and lawlikeness. The second goal is to provide a classification of (...) different kinds of cr generalizations, including certain transition cases between cr generalizations and cp laws. The third goal is to work out what cp laws and all kinds of cr assertions have in common: they figure as an information source for assertions of causal influence between variables. (shrink)

We study and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of which is conservative over.

In this paper we study applicative theories of operations and numbers with the non-constructive minimum operator in the context of a total application operation. We determine the proof-theoretic strength of such theories by relating them to well-known systems like Peano Arithmetic PA and the system <0 of second order arithmetic. Essential use will be made of so-called fixed-point theories with ordinals, certain infinitary term models and Church-Rosser properties.

die vorliegende Arbeit bietet die erste historisch-philologisch fundierte und philosophisch-systematisch orientierte Gesamtdarstellung von Martin Heideggers Rezeption von Søren Kierkegaard. Sie kontextualisiert diese innerhalb der Tendenzen der deutschsprachigen Rezeptions- und Übersetzungsgeschichte Kierkegaards von ihren Anfängen bis ins erste Drittel des 20. Jahrhunderts und bringt dadurch die Besonderheiten von Heideggers Kierkegaard-Rezeption zur Abhebung. Unter Einbeziehung sämtlicher mittlerweile zur Verfügung stehenden Quellen wird Heideggers Verhältnis zu Kierkegaard in den Wandlungen seines Denkwegs verfolgt. Es zeigt sich dabei, dass Heideggers Verhältnis zu Kierkegaard kein einheitliches (...) ist, sondern eine fragmentarische Abfolge von Verhältnissen. Entsprechend werden fünf Phasen von Heideggers Kierkegaard-Rezeption unterschieden. Aufgrund ihres umfassenden Quellenstudiums und der umsichtigen Interpretation ist diese Arbeit ein unerlässliches Referenzwerk für zukünftige Arbeiten zum Verhältnis von Heidegger und Kierkegaard. Der rezeptionshistorische erste Teil hat darüber hinaus Bedeutung für alle, die sich mit der Kierkegaard-Rezeption Anfang des 20. Jahrhunderts beschäftigen möchten. (shrink)

In the first part of my paper I discuss eight arguments in favour of the theory-dependence of observation: realistic content, guidance function of theories, perception as cognitive construction, expectation-dependence of perception, theory-dependence of scientific data, continuity between observational and theoretical concepts, language-dependence, and meaning holism. I argue that although these arguments make correct points, they do not exclude the existence of observations that are weakly theory-neutral in the sense that they don’t depend on acquired background knowledge. In the second part (...) I suggest an experimental method, the method of ostensive learning experiments, by which the degree of theory- and language-independence of a concept can be tested. (shrink)

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.

There has been considerable progress in investigating collective actions in the last decades. However, the real progress is different from what many scholars take it to be. It lies in the fact that there is by now a wealth of different approaches from a variety of fields. Each approach has carved out fruitful mechanisms for explaining collective action, but is also faced with limitations. Given that situation, we submit that the next step in investigating collective action is to acknowledge the (...) plurality of approaches and bring them into dialogue. With this aim in mind, the present article discusses the strengths and weaknesses of some of the to our mind most relevant approaches to collective action in current debates. We begin with the collective intentionality framework, the team reasoning approach, and social identity theory. Then, we move to ecological social psychology, participatory sense-making, and, through the lenses of those frameworks, dynamical systems theory. Finally, we discuss practice theory. Against this background, we provide a proposal for a synthesis of the successful explanatory mechanisms as they have been carved out by the different research programs. The suggestion is, roughly, to understand collective action as dynamical interaction of a self-organizing system with its environment, shaped by a process of collective sense-making. (shrink)

Introduction : the art of reading -- Adorno and the uncoercive gaze -- Buried possibility : Adorno and Arendt on tradition -- The inheritance of the constellation : Adorno and Hegel -- Judging by refraining from judgment : Adorno's artwork and its Einordnung -- The literary artwork between word and concept : Adorno and Agamben reading Kafka -- The artwork without cardinal direction : notes on orientation in Adorno -- False life, living on : Adorno with Derrida -- Conclusion : (...) a kind of leave-thinking. (shrink)

v. 1. A-I -- Bd. 2. U-Pū -- Bd. 3. Pra-H.

We study elementary second order extensions of the theoryID 1 of non-iterated inductive definitions and the theoryPA Ω of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ 1 1 comprehension and bar induction without set parameters.

In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms a la Richter with recursively inaccessible and Mahlo closure ordinals is given.

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s (...) critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz. (shrink)

In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.

In this article we introduce and study the notion of operational closure: a transitive set d is called operationally closed iff it contains all constants of OST and any operation f∈d applied to an element a∈d yields an element fa∈d, provided that f applied to a has a value at all. We will show that there is a direct relationship between operational closure and stability in the sense that operationally closed sets behave like Σ1 substructures of the universe. This leads (...) to our final result that OST plus the axiom , claiming that any set is element of an operationally closed set, is proof-theoretically equivalent to the system KP+ of Kripke–Platek set theory with infinity and Σ1 separation. We also characterize the system OST plus the existence of one operationally closed set in terms of Kripke–Platek set theory with infinity and a parameter-free version of Σ1 separation. (shrink)

ABSTRACT The article treats the universal history Ruins, or Meditation on the Revolutions of Empires (Les ruines ou Méditations sur les révolutions des empires) of the French cultural philosopher Constantin-François Volney (1757–1820). Using a textual, interdisciplinary study, which focuses upon Volney’s complex cultural and historical philosophical contexts, I demonstrate that his primary concern was a nearly 2500 years coherent Europe of tradition and reception: this Europe did not represent a western corner of a larger Asian landmass but, in the late (...) eighteenth century, rather offered the opportunity for a complex and harmonious unity of European peoples under French circumstances. Volney chose the ruins of the desert town of Palmyra as the starting point of his historical and philosophical reflections. As a cultural philosopher of the late Enlightenment, he looks past the divine workings of the course of history in order to take instead the finite, man-made world as his focal interest. The following pages emphasize these reflections on human history that – in the face of a melancholic mode – highlighted the cultural anthropological characteristics and committed them to the promotion of a self-creating future. (shrink)

In this paper I argue that mere causal contribution to harm is morally significant on two counts: a) innocent aggressors have a duty to bear additional costs to help protect their potential victims, as compared to the duty innocent bystanders are expected to bear, and correspondingly; b) it is permissible to use more force against innocent aggressors, as used in self-defense and defense of others, than innocent bystanders. The paper has two parts. First I aim to demonstrate the intuitive plausibility (...) of this proposal and what I call “the asymmetrical fair share procedure.“ According to this procedure, innocent aggressors have a duty to take on a fair share of the harm if dividing it is possible, and a fair share of the risk of being harmed if redistribution of harm is impossible. In the second part, I develop a contractual account explaining why mere contribution is morally significant. (shrink)

Der Wissenschaftsbegriff kann nicht einseitig auf den Begriff von "science" eingeengt werden. Eine strenge Scheidung in naturwissenschaftliche und geisteswissenschaftliche Methoden ist nicht möglich. Paradigmatisch für die Naturwissenschaften ist die hypothetisch-deduktive für die Geisteswissenschaften die hermeneutische Methode. Praktisch sind beide Methodenschemata immer ineinander verschränkt. Da die hermeneutische Methode auch nicht-wissenschaftlich verwendet wird, ist es notwendig Kriterien ihrer Wissenschaftlichkeit anzugeben. Der Vergleich beider Methoden zeigt, daß beide hypothetisch sind. Konkurrierenden Modellen entsprechen konkurrierende Deutungen. Die naturwissenschaftliche Methode kann im allgemeinen Entscheidungen erzwingen, da (...) sie immer neue Erfahrungen erzeugen kann. Demgegenüber ist das Erfahrungsmaterial in den Geisteswissenschaften vorgegeben und nicht beliebig vermehrbar. Entscheidungen zwischen konkurrierenden Deutungen sind daher nicht erzwingbar. (shrink)

The current debate on shared or collective emotions has seen a rediscovery of Max Scheler. In this debate, Scheler’s work is mostly read independent from its historic context. In particular, the influence of crowd psychology on Scheler’s thought has not been taken into consideration, despite Scheler’s explicit references to Le Bon’s (1895) The Crowd. In this paper, I show that Scheler’s understanding of emotional contagion is deeply indebted to Le Bon’s mass psychology. Against this background, I critically discuss Scheler’s distinction (...) of emotional contagion (Gefühlsansteckung) and feeling-with-one-another (Miteinanderfühlen). This leads to the conclusion that, at least in the formulation provided by Scheler, this distinction hinders rather than enhances research on emotional sharing. (shrink)

By advocating an enlightened method of theorizing committed to thinking in terms of a system of differences, Luhmann has contributed to the development of sociology in a manner that cannot be praised enough. Nonetheless, he does not succeed in giving an account of his own position that satisfies the very logical preconditions that he himself has formulated for it. Instead, his systems theory paradigm of sociology is based on metaphysical premises characteristic of the identity-logical thought of "Old Europe." In fact, (...) the only way to make Luh mann's approach truly comprehensible is to reconstruct it as a new version of Hegel's dialectic. (shrink)