This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

Expressions in a language, whether words, phrases, or sentences, have meanings. So it seems reasonable to suppose that there are meanings that expressions have. Of course, it is fashionable in some philosophical circles to deny this.

In coarse-grained environments specialists are generally predicted to dominate. Empirically, however, coexistence with generalists is often observed. We present a simple, but previously unrecognized, mechanism for coexistence of a habitat generalist and a number of habitat specialist species. In our model all species have a metapopulation structure in a landscape consisting of patches of different habitat types, governed by local extinction and colonization. Each specialist is limited to its specific type of habitat. The generalist can use more types of habitat, (...) has a lower local competitive ability but can exploit patches left open by the specialists. Our modeling shows that coexistence is easily possible. The mechanism amounts to a colonization/competition trade-off at the landscape level, where the colonization advantage of the inferior competitor does not arise from a higher colonization rate but from its ability to use more types of habitat. Habitat availability has to be intermediate: when there are few patches of each habitat, only the generalist is able to maintain itself and when there are many patches, high propagule pressure of the specialists excludes the generalist. Habitat selection or temporal variations in relative habitat quality are not necessary for coexistence. Increased niche-width, colonization rate or local competitive ability of the generalist enhances its performance compared to the specialists. Various types of habitat degradation favour generalism. When able to use a broad range of habitats, generalists can generate so much propagule pressure that only a low level of local competitive ability is needed to globally exclude the specialists. Hence, in a reversal of the original problem, the question is why there are so many specialist metapopulations? (shrink)

The second highest level of the divided line in Plato’s Republic (510b-511a) appears to be about the entities of mathematics—entities such as particular (though non-physical) triangles. It differs from the highest level in two respects. It involves reasoning from hypotheses, and it uses visible images. This article defends the traditional view that the passage is indeed about these mathematical ‘intermediates’; and tries to show how the apparently different features of the second level are related, by focussing on Plato’s need to (...) give an account of how we can speak of many particulars of the same kind, without assuming that they are imperfect copies, in the way sensible things can be imperfect copies, of forms. (shrink)

Martin Heidegger (1889-1976) is probably the most divisive philosopher of the twentieth century. He is considered by some to be greatest charlatan ever to claim the title of philosopher, an apologist for Nazism by others, and an acknowledged leader and central figure to many philosophers. Michael Inwood's lucid introduction steers a clear path through Heidegger's complex language and thought. This short, accessible guide to the existentialist thought of Heidegger focuses on his most important work, Being and Time, and its major (...) themes of existence in the world, inauthenticity, guilt, destiny, truth, and the nature of time. These themes are then reassessed in the light of Heideggers later work, together with the extent of his philosophical importance and influence. For anyone interested in philosophy, theology and literary theory, Heidegger is an invaluable guide to the complex and voluminous thought of a major twentieth-century existentialist philosopher. (shrink)

The focus of this study was to analyze the content, distribution, and comparative genome relationships of 996 chromosome bin-mapped expressed sequence tags accounting for 2266 restriction fragments on the homoeologous group 3 chromosomes of hexaploid wheat. Of these loci, 634, 884, and 748 were mapped on chromosomes 3A, 3B, and 3D, respectively. The individual chromosome bin maps revealed bins with a high density of mapped ESTs in the distal region and bins of low density in the proximal region of the (...) chromosome arms, with the exception of 3DS and 3DL. These distributions were more localized on the higher-resolution group 3 consensus map with intermediate regions of high-mapped-EST density on both chromosome arms. Gene ontology classification of mapped ESTs was not significantly different for homoeologous group 3 chromosomes compared to the other groups. A combined analysis of the individual bin maps using 537 of the mapped ESTs revealed rearrangements between the group 3 chromosomes. Approximately 232 of the consensus mapped ESTs matched sequences on rice chromosome 1 and revealed large- and small-scale differences in gene order. Of the group 3 mapped EST unigenes ∼21 and 32% matched the Arabidopsis coding regions and proteins, respectively, but no chromosome-level gene order conservation was detected. (shrink)

Liturgy and ritual -- Structure -- Curriculum.

' I heartily recommend it to any philosopher of language interested in the issues. [] Logicians, of course, will want to savour the whole thing.' Australian Journal of Philosophy, 71:3 (1993).

A total of 944 expressed sequence tags generated 2212 EST loci mapped to homoeologous group 1 chromosomes in hexaploid wheat. EST deletion maps and the consensus map of group 1 chromosomes were constructed to show EST distribution. EST loci were unevenly distributed among chromosomes 1A, 1B, and ID with 660, 826, and 726, respectively. The number of EST loci was greater on the long arms than on the short arms for all three chromosomes. The distribution of ESTs along chromosome arms (...) was nonrandom with EST clusters occurring in the distal regions of short arms and middle regions of long arms. Duplications of group 1 ESTs in other homoeologous groups occurred at a rate of 35.5%. Seventy-five percent of wheat chromosome 1 ESTs had significant matches with rice sequences, where large regions of conservation occurred between wheat consensus chromosome 1 and rice chromosome 5 and between the proximal portion of the long arm of wheat consensus chromosome 1 and rice chromosome 10. Only 9.5% of group 1 ESTs showed significant matches to Arabidopsis genome sequences. The results presented are useful for gene mapping and evolutionary and comparative genomics of grasses. (shrink)

Supertasks recently discussed in the literature purport to display a failure ofenergy conservation and determinism in Newtonian mechanics. We debatewhether these supertasks are admissible as Newtonian systems, with Earmanand Norton defending the affirmative and Alper and Bridger the negative.

Background One of the objectives of medicine is to relieve patients' suffering. As a consequence, it is important to understand patients' perspectives of suffering and their ability to cope. However, there is poor insight into what determines their suffering and their ability to bear it. Purpose To explore the constituent elements of suffering of patients who explicitly request euthanasia or physician-assisted suicide (EAS) and to better understand unbearable suffering from the patients' perspective. Patients and methods A qualitative study using in-depth (...) face-to-face interviews was conducted with 31 patients who had requested EAS. The grounded theory approach was used to analyse the data. Results Medical, psycho-emotional, socio-environmental and existential themes contributed to suffering. Especially fatigue, pain, decline, negative feelings, loss of self, fear of future suffering, dependency, loss of autonomy, being worn out, being a burden, loneliness, loss of all that makes life worth living, hopelessness, pointlessness and being tired of living were constituent elements of unbearable suffering. Only patients with a psychiatric (co)diagnosis suffered unbearably all the time. Conclusions Unbearable suffering is the outcome of an intensive process that originates in the symptoms of illness and/or ageing. According to patients, hopelessness is an essential element of unbearable suffering. Medical and social elements may cause suffering, but especially when accompanied by psycho-emotional and existential problems suffering will become ‘unbearable’. Personality characteristics and biographical aspects greatly influence the burden of suffering. Unbearable suffering can only be understood in the continuum of the patients' perspectives of the past, the present and expectations of the future. (shrink)