Scheint die Sache aussichtslos, wird das "Prinzip Hoffnung" beschworen. Dessen Urheber, Ernst Bloch, war allerdings nicht ins Scheitern, sondern ins "Gelingen verliebt" Für die Philosophie der "konkreten Utopie", die sich strikt vom utopischen Denken im Sinne eines "wishful thinking" abgrenzt, ist die gesellschaftliche Praxis Orientierungspunkt. Die Trias "Solidarität, Allianztechnik, Heimat" markiert ein Ultimum, das latent im Weltprozess vorscheint, aber der Realisierung durch das menschliche Subjekt immer noch bedarf. Ein entsprechendes philosophisches Begriffsinstrumentarium, dem der Gedanke vom "Prius der Theorie, Primat (...) der Praxis" zugrunde liegt, hat Bloch systematisch in seiner Kategorienlehre entwickelt. Gegenstand ist das universelle menschliche Sein als "Noch-Nicht-Sein". Akzentuiert wird die auf dem Prozesscharakter der Materie beruhende Möglichkeit der Veränderung. Dabei umfasst das Denken nicht nur Gesellschaft, Kunst und Religion, sondern auch die Natur - ein Gebiet, das zunehmend zu philosophischer Insichtnahme auffordert. Die wichtigsten Leitbegriffe der Bloch'schen Philosophie werden im Wörterbuch erläutert. (shrink)

The paper introduces a new type of rules into Natural Deduction, elimination rules by composition. Elimination rules by composition replace usual elimination rules in the style of disjunction elimination and give a more direct treatment of additive disjunction, multiplicative conjunction, existence quantifier and possibility modality. Elimination rules by composition have an enormous impact on proof-structures of deductions: they do not produce segments, deduction trees remain binary branching, there is no vacuous discharge, there is only few need of permutations. This new (...) type of rules fits especially to substructural issues, so it is shown for Lambek Calculus, i.e. intuitionistic non-commutative linear logic and to its extensions by structural rules like permutation, weakening and contraction. Natural deduction formulated with elimination rules by composition from a complexity perspective is superior to other calculi. (shrink)

The article presents a full proof‐theoretic semantics for natural deduction based on an extended inversion principle: the elimination rule for an operator q may invert the introduction rule for q, but also vice versa, the introduction rule for a connective q may invert the elimination rule for q. Such an inversion—extending Prawitz' concept of inversion—gives the following theorem: Inversion for two rules of operator q (intro rule, elim rule) exists iff a reduction of a maximum formula for q exists. The (...) inversion theorem is specified to two logics, Lambek calculus (LC) and intuitionistic linear logic (ILL), with four propositional connectives: two multiplicatives (implication and conjunction) and two additives (conjunction and disjunction), with two quantifiers and two modals. LC is defined by using elimination rules by composition. ILL is defined by using usual general elimination rules. Elimination rules by composition are an exciting alternative to general elimination rules; in some cases, they do not need permutations. (shrink)

Ernst Blochs frühes Hauptwerk ist dem schwierigen Verhältnis von offener materialistischer Philosophie und geschlossenem Systemansatz gewidmet und ringt dabei mit der idealistischen Metaphysik ebenso wie mit der Existenzphilosophie. Der vorliegende Band erschließt Das Prinzip Hoffnung auf dem neuesten Stand der Debatte und macht seine ungebrochene Aktualität für ein breites akademisches Publikum zugänglich.

A formulation of Full Lambek Calculus in the framework of natural deduction is given.

We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke''s semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making use (...) of predicate logical principles, which are only classically acceptable. (shrink)

The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, no general frames are (...) involved. (shrink)

Die Ergebnisse der Arbeitsgruppe zu Problemen der philosophischen Grundlegung im Nachgang zu den Ansätzen von Schelling und Bloch, vor allem in den Jahren 2012 bis 2014 bei mehreren Zusammentreffen erarbeitet, ursprünglich ausgehend von der Positiven Philosophie Schellings, haben zwar zu einigen neuen Erkenntnissen beigetragen und in der Hauptsache auch eine zunehmende Konvergenz zwischen den Ansätzen Schellings und Blochs genauer belegt, zugleich aber neue Fragen aufgeworfen und deutlich werden lassen, dass der Begriff einer Grundlegung noch weit von der endgültigen Aufklärung entfernt (...) ist. Im hier vorliegenden Sammelband ist eine neuerliche Anstrengung unternommen worden, sich nicht nur auf diese Grundkonstellation zurückzubesinnen, sondern auch unmittelbare Bezüge herzustellen zwischen der Philosophie einerseits und den Wissenschaften und Künsten andererseits. (shrink)

The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.

Der vorliegende Sammelband möchte dazu beitragen, eine schon zu lang bestehende Lücke der Kant-Forschung weiter auszufüllen und die seit einigen Jahren zunehmend intensiver geführte Debatte über Kants Lehre von den „Kategorien der Freiheit“ weiter voranzutreiben. Dazu versammelt er Stimmen von ausgewiesenen Kennern des Themas und der Kant’schen Moralphilosophie, die sich dem Problemfeld mit verschiedenen Schwerpunktsetzungen sowohl historisch als auch systematisch widmen. Das einende Ziel der insgesamt zwölf Beiträge ist es, die „Kategorien der Freiheit“ und vor allem ihre architektonische Anordnung in (...) einer Vollständigkeit beanspruchenden Tafel von dem leise schwelenden Verdacht zu befreien, es könnte sich dabei lediglich um das Zeugnis eines sturen Systemdenkens handeln. Die hier zusammengestellten Texte nehmen Kant demgegenüber ernst und beim Wort. (shrink)

The German theologian and philosopher, Friedrich Daniel Ernst Schleiermacher, is important in hermeneutic history for at least two reasons. First, he initiated the transition of hermeneutics from rule‐governed interpretation in particular disciplines‐such as theology, law, and philology‐to a comprehensive analysis of human understanding as such. Second, he is not only the father of general hermeneutics, but also of modern theology. In developing his hermeneutic principles, Schleiermacher steers a middle path between the rationalist Enlightenment interpreters, and the historical‐critical philologists. The (...) third extreme he eschews is dogmatic biblical exegesis that, when it emphasizes the text's divine inspiration, results in disregard for historical particularity. Schleiermacher's hermeneutics tries to integrate the pre‐given ontological structures of language that shape an author's mind with the spiritual element. Every linguistic expression contains both the objective structural and subjective psychological aspects, which require the interpreter's corresponding grammatical (or comparative) and divinatory (or psychological) skills for determining meaning. (shrink)

The concept of hope is central to the work of the German philosopher Ernst Bloch, especially in his magnum opus, _The Principle of Hope_. The "speculative materialism" that he first developed in the 1930s asserts a commitment to humanity's potential that continued through his later work. In _The Privatization of Hope_, leading thinkers in utopian studies explore the insights that Bloch's ideas provide in understanding the present. Mired in the excesses and disaffections of contemporary capitalist society, hope in the (...) Blochian sense has become atomized, desocialized, and privatized. From myriad perspectives, the contributors clearly delineate the renewed value of Bloch's theories in this age of hopelessness. Bringing Bloch's "ontology of Not Yet Being" into conversation with twenty-first-century concerns, this collection is intended to help revive and revitalize philosophy's commitment to the generative force of hope. _Contributors_. Roland Boer, Frances Daly, Henk de Berg, Vincent Geoghegan, Wayne Hudson, Ruth Levitas, David Miller, Catherine Moir, Caitríona Ní Dhúill, Welf Schröter, Johan Siebers, Peter Thompson, Francesca Vidal, Rainer Ernst Zimmermann, Slavoj Žižek. (shrink)

This collection of revised and new essays argues that biology is an autonomous science rather than a branch of the physical sciences. Ernst Mayr, widely considered the most eminent evolutionary biologist of the 20th century, offers insights on the history of evolutionary thought, critiques the conditions of philosophy to the science of biology, and comments on several of the major developments in evolutionary theory. Notably, Mayr explains that Darwin's theory of evolution is actually five separate theories, each with its (...) own history, trajectory and impact. Ernst Mayr, commonly referred to as the "Darwin of the 20th century" and listed as one of the top 100 scientists of all-time, is Professor Emeritus at Harvard University. What Makes Biology Unique is the 25th book he has written during his long and prolific career. His recent books include This is Biology: The Science of the Living World (Belknap Press, 1997) and What Evolution Is (Basic Books, 2002). (shrink)

Die MISCELLANEA MEDIAEVALIA präsentieren seit ihrer Gründung durch Paul Wilpert im Jahre 1962 Arbeiten des Thomas-Instituts der Universität zu Köln. Das Kernstück der Publikationsreihe bilden die Akten der im zweijährigen Rhythmus stattfindenden Kölner Mediaevistentagungen, die vor über 50 Jahren von Josef Koch, dem Gründungsdirektor des Instituts, ins Leben gerufen wurden. Der interdisziplinäre Charakter dieser Kongresse prägt auch die Tagungsakten: Die MISCELLANEA MEDIAEVALIA versammeln Beiträge aus allen mediävistischen Disziplinen - die mittelalterliche Geschichte, die Philosophie, die Theologie sowie die Kunst- und Literaturwissenschaften (...) sind Teile einer Gesamtbetrachtung des Mittelalters. (shrink)

Provides a philosophical analysis of such biological concepts as natural selection, adaptation, speciation, and evolution.

The authors of this volume discuss the relevance and influence of various Old and New Testament documents, and early Christian and Jewish texts in terms of their impact in shaping the moral character, identity, and behaviour of the specific communities in which they were produced as well as their ethical application throughout the centuries. Against a narrow understanding of ethics, the term "application" is not used to analyse the texts of the Bible as step-by-step manuals for moral conduct. Rather, the (...) contributors engage with biblical texts within the framework of a complex hermeneutical process of application of the relevance of these texts in contemporary ethical discourse. Contributors: Paul N. Anderson, Robert L. Brawley, Cilliers Breytenbach, Ulrich Busse, R. Alan Culpepper, Jan Willem van Henten, Rainer Hirsch-Luipold, Stephan Joubert, Craig R. Koester, Bart J. Koet, Michael Labahn, Tobias Nicklas, Bert Jan Lietaert Peerbolte, Udo Schnelle, Michael Theobald, D. Francois Tolmie, Joseph Verheyden, Ben Witherington, III, Ellen van Wolde, Michael Wolter, Mirjam Zimmermann, Ruben Zimmermann. (shrink)

Dance provides natural conditions for studying relationships between coordination patterns and human experience. von Zimmermann and colleagues investigate whether relatively simple or more complex forms of movement coordination are related to pro‐social experiences during group dance. They find that pro‐social experience depends on the degree to which movement patterns are distributed and diversified, but not the degree to which movement patterns are simply unitary.

Bloch's The Spirit of Utopia, here presented for the first time in English translation, is one of the great historic books from the beginning of the twentieth-century. A peculiar amalgam of biblical, Marxist, and Expressionist turns, drawing on both Hegel and Schopenhauer for the groundwork of its metaphysics of music, but consistently interpreting the cultural legacy in the light of a certain Marxism, The Spirit of Utopia is a unique attempt to rethink the history of Western civilizations as a process (...) of revolutionary disruptions and to reread the artworks, religions, and philosophies of this tradition as incentives to continue disrupting. The first part concerns a mode of 'self-encounter' which presents itself in the history of music from Mozart through Mahler as an encounter with the problem of a community to come. The second part is entitled 'Karl Marx, Death and the Apocalypse'. (shrink)

This thought-provoking classic investigates how the Renaissance spirit fundamentally questioned and undermined medieval thought. Of value to students of literature, political theory, history of religious and Reformation thought, and the history of science.