We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in between intuitionistic propositional logic and the logic of the weak law of the excluded middle (also known as De Morgan, or Jankov, logic). We discuss the relation between the weak law of the excluded middle and the algebraic notion of join-reducibility. Finally we discuss autoreducible degrees.

The basic biological situation -- Credulity, and the skeptical tradition -- The early period -- Construction of the inner realm -- Brain, mind, religion -- Infantile amnesia -- Prayer and faith -- Angelic encounters -- Are we 'wired for God'?.

This book is the first part of a comprehensive study of Wittgenstein's conception of language description. Describing language was no pastime occupation for the philosopher. It was hard work and it meant struggle. It made for a philosophy that required Wittgenstein's full attention and half his life. His approach had always been working on himself, on how he saw things. The central claim of this book is that nothing will come of our exegetical efforts to see what Wittgenstein's later philosophy (...) amounts to if his work on describing language is not given the place and concern it deserves. The book shows what his philosophy might begin to look like in the light of critical questions around his interest to see the end of the day with descriptions, and these things only. (shrink)

We ask why pharmacological cognitive enhancement (PCE) is generally deemed morally unacceptable by lay people. Our approach to this question has two core elements. First, we employ an interdisciplinary perspective, using philosophical rationales as base for generating psychological models. Second, by testing these models we investigate how different normative judgments on PCE are related to each other. Based on an analysis of the relevant philosophical literature, we derive two psychological models that can potentially explain the judgment that PCE is unacceptable: (...) the “Unfairness-Undeservingness Model” and the “Hollowness-Undeservingness Model.” The Unfairness-Undeservingness Model holds that people judge PCE to be unacceptable because they take it to produce unfairness and to undermine the degree to which PCE-users deserve reward. The Hollowness-Undeservingness Model assumes that people judge PCE to be unacceptable because they find achievements realized while using PCE hollow and undeserved. We empirically test both models against each other using a regression-based approach. When trying to predict judgments regarding the unacceptability of PCE using judgments regarding unfairness, hollowness, and undeservingness, we found that unfairness judgments were the only significant predictor of the perceived unacceptability of PCE, explaining about 36% of variance. As neither hollowness nor undeservingness had explanatory power above and beyond unfairness, the Unfairness-Undeservingness Model proved superior to the Hollowness-Undeservingness Model. This finding also has implications for the Unfairness-Undeservingness Model itself: either a more parsimonious single-factor “Fairness Model” should replace the Unfairness-Undeservingness-Model or fairness fully mediates the relationship between undeservingness and unacceptability. Both explanations imply that participants deemed PCE unacceptable because they judged it to be unfair. We conclude that concerns about unfairness play a crucial role in the subjective unacceptability of PCE and discuss the implications of our approach for the further investigation of the psychology of PCE. (shrink)

We prove that there are uncountably many sets that are low for the class of Schnorr random reals. We give a purely recursion theoretic characterization of these sets and show that they all have Turing degree incomparable to 0'. This contrasts with a result of Kučera and Terwijn [5] on sets that are low for the class of Martin-Löf random reals.

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size $2^{2^{\aleph }0}$ , the size of the lattice itself. We also prove that it is consistent with ZFC that the lattice has chains of size $2^{2^{\aleph }0}$ , and in fact these big chains occur in every infinite interval. We also (...) study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice. (shrink)

Simpson introduced the lattice of Π0 1 classes under Medvedev reducibility. Questions regarding completeness in are related to questions about measure and randomness. We present a solution to a question of Simpson about Medvedev degrees of Π0 1 classes of positive measure that was independently solved by Simpson and Slaman. We then proceed to discuss connections to constructive logic. In particular we show that the dual of does not allow an implication operator (i.e. that is not a Heyting algebra). We (...) also discuss properties of the class of PA-complete sets that are relevant in this context. (shrink)

Model transfer refers to the observation that particular model structures are used across multiple distinct scientific domains. This paper puts forward an account to explain the inter-domain transfer of model structures. Central in the account is the role of validation criteria in determining whether a model is considered to be useful by practitioners. Validation criteria are points of reference to which model correctness for a particular purpose is assessed. I argue that validation criteria can be categorized as being mathematical, theoretical (...) or phenomenological in nature. Model transfer is explained by overlap in validation criteria between scientific domains. Particular emphasis is placed on overlap between phenomenological criteria. Overlap in phenomenological criteria can be explained through the notion of universal patterns. Universal patterns are abstract structures that can be made to refer to multiple distinct phenomena when coupled with phenomena-specific empirical content. I present the case study of the Yule Process, in which universal patterns play a crucial role in explaining model transfer. This paper provides an account of model transfer that stays close to modelling practice and expands existing accounts by introducing the notion of universal patterns. (shrink)

ABSTRACT In the work of Ernesto Laclau, populism is treated as a hegemonic challenge. Hegemony describes the usurpation of the image of society as a totality by a particular and underdetermined social imaginary. Seen through the lens of what Johann P. Arnason terms “post-transcendental phenomenology”, this concerns the way in which a society sees and experiences both itself and the world it inhabits. This article suggests that hegemonic social imaginaries are built into a society’s public spaces, and are in turn (...) experienced by citizens moving through these spaces, meaning that the built environment is central to the development of populist imaginaries. The article discusses how the neoliberal city exemplifies the way social imaginaries are inscribed into the physical landscape by highlighting three moments in the city; the institution of a certain imaginary as dominant; its sedimentation within the urban fabric over time; and finally, the re-activation of the original moment of institution, which opens up the possibility for new beginnings to overwrite the imaginaries encoded in the city. These three moments describe how physical, built spaces make concrete the power relations and horizons of possibility of the hegemonic imaginary—making possible and encouraging certain ways of being while discouraging (and hiding) others. This hegemonic logic of occupying a public space in the name of a particular subset of the population is a not only parallel to the form of populist politics, but populist sentiment is—at least in part—provoked by the experiences of inhabiting these spaces. (shrink)

Name der Zeitschrift: Wittgenstein-Studien Jahrgang: 5 Heft: 1 Seiten: 57-88.

The concept of positional information is applied to a large amount of data obtained previously in experiments on developing and regenerating amphibian limbs. Only the proximo-distal axis of the limb is considered. It is shown that the concept provides a simple, unitary hypothesis which satisfactorily accounts for the experimental data, and may moreover suggest meaningful new approaches. It is suggested that the boundaries of the bipolar limb system lie in the girdle skeleton and at the distal end of the limb, (...) respectively, and that it is the apical epidermis of the growing or regenerating limb which defines the distal boundary conditions. A relatively stable gradient of positional information is assumed to be set up in the mesoderm . It is further shown that the differentiated limb retains its positional information and upon amputation imparts it to the base of the blastema. To explain an apparent discrepancy between the developing and the regenerating limb, it is proposed that dedifferentiation of mesodermal limb tissues upon amputation entails a change of positional value in the mesenchyme. Consequently, the amputation level does not once and for all specify the positional value at the proximal end of a mass of blastemal mesenchyme, particularly when the mesenchyme is transplanted in such a way that its linear size decreases or increases. (shrink)

Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But (...) other mathematicians and philosophers have been voicing objections to choice sequences from the start. This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl. (shrink)

This superb new translation of Nietzsche's mature masterpiece, Beyond Good and Evil, offers the most comprehensively annotated text, complemented by a lucid introduction by one of the most eminent of Nietzsche scholars, Robert C. Holub.

We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of measure 0 set as considered before by Martin-Löf, Schnorr, and others. We prove that the class of sets constructible by r.e.-constructors, a direct analogue of the classes Lutz devised his resource bounded measures for in [10], is not equal to RE, the class of r.e. sets, and we locate this class exactly in terms of the common recursion-theoretic reducibilities below K. We note that (...) the class of sets that bounded truth-table reduce to K has r.e.-measure 0, and show that this cannot be improved to truth-table. For Δ2-measure the borderline between measure zero and measure nonzero lies between weak truth-table reducibility and Turing reducibility to K. It follows that there exists a Martin-Löf random set that is tt-reducible to K, and that no such set is btt-reducible to K. In fact, by a result of Kautz, a much more general result holds. (shrink)

We discuss the effectivity of Arslanov’s completeness criterion. In particular, we show that a parameterized version, similar to the recursion theorem with parameters, fails. We also discuss the effectivity of another extension of the recursion theorem, namely Visser’s ADN theorem, as well as that of a joint generalization of the ADN theorem and Arslanov’s completeness criterion.

In this study, we examine the influence of senior leadership on firms’ corporate social responsibility. We integrate upper echelons research that has investigated either the influence of the CEO or the top management team on CSR. We contend that functional experience complementarity between CEOs and TMTs in formulating and implementing CSR strategy may underlie differentiated strategies in CSR. We find that when CEOs who have predominant experience in output functions are complemented by TMTs with a lower proportion of members who (...) have experience in output functions, there is a pronounced effect on the community, product, and diversity dimensions of CSR. In turn, when output-oriented CEOs are complemented by output-oriented TMTs, we observe an effect on the employee relations dimension of CSR. Interestingly, we find no influence of CEO-TMT complementarity on the environment dimension of CSR. In general, our empirical results support the relevance of the interaction between CEOs and their TMTs in defining their firms’ CSR profile. (shrink)

In this study, we examine the influence of senior leadership on firms’ corporate social responsibility. We integrate upper echelons research that has investigated either the influence of the CEO or the top management team on CSR. We contend that functional experience complementarity between CEOs and TMTs in formulating and implementing CSR strategy may underlie differentiated strategies in CSR. We find that when CEOs who have predominant experience in output functions are complemented by TMTs with a lower proportion of members who (...) have experience in output functions, there is a pronounced effect on the community, product, and diversity dimensions of CSR. In turn, when output-oriented CEOs are complemented by output-oriented TMTs, we observe an effect on the employee relations dimension of CSR. Interestingly, we find no influence of CEO-TMT complementarity on the environment dimension of CSR. In general, our empirical results support the relevance of the interaction between CEOs and their TMTs in defining their firms’ CSR profile. (shrink)

Rita Nakashima Brock, Carter Heyward and Susan Thistlethwaite intend, in their respective theological projects, to create a vision of feminist eros uncomplicated by violence. They envision feminist eros as a means to bring theology back to earth and into the body, and encourage women to seek the good within themselves and their relationships with others. Brock, Heyward and Thistlethwaite resist social injustices, particularly the intertwined structures of patriarchy and multi-national capitalism. According to these feminist theologians, the structures of injustice have (...) sedimented into a seemingly intractable and unobserved geography of habits and attitudes. Brock, Heyward and Thistlethwaite want to expand theological imagination to territories that lie beyond these oppressive systems through a critical feminist perspective, and to recover possibilities inherent in a hitherto unattended and constant feature of the landscape, the connections between all that exists, inanimate, animate, animal, human. This revisioning constitutes a new and dynamic gospel of feminist eros. (shrink)

11 essays by leading Whitehead scholars re-examinae Whitehead's Barbour-Page lectures, published as the book Symbolism: Its Meaning and Effect in 1927, to give you exciting insights into the contemporary implications of Whitehead's symbolism in an era of new scientific, cultural and technological developments.

We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence between Kripke models and algebraic structures such as factors of the Medvedev lattice.

In an empirical study, we compared how lay people judge motivation enhancement as opposed to cognitive enhancement. We found alienation is not seen as a danger associated with either form of enhancement. Cognitive enhancement is seen as more morally wrong than motivation enhancement, and users of cognitive enhancement tend to be judged as less deserving of praise and success than users of motivation enhancement. These more negative judgments of cognitive enhancement may be driven by differences in perceived fairness rather than (...) differences in effort exerted by the user, although lay people generally see effort as necessary to deservingness of praise and success. (shrink)

This paper uses basic concepts from sociological process theory to assess new forms of public management in innovation policy and their relevance to business strategy. We describe this policy process as chains of events, outcomes, and re-coupling. It is argued that these process sequences occur in three analytically separate domains, namely the social, the cultural, and the cognitive domain. The paper identifies three collective learning variables of cooperation, collectivity, and content, to arrive at an explanatory scheme to systematically investigate business (...) strategy in complex process dynamics. (shrink)

In complex philosophical ways, theology is, should, and can be a "theopoetics" of multiplicity. The ambivalent term theopoetics is associated with poetry and aesthetic theory; theology and literature; and repressed literary qualities, myths, and metaphorical theologies. On a more profound basis, it questions the establishment of the difference between philosophy and theology and resides in the dangerous realm of relativism. The chapters in this book explore how the term theopoetics contributes to cutting-edge work in theology, philosophy, literature, and sociology.

We prove a number of elementary facts about computability in partial combinatory algebras. We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca’s. We then discuss separability and elements without total extensions. We relate this to Ershov’s notion of precompleteness, and we show that precomplete numberings are not 1–1 in general.

This comprehensive, psychological, and naturalistic analysis of prayer offers an alternative to William James's model of prayer. Faber analyzes religious faith psychologically and anthropologically, concluding that subjective prayer is finally an instance of homeopathic "magical" conduct. It ritualistically conjures up a version of the first, primal, biological situation, in which the dependent "little" one cries out to a parental "big" one for physical and emotional nourishment. Eventually, religion, and its expression of faith through prayer, provides us with a magical (...) protective presence that is natural in its return to the primal, rather than supernatural, as James argues, in its presence and existence. (shrink)