This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

This Ph.D. thesis provides a pilosophical account of the structure of the evolutionary synthesis of the 1930s and 40s. The first, more historical part analyses how classical genetics came to be integrated into evolutionary thinking, highlighting in particular the importance of chromosomal mapping of Drosophila strains collected in the wild by Dobzansky, but also the work of Goldschmidt, Sumners, Timofeeff-Ressovsky and others. The second, more philosophical part attempts to answer the question wherein the unity of the synthesis consisted. I argue (...) that it exemplifies a weak of form of explanatory unification. (shrink)

This article from the biggest German encyclopædia of philosophy in recent years gives a survey on "philosophy of science" as a whole. It comprises of the history of the discipline, the major branches and schools, and research topics. It slightly emphasises on analytical philosophy of science in the tradition of the Vienna Circle and on contemporary German research in this field. Not included is a sub-section on the "philosophy of social-science" by an other author.

Vier Entwicklungtendenzen des Verhältnisses von Natur und Technik betreffen industrielle Gesellschafen als Ganzes: 1. der zunehmende Naturferne Technik, 2. zunehmende Naturnähe der Technik, 3. vermehrte Hybridzustände von Natur und Technik und 4. zunehmende Eindringtiefe der Technik in die Natur. Vor dem Hintergrund dieser teils gegenläufigen Tendenzen kann von Grenzen der Technisierung in industriellen Gesellschaften nicht im Allgemeinen, sondern nur in Bezug auf besondere Kontexte gesprochen werden. Zu ihnen gehört die Lebenswelt als ein nichtprofessioneller der und privater Erfahrungsbereich, es immer noch (...) erlaubt, kulturwirksam zwischen Natur und Technik zu unterscheiden. Zwei Beispiele werden diskutier: Die Wahrnehmung des Leibes, der sich als das lebensweltliche Zentrum das Natur erweist, sensibel auf Technisierungen reagiert, und der die Grenzen der Technisierung Reproduktion. Abschließend werden Gründe dafür angeführt, warum die Lebenswelt gegenüber Technisierungen, deren bevorzugtes Objekt sie ist, bisher in erstaunlicher Distanz geblieben ist. (shrink)

The cosmological relevance of emptiness—that is, space without bodies—is not yet sufficiently appreciated in natural philosophy. This paper addresses two aspects of cosmic emptiness from the perspective of natural philosophy: the distances to the stars in the closer cosmic environment and the expansion of space as a result of the accelerated expansion of the universe. Both aspects will be discussed from both a historical and a systematic perspective. Emptiness can be interpreted as “coming” in a two-fold sense: whereas in the (...) past, knowledge of emptiness, as it were, came to human beings, in the future, it is coming, insofar as its relevance in the cosmos will increase. The longer and more closely emptiness was studied since the beginning of modernity, the larger became the spaces over which it was found to extend. From a systematic perspective, I will show with regard to the closer cosmic environment that the Earth may be separated from the perhaps habitable planets of other stars by an emptiness that is inimical to life and cannot be traversed by humans. This assumption is a result of the discussion of the constraints and possibilities of interstellar space travel as defined by the known natural laws and technical means. With the accelerated expansion of the universe, the distances to other galaxies (outside of the so-called Local Group) are increasing. According to the current standard model of cosmology and assuming that the acceleration will remain constant, in the distant future, this expansion will lead first to a substantial change in the epistemic conditions of cosmological knowledge and finally to the completion of the cosmic emptiness and of its relevance, respectively. Imagining the postulated completely empty last state leads human thought to the very limits of what is conceivable. (shrink)

Representing and Reconstructing: A Hermeneutical Reply to Ian Hacking. Hacking published in 1983 Representing and Intervening which has provoked, particularly in the US, the so called realism/anti-realism debate which is still alive today. He lays claim to anti-realism for theory and to realism for the experiment. Following him, only that which can be used for manipulating something is realistic. H. Putnam is a severe critic of this dualism. In my paper I am going to take the Hacking -Putnam controversy as (...) a starting-point for the problem about the determination of the relation between theory and experiment in the natural sciences. I shall then follow M. Schlick's discussion of this problem and the current solution to the problem as offered by H. Pietschmann. The differing interpretation of Kant according to the three perspectives shall be the guideline for the argumentation. The goal of my argumentation is that theory and experiment do not live their own lives, that in experimenting one always continues traditional chains of action, and that natural science cannot be regarded independently of the life world it takes place in. This insight into the representing and reconstructing overturns in natural science, due to the necessity of human decisions, opens up their hermeneutical dimension. (shrink)

Поняття «філософія науки» незаперечно увійшло до сучасного філософського дискурсу. У філо- софському та науковому середовищах є різні тлумачення філософії науки. Власне науку тради- ційно вважають суспільною інституцією, створеною з метою здобуття та застосування знань про природні та штучні реалії. Водночас введення поняття «філософія науки» було б три віальним, якби його обсяг зводився до перетину обсягів понять «наука» і «філософія». Пе ре- хід від тлумачення науки загалом до її розуміння як сукупності конкретних наук з особ ливими предметними галузями викликає виокремлення із (...) загальної філософії науки групоцентрованих філософій наук на кшталт філософії біології, філософії психології, філософії технічних наук, філософії медицини, філософії соціальних наук, філософії інформаційних наук, філософії фізи- ки, філософії математики, філософії філософії тощо. У статті виокремлено різновиди сучас- ної філософії математичних та природничих наук. Специфічні ознаки цих наук аналізовано за допомоги графових класифікацій відповідних філософій. Підкреслено важливість для всіх різ- новидів філософії науки використовуваних ними реконструкцій практичних теорій. У першій частині окреслено мету статті й розглянуто предметні та теоретичні класифікації філосо- фій науки, у другій — оцінні, називні, теоретико-реконструктивні та мовно-реконструктив ні, а також зроблено висновки щодо доцільності застосування цих класифікацій до філософій суспільних та гуманітарних наук. В підсумку автори висновують, що, незважаючи на попу- лярність у філософсько-науковому середовищі різкого протиставлення класичної та некласич- ної фізики, для цього немає ґрунтовних об’єктивних підстав. (shrink)

In this autobiographical sketch, which is followed by a bibliography of my writings, I try to relate my intellectual development to problems, ideas and results in proof-theoretic semantics on which I have worked and to which I have contributed.

Grünbaum's three chief fields of research were space-time philosophy, the methodological credentials of psychoanalysis, and reasons given in favor of the existence of God. Grünbaum defended the so-called conventionality thesis of physical geometry. He partially followed Hans Reichenbach in this respect but developed a new ontological argument for the conventionality claim in addition. In addressing the physical basis of the direction of time, Grünbaum advocated that there is a physical basis for the distinction between the past and the future, but (...) no such basis for the idea of a ‘present’ moving through time. His main claim in scrutinizing Freud’s theory methodologically was that supporting the causal claims Freud made would have required data that go beyond the clinical setting. Finally, Grünbaum worked on the philosophy of religion and set out to undermine arguments for the existence of God. (shrink)

Both logic and philosophy of science investigate formal aspects of scientific discourse, i.e. properties of (non-monotonic) consequence operations for discursive logic. In the present paper we handle two of them: paraconsistency and enthymematycity.

On the productive-operative approach to the foundations of geometry in protophysics. Attempts to establish a foundation to elementary geometry as a theory of spatial figures in Protophysics are surveyed in Section 1. An idea suggested by H. Dingler was to extract the basic properties of the geometrical primitive notions from descriptions of the operations performed in the ‘first’ production of the corresponding objects. P. Janich presents this ‘productive-operative’ approach as a succesful methodical alternative to the ‘geometry of forms’ of R. (...) Inhetveen and P. Lorenzen (Section 2). However, in his work not even one fundamental task seems to be achieved in a satisfactory manner. The article evaluates Janich’s contributions (Section 3) and discusses the shortcomings of his approach (Section 4). In this process a ‘functional-operative’ alternative emerges (Section 5). (shrink)