The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may (...) be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)

Laland and colleagues have sought to challenge the proximate–ultimate distinction claiming that it imposes a unidirectional model of causation, is limited in its capacity to account for complex biological phenomena, and hinders progress in biology. In this article the core of their argument is critically analyzed. It is claimed that contrary to their claims Laland et al. rely upon the proximate–ultimate distinction to make their points and that their alternative conception of reciprocal causation refers to phenomena that were already accounted (...) for by standard theory. (shrink)

Intellectual Dependability is the first research monograph devoted to addressing the question of what it is to be an intellectually dependable person--the sort of person on whom one's fellow inquirers can depend in their pursuit of epistemic goods. While neglected in recent scholarship, this question is an important one for both epistemology--how we should conceptualize the ideal inquirer--and education--how we can enable developing learners to grow toward this ideal. The book defends a virtue theory according to which being an intellectually (...) dependable person is distinctively a matter of possessing a suite of neglected virtues called "the virtues of intellectual dependability" that are themselves distinctively concerned with promoting epistemic goods in others' inquiries. After defending the existence and educational significance of these virtues as a group, the book turns toward the project of identifying and conceptualizing several specific instances of these virtues in detail. Virtues discussed include intellectual benevolence, intellectual transparency, communicative clarity, audience sensitivity, and epistemic guidance. In each case, an interdisciplinary treatment of the nature of the virtue and its relationship to other virtues, vices, and personality features is offered, drawing especially on relevant research in Philosophy and Psychology. The book concludes with a chapter devoted to identifying distinctive ways these virtues of intellectual dependability are manifested when it is inquiring communities, rather than individuals, that occupy the position of intellectual dependence. By directing attention to the ideal of intellectual dependability, the book marks a novel turn of scholarly interest explicitly toward a neglected dimension of the ideal inquirer that will inform both epistemological theorizing and educational practice. (shrink)

It is now generally agreed that in Aristotle's Poetics, ch. 13 means ‘mistake of fact’. The moralizing interpretation favoured by our Victorian forebears and their continental counterparts was one of the many misunderstandings fostered by their moralistic society, and in our own enlightened erais revealed as an aberration. In challenging this orthodoxy I am not moved by any particular enthusiasm for Victoriana, nor do I want to revive the view that means simply ‘moral flaw’ or ‘morally wrong action’. I shall (...) try to show that the word has a range of applications, from ‘ignorance of fact’ at one end to ‘moral defect’, ‘moral error’, at the other, and that the modern orthodoxy, though not as clearly wrong as the moralizing interpretation it displaced, restricts Aristotle's meaning in a way he did not intend, and does lessthan justice to his analysis of classical drama. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

In this paper, a survey of 180 inscriptions in Tamil between 1346 CE and 1400 CE is analysed for its notions and visualization of astral themes present in the epigraphical inscriptions as well as for the calendrical practices implicit in those inscriptions. I demonstrate the rich diversity of calendrical practices employed in this period. Although there are clear local usages, the applied methods of identification show that in several cases methods from other Indian calendrical traditions have also been used. This (...) applies both to the year and the month. In contrast, the use of the weekday is not widely seen in the inscriptions of this region following the local system. The study also clarifies that the inscriptions are a useful documentary source for other astronomical observations such as eclipses and solstices undertaken in southern Indian locations in the fourteenth and fifteenth centuries. (shrink)

In what follows, I reply to critical appraisals of my book entitled Hippocrates’ Oath and Asclepius’ Snake: The Birth of the Medical Profession. Professors Tollefsen, McPherson, and Potts separately offer these thoughtful critiques. Professor Tollefsen approaches the work from the standpoint of the physician-patient relationship. Professors McPherson and Potts both address it in terms of virtues. Potts treats the theme of virtue generally while McPherson focuses on the virtue of piety. Since virtues attend relationships, in what follows, I discuss, first, (...) the physician-patient relationship ; second, virtue generally ; and third, and finally, the virtue of piety specifically. (shrink)

ABSTRACT In “Il faut défendre la société”, Foucault attempted to historicize and criticize Nietzsche’s equating of the social with struggle. In order to do so, Foucault produced a descriptive discursive history of his genealogical project by deploying the method of the critical archaeology. Foucault realized thereinafter that his archaeological exposition of the genealogical discourse in fact laid bare a close historical and conceptual bond between genealogy and modern racial discourses. In the first lectures, Foucault, unearthed the genealogical discourse hidden in (...) the literature written by the nobility as they attempted to resist the centralisation of royal power. In the latter part of his lectures, he described a discursive interplay between genealogy-as-struggle and the biopolitical practices of the modern state. As such, he gave a tentatively description how the modern state inherited and extensively applied the notion of struggle in its biopolitical control on its populations. The immoral and historical consequences of this affinity, resulting in the biopolitics of genocide, warranted Foucault to distance himself from Nietzsche’s concept, which in effect resulted in rethinking the social within the framework of gouvernmentalité, in which struggle was a modality rather than the prime mover of society. (shrink)

In spite of the existence of many examples of incomplete logics, it is an important problem to find intermediate predicate logics complete with respect to Kripke frame (or Kripke sheaf) semantics because they are closed under substitution. But, most of known completeness proofs of finitely axiomatizable logics are difficult to apply to other logics since they are highly dependent on the specific properties of given logics. So, it is preferable to find a general methods of completeness proof. We give some (...) results on this problem using canonical formulas of "propositional" logics 8,2ESS. (shrink)

There have been many discussions on problems of logic over the past several years. While the problem of the nature of the law of contradiction, one of the laws of formal logic, has received particular attention by everyone, the question has not been posed very precisely in the arguments. Actually, the question is not whether the movement, change, and development of things can be reflected in consciousness by use of the methods of formal logic, or in distinguishing the effectiveness of (...) the law of contradiction in disputation, proofs, or theoretical systems from its effectiveness in the general process of cognition, when applied to phenomena. If the development of reality cannot at all be reflected by the use of the logical tools of formal logic, what use do they have? No one denies that formal logic does not suffice as a method of cognition. If, in disputations and proofs, or in the establishment of theoretical systems, one relies only on the logical tools of formal logic, this is also not enough. The scope of applicability of the laws of formal logic, as laws that are studied by a concrete science, is necessarily limited. It is impossible for them to be all-powerful; it is of course impossible, relying on the law of contradiction, to know and grasp the contradictions in reality — the unity and conflict of opposites. All disputations and proofs, and the establishment of theoretical systems, are, in fact, efforts to know real objects, efforts of the subjective to grasp the objective. In principle, the use of formal logic in disputations and proofs and in the establishment of theoretical systems, and its use in knowing an object, should be no different. What, then, is the question? The question should be posed as follows: can thought contravene the law of contradiction? (shrink)