The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Reinhard Löw, a young German philosopher who has written on the natural sciences and life, offers a critical exposition of Kant’s philosophy of organism that seeks at once to view the philosopher’s thinking in a new light and to contribute to present-day philosophy of organism in particular and nature in general. Löw offers his own historical and theoretical development of the issues and draws upon the insights of present-day thinkers on life, such as Jonas and Uexküll. Rejecting a causal-mechanical Erklären (...) in favor of a Verstehen of nature deriving from "the ends of life," Löw puts forward the concept of a Leib-Apriori within the broader notion of a psychophysical subjectivity as ground of a new teleological thinking. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

Context: Josef Mitterer has become known for criticizing the main exponents of analytic and constructivist philosophy for their blind adoption of a dualistic epistemology based on an alleged ontological difference between world and words. Judith Butler, who has developed an influential model of (de)constructivist feminism and has been labeled a linguistic constructivist, has been criticized for sustaining exactly what, according to Mitterer, most modern philosophy fails to acknowledge: namely that there is no ontological difference between objective facts beyond language and (...) the discourse about these facts. Problem: In the scholarly discussion on non-dualism, two main questions have been raised: Where does Mitterer’s basic consensus, i.e., the starting-point description, come from? and: What does it mean, to say that further descriptions change their object? Method: Comparative analysis of the core concepts of Mitterer’s and Butler’s work in the context of the history of ideas. Results: Butler’s conception of a performative production of objectivity through discursive and non-discursive iterated practices can be interpreted as an illustration of Mitterer’s claim that descriptions change their object. The problem of where Mitterer’s starting-point descriptions come from can be solved by adopting Butler’s concept of culturally inherited practices. (shrink)

Hegel’s concept of Recognition is of continuing interest on several accounts. In the Hegelian system Recognition plays a key role in the development of the natural consciousness to Spirit in the Phenomenology of 1807 and in the development from Subjective to Absolute Spirit in the later Encyclopedia. But apart from its role in the system itself, Hegel’s dialectic of Recognition has seminally infused thinking on intersubjectivity and social theory in Marx, Sartre, Habermas, and others. Siep would apply it in yet (...) another way. He proposes to view Recognition as a principle of practical philosophy, indeed as making possible a renewal of practical philosophizing in the tradition of Aristotle. Through Recognition, which is Spirit as self-consciousness in the interaction of individuals and between individuals and institutions, Hegel overcomes the cleft in Kantian and Fichtean a priori philosophizing between autonomous individuality and community. Utilizing Recognition theory to derive the community and its institutions from a notion of the free self-consciousness, Hegel reconciles the Aristotelian tradition of the polis with the principle of transcendental subjectivity. Siep, in a scholarly and at the same time stimulating work, inquires whether Recognition theory can provide the principle for a contemporary practical philosophy not wedded to the Hegelian teleology of Spirit. (shrink)

A brief summary of ancient thinkers who contribute to a theory of the physical universe, ranging from Anaximander to Proclus, with a major emphasis on pre-Aristotelian thought. Included in the work are many well-chosen abstracts of primary sources, such as Hippocrates' "On the Sacred Disease" and Parmenides' "On Nature." De Santillana presents a lively account of his materials, together with helpful illustrations. There is a rather insensitive portrayal of Aristotle as a mere synopticist of earlier theories and as primarily concerned (...) with "a tidiness of words."--T. M. G. (shrink)

PurposeThe relation between fear of childbirth and gestational age is inconclusive, and self-reported need for help regarding this fear has never been investigated. This study aimed to determine the prevalence and course of FoC according to gestational age, to identify risk factors for the development of FoC, the influence of this fear on preferred mode of delivery, and self-reported need for help.MethodsNulliparous pregnant women of all gestational ages completed an online survey. The study consisted of a cross-sectional and a longitudinal (...) analysis. Women who completed the survey in the first or second trimester were approached again in their third trimester. The Wijma Delivery Expectancy Questionnaire Version A was used with a cut-off score ≥ 85 to define presence of fear of childbirth. Questionnaires indexing social support, anxiety, symptoms of depression, preferred mode of delivery, and self-reported need for help were included.ResultsIn total, 364 women were enrolled at T0, and 118 out of 184 eligible women were included in the longitudinal analysis. Point prevalence of FoC at T0 was 18.4% with no significant difference between trimesters. In the longitudinal sample, the prevalence of FoC decreased from 18.6% to 11.0%, p = 0.004. Although mean scores for FoC decreased significantly, p < 0.001, scores increased in 41 women. The presence of FoC was associated with elevated anxiety, less family support, prenatal care of the obstetrician by choice, preference for a cesarean section, and for pain relief. Women with FoC were more likely to actively seek for help compared to women without FoC.ConclusionWhile FoC is common in each trimester, prevalence decreases over the course of pregnancy. Women with FoC are often actively seeking for help, suggesting that this fear should be addressed better, and help should be offered accordingly. (shrink)