Dieser Titel aus dem De Gruyter-Verlagsarchiv ist digitalisiert worden, um ihn der wissenschaftlichen Forschung zugänglich zu machen. Da der Titel erstmals im Nationalsozialismus publiziert wurde, ist er in besonderem Maße in seinem historischen Kontext zu betrachten. Mehr erfahren Sie.

Es gibt ein Ziel, auf das alle philosophische Einzelforschungen hinarbeiten und zu dessen Erreichung sie zusammenwirken: das Ziel, die Welt zu verstehen. (Edith Stein) Edith Stein ist eine Philosophin, die auf Grund der Weite des Horizonts, in dem sie denkt, in kein Raster passt. Die Beitrage dieses Bandes, die auf eine Tagung anlasslich der Prasentation des Edith Stein-Lexikons an der FernUniversitat in Hagen im November 2017 zuruckgehen, machen das systematische und ideengeschichtliche Profil in Steins Denken transparent. Die versammelten namhaften Stein-Forscherinnen (...) und -forscher aus verschiedenen europaischen Landern zeigen die immer wieder uberraschende Aktualitat von Steins phanomenologischem Ansatz, der bis in Grundfragen der Anthropologie und Bioethik auch heute fruchtbar gemacht werden kann. "Verschiedene Grundbegriffe und -phanomene Edith Steins werden im Rahmen des vorliegenden Tagungsbandes vorgestellt und diskutiert. Dabei entsteht eine Synopse ihres Denkens und zugleich wird dessen Kern immer genauer sichtbar. Es gibt Beitrage zur Phanomenologie, zur Anthropologie, zur Religionsphilosophie und zur Frage, wie wir heute Stein lesen konnen." (Aus dem Vorwort) Mit Beitragen von Beate Beckmann-Zoller, Angela Ales Bello, Christof Betschart, Tonke Dennebaum, Hanna-Barbara Gerl-Falkovitz, Martin Hahnel, Marcus Knaup, Ugo Perone, Harald Seubert, Claudia Mariele Wulf. (shrink)

Im Anschluss an die Edith Stein-Gesamtausgabe (ESGA) erschliesst das Edith Stein-Lexikon das denkerische Erbe, die philosophiegeschichtliche wie phanomenologische Bedeutung Edith Steins (1891-1942) weiter und macht es im problemgeschichtlichen und systematischen Sinn sichtbar. Die von uber 40 Stein-Forschern aus verschiedenen Landern und Generationen verfassten uber 250 Artikel informieren uber Bedeutung und Genese der fur Edith Stein zentralen Begriffe und Termini. Das Lexikon wendet sich an alle am Denken Edith Steins Interessierte, an Dozierende, Studierende und an alle neugierigen Leser, die ermutigt und (...) angeregt werden, sich den Originaltexten Edith Steins zum ersten Mal zuzuwenden. (shrink)

„On 23rd February 2022, when the editors had worked out topical issues of dispute relating to politics, ethics, technology and religion for a Hans Jonas Centre conference on responsibility for the future and discourse ethics, it was suddenly foreseeable that Russia would invade the core area of Ukraine the next night. We immediately informed our Ukrainian colleagues that we would allow them asylum, if desired, and invite them to the conference in Bad Kissingen as keynote speakers. In no time at (...) all, the new programme for the confer-ence was ready: After commemorating Hans Jonas' honorary doctorate in Berlin under the motto ‘Fatalism would be a mortal sin’ exactly 30 years ago, we now focus on ‘Discourse despite war’. After that, we discuss digitalisation as well as theology, philosophy and commitment". With contributions by Prof. Dr. Claus Altmayer; Harald Asel, M.A.; Dorothee Bär, MdB; Dr. Thomas Bausch; Prof. Dr. Dietrich Böhler; Prof. Dr. Michael Bongardt; Wolfgang Freese; Bernadette Herrmann, M.A.; Sebastian Höpfl; Bischof em. Prof. Dr. Dr. h.c. mult. Wolfgang Huber; Dr. Grigori Katsakoulis; Pfarrer Wolfgang Klein; Wolfgang Korb; Dr. Lena Kornyeyeva; Prof. Dr. Dr. h.c. Klaus Leisinger; Prof. Dr. Dr. h.c. Hans Lenk; Prof. Dr. Ulf Liedke; Prof. Dr. Alfons Matheis; Dr. Olaf Meyer; Dr. Jürgen Naeher-Zeiffer; Stephanie von Dallwitz; Dr. Marianne Rabe; Dr. Manuela Rottmann, MdB; PD Dr. Dr. Thomas Rusche; Prof. Dr. Johann Michael Schmidt; Dr. Eva-Maria Schwickert; Maritta Strasser, M.A.; OB Dr. Dirk Vogel and Prof. Dr. Anatoliy Yermolenko. (shrink)

I bogen "Den store humor" undersøger Harald Høffding humoren som livsanskuelse. "Den store humor" er ifølge Høffding en etisk livsholdning, som et menneske kan leve sit liv efter. Inspireret af filosoffen Søren Kierkegaards stadieteori karakteriserer Harald Høffding humoren som et etisk standpunkt, der nægter at anerkende den kristnes tragiske syn på livet. I stedet formår humoristen, at balancere livets lyse og skyggefulde sider. Humoristen lever sit liv med åbne øjne og har derfor blik for såvel verdens komik som (...) tragik. Harald Høffding (1843-1931) var teolog og filosof og virkede gennem 30 år som professor ved Københavns Universitet. I løbet af sin karriere opnåede han en central position i det danske videns- og kulturliv og nød stor anerkendelse både i og udenfor Danmark. Høffding var yderst virksom hele sit liv, og tankegodset i hans bøger er stadig relevant i dag. Udover værkerne om etik, filosofihistorie og psykologi kendes han for monografier om Søren Kierkegaard, Jean-Jacques Rousseau og Baruch Spinoza. (shrink)

Wilfred Sieg. Mechanical Procedures and Mathematical Experience.

Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)

Wilfred Sieg. Relative Consistency and Accesible Domains.

Wilfried Sieg. Calculations by Man and Machine: Mathematical Presentation.

1,857 adults rated the grandparental solicitude they received in childhood. Through a simple model based on the evolutionary concepts of ontogenetically differentiated reproductive strategy and paternity confidence, an ordered discriminative pattern of grandparental caregiving was predicted and confirmed by solid main effects, based on 603 complete cases. The maternal grandmother was the most caring. Unlike prevalent gender stereotypes, she was followed by the maternal grandfather, the paternal grandmother, and the paternal grandfather. The preferential grandparental solicitude was not influenced by residential (...) distance, grandparent age, and availability of other grandparents. A predicted higher correlation for male than for female progenitors between solicitude and phenotypic resemblance could be confirmed. (shrink)

L. M. de Rijk supposed in 1982 that two anonymous logical tracts in the Viennese Codex 4698, fol. 18r–27v, may be the work of Martinus Anglicus to whom a tract on consequences and one on obligations are ascribed in that codex. The tract on supposition of which the Viennese codex hands down only a fragment of the beginning is contained completely in Hs I 613 of the Stadtbibliothek Mainz, fol. 20vb–21vb. This finding ensures the authorship of Martinus Anglicus and allows (...) to ascribe an Introduction into Logic in some seven parts to him. Martin’s tract on supposition and the more detailed one by Thomas Manlevelt show some resemblances in structure and content, the first being presumably the later one. This paper presents an edition of Martin’s Tractatus de suppositione from the Mainz manuscript and an introduction regarding the author and his work. (shrink)

Withholding or withdrawing life-saving ventilators can become necessary when resources are insufficient. In the USA, such rationing has unique social justice dimensions. Structural elements of dominant allocation frameworks simultaneously advantage white communities, and disadvantage Black communities—who already experience a disproportionate burden of COVID-19-related job losses, hospitalisations and mortality. Using the example of New Jersey’s Crisis Standard of Care policy, we describe how dominant rationing guidance compounds for many Black patients prior unfair structural disadvantage, chiefly due to the way creatinine and (...) life expectancy are typically considered.We outline six possible policy options towards a more just approach: improving diversity in decision processes, adjusting creatinine scores, replacing creatinine, dropping creatinine, finding alternative measures, adding equity weights and rejecting the dominant model altogether. We also contrast these options with making no changes, which is not a neutral default, but in separate need of justification, despite a prominent claim that it is simply based on ‘objective medical knowledge’. In the regrettable absence of fair federal guidance, hospital and state-level policymakers should reflect on which of these, or further options, seem feasible and justifiable.Irrespective of which approach is taken, all guidance should be supplemented with a monitoring and reporting requirement on possible disparate impacts. The hope that we will be able to continue to avoid rationing ventilators must not stand in the way of revising guidance in a way that better promotes health equity and racial justice, both to be prepared, and given the significant expressive value of ventilator guidance. (shrink)

Mindfulness is phenomenology and good phenomenology is a kind of methodological mindfulness. Mindfulness is not a Buddhist concept, but a human universal psychological resource. The target article ….

Following much work in linguistic theory, it is hypothesized that the language faculty has a modular structure and consists of two basic components, a lexicon of (structured) entries and a computational system of combinatorial operations to form larger linguistic expressions from lexical entries. This target article provides evidence for the dual nature of the language faculty by describing recent results of a multidisciplinary investigation of German inflection. We have examined: (1) its linguistic representation, focussing on noun plurals and verb inflection (...) (participles), (2) processes involved in the way adults produce and comprehend inflected words, (3) brain potentials generated during the processing of inflected words, and (4) the way children acquire and use inflection. It will be shown that the evidence from all these sources converges and supports the distinction between lexical entries and combinatorial operations. (shrink)

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.

Wilfred Sieg and Mark Ravaglia. David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.

Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that (...) non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind. (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

Wilfred Sieg and Rosella Lupiccini. Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.

Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.

Herbrand's Theorem, in the form of $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\exists } $$ -inversion lemmata for finitary and infinitary sequent calculi, is the crucial tool for the determination of the provably total function(al)s of a variety of theories. The theories are (second order extensions of) fragments of classical arithmetic; the classes of provably total functions include the elements of the Polynomial Hierarchy, the Grzegorczyk Hierarchy, and the extended Grzegorczyk Hierarchy $\mathfrak{E}^\alpha $ , α < ε0. A subsidiary aim of the paper is to show (...) that the proof theoretic methods used here are distinguished by technical elegance, conceptual clarity, and wide-ranging applicability. (shrink)

Der vorliegende Band enthält eine Sammlung von Beiträgen zum Problem der Wechselwirkung zwischen Geist und Materie, einem der zentralen Probleme europäischer Geistesgeschichte. Die Blickwinkel, die dabei eingenommen werden, sind vorrangig die der Physik und der Psychologie. Die Wechselwirkung dieser Gebiete wird so deutlich wie nie zuvor im Dialog zwischen zwei Forscherpersön lichkeiten dieses Jahrhunderts sichtbar: dem Physiker Wolfgang Pauli (1900- 1958) und dem Psychologen Carl Gustav Jung (1875-1961). In zahlreichen Brie fen und Manuskripten Paulis, die erst in den letzten Jahren (...) allgemein zugänglich wurden, finden sich bemerkenswerte und wichtige Beiträge zu diesem Dialog, die das Verständnis des Zusammenhanges von Geist und Materie in einem neuen Licht erscheinen lassen. Um den durch Pauli und Jung begonnenen Dialog fortzusetzen und weiter fruchtbar zu machen, ist das interdisziplinäre Gespräch zwischen Physikern und Psychologen nötig. Diesem Zweck diente eine von der Eidgenössischen Techni sehen Hochschule Zürich (der Hochschule, an der Pauli tätig war) und dem C.G.Jung-Institut Zürich (das Jung gegründet hat) gemeinsam veranstaltete Tagung im Centro Stefano Franscini (Monte Verita, Ascona) vom 13. bis 18. Juni 1993. Sie stand unter dem Thema Das Irrationale in den Naturwissenschaften: Wolf gang Paulis Begegnung mit dem Geist der Materie und wurde von Pier Luigi Luisi initiiert und organisiert. Als Berater fungierten Paul Brutsehe, Hans Primas und Eva Wertenschlag-Birkhäuser. Berichte und Kommentare zu dieser Tagung wurden in Heft 4/1993 der Zeitschrift Gaia veröffentlicht. (shrink)

Wilfred Sieg. Effectiveness and Provability.

Harald Thorsrud - Cicero on his Academic Predecessors: the Fallibilism of Arcesilaus and Carneades - Journal of the History of Philosophy 40:1 Journal of the History of Philosophy 40.1 1-18 Cicero on his Academic Predecessors: the Fallibilism of Arcesilaus and Carneades Harald Thorsrud IN AN IMPORTANT PAPER, Couissin argued for what has come to be called the dialectical interpretation of Academic skepticism. On this interpretation, Arcesilaus and Carneades practiced the same, purely dialectical method -- they would elicit assent (...) to premises characteristic of their interlocutor's position and then derive unacceptable consequences exclusively on the basis of those premises. This method allowed them to remain uncommitted to the premises as well as the conclusions of their arguments. They would simply draw logical consequences from their opponents' own premises for the sake of refutation. This is in keeping with the current consensus that an ancient skeptic is one who has no beliefs, or at least no beliefs of a problematically dogmatic sort. Consequently, the methods of ancient skeptics, including Academic skeptics, are thought to be strictly negative, seeking only the elimination of belief. So when we come to Cicero's Philonian version of Academic methodology and find that it explicitly includes provisions for the acquisition of fallible beliefs, it is no surprise that commentators who are sympathetic to the dialectical interpretation tend to view.. (shrink)

This essay argues that Oscar Wilde noticeably contributed to the emerging discourse about world literature, even though his views in this regard have to be unearthed from the margins of his works, from his early and unpublished American lectures and ‘between the lines’ of his major critical essays. Wilde’s implicit ideas around world literature can be understood as being closely related to his broader endeavour of redirecting and revaluing the pejorative discourse around ‘decadence’ in art and literature. More specifically, the (...) arch-aesthete preferred to use the word ‘romance’ rather than ‘decadence’ (a term he hardly used at all in his writings), signalling a sensitivity attuned to what he called the ‘love of things impossible’. This reconceptualization of the decadent outlook was to inspire a critical ideal of literature which relied on creatively activating the other as Other, culminating in a vision of intersubjective, transcultural and unlimited literary communication. Wilde’s thought can be more specifically understood as anticipating central tenets of Gayatri Chakravorty Spivak’s evocations of the planetary, thus preparing the way for an alterity-oriented understanding of literary cosmopolitanism. (shrink)

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

Der Begriff der Natur gehort zu den grundlegenden Kategorien des abendlandischen Weltverstandnisses. Das Wort, das ihn bezeichnet, Natur, ist ein unubersetzbares Fremdwort von paneuropaischem Gebrauchsumfang. Seine lateinische Form ist jedoch selbst eine Lehnubersetzung des griechischen physis. Die Griechen waren also die Schopfer des Wortes und damit der Idee, daa die uns umgebende Welt Natur ist. Ziel dieser Untersuchung ist es, diesen ersten Schopferakt sprachlich-semantisch zu verstehen als unentbehrliche Voraussetzung einer eigentlichen Begriffsgeschichte. (Franz Steiner 1993).

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)