A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.

Der indische Mythos.--Der Brauch der Fische.--Yoga und Māyā.--Buddha.

In this paper, first some propositional conditional logics based on Belnap and Dunn’s useful four-valued logic of first-degree entailment are introduced semantically, which are then turned into systems of weakly and unrestrictedly connexive conditional logic. The general frame semantics for these logics makes use of a set of allowable (or admissible) extension/antiextension pairs. Next, sound and complete tableau calculi for these logics are presented. Moreover, an expansion of the basic conditional connexive logics by a constructive implication is considered, which gives (...) an opportunity to discuss recent related work, motivated by the combination of indicative and counterfactual conditionals. Tableau calculi for the basic constructive connexive conditional logics are defined and shown to be sound and complete with respect to their semantics. This semantics has to ensure a persistence property with respect to the preorder that is used to interpret the constructive implication. (shrink)

Der isländische Historiker, Dichter und Politiker Snorri Sturluson war eine Ausnahmegestalt des nordischen Mittelalters. Die Beiträge international renommierter Forscher diskutieren den aktuellen Stand der Forschung und bringen selbst neue Ansätze ein. Dabei werden neben religionshistorischen und historischen Themen auch Fragen der Biographie, der Wissenschaftsgeschichte und der Textüberlieferung behandelt.

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

Die vorliegende Arbeit fragt nach Formen autonomer Individualität, welche zugleich nicht hinter die postmoderne 'Auflösung des Subjekts' zurückgehen. Diese Problematik wird zunächst vor dem Hintergrund der Analyse von Friedrich Nietzsches Begriff des souveränen Individuums diskutiert. Hierbei werden neben der begrifflichen Analyse auch die Ergebnisse der Nietzscheforschung zum Thema behandelt. Um das Konzept souveräner Individualität aber auch weiter zu entwickeln, wird darüber hinaus ein Vergleich zu Foucaults Analyse der antiken Selbstsorge vorgenommen. Die Ergebnisse dieser Analyse werden daraufhin auf Probleme der aktuellen (...) Subjektphilosophie übertragen. Hierbei steht die Frage im Mittelpunkt, wie die Depotenzierung des Subjekts durch die Idee einer autonomen Individualität ergänzt werden kann. Neben dem erstmals vorgenommenen Vergleich zwischen Nietzsches und Foucaults Konzepten der Selbstsorge entwickelt Johannes Heinrich also auch den Begriff einer autonomen Identität, der bereits durch die dekonstruierende Kritik jüngster Subjekttheorien hindurchgegangen ist. (shrink)

We consider a labelled tableau presentation of constant domain first-order S5 and prove a strong cut-elimination theorem.

Band 1. Stellenindex und Konkordanz zu Johann Nicolaus Tetens' Über die allgemeine speculativische Philosophie.