This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic stochastic logic (...) and point out some connections to Souslin's operation A from descriptive set theory. This leads to a discussion of complete stochastic Kripke models and model completion, which permits an adequate treatment of the test operator. (shrink)

We generalize stochastic Kripke models and Markov transition systems to stochastic right coalgebras. These are coalgebras for a functor with as an endofunctor on the category of analytic spaces, and is the subprobability functor. The modal operators are generalized through predicate liftings which are set-valued natural transformations involving the functor. Two states are equivalent iff they cannot be separated by a formula. This equivalence relation is used to construct a cospan for logical equivalent coalgebras under a separation condition for the (...) set of predicate liftings. Consequently, behavioral and logical equivalence are really the same. From the cospan we construct a span. The central argument is a selection argument giving us the dynamics of a mediating coalgebra from the domains of the cospan. This construction is used to establish that behavioral equivalent coalgebras are bisimilar, yielding the equivalence of all three characterizations of a coalgebra’s behavior as in the case of Kripke models or Markov transition systems. (shrink)

In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t-norms and their dual t-conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t-norms which are different from the product logic.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Flavius Josephus and Flavian RomeErich S. GruenJonathan Edmondson, Steve Mason, and James Rives, eds. Flavius Josephus and Flavian Rome. Oxford: Oxford University Press, 2005. xvi + 400 pp. 8 black-and-white ills. Cloth, $135.Josephus is now coming into his own. Previously scorned as tendentious time-server and panderer to the powerful, he has received increasingly serious attention in recent years. Indeed, a veritable Josephus industry has emerged, with regular international (...) colloquia, a burgeoning number of publications, and major commentaries on individual works (and parts of works) in the course of publication though collaborative projects in both German and English. And properly so. Josephus for too long remained the province primarily of scholars in Jewish studies. Classicists, for the most part, marginalized or ignored him. That neglect seems quite myopic in view of the unusually large corpus and the importance of Josephus not only for Jewish history but also for classical literature and historiography, for the perceptions of imperial power by subordinate peoples, and for the place of "alien wisdom" in the intellectual and cultural world of the Roman empire. The shift toward fuller and closer scrutiny of Josephus' work by classical scholars is now well underway—and most welcome.The essays in this volume laudably promote that enterprise. They grow out of a stimulating conference held at York University in Toronto in 2001. The editors deserve credit for focusing on a critical but largely overlooked subject: the relationship of Josephus' work to the social, political, and cultural setting in which he wrote, namely that of Rome in the Flavian era. Unlike most conference volumes, the quality of the papers is uniformly high, and the collection as a whole unusually coherent. The volume is a model example of its genre.The Jewish war culminated in the destruction of the Temple in Jerusalem in 70 c.e. The consequences for Jewish history, of course, were momentous, a familiar and frequently explored topic. Much less studied but indispensable for an understanding of Josephus' work are the reverberations in Rome. The Flavian emperors exploited their victory to publicize, justify, and entrench a new imperial dynasty. Fergus Millar valuably surveys the monuments of Rome instituted to commemorate the conquest of Judaea: the arches erected for Titus, the Colosseum built with the spoils of the Jewish war (as Alföldy stunningly demonstrated a few years ago), and the Temple of Peace where the most celebrated objects [End Page 615] captured in Jerusalem were deposited. The Flavian public-relations spin not only celebrated military prowess but also made a pointed contrast with the age of Nero and underscored the arrival of a pax Flaviana. Advertisement of triumph over Judaea could hardly make the Jews of Rome comfortable, as Martin Goodman argues. He adds that imposition of the fiscus Iudaicus under Vespasian and malicious accusations under Domitian against those who lived like Jews but did not acknowledge their Judaism must have produced an oppressive atmosphere in the Flavian years. James Rives goes beyond this, arguing that the destruction of the Temple and the depositing of sacred objects represented a genuine effort to stamp out the Temple cult which, in Roman eyes, constituted a civic cult and a threat to imperial stability. Daniel Schwartz's paper, with different objectives, extends this theme still further. He points to the ostensibly anomalous decision to resume the administration of the Jewish state as a Roman province instead of bestowing it upon the Roman supporter Agrippa II as an enlarged kingdom. For Schwartz, this amounted to a decision to eliminate Judaea as a territorial entity, a decision reflected in the fact that the term Ioudaioi tended to lose its geographical connotation thereafter and became a designation for "Jews" rather than "Judaeans." The scene after 70, in short, was grim indeed. One might question some of the more speculative ideas expressed in these essays, such as Goodman's suggestion that "Judaizing" indicated opposition to the Flavian regime or Rives' notion that Rome regarded Jerusalem as a rival focus of loyalty in the empire. Nonetheless, the climate in Rome for a Jewish intellectual like Josephus, after the fall of Jerusalem, would not seem to have been the most hospitable and... (shrink)

Bd. 1. Zwischen Wissenschaftstheorie und Theologie -- Bd. 2. Zum Logos der Dialektik und zu seiner Logik.

Schmidt, G. Sokrates, Kriton, die Gesetze und die praktische Vernunft.--Heintel, E. Zum grundsätzlich "naturrechtlichen" Ansatz des Ordo-Gedankens.--Höffe, O. Grundzüge einer Theorie politischer Gerechtigkeit.--Baumanns, P. Hobbes und die praktische Philosphie der Neuzeit.--Ritzel, W. Der "Unterschied vom Jure und von Ethik".--Kaulbach, F. Rechtsphilosophie und Rechtstheorie in Kants Rechtsmetaphysik.--Pöggeler, O. Machiavelli und Hegel.--Schild, W. Die Aktualität des Hegelschen Strafbegriffes.--Heintel, P. Weltgeist und Völkerrecht.--Hartmann, K. Der Marxsche Kritikbegriff und seine Auswirkungen.--Schmied-Kowarzik, W. Von der Kritik der Rechtsphilosophie zur Kritik der politischen Ökonomie.--Rhemann, J. Zur Theorie (...) der Demokratie.--Zdarzil, H. Geschichte und Bildung. (shrink)

Rede und Gegenrede, pro und contra - jeweils von derselben Person zu einem bestimmten Thema? Wer kennt das nicht von sich selbst? Auch beim Philologen und Philosophen Friedrich Nietzsche finden sich solche Stellen in seinem Werk. Systematisch aufbereitet durch den Autor, umfasst das Buch 287 Schlagwörter und 5527 Zitate, geordnet nach pro und contra und ein Fundstellenverzeichnis. Das Buch will sein: Ein Zugang und Schlüssel zu Nietzsches Schriften Ein Nietzsche-Nachschlagewerk Ein Nietzsche-Brevier Eine Aufforderung an den Leser, von der Oberfläche der (...) Zitate in die Tiefen der Gedankengänge Nietzsches vorzudringen Ein Rüstzeug zum Selbst-Überdenken der Probleme Ein Buch von Studiendirektor i.R. Erich Frey-Teschen (1922 - 2016), posthum herausgegeben von Roman Seidl. (shrink)

This translation of four of Plato's dialogues brings these classic texts alive for modern readers. Allen introduces and comments on the dialogues in an accessible way, inviting the reader to re-examine the issues Plato continually raises.

In Man for Himself , Erich Fromm examines the confusion of modern women and men who, because they lack faith in any principle by which life ought to be guided, become the helpless prey forces both within and without. From the broad, interdisciplinary perspective that marks Fromm’s distinguished oeuvre, he shows that psychology cannot divorce itself from the problems of philosophy and ethics, and that human nature cannot be understood without understanding the values and moral conflicts that confront us (...) all. He shows that an ethical system can be based on human nature rather than on revelations or traditions. As Fromm asserts, “If man is to have confidence in values, he must know himself and the capacity of his nature for goodness and productiveness.”. (shrink)

“In true love one must see oneself in the absolutely other. This must mean I would die in me to live in you. At the foundation of what I have named the self-consciousness of the absolute nothing, in which I am myself through the fact that in my foundations I see the absolutely other or, better, a Thou: here must lie the meaning of love. In my view the agape of Christianity has this meaning. Agape is not a yearning, but (...) rather much more a sacrifice, the love of God and not the love of a human. This love comes down from God to humans rather than rising from humans up into God.... Just as Augustine puts it: I am myself through the love of God, i.e., through the love of God I am truly I.”2 The late Jesuit .. (shrink)

Der Jesuit Erich Przywara (1889-1972) und Gertrud von le Fort (1876-1971) lernten sich Mitte der 1920-er Jahre kennen, zur Zeit der Konversion le Forts zum katholischen Glauben. Seither standen sie in einem durchgehenden, wenn auch losen Briefwechsel, vor allem in den beiden Jahrzehnten nach dem Zweiten Weltkrieg. Die von Manfred Lochbrunner herausgegebene Korrespondenz ist das berührende Dokument einer freundschaftlichen Beziehung zwischen der angesehenen Dichterin und dem nicht minder bedeutenden Religionsphilosophen und Theologen mit eigenen dichterischen Ambitionen. In einem Einführungsessay werden (...) die wesentlichen Briefinhalte kurz vorgestellt. Anmerkungen kommentieren den Text der Briefe. Abgerundet wird die Edition durch drei biographische Exkurse zu nahestehenden Personen und Anhänge, etwa zu gegenseitigen Widmungen, sowie ein Literaturverzeichnis"-- Back cover. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.