In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Benedict XVI: A Life. Volume 2, Professor and Prefect to Pope and Pope Emeritus 1966–The Present by Peter SeewaldEmil AntonBenedict XVI: A Life. Volume 2, Professor and Prefect to Pope and Pope Emeritus 1966–The Present by Peter Seewald, translated by Dinah Livingstone (London: Bloomsbury Continuum, 2021), viii + 568 pp.What better way to spend Pope Benedict XVI's ninety-fifth birthday (which turned out to be his last) than by (...) visiting his birth house in Marktl am Inn at his birth minute—4.15 AM! In addition to five Finnish pilgrims, twenty or so local grandmas and grandpas attended the now-traditional early morning prayer, which this year fell on Holy Saturday, the very liturgical day on which Joseph Ratzinger was born and baptized. Other destinations on a do-it-yourself Ratzinger pilgrimage included Freising (studies and ordination), Regensburg (professorial years), Altötting (favorite Marian sanctuary), childhood villages and towns (Tittmoning, Aschau am Inn, Hufschlag, Traunstein), and of course Munich (seminary and episcopal years), with beer, good food, and Apfelstrudel at the Augustiner Klosterwirt.Such a trip is highly recommended, even though there were no Ratzinger books in the "Theology" section of University of Regensburg's bookshop, reflecting his persona non grata status in German academia. In Altötting, however, Peter Seewald's magnificent biography was on offer, as well as icon-like pictures of Pope Benedict and candles with his image on them—good for both admirers and critics!In English, Seewald's biography is divided into two volumes (for my review of volume 1, see Nova et Vetera [English] 20, no. 3), the second one comprising three parts: (1) professor, (2) prefect, and (3) Pope. The book was certainly worth the wait and does not disappoint: the research and analysis are excellent, the style is enjoyable, and interesting new details are revealed, such as the "endless outbursts of crying" and "violent quarrels with cardinals" of "popess" (as the housekeeper was called in the curia) Ingrid Stampa, who "kept Ratzinger's diary, edited official speeches and even decided who could meet the Holy Father" (351).As a journalist, Seewald is especially strong on the German press coverage [End Page 285] of Ratzinger. During his time as archbishop of Munich, "Ratzinger took part so frequently in the public debate that the Süddeutsche Zeitung feared that it would be a 'big shock' for millions of Upper Bavarian Catholics if his name did not appear in any edition of the four Munich daily papers" (109). Ratzinger's predominantly negative media image seems to stem to a great extent from the actions of Hans Küng. Asked about the cancellation of Küng's missio canonica at a youth event in 1979, Ratzinger said off the cuff that it was right, since Küng was actively disputing essential doctrines of the Catholic Church (128). The comments were published without authorization, which led to Küng accusing Ratzinger of "falling back on pre-conciliar customs of heresy-hunting, insinuation and defamation" (129). After the publication of Vittorio Messori's The Ratzinger Report in 1985, Küng "crashed in with a sweeping blow in the Hamburg weekly Die Zeit" (170), not failing to bring up his "litany of complaints: the 'case of Galileo,' the 'Chinese rites controversy,' 'putting all the most important European thinkers on the Index (Descartes, Kant, Sartre etc.),' '9 million victims of witch trials'" (171). According to Seewald, this momentous article, ending with the claim that Ratzinger was "afraid of the truth more than anything else," provided the endlessly reproduced media image of the prefect.Seewald singles out the Bild journalist Andreas Englisch as a striking example of the kind of deliberate manipulation typical of so-called expert reporters. After Benedict XVI's election, Englisch admitted with apparent remorse that, in previous reporting, in order to make John Paul II's "light shine more brightly," he had "needed an enemy to make the story more dramatic" (192). Seewald continues: "However, Englisch had no scruples about later applying his business model to books about Pope Francis, whom he raised almost to heaven, in order finally to shove the retired Benedict XVI down to hell" (192... (shrink)

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (shrink)

One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with what we ought to do. People are unconvinced that there is an inviolable moral obligation governing human life because they do not believe that the 'good'can be precisely and clearly known. Haven't some generations called bad what others have called good? Aren't moral standards relative? Doesn't religion lack uniform and practical moral guidance? Brunner discusses the moral confusion we face. He analyses the (...) nature of the Good, showing why the Christian faith as understood by the Protestant Reformers provides the only true approach and answer to the ethical problem. Philosophical ethics, whether ancient or modern, cannot correctly define the Good, becausethe Good is regarded either as too abstract and absolute or as too concrete and relative. Christianity, by contrast, sees the moral problem as one of responsibility between humans who are created so as to respond to God. He created men for responsive fellowship with Him, establishing orderly ways of acting in the world. Correct understanding of the nature of society, family, state, economic life, is needed to discern one's duty. Because Brunner's analysis is at once fundamental and comprehensive, this book remains a fresh and compelling treatment of the moral problem. It offers a provocative discussion and solution of a perennial human problem. (shrink)

We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.

We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theory , under the assumption of the existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus.

D’Aquino et al. (J Symb Log 75(1):1–11, 2010) have recently shown that every real-closed field with an integer part satisfying the arithmetic theory IΣ4 is recursively saturated, and that this theorem fails if IΣ4 is replaced by IΔ0. We prove that the theorem holds if IΣ4 is replaced by weak subtheories of Buss’ bounded arithmetic: PV or $${\Sigma^b_1-IND^{|x|_k}}$$. It also holds for IΔ0 (and even its subtheory IE 2) under a rather mild assumption on cofinality. On the other hand, it (...) fails for the extension of IOpen by an axiom expressing the Bézout property, even under the same assumption on cofinality. (shrink)

Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Alienation is among the most influential terms in Marxist theory, but also one of the most ambiguous and controversial. Unlike previous literature, which has tended to focus on Marx’ early philosophical writings, this offers a novel reinterpretation of the theory of alienation found in Marx’s later works. Rather than conceiving alienation as a subjective experience or an inherent feature of social organization, I contend that alienation in the Marxist sense can be understood as an objective process arising from the appropriation (...) of the results of production and their transformation into capital. This interpretation resolves the main theoretical problems conventionally associated with alienation theory, for example the tendency towards essentialism and moral paternalism. In particular, a Marxist theory of alienation explains the paradox of social power and isolation that characterizes contemporary capitalist societies, in which feelings of powerlessness and loneliness are intensified despite objective increases in humanity’s social power and interdependence. (shrink)

Keine ausführliche Beschreibung für "Religionsphilosophie evangelischer Theologie" verfügbar.

Grzegorczyk's modal logic corresponds to the class of upwards well-founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively: Grz corresponds to a class of frames, which does not provably coincide with upwards well-founded posets in ZF alone.

Atserias, Galesi, and Pudlák have shown that the monotone sequent calculus MLK quasipolynomially simulates proofs of monotone sequents in the full sequent calculus LK . We generalize the simulation to the fragment MCLK of LK which can prove arbitrary sequents, but restricts cut-formulas to be monotone. We also show that MLK as a refutation system for CNFs quasipolynomially simulates LK.

1. Fichtes idealismus und die geschichte. Rechtsphilosophie. Hegel in seinem verhältnis zur weltanschaung der aufklärung. Gibt es einen "Primat der praktischen vernunft" in der logik?--2. Die logik der philosophie und die kategorienlehre. Die lehre vom urteil.--3. Platon. Zum system der logik. Zum system der wissenschaften.

Excerpt from Rechtsphilosophie Fast samtliche Anhanger absoluter rechtsphilosophischer Wertprinzipien im neunzehnten Jahrhundert so z. B. Stahl, Trendelenburg, Lasson haben den Empirismus auf sich wirken lassen und eine Versohnung der Spekulation mit der positiven Rechtswissenschaft zum mindesten angestrebt. In neuester Zeit hat vor allem Stammler die Einordnung des Rechts in absolute Zweckzusammenhange mit der Ansicht zu vereinigen gewusst, dass die formale Gesetzmassigkeit oder gegenstandliche Richtig keit lediglich einen Massstab fur oder eine unbedingte Anforde rung an das Recht, ein Ziel fur den (...) Gesetzgeber, nicht aber eine ausserlich verbindliche Norm fur das Zusammenleben der Menschen bedeuten kann. So erfullt die kritische Wertspekulation die Forderung Bergbohms, Philosophie des positiven Rechts zu sein. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (shrink)