Vorwort - Einleitung: Welt und Wirkung von Hegels Ästhetik I. KUNSTIDEAL UND KULTURPOLITIK. Otto Pöggeler. System und Geschichte der Künste bei Hegel - Helmut Schneider. Aus der Ästhetikvorlesung Hegels 1820/1821 - Lucia Sziborsky. Schelling und die Münchener Akademie der bildenden Künste. Zur Rolle der Kunst im Staat - Annemarie Gethmann-Siefert. Die Rolle der Kunst im Staat. Kontroverses zwischen Hegel und den Hegelianern II. DIE BILDENDEN KÜNSTE UND DIE HISTORIE. Heinrich Dilly. Hegel und Schinkel - Werner Busch. Wilhelm von (...) Kaulbach -peintre-philosophe und modern painter. Zu Kaulbachs Weltgeschichtszyklus im Berliner Neuen Museum - Gregor Stemmrich/Annemarie Gethmann-Siefert. Hegels Kügelgen-Rezension und die Auseinandersetzung um den eigentlichen historischen Stil in der Malerei - Wolfgang Beyrodt. Ansichten vom Niederrhein. Zum Verhältnis von Carl Schnaases Niederländischen Briefen zu Georg Forster III. MUSIK UND POESIE. Konrad Schüttauf. Melos und Drama. Hegels Begriff der Oper - Jürgen Söring. Hegel und die Romantheorie R. Wagners IV. POESIE UND WELTKULTUR. Hans-Georg Gadamer. Die Stellung der Poesie im System der Hegelschen Ästhetik und die Frage des Vergangenheitscharakters der Kunst - Dieter Bremer. Hegel und Aischylos - Clemens Menze. Das indische Altertum in der Sicht Wilhelm von Humboldts und Hegels - Barbara Stemmrich-Köhler/Annemarie Gethmann-Siefert. Von Hammer, Goethe und Hegel über Firdausi. Literaturkritik. Geschichtsbild und kulturpolitische Implikation der Ästhetik - Karlheinz Stierle. Malerei und Literatur der italienischen Renaissance in Hegels Ästhetik - Ursula Rautenberg. Ein Hegelianer unter Germanisten. Karl Rosenkranz' mediaevistische Studien. (shrink)

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic. It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay (...) by Dunn. Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions to computer science, such as knowledge representation and information processing. This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general. (shrink)

Excerpt from Die Prinzipien der Mechanik in Neuem Zusammenhange Dargestellt Wahl eines Berufs entschliefsen mufste, wahlte er den des Ingenieurs. Es scheint, dafs die auch in spateren Jahren als ein charakteristischer Grundzug seines Wesens hervor tretende Bescheidenheit ihn an seiner Begabung fur theore tische Wissenschaft zweifeln liefs, und dafs er sich bei der Beschaftigung mit seinen geliebten mechanischen Arbeiten des Erfolges sicherer fuhlte, weil er deren Tragweite schon damals ausreichend verstand. Vielleicht hat ihn auch die in seiner Vaterstadt herrschende, mehr (...) dem Praktischen zugeneigte Sinnesweise beeinflufst. Ubrigens beobachtet man nicht selten diese Art zaghafter Bescheidenheit gerade bei jungen Leuten von hervorragenden Anlagen. Sie haben wohl eine deutliche Vorstellung von den Schwierigkeiten, die vor der Erreichung des ihnen vorschwebenden hohen Zieles zu uberwinden sind, und mussen ihre Krafte erst praktisch erprobt haben, ehe sie das zu ihrem schweren Werke notige Selbstvertrauen ge winnen. Aber auch in ihrer spateren Entwickelung pflegen reich veranlagte Naturen um so unzufriedener mit ihren eigenen Werken zu sein je hoher ihre Fahigkeiten und ihre Ideale reichen. Die Begabtesten erreichen offenbar nur des halb das Hochste, weil sie am empfindlichsten gegen jede Un vollkommenheit sind, und am unermudlichsten an deren Beseitigung arbeiten. 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)

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.

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].

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)

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.

This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N– and N. Doen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.

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)

A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstream epistemology. Moreover, it is argued that this linking (...) is of mutual benefit. The discussion of doxastic voluntarism directs the attention of doxastic logicians to the notion of belief formation and thus to dynamic aspects of beliefs that have hitherto been neglected. The development of a formal language and semantics for ascriptions of belief formation may contribute to clarifying the contents and the implications of voluntaristic claims. A simple observation concerning other-agent nestings of stit-operators, for instance, may help illuminating the notions of making belief and responsibility for beliefs of others. In this way, stit-theory may serve as a bridge between mainstream and formal epistemology. (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.

Zusammensetzung des Körpers.--Die sinnliche Wahrnehmung.--Der Mikrokosmos (der Mensch eine kleine Welt)--Embryologie, Astrologie.--Die Theilseele.--Die Grenze des menschlichen Wissens.--Leben und Tod.--Schmerz und Lust.--Ton, Laut, Sprache.

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)

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.

Neinsagen ist die Formel des Protestes. In einer Welt, die zu Protesten Anlaß bietet, scheint es nicht überflüssig, diese Formel zu untersuchen.

Leibniz hat sein Projekt einer Scientia generalis, die das gesamte Wissen seiner Zeit in einer Enzyklopädie komprimieren sollte, vor seinen Zeitgenossen geheim gehalten. Bei einzelnen Briefpartnern versuchte er, Verständnis für Thesen seiner Metaphysik zu finden, ohne zu viel davon preiszugeben. Heinrich Schepers will in seinen Beiträgen dem nahe kommen, was Leibniz' wahre Metaphysik ausmacht. Die Perzeption und der Appetitus sind die spontanen Handlungen, mit denen sich die Individuen selbst konstituieren. Die Kompatibilität ist die Relation, die sie auf die vielen (...) möglichen Welten verteilt. Die sich dabei herausstellenden Grade der Perfektion machen die Wahl der besten unter ihnen möglich. Aus den spontanen Handlungen der einfachen Substanzen leitet Leibniz seine Begriffe von Raum und Zeit ab. Tragend für diese Theorie ist sein konzeptualistischer Gottesbegriff, demzufolge nicht allein die Essenzen, sondern alles Denkbare in Form vollausgebildeter Subjekte materiell Gottes Verstand ausmachen. (shrink)

.Es wird über eine Untersuchung zur Forschungsmethodik der Wirtschaftsinformatik berichtet. Untersuchungsziel war es, den Stellenwert von Forschungsmethodik in der Wirtschaftsinformatik zu bestimmen und den Befund dazu zu erklären. Das Untersuchungsziel wurde mit einer Stichprobenanalyse verfolgt. Als Stichprobe wurden die vierzehn Jahrgänge 1990 bis 2003 der Zeitschrift WIRTSCHAFTSINFORMATIK verwendet. Im Ergebnis wird festgestellt, dass die Wirtschaftsinformatik erhebliche forschungsmethodische Anstrengungen unternehmen muss, wenn sie auf dem Weg von einer Kunstlehre zur Wissenschaft zügig vorankommen will.