Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981)

Abstract

As certain aspects of my doctoral dissertation of 1981 are still being discussed, I re- publish it here as an online resource in its original German form. It introduces the notion of rules of higher levels in order to give a general schema for the characterization of logical connectives in terms of rules. It also makes a proposal for a treatment of negation on the basis of a denial operator. It thus deals with core issues of proof-theoretic semantics. The German dissertation is accompanied by an English manuscript "Sentential Calculi with Rules of Arbitrary Levels" which gives a summary of central ideas and results of Chapters 1 and 2 of the dissertation.