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)

According to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is. [13, p. 281].

Connexive logic has room for two pairs of universal and particular quantifiers: one pair, |$\forall $| and |$\exists $|⁠, are standard quantifiers; the other pair, |$\mathbb{A}$| and |$\mathbb{E}$|⁠, are unorthodox, but we argue, are well-motivated in the context of connexive logic. Both non-standard quantifiers have been introduced previously, but in the context of connexive logic they have a natural semantic and proof-theoretic place, and plausible natural language readings. The results are logics that are negation inconsistent but non-trivial.

Vernünfftige Gedancken von Gott, der Welt und der Seele des Menschen, auch allen Dingen überhaupt -- Christian Freyherrn von Wolf Erinnerung, wie er es künftig mit den Einwürfen halten will, die wider seine Schriften gemacht werden.

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem''s modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap''s display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to (...) be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules. (shrink)

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.

Bücher zählen bis heute zu den wichtigsten kulturellen Errungenschaften der Menschheit. Ihre Erfindung war mit der Einführung des Buchdrucks ähnlich bedeutsam wie des Internets: Erstmals wurde eine massenweise Weitergabe von Informationen möglich. Bildung, Wissenschaft, Forschung, aber auch die Unterhaltung wurde auf neuartige, technisch wie inhaltlich revolutionäre Basis gestellt. Bücher verändern die Gesellschaft bei heute. Die technischen Möglichkeiten des Massen-Buchdrucks führten zu einem radikalen Zuwachs an Titeln im 18. Und 19 Jahrhundert. Dennoch waren die Rahmenbedingungen immer noch ganz andere als heute: (...) Wer damals ein Buch schrieb, verfasste oftmals ein Lebenswerk. Dies spiegelt sich in der hohen Qualität alter Bücher wider. Leider altern Bücher. Papier ist nicht für die Ewigkeit gemacht. Daher haben wir es uns zur Aufgabe gemacht, das zu Buch gebrachte Wissen der Menschheit zu konservieren und alte Bücher in möglichst hoher Qualität zu niedrigen Preisen verfügbar zu machen. (shrink)

In this paper functional completeness results are obtained for certain positive and constructive propositional logics associated with a Tarski-type structured consequence relation as defined by Gabbay.

Understanding Music summarizes Eggebrecht's thoughts on the relationship between music and cognition.

Excerpt from Geschichte des Monismus im Altertum Gilt dies in jeder Einzelwissenschaft, so gilt es erst recht in der Philosophie, der wissenschaft der Wissenschaften. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the (...) original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (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)

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

Teilband 2/1. 2. Auflage (1904), 1. Auflage durch editorischen Apparat -- Teilband 2/2: 6. Auflage (1928), 3. und 4./5. Auflage durch editorischen Apparat.