This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Spheres of Philosophical Inquiry and the Historiography of Medieval Philosophy by John InglisMark D. JordanJohn Inglis. Spheres of Philosophical Inquiry and the Historiography of Medieval Philosophy. Brill’s Studies in Intellectual History, volume 81. Leiden, Boston, Köln: Brill, 1998. Pp. x + 324. Cloth, $99.50.Modern philosophers have shown themselves quite unphilosophical about the academic history of their own discipline. Content with grand stories that move from Plato to themselves, (...) they have treated institutional histories, recent histories, and bibliographical histories as unworthy of attention. John Inglis sets out to change all that for the study of medieval philosophy. He demonstrates by the book’s end that we have failed to recognize our historiographical procedures as conventions—with very particular histories of their own.The first part of the book traces the genealogy of the dominant (one might say, hegemonic) model in recent studies of medieval philosophy. The genealogy is prefaced with two chapters that show how various were the motives for reconstructions of medieval thought before 1850 in authors such as Billuart, Goudin, and Brucker or Hegel, Ritter, and Hauréau. These chapters might be dismissed by contemporary scholars as so much antiquarianism. There can be no dismissing the relevance to contemporary work of Inglis’s main genealogy, which runs with surprising directness from Joseph Kleutgen (1811–1883) and Albert Stöckl (1823–1895) to Norman Kretzmann and Anthony Kenny.It adds to the piquancy of Inglis’s argument that most specialists in medieval philosophy will not even recognize the names of Kleutgen and Stöckl, much less feel kinship with them. But Inglis shows convincingly what Kleutgen and Stöckl did to make the study of medieval philosophy possible in modern universities. Kleutgen mapped the medieval texts onto a system of “spheres,” of fields or topics, recognizable to professors of philosophy. This means that he necessarily privileged epistemology, as he necessarily connected a medieval thinker’s views across the “spheres” into a system—or a failed attempt at one. Kleutgen then emphasized the reason/revelation dichotomy and an allegiance to what he understood as the system of Thomas Aquinas. Put these elements together and you have a surprisingly familiar story. It remained for Stöckl to write it up as an erudite and monumental narration.Inglis follows this „Kleutgen-Stöckl model” through a number of more familiar authors, including De Wulf, Gilson, Boehner, Weinberg, and the editors of the Cambridge [End Page 530] History of Later Medieval Philosophy. Of course, in reducing the genealogy to a list of famous names I ignore two of its great virtues. The first is the detail with which it retells the institutional circumstances and the forgotten intermediaries of the scholarly tradition. Behind the genealogy, around its borders, there stands Inglis’s enormous effort of original research, much of it archival. The genealogy’s second virtue is the dialectical subtlety with which it locates continuities under contradictions. Gilson is usually touted as the antithesis of De Wulf, and Kretzmann of Gilson. Inglis makes such antitheses seem superficial by comparing them with an abiding if tacit agreement about how medieval texts can be appropriated within modern philosophy. To seal the comparison, Inglis suggests in the book’s second part what a real antithesis to the Kleutgen-Stöckl model might be. He reconstructs, in his last two chapters, Thomas’s accounts of human knowledge and of theology’s relations to philosophy in opposition to that model’s prescriptions.No review can represent—or even adequately praise—the enormous learnedness of this book. Moreover, since the book already discusses so much, it must seem ungrateful to suggest that it ought to discuss anything else. Let me end then rather by posing two questions beyond the book’s end. First, does Inglis’s genealogy mean to suggest that the Kleutgen-Stöckl model is now chiefly received in English-speaking philosophy departments? I wonder, for example, how far Inglis might judge Alain de Libera’s Penser au Moyen Age (Paris: Éds. de Seuil, 1991) an alternative to that model. Certainly de Libera shows more self-consciousness about the culturally determined history behind our historiography. His emphasis on the thirteenth-century recovery... (shrink)

What is human freedom? By addressing a number of theological 'limit situations', Robert Greystones, while at Oxford University in the 1320s, developed his own philosophical theory. This volume is the first Latin critical edition, with a clear English translation. There is an extensive introduction describing his life and teaching on human freedom.

In a series of articles, Rieppel (2005, Biol. Philos. 20:465–487; 2006a, Cladistics 22:186–197; 2006b, Systematist 26:5–9), Keller et al. (2003, Bot. Rev. 69:93–110), and Nixon and Carpenter (2000, Cladistics 16:298–318) criticize the philosophical foundations of the PhyloCode. They argue that species and higher taxa are not individuals, and they reject the view that taxon names are rigid designators. Furthermore, they charge supporters of the individuality thesis and rigid designator theory with assuming essentialism, committing logical inconsistencies, and offering proposals that render (...) taxonomy untestable. These charges are unsound. Such charges turn on confusions over rigid designator theory and the distinction between kinds and individuals. In addition, Rieppel’s, Keller et al.’s, and Nixon and Carpenter’s proposed alternatives are no better and have their own problems. The individuality thesis and rigid designator theory should not be quickly abandoned. [Individuals; kinds; PhyloCode; rigid designators; species; taxa; taxon names.]. (shrink)

Background Since 2015, Michigan has required parents who request nonmedical exemptions (NMEs) from school or daycare immunization mandates to receive education from local public health staff (usually nurses). This is unlike most other US states that have implemented mandatory immunization counseling, which require physicians to document immunization education, or which provide online instruction. -/- Purpose To attend to the activity and dispositions of the public health staff who provide “waiver education”. -/- Method This study reports results of focus group interviews (...) with 39 of Michigan's vaccine waiver educators (37 nurses), conducted during 2016 and 2017, and analyzed in 2018. -/- Findings Four themes emerged from analysis of the transcripts of these interviews: Participants had (1) complex and nuanced observations and evaluations of parents' judgments and feelings about vaccines and vaccine education; (2) sympathetic attitudes about alternative vaccine schedules; (3) critical and supportive evaluations of institutional policies and the background political context of immunization education; and (4) consistent commitments to respect parents, affirm their values, and protect their rights. Discussion These results show that public health nurses are sensitive to the burdens mandatory immunization education places on families, the motivations for parents' requests for nonmedical exemptions, and the values implicated by personal immunization decisions and government immunization policies. In light of the unique training, experiences, and public reputation of nurses, there is good reason for additional investigation into the roles that nurses can play in immunization education and in vaccine mandate policies, more generally. (shrink)

This survey article describes Frege's celebrated foundational work against the context of other late nineteenth century approaches to introducing mathematically novel "extension elements" within both algebra and geometry.

We have used fMRI to measure responses to chromatic and achromatic contrast in retinotopically defined regions of macaque and human visual cortex. We make four observations. Firstly, the relative amplitudes of responses to color and luminance stimuli in macaque area V1 are similar to those previously observed in human fMRI experiments. Secondly, the dorsal and ventral subdivisions of macaque area V4 respond in a similar way to opponent (L j M)-cone chromatic contrast suggesting that they are part of a single (...) functional area. Thirdly, we find that macaque area V4, like area V1, responds preferentially to chromatic contrast compared to luminance contrast and the degree of preference is strongly influenced by the temporal frequency of the stimulus. Finally, we observe that while macaque V4d is a region on the dorsal surface of the macaque visual cortex that responds robustly to chromatic stimuli, human chromatic responses to identical stimuli are largely confined to the ventral surface suggesting a fundamental difference in the topographical organization of higher visual areas between humans and macaques. (shrink)

Several research groups have identified a network of regions of the adult cortex that are activated during social perception and cognition tasks. In this paper we focus on the development of components of this social brain network during early childhood and test aspects of a particular viewpoint on human functional brain development: “interactive specialization.” Specifically, we apply new data analysis techniques to a previously published data set of event-related potential ~ERP! studies involving 3-, 4-, and 12-month-old infants viewing faces of (...) different orientation and direction of eye gaze. Using source separation and localization methods, several likely generators of scalp recorded ERP are identified, and we describe how they are modulated by stimulus characteristics. We then review the results of a series of experiments concerned with perceiving and acting on eye gaze, before reporting on a new experiment involving young children with autism. Finally, we discuss predictions based on the atypical emergence of the social brain network. (shrink)

Many people have been enraged lately by the enormous increases in certain generic prescription drugs. But free marketeers defend these prices by arguing that they simply represent what the market will bear, and in a capitalist society there is accordingly nothing wrong with charging them. This paper argues that such a defense is actually contrary to the very principles that free marketeers claim to embrace. These prices are not only unjust and exploitative, but government interference with them would not render (...) the market less free, at least if what it means for a market to be “free” is properly understood. Everyone, even free marketeers with a libertarian or neoliberal bent, should accordingly be against this kind of profiteering. (shrink)

Language learning and language typology are often studied separately, and it is common for experts in one area to know rather little about the other. This is not merely an unfortunate historical coincidence; there are some powerful practical reasons why it is so. The detailed study of language learning typically involves the experimental investigation of groups of people who are at various stages in the learning process—i.e., children. Hence it prototypically takes place at university daycares in North America, where the (...) children are usually learning English. In contrast, the study of typology is concerned with probing the full extent of the diversity that natural human languages can exhibit, and with finding and explaining any limits to that diversity that exist. As a result, it prototypically involves doing fieldwork with small numbers of fully competent adult speakers of less-studied languages. This fieldwork is made possible either by the researcher traveling to the often-remote areas of the world where these less-studied languages are spoken, or by finding speakers who have come nearer to the researcher through immigration. As a result, the contexts in which language acquisition can readily be studied and the contexts in which language typology can effectively be studied rarely overlap. Indeed, it is an unfortunate reality of the world as we have made it that a very large number of the “local languages” spoken by aboriginal populations, which are of great interest to typologists, have no children learning them at all (Hale, Krauss et al. (shrink)

The Cambridge Edition of Early Christian Writings provides the definitive anthology of early Christian texts from ca. 100 CE to ca. 650 CE. Its volumes reflect the cultural, intellectual, and linguistic diversity of early Christianity, and are organized thematically on the topics of God, Practice, Christ, Community, Reading, and Creation. The series expands the pool of source material to include not only Greek and Latin writings, but also Syriac and Coptic texts. Additionally, the series rejects a theologically normative view by (...) juxtaposing texts that were important in antiquity but later deemed 'heretical' with orthodox texts. The translations are accompanied by introductions, notes, suggestions for further reading, and scriptural indices. The third volume focuses on early Christian reflection on Christ as God incarnate from the first century to ca. 450 CE. It will be an invaluable resource for students and academic researchers in early Christian studies, history of Christianity, theology and religious studies, and late antique Roman history. (shrink)

Through a series of texts and phone calls, Michelle Carter encouraged her boyfriend Conrad Roy to act on his suicidal thoughts, and after Roy killed himself, Carter was convicted of involuntary manslaughter. The case has received widespread attention, generating reactions ranging from rage at Ms. Carter to disbelief that she was convicted. An issue emphasized up to now is what it might mean for the First Amendment right of free speech if we hold that words can kill. In presenting the (...) case against punishing Ms. Carter, I show how the free speech issue intertwines with several others: Should the intimate exchanges between Carter and Roy have remained private? While privacy is valuable, it should not be a shield for harmful conduct, but did Ms. Carter, through her words, cause harm? If she believed that suicide would relieve Conrad of unbearable suffering, did she even act badly? And should the fact that society judges an individual’s actions to be immoral mean that the individual should be legally punished? The case serves as a touchstone for addressing fundamental issues of political, moral and legal theory with implications broader than whether Ms. Carter goes to prison. (shrink)

If we want to be autonomous, what do we want? The author shows that contemporary value-neutral and metaphysically economical conceptions of autonomy, such as that of Harry Frankfurt, face a serious problem. Drawing on Plato, Augustine, and Kant, this book provides a sketch of how "ancient" and "modern" can be reconciled to solve it. But at what expense? It turns out that the dominant modern ideal of autonomy cannot do without a costly metaphysics if it is to be coherent.

Cet essai sur Michael Walzer, l'un des chefs de file du communautarisme américain, se présente comme une discussion critique de la conception spécifiquement communautarienne de l'auteur des ¤¤Sphères de justice¤¤. Pour le philosophe et ethicien M. Hunyadi le modèle de Walzer s'avère impuissant à relever un défi comme le multiculturalisme.