This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

ABSTRACTPeople's relationship between positive and negative affect varies on a continuum from relatively independent to bipolar opposites, with stronger bipolar opposition being termed affective bipolarity. Experiencing more depressive symptoms is associated with increased bipolarity, but the processes underlying this relation are not yet understood. Here, we sought to replicate this link, and to examine the role of two potential mediating mechanisms: emotion regulation ability, and trait brooding. Drawing from the Dynamic Model of Affect, we hypothesised that a poor ability to (...) regulate negative emotion, and the tendency to brood over one's depressed feelings would predict stronger affective bipolarity, and mediate the relationship between depressive symptoms and affective bipolarity. To measure affective bipolarity, we calculated within-person affect correlations using two weeks of experience sampling data from a community sample. Mediation analyses indicated that baseline assessments o... (shrink)

Popper holds to the unity of scientific method: any differences between natural and social science are a product of theory, not a pretheoretical premise. Distin guishing instead pure and applied generalizing sciences, Popper focuses on the different role of laws in each. In generalizing social science, our tools are the logic of the situation, including the rationality principle, and unintended conse quences. Situations contain individuals, but also social entities not reducible to individuals: conspiracy theory is the extreme form of individualism. (...) Action in situations has unintended consequences. Both social and natural laws may be required to explain outcomes. The fate of Popper's ideas is a case study in the logic of the situation. Professional philosophers of social science lean toward individualism and a priorism (either intuitionist or rational choice). There are social and political explanations of this outcome, but little critical engagement with Popper's ideas. (shrink)

Von den Spiralen.--Von den drei Sphären.--Von der Gefahr.--Von der Mitte.--Von den Gründen.--Von der Beliebtheit.--Vom Mythos der Sprache.--Von den Namen.--Von den Farben.--Vom Dichten, Denken, und Deuten.

This article raises the question of whether standard economics with the general equilibrium model at its core applies situational analysis in a Popperian sense. Contrary to Popper's own view, the authors come to the conclusion that this is not the case. Standard economics fails to represent elements essential to any social situation in an adequate manner. It comprises uncertainty, time and space, social interaction, unintended effects, as well as culture and institutions. The authors suggest, therefore, the socioeconomic context as an (...) alternative approach to analyzing social situations. It consists of four basic elements: (1) dominant worldviews, (2) institutions and technologies, (3) relative prices, and (4) political instruments. The alternative approach was applied with some success to analyzing inter alia problems of unemployment as well as of transformation. (shrink)

Our century thinks scientifically. Nothing would be more plausible than that it has the same relation to the world as does Sein und Zeit. This, however, is not the case. For Heidegger, Science and Technology are essential characteristics of our time. Both are rooted in man insofar as he is a "Will to Will." Scientific man is man as subject. As such he does not wish to see the world the way it appears by itself but rather as a field (...) that may be tilled by him and is preordained for him and his activity. The world as the object of action does not merely come to man as a legacy; instead he violently grasps it and makes it his hunting ground. "Man becomes that Seiende, on which is based all Seiende in the manner of its Being and its Truth". Man of the machine-age does not allow for a world "where Being is as Being." The Subject "sets" its world and therefore has a Welt-bild and Welt-anschauungen, all of these being bifurcations indicating the separation of subject and world. A uniform world is replaced by Ego over against World. In this kind of "world" man makes God in his own image by setting the "world" as the stage for his Welt-anschauung, one which aims at utility and plasticity. Man is the director staging the world of his idea. As the objects which are handled have properties which reflect back on the producer, the directing is all the more dangerous. He who in everything that he thinks and does is staging himself might become the victim of his own production; the world of the calculating man has the character of its producer. "The calculating mind, adapting itself, invents 'values'. Value is the transformation of the Essence of Essence into the quantitative and the gigantic." In Holzwege Heidegger shows that the gigantic is a consequence of the way the subject places himself in the world. The world does not appear as what it is, but as what man makes of it. The world of the machine-age is a world-less world and the "world" as it is described in Sein und Zeit and more so in the essay "Vom Wesen des Grundes" does not appear in it. (shrink)

This chapter examines art-historical classification and style-dating and evaluates their applications in establishing the connections between Ireland and Anglo-Saxon England during the seventh century. It describes the animals and plants in Christian objects and suggests that they are variants of the Germanic Animal Style II defined by Bernhard Salin. The chapter also argues that these objects reflect the relationships between the Anglo-Saxon and Irish ruling elites.