In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Fred Dallmayr explores the benefits of mindfulness in respect to philosophy and theory, practical conduct, language use, art works, historical understanding, and cosmopolitanism. Students of continental, social, and political philosophy will benefit from Dallmayr’s engagement with, among others, Heidegger, Panikkar, Merleau-Ponty, and Derrida.

We study the decidability of k-provability in \—the relation ‘being provable in \ with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton. The decidability of k-provability for the usual Hilbert-style formalisation of \ is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which (...) k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms. (shrink)

Diese großangelegte Studie, die überarbeitete Fassung einer von der Berliner Humboldt-Universität 1994 angenommenen Habilitationsschrift, behandelt das Phänomen der mystischen Erfahrung in der Philosophie.

The correspondence between Richard von Mises and George Pólya of 1919/20 contains reflections on two well-known articles by von Mises on the foundations of probability in the Mathematische Zeitschrift of 1919, and one paper from the Physikalische Zeitschrift of 1918. The topics touched on in the correspondence are: the proof of the central limit theorem of probability theory, von Mises' notion of randomness, and a statistical criterion for integer-valuedness of physical data. The investigation will hint at both the fruitfulness and (...) the limits of several of von Mises' notions such as ``collective'', ``distribution'' and ``complex adjuncts'' (characteristic functions) for further developments in probability theory and in ``directional statistics''. By pointing to the selectiveness of Pólya's criticism, the historical analysis shows the differing expectations of the two men with respect to the further development of the theory of probability and its applications. The paper thus gives a glimpse of the provisional state of the theory around 1920, before others such as P. Lévy (1886–1971) and A. N. Kolmogorov (1903–1987) stepped in and created a new paradigm for probability theory. (shrink)

Fokus eines Kriegseinsatzes und Fluchtpunkt des Preußischen Staatsrats Schmitt und seiner Lebens-, Zeit-, Rechts- und Ideengeschichte. Korrumpiert und verstoßen, widerstrebend und vereinnahmt ging das "Chamäleon" Carl Schmitt im Dritten Reich seinen eigenen Weg. Die europäische Zeit- und Rechtsgeschichte spiegelt sich exemplarisch im Werden und Wirken des "Kronjuristen des Dritten Reiches", und heute sind die Ideen dieses Staatsrechtsvordenkers und Großraumvisionärs wieder brennend aktuell.

Measurement instruments assessing multiple emotions during epistemic activities are largely lacking. We describe the construction and validation of the Epistemically-Related Emotion Scales, which measure surprise, curiosity, enjoyment, confusion, anxiety, frustration, and boredom occurring during epistemic cognitive activities. The instrument was tested in a multinational study of emotions during learning from conflicting texts. The findings document the reliability, internal validity, and external validity of the instrument. A seven-factor model best fit the data, suggesting that epistemically-related emotions should be conceptualised in terms (...) of discrete emotion categories, and the scales showed metric invariance across the North American and German samples. Furthermore, emotion scores changed over time as a function of conflicting task information and related significantly to perceived task value and use of cognitive and metacognitive learning strategies. (shrink)

Democracy purged of all its Disadvantages. « Encoded at the level of its lexicology and logical constructedness, the republican discourse of the enlightenment and revolution is marked by two conceptualizations which contradict and mutually exclude each other. Contemporary observers of the revolution or those close to its events speak about an opposition between an order of egotism and an order of equality, between a principle of utility and a principle of ascetism, between an ethics based on personal interest and an (...) ethics based on the national interest, between a kind of individualism and a kind of socialism, etc. Because it has excluded physiocratic thinking from its domain, the traditional historio-graphy of political ideas has obstructed an unbiased view to the context which engenders conceptualizations of an alternative Republicanism vis-a-vis that of Rousseau, while at the same time utilizing Rousseaus formulas ». (shrink)

Sustainable development (SD) – that is, “Development that meets the needs of current generations without compromising the ability of future generations to meet their needs and aspirations” – can be pursued in many different ways. Stakeholder relations management (SRM) is one such way, through which corporations are confronted with economic, social, and environmental stakeholder claims. This paper lays the groundwork for an empirical analysis of the question of how far SD can be achieved through SRM. It describes the so-called SD–SRM (...) perspective as a distinctive research approach and shows how it relates to the wider body of stakeholder theory. Next, the concept of SD is operationalized for the microeconomic level with reference to important documents. Based on the ensuing SD framework, it is shown how SD and SRM relate to each other, and how the two concepts relate to other popular concepts such as Corporate Sustainability and Corporate Social Responsibility. The paper concludes that the significance of societal guiding models such as SD and of management approaches like CSR is strongly dependent on their footing in society. (shrink)

Uniformities describing the distinguishability of states and of observables are discussed in the context of general statistical theories and are shown to be related to distinguished subspaces of continuous observables and states, respectively. The usual formalism of quantum mechanics contains no such physical uniformity for states. Using recently developed tools of quantum harmonic analysis, a natural one-to-one correspondence between continuous subspaces of nonrelativistic quantum and classical mechanics is established, thus exhibiting a close interrelation between physical uniformities for quantum states and (...) compactifications of phase space. General properties of the completions of the quantum state space with respect to these uniformities are discussed. (shrink)

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer (...) science such as automated theorem proving and type theory. (shrink)

Force, Fate, and Freedom serves as an introduction to historical sociology, as well as a critical analysis of the belief in economic and political progress through social knowledge. Reinhard Bendix offers a development of the historicist approach to social change first championed by Max Weber, and presents an overview of the foundations of political authority in Japan, Russia, Germany, France, and England.