Already in 1934, the poet Gottfried Benn had sketched the outline of a certain type of warrior befitting the new Third Reich. In a surrealistic style, he invoked the image of a Spartan as representative of a “white race” suitable for and capable of dictatorship. All feminine characteristics were expunged from this figure. He represented a prototype of biological virility with a steely torso and a relatively small head designed solely for the reception of orders. In 1941, once German paratroopers (...) had finally conquered the island of Crete after “battles with heavy losses,” Erhart Kästner, a soldier in the pursuing.. (shrink)

Johannes von Kries’s Spielraum-theory is regarded as one of the most important philosophical contributions of the nineteenth century to an objective interpretation of probability. This paper aims at a critical and contextual analysis of von Kries’s approach: It is contextual insofar as it reconstructs the Spielraum-theory in the historical setting that formed his scientific and philosophical outlook. It is critical insofar as it unfolds systematic tensions and inconsistencies which are rooted in this context, especially in the grave change of mechanism (...) which took place in the late nineteenth century. In this regard, the paper focuses on von Kries’s understanding of natural laws and nomological knowledge in relation to his concept of objective probability. While the formal approach of the Spielraum-theory—as far as developed by von Kries—seems sound, his epistemological claims with respect to nomological knowledge sustain classical mechanism and are hence difficult to substantiate from the point of view of modern science. (shrink)

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a (...) large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability. (shrink)

Let A be a formula without implications, and Γ consist of formulas containing disjunction and falsity only negatively and implication only positively. Orevkov and Nadathur proved that classical derivability of A from Γ implies intuitionistic derivability, by a transformation of derivations in sequent calculi. We give a new proof of this result , where the input data are natural deduction proofs in long normal form involving stability axioms for relations; the proof gives a quadratic algorithm to remove the stability axioms. (...) This can be of interest for computational uses of classical proofs. (shrink)