In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Fred Dallmayr is Packey Dee Professor of Government at the University of Notre Dame.Contributors: Robert Alexy. Karl-Otto Apel. Seyla Benhabib. Dietrich Bohler. Jurgen Habermas. Otfried Hoffe. KarlHeinz Ilting. Hermann Lubbe.

Bd. 1. 1791-1794.--Bd. 2. 1793-1795.--Bd. 3.--1794-1796.--Bd. 4. 1797-1798.--Bd. 5. 1798-1799.--Bd. 6. 1799-1800.--Bd. 7. 1800-1801.--Bd. 8. 1801-1806.--Bd. 9. 1806-1807.--Bd. 10. 1808-1812.

This book is a protest against some geopolitical agendas that are pushing the world toward a major global war and possibly toward a nuclear apocalypse. As an antidote, Fred Dallmayr issues a call to people everywhere to oppose this rush to destruction and to restore the "wholeness of humanity" through the quest for just peace.

Modem theory of law in a certain extent needs theological foundation. The dialogue of both law and theology, however, requires specific presuppositions in theological understanding. Paul Tillich's Systematic Theology in its peculiar character of combining theological »paradoxon« and openess for cultural recognition meets these demands.

In an age marked by global hegemony and festering civilization clashes, Fred Dallmayr's Achieving Our World charts a path toward a cosmopolitan democracy respectful of local differences. Dallmayr draws upon and develops insights from a number of fields: political theory, the study of international politics, recent Continental philosophy, and an array of critical cultural disciplines to illustrate and elucidate his thesis. In Achieving Our World, Dallmayr contends that a genuinely global and plural democracy and 'civic culture' is the only viable (...) and promising path for humankind in the new millennium. (shrink)

Anhand ausgewaehlter Beispiele wird untersucht, wie die Naturwissenschaften unser gegenwaertiges Weltbild beeinflussen. Dabei wird in einem interdisziplinaeren Dialog zwischen Vertretern der exakten Wissenschaften und Philosophen ausgelotet, ob und wie neuere Erkenntnisse dieser Wissenschaften Weltanschauung und Menschenbild der Gegenwart (und, soweit absehbar, der Zukunft) praegen. Unter anderem werden die Stellung des Menschen im Kosmos, Gehirn und Bewusstsein, Quantenphysik und Realitaet, Fragen der Evolution sowie das Verhaeltnis von naturwissenschaftlichem und religioesem Weltbild eroertert.

In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900.

Bd. 1. 1791-1794.--Bd. 2. 1793-1795.--Bd. 3.--1794-1796.--Bd. 4. 1797-1798.--Bd. 5. 1798-1799.--Bd. 6. 1799-1800.--Bd. 7. 1800-1801.--Bd. 8. 1801-1806.--Bd. 9. 1806-1807.--Bd. 10. 1808-1812.

The present volume is devoted to the theme of Divine Father in Second Temple Jewish and early Christian tradition and in its ancient pagan contexts. It brings together proceedings of a conference under the same title, held in Gottingen in September 2011. Selected articles by well-known scholars focus on religious and philosophical concepts of divine parenthood in antiquity, from the Hebrew Bible and Second Temple Judaism (the Dead Sea Scrolls, Targums, Philo and Josephus) to the field of the New Testament. (...) In addition, the volume deals with the designation of deity as father or mother from the broad spectrum of ancient Egypt and classical antiquity (Homer, Hesiod, Plato, and its reception) to late antiquity (Plotinus and Porphyry).". (shrink)

Hermeneutik gilt heutzutage meistens als Bestandteil der Philosophie. Das ist aber eine verkürzte Sicht ihrer Gegenwart und erst recht ihrer Geschichte. Denn von Haus aus bezeichnet Hermeneutik alle Verfahren zur Auslegung von Texten. Sie begann in der Antike mit der Neu-Interpretation klassischer Dichter. Anschließend lernten die Christen die jüdische Bibel im Sinne ihres Evangeliums auszulegen. Sodann brauchte auch schriftliches Recht Interpretation, ebenso die philologisch-historische Quellenkritik der Geschichtswissenschaft. Jetzt erst führte die Philosophie die verschiedenen Varianten zu einer allgemeinen Hermeneutik zusammen. Daneben (...) hatten aber vier andere Wissenschaften eigene Auslegungstheorien und Methodenlehren entwickelt. Diese fünf Entwicklungspfade des gesamten Feldes werden hier zum ersten Mal von den Anfängen bis zur Gegenwart im Überblick dargestellt. (shrink)

We study the decidability of k-provability in \—the relation ‘being provable in \ with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton. The decidability of k-provability for the usual Hilbert-style formalisation of \ is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which (...) k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms. (shrink)

_The Incident at Antioch_ is a key play marking Alain Badiou's transition from classical Marxism to a "politics of subtraction" far removed from party and state. Written with striking eloquence and extraordinary poetic richness, and shifting from highly serious emotional and intellectual drama to surreal comic interlude, the work features statesmen, workers, and revolutionaries struggling to reconcile the nature and practice of politics. This bilingual edition presents _L'Incident d'Antioche_ in its original French and, on facing pages, an expertly executed English (...) translation. Badiou adds a special preface, and an introduction by the scholar Kenneth Reinhard connects the play to Paul Claudel's _The City_, Saint Paul and the early history of the Church, and the innovative mathematical thinking of Paul Cohen. The translation includes Susan Spitzer's extensive notes clarifying allusions and quotations and hinting at Badiou's intentions. An interview with Badiou encompasses the play's settings, themes, and events, as well as his ongoing literary and conceptual experimentation on stage and off. (shrink)

"Fichte-Kolloquium zum 80. Geburtstag von Reinhard Lauth, Universiteat Genua, 19.-20. November 1999"--T.p. verso.

Westerners seem united in the belief that China has emerged as a major economic power and that this success will most likely continue indefinitely. But they are less certain about the future of China's political system. China's steps toward free market capitalism have led many outsiders to expect increased democratization and a more Western political system. The Chinese, however, have developed their own version of capitalism. Westerners view Chinese politics through the lens of their own ideologies, preventing them from understanding (...) Chinese goals and policies. In Contemporary Chinese Political Thought: Debates and Perspectives, Fred Dallmayr and Zhao Tingyang bring together leading Chinese intellectuals to debate the main political ideas shaping the rapidly changing nation. Investigating such topics as the popular "China Model", the resurgence of Chinese Confucianism and its applications to the modern world, and liberal socialism, the contributors move beyond usual analytical frameworks toward what Dallmayr and Zhao call "a dismantling of ideological straitjackets." Comprising a broad range of opinions and perspectives, Contemporary Chinese Political Thought is the most up-to-date examination in English of modern Chinese political attitudes and discourse. Features contributions from Ji Wenshun, Zhou Lian, Zhao Tingyang, Zhang Feng, Liu Shuxian, Chen Ming, He Baogang, Ni Peimin, Ci Jiwei, Cui Zhiyuan, Frank Fang, Wang Shaoguang, and Cheng Guangyun. (shrink)

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

Diagonalization is a transversal theme in Logic. In this work, it is shown that there exists a common origin of several diagonalization phenomena — paradoxes and Löb's Theorem. That common origin comprises a common reasoning and a common logical structure. We analyse the common structure from a philosophical point-of-view and we draw some conclusions.