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.

This book, by one of the most prominent interpreters of Leo Strauss's thought, was the first to address the problem that Leo Strauss himself said was the theme of his studies: the theologico-political problem or the confrontation with the theological and the political alternative to philosophy as a way of life. In his theologico-political treatise, which comprises four parts and an appendix, Heinrich Meier clarifies the distinction between political theology and political philosophy and reappraises the unifying center of Strauss's (...) philosophical enterprise. The book is the culmination of Meier's work on the theologico-political problem. It will interest anyone who seeks to understand both the problem caused by revelation for philosophy and the challenge posed by political-religious radicalism. The appendix makes available for the first time two lectures by Strauss that are immediately relevant to the subject of this book and that will open the way for future research and debate on the legacy of Strauss. (shrink)

In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic (...) logic 2Int. The proof makes use of the faithful embedding of 2Int into intuitionistic logic with respect to validity and shows that conversions of dual proofs can be sidestepped. (shrink)

In seiner Antwort auf meinen Beitrag versucht Steinvorth, ein grundlegendes Argument von mir gegen seine im Anschluß an Lakatos vorgetragene Begründung normativer politischer Theorie als wissenschaftlicher Theorie zu widerlegen. In diesem Beitrag möchte ich kurz zeigen, daß das nicht gelungen ist. Zudem möchte ich darauf hinweisen, daß Steinvorth in seinem zweiten Beitrag neben einigen Klarstellungen in Rücksicht auf sein Anliegen weitere Formulierungen eingebracht hat, die entgegen seiner Annahme gegen den von ihm verteidigten Ansatz sprechen. Weiterhin geht es mir darum, Schlußfolgerungen, (...) die er von meinen Ausführungen abgeleitet hat, zu korrigieren. Schließlich möchte ich mit wenigen Überlegungen begründen - und darauf kommt es mir entscheidend an -, warum für politikwissenschaftliche Theorie der herkömmliche Theorietyp nicht paßt, und insofern möchte ich einige Bemerkungen meines ersten Beitrages dazu bekräftigen und verdeutlichen. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (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)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)