I give a class forcing that adds a real which is Pi-1-2 and for which no forcing extension (by a set of conditions) can destroy this definability.

We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.

Do young children have a teleological conception of the essence of natural kinds? We tested this by examining how the preservation or alteration of an animal’s purpose affected children’s persistence judgments (N = 40, ages 4 - 12, Mean Age = 7.04, 61% female). We found that even when surface-level features of an animal (e.g., a bee) were preserved, if the entity’s purpose changed (e.g., the bee now spins webs), children were more likely to categorize the entity as a member (...) of a different natural kind (e.g., a spider) and these effects were similar in magnitude to altering the surface-features of a natural kind. Our results suggest that we might view teleological properties as partially constitutive of the essence of natural kinds. (shrink)

In [gallier], general results (due to Coppo, Dezani and Veneri) relating properties of pure lambda terms and their typability in some systems with conjunctive types are proved in a uniform way by using the reducibility method.This paper gives a very short proof of the same results (actually, one of them is a bit stronger) using purely arithmetical methods.

Ancient medical and healing systems are currently attracting considerable interest. This issue includes interdisciplinary studies which focus on new perceptions of some ancient and medieval medical systems, exploring how they related to each other, and assessing their contribution to modern society. It is shown that pre-Greek medicine included some rational elements, and that Egyptian and Babylonian medical systems contributed to a tradition which led from classical antiquity through the Middle Ages and beyond. The reliability of sources of evidence is considered, (...) as well as the legacy of the ancient healing environments and disease treatments. Finally, where documentation survives, the legacy of social attitudes to health and disease is considered. Overarching principles directed policies of social medicine and healthcare in antiquity and the Middle Ages: for example, the causes and transmission routes of infectious diseases, as well as the basic principles of sterilization, were unknown, but nevertheless attempts were made to improve sanitation, provide clean water, and ensure access to trained physicians. In some cases, the need to limit the size of the population prompted the use of contraceptive measures, and surviving information also illuminates attitudes to deformity, disability and the treatment of the terminally ill. (shrink)

Preserved human remains from ancient Egypt provide an unparalleled opportunity for studies in the history of disease and medical practices. Egyptian medical papyri describe physiological concepts, disease diagnoses and prescribed treatments which include both ‘irrational’, and ‘rational’ procedures. Many previous studies of Egyptian medicine have concluded that ‘irrational’ methods predominated, but this perception is increasingly challenged by results from scientific studies of ancient human remains, and plant materials. This paper demonstrates the significant contribution being made by multidisciplinary studies to our (...) understanding of disease occurrence and medical treatments in ancient Egypt, and considers the feasibility of developing epidemiological comparisons of ancient and modern data sets that will provide acceptable historical contexts for contemporary disease studies. (shrink)

The λμ-calculus is an extension of the λ-calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.

We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite.

The $\lambda\mu$-calculus is an extension of the $\lambda$-calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.

Fundamental changes in the world economic system have resulted in a new differentiation, that between centre and periphery, between a global financial market on the one hand and production, services and labour on the other. As modern society has now become financial society, the old distinction between capital and labour has lost its informational value for party politics. The fact that the distinction between centre and periphery cannot be copied into the national political system means that economic policy can no (...) longer be decided through political choice. Politics has the task of coping with the political effects of the global financial market with the result that elections are dependent on the state of the economic cycle. Would a new political alignment involve a centre party of capital and labour against an ecological left and a `law and order' right? (shrink)

We prove the strong normalization of full classical natural deduction by using a translation into the simply typed λμ-calculus. We also extend Mendler’s result on recursive equations to this system.

Storage operators have been introduced by J. L. Krivine in [5] they are closed λ-terms which, for a data type, allow one to simulate a "call by value" while using the "call by name" strategy. In this paper, we introduce the directed λ-calculus and show that it has the usual properties of the ordinary λ-calculus. With this calculus we get an equivalent--and simple--definition of the storage operators that allows to show some of their properties: $\bullet$ the stability of the set (...) of storage operators under the β-equivalence (Theorem 5.1.1); $\bullet$ the undecidability (and semidecidability) of the problem "is a closed λ-term t a storage operator for a finite set of closed normal λ-terms?" (Theorems 5.2.2 and 5.2.3); $\bullet$ the existence of storage operators for every finite set of closed normal λ-terms (Theorem 5.4.3); $\bullet$ the computation time of the "storage operation" (Theorem 5.5.2). (shrink)

Heidegger places Wagner’s will to the total work of art at the centre of the long 19th century. Nietzsche’s and Mallarmé’s responses to Wagner reflect all the ambiguities of modernism’s myth of absolute creation: the dreams of a new mythology and a new community are shadowed by the knowledge that the gods are nothing more than our fictions. Nietzsche and Mallarmé continue and critically interrogate the two distinct lineages of the total work of art deriving from German romanticism and the (...) French Revolution respectively, at the same time as they anticipate the contrary constructions of the sacred in society in Le Bon and Durkheim. (shrink)

In this chapter I introduce and defend the democratic individualism in William James’s thought. Drawing on the work of George Kateb and others, I show how what James calls the “democratic respect for the sacredness of individuality” can be understood in terms of four inter-related commitments: (1) A commitment to the principle that each person’s individuality counts equally; no one’s more or less than anyone else’s. (2) A commitment to the principle that each individual should be able to flourish, on (...) his or her own terms, and to a set of social conditions that enable such flourishing. (3) A commitment to examine oneself for moral blind spots: for ways in which one might be oblivious to, and complicit in, the frustration of others’ individuality. (4) A commitment to “strenuously” revise one’s habits and behavior in light of the previous three commitments. (shrink)