Der dritte Band behandelt die ausseren Umstande, unter denen die platonischen Philosophen im 2. und 3. Jh. n. Chr. lebten, insbesondere ihre Forderung durch Stadte und Kaiser, offentliche Ehrungen, das Urteil Aussenstehender uber sie, den Ruckgang der Philosophie im 3. Jh. n. Chr.; daruber hinaus wird die Beschaftigung mit den Schriften Platons dargestellt: Kommentare zu den Dialogen Platons, Gesamtdarstellungen der Lehre Platons, Monographien zu wichtigen Streitfragen, Platonlexika.

Dieser Band geht der Frage nach, welches Interesse Platon und seine Lehren in der Zeit des Hellenismus ausserhalb der Akademie fanden. Die kommentierten Zeugnisse berichten uber Kritik und Lob, Ablehnung und Anerkennung Platons, die ersten Bemuhungen antiker Grammatiker um das Corpus Platonicum sowie die Bestrebungen, in Platon (wie in Pythagoras) einen Verkunder ostlicher Weisheit zu sehen.'Ein wirkliches Jahrhundertwerk deutscher altertumswissenschaftlicher Forschung.' Christoph Markschies, Zeitschrift fur Kirchengeschichte.

Der dritte Band behandelt die ausseren Umstande, unter denen die platonischen Philosophen im 2. und 3. Jh. n. Chr. lebten, insbesondere ihre Forderung durch Stadte und Kaiser, offentliche Ehrungen, das Urteil Aussenstehender uber sie, den Ruckgang der Philosophie im 3. Jh. n. Chr.; daruber hinaus wird die Beschaftigung mit den Schriften Platons dargestellt: Kommentare zu den Dialogen Platons, Gesamtdarstellungen der Lehre Platons, Monographien zu wichtigen Streitfragen, Platonlexika.

Examines the diverse cultural influences which have shaped the basic philosophical traditions of India "Indian philosophy was at the heart of Zimmer's interest..

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Pars 1. Contemplativa -- Pars 2. Activa.

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s (...) minimally inconsistent Logic of Paradox with q-entailment as introduced by Grzegorz Malinowski. (shrink)

Originally published in 1973. The volume is divided into four sections: The introduction places the position of the Buddhist Tantras within Mahayana Buddhism and recalls their early literary history, especially the Guhyasamahatantra; the section also covers Buddhist Genesis and the Tantric tradition. The foundations of the Buddhist Tantras are discussed and the Tantric presentation of divinity; the preparation of disciples and the meaning of initiation; symbolism of the mandala-palace Tantric ritual and the twilight language. This section explores the Tantric teachings (...) of the inner Zodiac and the fivefold ritual symbolism of passion. The bibliographical research contains an analysis of the Tantric section of the Kanjur exegesis and a selected Western Bibliography of the Buddhist Tantras with comments. (shrink)

In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

In a recent article, Mario Günther presented a conditional that is claimed to be connexive. The aim of this short discussion note is to show that Günther’s claim is not without problems.

In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.

1. Probleme und Positionen der Wissenschaftstheorie.