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 article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (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)

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.

In this paper a generalized account of relevance as difference-making is developed. It is argued that relevance should not be considered as a particular relation, but as a (higher-order) property of instances of arbitrary relations: namely the property that variations of the relata of the relation instance make a difference for its truth. This generalized account of relevance can be fruitfully applied in many domains, such as (i) logical reasoning with applications to explanation, confirmation, verisimilitude, is-ought inference, (ii) probabilistic reasoning (...) with applications to explanation and confirmation, (iii) nomological and causal implication, (iv) communication, (v) grounding and (vi) essentiality. In conclusion, difference-making relevance is a highly unifying and fruitful philosophical concept. (shrink)

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)

In this paper, the contributions to the account of meta-induction (Schurz 2019) collected in this volume are critically discussed and thereby, new insights are developed. How broad and expandable the program of meta-induction is can be learned from Ortner’s contribution. New insights about the transition from the a priori justification of meta-induction to the a posteriori justification of object-induction emerge from the reflection of Shogenji’s paper. How meta-induction may be applied also to religious prophecies and that their meta-inductive justification does (...) not fail for a priori reasons but because of missing evidence for predictive success is learned from the discussion of Pitts’ contribution. That meta-induction does not rely on a particular prior distribution, while the no free lunch theorem depends implicitly on a uniform prior, is the major conclusion drawn from the discussion of Wolpert’s article. How the problem of induction is treated in different versions of the Bayesian account is learned from the discussion of Willliamson’s paper. That meta-induction can also be employed for abduction, and that abductive theory-revision can offer meta-inductive aggregation methods is a new insight emerging from the reflection of Aliseda’s contribution. (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)

One persistent puzzle in the life sciences is the asymmetric lipid composition of the cellular plasma membrane: while the exoplasmic leaflet is enriched in lipids carrying predominantly saturated fatty acids, the cytoplasmic leaflet hosts preferentially lipids with (poly‐)unsaturated fatty acids. Given the high energy requirements necessary for cells to maintain this asymmetry, the question naturally arises regarding its inherent benefits. In this paper, we propose asymmetry to represent a potential solution for harmonizing two conflicting requirements for the plasma membrane: first, (...) the need to build a barrier for the uncontrolled influx or efflux of substances; and second, the need to form a fluid and dynamic two‐dimensional substrate for signaling processes. We hence view here the plasma membrane as a composite material, where the exoplasmic leaflet is mainly responsible for the functional integrity of the barrier and the cytoplasmic leaflet for fluidity. We reinforce the validity of the proposed mechanism by presenting quantitative data from the literature, along with multiple examples that bolster our model. (shrink)

Section 10.1 introduces generalized evolution (GE) theory. Here, the three core principles of the theory of evolution − reproduction, variation and selection − are detached from their biological basis, abstracted and extended to other domains, in particular to the domain of cultural evolution (CE). Section 10.2 investigates the ontological foundations of GE and CE theory. They consist in entities and structures that must be realized to get the three modules of evolution running. These entities include self-reproducing systems with variation, and (...) populations of such systems in environments with limited resources. A difference between the reproductive units of BE (biological evolution) and CE consists in the fact that genes act as constructors of evolutionary systems, while memes play the role of modifiers. Section 10.3 is devoted to the abductive justification of GE and CE theory that proceeds in three steps: First, CE theory is justified; second, based on the first step GE theory is abductively justified as the common core of BE and CE; and thirdly, the fruitfulness of GE theory is demonstrated by its applicability to further domains. (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)

Ever since Aristotle's famous argument about the sea-battle tomorrow, there has been intensive and controversial discussion among philosophers whether the truth of statements about the future leads to determinism. Ther e is controversy about Aristotle's own solution to the problem, as well as the views of classical and medieval commentators on Aristotle. Seel's book attempts to answer this question for the Neoplatonist Ammonius (5th-6th century AD). In so doing, he also opens up new insights into Neoplatonic thought.

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.

It is shown that the criteria of T-theoreticity proposed by Balzer and Gähde lead to strongly counterintuitive and in this sense paradoxical results: most of the obviously empirical or at least nontheoretical terms come out as theoretical. This is demonstrated for a lot of theories in different areas. On the way, some improved and some new structuralist theory-reconstructions are given. The conclusion is drawn that the T-theoreticity of a term cannot possibly be proved on the basis of the mathematical structure (...) of theory T alone (as Gähde and Balzer suggest). Rather, an independent notion of pre-T-theoreticity and-more importantly-of empiricity is needed; i.e., not empirical and not pre-T-theoretical are independent, necessary but not sufficient conditions for T-theoretical (this is also a necessary complement of Sneed's original criterion). Finally it is asked whether the structuralist criterion of T-theoreticity complemented by such independent conditions would be a satisfactory answer to Putnam's challenge, and the answer again is negative: the criterion is not able to distinguish between empirically contentful and completely contentless (superfluous) theoretical terms. (shrink)

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)

Together with its introduction, Language, Mind and Epistemology examines Davidson's unified stance towards philosophy by joining American and European authors ...

Since more than 50 years Kant scholars debate the question whether the Law of Right as introduced in the Metaphysics of Morals by Kant can be justified by the Categorical Imperative. On the one hand we have those who think that Kant's theory of right depends from the Categorical Imperative, on the other hand we find a growing group of scholars who deny this. However, the debate has been flawed by confusion and misunderstanding of the crucial terms and principles. Therefore, (...) my first task will be to clarify these terms and principles by introducing distinctions that have been neglected too often. After this I try to show a) that the Law of Right can in fact be justified by using the testing method the Categorical Imperative prescribes and b) that there is no other way to justify it. Doing this I criticize in detail the new arguments adherents of the independence thesis have recently put forward. (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)