Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...) tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area. (shrink)

Joachim Schulte’s introduction provides a distinctive and masterful account of the full range of Wittgenstein’s thought. It is concise but not compressed, substantive but not overloaded with developmental or technical detail, informed by the latest scholarship but not pedantic. Beginners will find it accessible and seasoned students of Wittgenstein will appreciate it for the illuminating overview it provides.

First encounters : Jesuit logica in the late Ming and early Qing -- Haphazard overtures : logic in nineteenth-century Protestant writings -- Great expectations : Yan Fu and the discovery of European logic -- Spreading the word : logic in late Qing education and popular discourse -- Heritage unearthed : the discovery of Chinese logic -- Textbooks on logic adapted from Japanese, 1902-1911 -- Logical terms in early-twentieth-century textbooks.

One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Technically speaking, this amounts to working in the direct product of two free pregroups.

Politics and political science -- Equality to freedom -- Law and government -- Ethics and politics -- Power, interests, and the common good -- Justice and revolution.

In den "Rhetorikforschungen", begründet von Gert Ueding (mit Joachim Dyck und Walter Jens), erscheinen hervorragende Leistungen rhetorischer Grundlagenforschung. Interdisziplinarität ist konstitutiv: Publiziert werden auch Studien jener wissenschaftlichen Fächer, die aus der Rhetorik hervorgegangen und methodisch mit ihr verflochten geblieben sind, sowie Arbeiten zur Praxis rhetorischen Sprechens in Alltag und Beruf, in öffentlichen Debatten, in Wirtschaft und Politik. Besonderes Gewicht liegt auf historischen Aspekten. Historisch meint hier: bis auf den heutigen Tag. Leitend bleibt die Frage, welche Rolle die Rhetorik in (...) den verschiedenen Disziplinen heute hat, welche Bedeutung sie in der modernen Gesellschaft für sich beansprucht. Die historische Perspektive erfasst dabei in Theorie und Praxis die Geschichte der Rhetorik und ihrer Rezeption von der Antike über das Mittelalter, den Humanismus, den Barock und die Aufklärung bis hin zu ihrer anschließenden Transformation und Verdrängung. Mit dem 20. Jahrhundert treten Medienrhetorik, Werbe-Rhetorik und digitale Formen der Kommunikation hinzu. (shrink)

Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements.

Der Kern der Logik, wie er sich in den Sätzen der Identität, des ausgeschlossenen Widerspruches und des ausgeschlossenen Dritten ausgedrückt findet, ist nicht revidierbar, auch nicht mit Hilfe von mehrwertigen Logiken. Überdies kommt der Logik, will man die uneingeschränkte Möglichkeit von Widersprüchen eliminieren, gegenüber der Dialektik der methodologische Primat zu. Der unaufhebbare Primat der Logik ist jedoch ein Primat und keine absolute Herrschaft, d.h. es ist möglich, die Grenze der Anwendbarkeit der Logik zu ermitteln. Diese Grenze ist dann erreicht, wenn (...) ein kontextvariantes Objekt nicht zu einem kontextinvarianten Objekt umgeformt werden kann. Das ist z. B. der Fall beim Ganzen im Sinne der Totalität. Dies Ergebnis hat Folgen für die Gültigkeit des Popperschen Falsifikationsprinzips: Läßt sich zeigen, daß die Widersprüche einer These nur von kontextvarianten Objekten, die sich nicht in kontextinvariante Objekte verwandeln lassen, herrühren, so ist die betreffende These aufgrund dieser Widersprüche allein noch nicht korrekturbedürftig, geschweige denn widerlegt. (shrink)

Bleibt der pankritische Rationalismus ohne logisch-methodisches Grundkonzept, so besteht entweder die Gefahr der Positionslosigkeit oder die des Neoirrationalismus. Andererseits könnte er durch ein solches Grundkonzept zu einem neuen Dogmatismus werden, der dort seine Grenzen hat, wo die Dialektik beginnt. Man glaubt nämlich irrtümlicherweise mit Popper, daß sich aus einem Widerspruch Beliebiges ableiten lasse. Will man dem Dilemma entkommen, darf der Begriff der rationalen Kritik nicht mit dem der rationalen Widerlegung identisch bleiben, diese umfaßt vielmehr nur einen Teil der rationalen Kritik, (...) allerdings den bei weitem umfangreichsten und überdies den, für den sich eine Logik konstituieren läßt. Die Kernlogik umfaßt diejenigen logischen Elemente, auf denen jede Widerlegung basiert. Dies sind die Sätze der Identität, des auszuschließenden Widerspruchs und des auszuschließenden Dritten, die Negation, die Konjunktion, die Subjunktion, sowie der Satz der Reflexivität und der modus tollendo tollens. (shrink)

Starting from a political controversy and a wide-ranging media-discussion, the article examines the evolution of German national holidays from the "Kaiserreich" to the reunited Federal Republic. The author lists the dates and attributes of the national festivities and asks to what extent national days can contribute to a collective identification with the given state and its political system. In the process of change one identifies a long run from emotional festivity towards a rather rational attitude in celebrating the National Day. (...) The future of the current German national holiday in the frame of a 'democratic culture' is far away from being settled. (shrink)