Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic (...) remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Heinrich Rickert (1863-1936) war einer der bedeutendsten deutschen Philosophen vor dem Zweiten Weltkrieg und gilt neben Wilhelm Windelband als einer der Hauptvertreter der südwestdeutschen Schule des Neukantianismus. Seine auch heute noch anregende Philosophie hatte großen, interdisziplinären wie internationalen Einfluss. Die philologisch-kritische Ausgabe macht die Schriften endlich wieder verfügbar.

Einleitung.--Die begriffliche Erkenntniss der Körperwelt.--Natur und Geist.--Natur und Geschichte.--Die historische Begriffsbildung.--Naturphilosophie und Geschichts-Philosophie.

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (shrink)

In Phenomena of Power, one of the leading figures of postwar German sociology reflects on the nature, and many forms of, power. For Heinrich Popitz, power is rooted in the human condition and is therefore part of all social relations. Drawing on philosophical anthropology, he identifies the elementary forms of power to provide detailed insight into how individuals gain and perpetuate control over others. Instead of striving for a power-free society, Popitz argues, humanity should try to impose limits on (...) power where possible and establish counterpower where necessary. Phenomena of Power delves into the sociohistorical manifestations of power and breaks through to its general structures. Popitz distinguishes the forms of the enforcement of power as well as of its stabilization and institutionalization, clearly articulating how the mechanisms of power work and how to track them in the social world. Philosophically trained, historically informed, and endowed with keen observation, Popitz uses examples ranging from the way passengers on a ship organize deck chairs to how prisoners of war share property to illustrate his theory. Long influential in German sociology, Phenomena of Power offers a challenging reworking of one of the essential concepts of the social sciences. (shrink)

Heinrich Rickert (1863-1936) fut, avec Windelband et Lask, l'un des principaux representants de l'ecole neokantienne de Heidelberg, qui se differencie essentiellement de l'ecole de Marbourg par la facon dont elle redefinit l'idealisme transcendantal a partir de la problematique de la validite, heritee notamment de la philosophie de Lotze. Les six articles reunis ici, publies par Rickert dans la revue Logos entre 1911 et 1932, dessinent les grandes lignes d'une philosophie systematique des valeurs qui ne se veut pas seulement une (...) theorie transcendantale du valoir dans son opposition a l'etre, mais aussi, en tant que doctrine des visions du monde, l'elaboration d'une reponse philosophique a la question du sens de la vie. A cote de recherches architectoniques portant sur la determination et l'articulation des differents domaines axiologiques, mais aussi sur les problemes generaux lies a la definition de la philosophie comme doctrine des valeurs, ces articles entretiennent une constante polemique a l'endroit de tout intuitionnisme et de toute philosophie de la vie. Contre le biologisme qui fait du vivant la valeur absolue et contre la denonciation intuitionniste de la science comme intellectualisme, l'affirmation de la transcendance des valeurs garantit pour Rickert le droit d'une philosophie scientifique et critique de la culture, qui en apprehende la vie propre en rendant compte de l'articulation des valeurs et de l'effectivite empirique au sein d'un systeme des valeurs qui reste ouvert sur l'infinie nouveaute et l'inepuisable richesse du monde historique. (shrink)

The topic of identity of proofs was put on the agenda of general (or structural) proof theory at an early stage. The relevant question is: When are the differences between two distinct proofs (understood as linguistic entities, proof figures) of one and the same formula so inessential that it is justified to identify the two proofs? The paper addresses another question: When are the differences between two distinct formulas so inessential that these formulas admit of identical proofs? The question appears (...) to be especially natural if the idea of working with more than one kind of derivations is taken seriously. If a distinction is drawn between proofs and disproofs (or refutations) as primitive entities, it is quite conceivable that a proof of one formula amounts to a disproof of another formula, and vice versa. A notion of inherited identity of derivations is introduced for derivations in a cut-free sequent system for Almukdad and Nelson’s constructive paraconsistent logic N4 with strong negation. The notion is obtained by identifying sequent rules the application of which has no effect on the identity of derivations. Then the notion of inherited identity is used to define a bilateralist notion of synonymy between formulas, which is a relation drawing more fine-grained distinctions between formulas than strong equivalence. (shrink)