Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This article considers how awareness can be enhanced via operational abductive systems. The goal is to generate and justify suggestions which can span disparate islands of knowledge. Knowledge representation is motivated from a cognitive perspective. Words and concepts are represented as vectors in a high dimensional semantic space automatically derived from a text corpus. Various mechanisms will be presented (...) for computing suggestions from semantic space: information flow, semantic similarity, pre-inductive generalization. The overall goal of this article is to introduce semantic space to the model-based reasoning and abduction community and to illustrate its potential for principled, operational abduction by semi-automatically replicating the Swanson Raynaud/fish oil discovery in medical text. (shrink)

Vols. for 1972- include papers from the Summer Linguistics Conference, University of California, Santa Cruz.

Each book in the Access to Religion and Philosophy series provides a concise and readable introduction to a key area in religious studies and philosophy for A Level students. The third edition of Philosophy of Religion has been updated in line with the revised 2008 A level specification requirements. It examines key issues including the proofs for the existence of God, the problem of evil and suffering and the relationship between mind, body and religious language. It provides a solid basis (...) for those who are starting A level courses in Religious Studies or Philosophy. The new edition combines all the strengths of the second edition with a new design and features to make the content more accessible to all students in order to develop their understanding of the topic. New features include: - Key questions throughout the chapters to help students focus on the key issues - Key terms defined and explained throughout the chapters - Profiles of key individuals - their contribution and significance - More summary diagrams throughout to aid revision - Revision checklists at the end of chapters - New exam-style questions and tips at the end of each chapter. (shrink)

Cosmology has undergone a revolution in recent years. The exciting interplay between astronomy and fundamental physics has led to dramatic revelations, including the existence of the dark matter and the dark energy that appear to dominate our cosmos. But these discoveries only reveal themselves through small effects in noisy experimental data. Dealing with such observations requires the careful application of probability and statistics. But it is not only in the arcane world of fundamental physics that probability theory plays such an (...) important role. It has an impact in many aspects of our everyday life, from the law courts to the lottery. Why then do so few people understand probability? And why do so few people understand why it is so important for science? Why do so many people think that science is about absolute certainty when, at its core, it is actually dominated by uncertainty? This book attempts to explain the basics of probability theory, and illustrate their application across the entire spectrum of science. (shrink)

In het huidige Israël lijkt zelfs hoop op een oplossing van het conflict met Palestina een onderdeel van dat conflict. Maar wat vermag de poëzie?

In the game theory literature, Garrett Hardin’s famous allegory of the “tragedy of the commons” has been modeled as a variant of the Prisoner’s Dilemma, labeled the Herder Problem (or, sometimes, the Commons Dilemma). This brief paper argues that important differences in the institutional structures of the standard Prisoner’s Dilemma and Herder Problem render the two games different in kind. Specifically, institutional impediments to communication and cooperation that ensure a dominant strategy of defection in the classic Prisoner’s Dilemma are absent (...) in the Herder Problem. Their absence does not ensure that players will achieve a welfare-enhancing, cooperative solution to the Herders Problem, but does create far more opportunity for players to alter the expected payoffs through cooperative arrangements. In a properly modeled Herder Problem—along the lines of an assurance game—defection would not always be the dominant strategy. Consequently, the Herder Problem is not in the nature of a Prisoner’s Dilemma. (shrink)

Just what is Einstein's Theory of Relativity? The Big Bang Theory? Curvature of Spacetime? What do astronomers mean when they talk of a 'flat universe'? This approachable and authoritative guide to the cosmos answers these questions, and more. Taking advantage of the distinctive Companion format, readers can use the extensive, cross-referenced background chapters as a fascinating and accessible introduction to the current state of cosmological knowledge - or, they can use the convenient A-Z body of entries as a quick reference (...) to a wide range of terms and concepts. Entries include topics such as: Black Hole; Doppler Effect; Fermi, Enrico; Heat Death of the Universe; Life in the Universe; Olber's Paradox; Quantum Field Theory; Supernova; and much more. (shrink)

AimThe neurocognitive basis of Developmental Coordination Disorder remains an issue of continued debate. This combined systematic review and meta-analysis provides a synthesis of recent experimental studies on the motor control, cognitive, and neural underpinnings of DCD.MethodsThe review included all published work conducted since September 2016 and up to April 2021. One-hundred papers with a DCD-Control comparison were included, with 1,374 effect sizes entered into a multi-level meta-analysis.ResultsThe most profound deficits were shown in: voluntary gaze control during movement; cognitive-motor integration; practice-/context-dependent (...) motor learning; internal modeling; more variable movement kinematics/kinetics; larger safety margins when locomoting, and atypical neural structure and function across sensori-motor and prefrontal regions.InterpretationTaken together, these results on DCD suggest fundamental deficits in visual-motor mapping and cognitive-motor integration, and abnormal maturation of motor networks, but also areas of pragmatic compensation for motor control deficits. Implications for current theory, future research, and evidence-based practice are discussed.Systematic Review RegistrationPROSPERO, identifier: CRD42020185444. (shrink)

This paper reports on the meeting of the Sounding Board of the EU Reprogenetics Project that was held in Budapest, Hungary, 6–9 November 2005. The Reprogenetics Project runs from 2004 until 2007 and has a brief to study the ethical aspects of human reproductive cloning and germline gene therapy. Discussions during The Budapest Meeting are reported in depth in this paper as well as the initiatives to involve the participating groups and others in ongoing collaborations with the goal of forming (...) an integrated network of European resources in the fields of ethics of science. (shrink)

This paper reports on the meeting of the Sounding Board of the EU Reprogenetics Project that was held in Budapest, Hungary, 6–9 November 2005. The Reprogenetics Project runs from 2004 until 2007 and has a brief to study the ethical aspects of human reproductive cloning and germline gene therapy. Discussions during The Budapest Meeting are reported in depth in this paper as well as the initiatives to involve the participating groups and others in ongoing collaborations with the goal of forming (...) an integrated network of European resources in the fields of ethics of science. (shrink)

This book taps the best American thinkers to answer the essential American question: How do we sustain our experiment in government of, by, and for the people? Authored by an extraordinary and politically diverse roster of public officials, scholars, and educators, these chapters describe our nation's civic education problem, assess its causes, offer an agenda for reform, and explain the high stakes at risk if we fail.

In his contribution to socialist thought G.D.H. Cole adopted and revised Rousseau’s concept of the general will. During his early guild socialist phase Cole drew on the general will in his scheme for a functional, associational democracy. In the late 1920s Cole began to question whether the socially oriented element of individual will might be expressed in the existing social and economic circumstances. In the 1930s he combined social democratic and Marxist tenets. Nevertheless, his interest in Rousseau persisted. Will was, (...) for him, crucial to socialism. He made a significant, if neglected, contribution to the socialist tradition of Rousseau scholarship. (shrink)

Reviewed Works:Chris Mortensen, Inconsistent Mathematics.Chris Mortensen, Peter Lavers, Category Theory.William James, Closed Set Sheaves and Their Categories.Chris Mortensen, Joshua Cole, Foundations: Provability, Truth and Sets.

In lieu of an abstract, here is a brief excerpt of the content:Hermeneutical Injustice and Best PracticeAlasdair Coles, PhD, MRCP (bio)To a doctor who routinely sees people with psychosis and neurological conditions causing strange experiences, José Porcher’s paper is challenging and troubling.Challenging, because the accusation of hermeneutical injustice is accurate. In the hurly burly of the emergency department or a government outpatient clinic, doctors resort to reductionism, for the sake of urgent efficiency. A person becomes a “case of psychosis” (...) and the immediate questions are: “Should they be admitted? Are they fit to make their own decisions? What medication should we prescribe?” In that context, spending time on analyzing the contents of the delusions, and acknowledging their meaning to the individual, is a luxury. Most doctors, burnt out by COVID and struggling to get people basic healthcare, will probably be unconcerned about hermeneutical injustice. But, disdain for the experience of psychosis leads to loss of trust between patient and doctor, as nicely illustrated by Heriot-Maitland, Knight, and Peters’ first patient. One consequence is that patients withhold information they imagine will not be well received by the medical profession. In my experience, of studying the rare entity of people with epilepsy that causes pleasurable or even religious experience, the patients have usually not discussed this with their doctor (Coles & Collicut, 2019) A tangible medical consequence is that their doctors are not aware of the risk of non-compliance with anticonvulsant drugs, so that they are at risk of serial seizures or even sudden death.Porcher’s uncritical appreciation of the Avraham case worries me. Although one of the two therapists is described as “particularly well-versed in Jewish custom and lore” (Bilu et al., 1990), they are not believers. Yet, they take on priestly roles. For instance, after identifying Avraham’s “the Black” as a demon (“which the patient did not belie” [Bilu et al., p. 110]), they prescribe incantations based on Jewish exorcism rites. And, once Avraham was better, he and his wife attributed his “miraculous cure” to the therapists who they regarded as “pious and pure hearted” (Bilu et al., p. 116). Not only are Avraham’s secular therapists being disingenuous, it is dangerous for seculars to appropriate religious language, concepts, and customs. In particular, clumsy use of exorcism rituals can lead to long-term spiritual distress. Those ministers of religion who practice deliverance [exorcism] are highly trained, not least to respect the importance of asking for psychiatric [End Page 239] help. It is unwise not to return the professional favor. Avraham’s therapists should have called in a Jewish minister, trained in clinical pastoral care, to assist them.Key issues are raised by Porcher’s analysis of the Femi case. Femi presented with a psychosis that included religious content. This is common (Sofou et al., 2021): religious imagery is present in 5% to 50% of cases of psychosis, assessed by repeated studies across multiple cultures. The medical team concluded Femi had a psychosis, because his symptoms caused him harm (social isolation, absence from work). Porcher rightly condemns Femi’s therapists because they undermined his dignity, by invalidating his experience of God. And Porcher goes on to state the “both–and” view, that something can be psychopathology and a religious experience. So far so good. But what Porcher does not allow is that some people experience psychoses with very harmful and dark religious imagery, invalidation of which is therapeutic. So, when Porcher asks “what could ever justify someone in the judgment that someone’s religious experiences are illegitimate?” the answer is: compassion. Schizophrenia is not fun. And the disease causes hallucinations that have no relation to reality; to the person I saw recently who believed her clothes were eating her, how helpful would it be to validate the nonsense of clothes with teeth? It follows that some religious delusions may be just that. And people are helped by knowing that. That is the reality of care of the deluded patient. For those therapists who just assume all religious content is inauthentic, Porcher’s article stands as a useful corrective. But assuming the opposite may be as harmful or more. There has to be judgement somewhere along the line. Best practice is that this is done... (shrink)

Review: John Anderson, Lectures on Political Theory 1941—45, ed. Creagh McLean Cole Bernard Smith, The Formalesque — A Guide to Modern Art and Its History.

This essay explores histories of common salt, sodium chloride, using concepts and methods from media theory. It contributes to research on media and environment and the general ‘material turn’ taken across the Humanities. I conceive of salt as what Peters calls an ‘elemental’ medium so as to show, first, the imbrication of naturally-occurring substances in the operations and supply chains of digital culture. Second, the many lives salt has lived materially, in techniques of survival and exchange, and metaphorically, in cultural (...) expression, complicate conventional understandings of media. In showing how salt performs three functions, processing, storage, and transfer, which Kittler ascribed to technical and symbolic media, I argue for a more expansive use of ‘mediation’ as a bridge concept that speaks to matters of nature and culture, Arts and Science, and to account for deep histories of extraction and economy that shape digital culture and global supply chains. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 8.2 (2003) 106-125 [Access article in PDF] Leopold's NovelThe Land Ethic in Barbara Kingsolver's Prodigal Summer Peter S. Wenz Introduction Like many good novels, Prodigal Summer's 1 account of love, tragedy, conflict, and choice in human relationships conveys an overall message about how life should be lived. In this case the message corresponds to Aldo Leopold's call for "a land ethic [that] changes the (...) role of Homo sapiens from conqueror of the land-community to plain member and citizen of it." People should "respect... fellow-members and also... the community as such." 2 Barbara Kingsolver explains Leopold's key ideas and updates the Land Ethic by showing how it might guide people today. The present paper selectively displays this relationship, and then suggests some pedagogical advantages of fiction.Prodigal Summer tells three interconnected stories that take place from May through July one year in contemporary rural Kentucky. One story features Deanna Wolfe, who has spent the last 25 months working for the U.S. Forest Service in a wilderness area on Zebulon Mountain where she restores trails and impedes illegal hunting. She has just discovered that coyotes have arrived, but so has Eddie Bondo, a handsome man from the West who hates coyotes because they sometimes kill livestock. [End Page 106]Another story features Lusa Landowski and her husband Cole Widener. Lusa is an entomologist who taught at the University of Kentucky before marrying Cole and moving to his family's tobacco farm that adjoins the national forest where Deanna works. Cole dies early in the novel and Lusa tries to save the family farm.Finally, Nannie Rawley is a senior citizen who grows organic apples nearby and has conflicts with her more senior neighbor, Garnett Walker, who wants to kill weeds with chemicals to keep his property looking neat. Garnett's goal is to cross-fertilize chestnut trees to create an American chestnut that is immune to chestnut blight. Ecocentrism, Hunting, the Biotic Pyramid, and Exotic Species Aldo Leopold's Land Ethic is famously holistic and ecocentric. The ecosystem, a holistic entity, has value over and above, and in most cases more than, the value of its individual components. This ecocentric perspective is summed up in the maxim: "A thing is right when it tends to preserve the integrity, stability, and beauty of the biotic community. It is wrong when it tends otherwise" (1970, 262).Ecocentrism explains Leopold's attitude toward hunting. In many passages, such as the October account of hunting ruffed grouse (58-62) and partridge (62-69), Leopold describes the hunt with approval. However, he disapproves of programs to eradicate keystone predators because their elimination impoverishes ecosystems. His classic account, "Thinking Like a Mountain," concerns wolf eradication. He writes, "I thought that because fewer wolves meant more deer, that no wolves would mean hunters' paradise" (138). But he found that wolf eradication harms mountains, that is, ecosystems. I have watched the face of many a newly wolfless mountain, and seen the south-facing slopes wrinkle with a maze of new deer trails. I have seen every edible bush and seedling browsed, first to anaemic desuetude, and then to death. I have seen every edible tree defoliated to the height of a saddle horn.... In the end the starved bones of the hoped-for deer herd, dead of its own too-much, bleach with the bones of the dead sage, or molder under the high-lined junipers. (139-40) Leopold's concept of a biotic pyramid explains why wolf eradication harms ecosystems. According to Leopold, the energy that plants absorb from the sun: [End Page 107]... flows through a circuit called the biota, which may be represented by a pyramid consisting of layers. The bottom layer is the soil. A plant layer rests on the soil, an insect layer on the plants, a bird and rodent layer on the insects, and so on up through the various animal groups to the apex layer, which consists of the larger carnivores.... Proceeding upward, each successive layer decreases in numerical... (shrink)

After decades of marginalization in the secularized twentieth-century academy, moral education has enjoyed a recent resurgence in American higher education, with the establishment of more than 100 ethics centers and programs on campuses across the country. Yet the idea that the university has a civic responsibility to teach its undergraduate students ethics and morality has been met with skepticism, suspicion, and even outright rejection from both inside and outside the academy. In this collection, renowned scholars of philosophy, politics, and religion (...) debate the role of ethics in the university, investigating whether universities should proactively cultivate morality and ethics, what teaching ethics entails, and what moral education should accomplish. The essays quickly open up to broader questions regarding the very purpose of a university education in modern society. Editors Elizabeth Kiss and J. Peter Euben survey the history of ethics in higher education, then engage with provocative recent writings by Stanley Fish in which he argues that universities should not be involved in moral education. Stanley Hauerwas responds, offering a theological perspective on the university’s purpose. Contributors look at the place of politics in moral education; suggest that increasingly diverse, multicultural student bodies are resources for the teaching of ethics; and show how the debate over civic education in public grade-schools provides valuable lessons for higher education. Others reflect on the virtues and character traits that a moral education should foster in students—such as honesty, tolerance, and integrity—and the ways that ethical training formally and informally happens on campuses today, from the classroom to the basketball court. _Debating Moral Education_ is a critical contribution to the ongoing discussion of the role and evolution of ethics education in the modern liberal arts university. _Contributors_. Lawrence Blum, Romand Coles, J. Peter Euben, Stanley Fish, Michael Allen Gillespie, Ruth W. Grant, Stanley Hauerwas, David A. Hoekema, Elizabeth Kiss, Patchen Markell, Susan Jane McWilliams, Wilson Carey McWilliams, J. Donald Moon, James Bernard Murphy, Noah Pickus, Julie A. Reuben, George Shulman, Elizabeth V. Spelman. (shrink)

[p. 45] I wish to represent a certain subclass of nonconventional implicatures, which I shall call CONVERSATIONAL implicatures, as being essentially connected with certain general features of discourse; so my next step is to try to say what these features are. The following may provide a first approximation to a general principle. Our talk exchanges do not normally consist of a succession of disconnected remarks, and would not be rational if they did. They are characteristically, to some degree at least, (...) cooperative efforts; and each participant recognizes in them, to some extent, a common purpose or set of purposes, or at least a mutually accepted direction. This purpose or direction may be fixed from the start (e.g., by an initial proposal of a question for discussion), or it may evolve during the exchange; it may be fairly definite, or it may be so indefinite as to leave very considerable latitude to the participants (as in a casual conversation). But at each stage, SOME possible conversational moves would be excluded as conversationally unsuitable. We might then formulate a rough general principle which participants will be expected (ceteris paribus) to observe, namely: Make your conversational contribution such as is required, at the stage at which it occurs, by the accepted purpose or direction of the talk exchange in which you are engaged. One might label this the COOPERATIVE PRINCIPLE. On the assumption that some such general principle as this is acceptable, one may perhaps distinguish four categories under one or another of which will fall certain more specific maxims and submaxims, the following of which will, in general, yield results in accordance with the Cooperative Principle. Echoing Kant, I call these categories Quantity, Quality, Relation, and Manner. The category of QUANTITY relates to the quantity of information to be provided, and under it fall the following maxims. (shrink)

Robert Coles' sentiment characterizes well the moral tenor of medical education today. Indeed, medical educators are frequently “seized by spasms of genuine moral awareness,” as they try to cope with the massive social and economic problems that face medical schools and teaching hospitals. The perception among educators that we currently fail to adequately teach several core aspects of doctoring, including professional values and behavior, constitutes one such spasm. In this case, the proposed remedy has generated considerable enthusiasm, but whether (...) the “core competencies” curriculum will make a difference, or simply “accommodate to the prevailing rhythms of the world we inhabit,” remains to be seen. (shrink)

The book presents the first comprehensive survey of limits of the intentional control of action from an interdisciplinary perspective. It brings together leading scholars from philosophy, psychology, and the law to elucidate this theoretically and practically important topic from a variety of theoretical and disciplinary approaches. It provides reflections on conceptual foundations as well as a wealth of empirical data and will be a valuable resource for students and researchers alike. Among the authors: Clancy Blair, Todd S. Braver, Michael W. (...) Cole, Anika Fäsche, Maayan Davidov, Peter Gollwitzer, Kai Robin Grzyb, Tobias Heikamp, Gabriele Oettingen, Rachel McKinnon, Nachschon Meiran, Hans Christian Röhl, Michael Schmitz, John R. Searle, Gottfried Seebaß, Gisela Trommsdorff, Felix Thiede, J. Lukas Thürmer, Frank Wieber. (shrink)

Some names, specifically the proper names by which people are called, are considered “a mess” by at least one prominent contemporary philosopher.Although I quote from a number of Rufus’s works, there are two on which this paper is primarily based, both written when Rufus was a master of Arts in Paris, before 1238. I refer to the first as the Urmetaphysics. The second is a two-part treatise which Professor Wood has called the Contra Averroem. The Urmetaphysics is Rufus’s first commentary (...) on Aristotle’s Metaphysics, only very recently discovered by Professor Wood. It is to be distinguished from his second Metaphysics commentary which I refer to as th e Main Metaphysics Commentary. The Contra Averroem is comprised of “De ideis” and “De causa individuationis,” of which “De ideis” deserves a special mention. Discovered by Professor Timothy Noone, it w as first transcribed by Noone and Wood in 1990. Recently, Professor Noone has kindly sent me a revised transcription, for which I am very grateful. This transcription is quoted here.With the exception of “De ideis,” all quotations from Rufus are based on transcriptions made or revised by Professor Wood. Citations will indicate the relevant folio numbers of the manuscript or manuscripts on which the transcription is based. The manuscript itself, when first referred to, will be identified by the name of the city in which the library which houses it is located, the abbreviated name of the library, and its codex number.“All in all, proper names are a mess and if it weren’t for the problem of how to get the kids to come fo r dinner, I’d be inclined to just junk them” (David Kaplan, “Dhat,” Syntax and Semantics, vol. 9, ed. Peter Cole; repr. in Contemporary Perspectives in the Philosophy of Language, ed. P. French et al. (Minneapolis : University of Minnesota Press, 1979, pp. 383–400, p. 386). Looking at the matter from the perspective of medieval philosophy, we might say that the reason such names are semantically ill-behaved is that the act of naming from which they d erive is not one of adequate naming. Moreover, supposing that all manner of beings, including people, are “things,” we might let adequate naming be governed by the following principle: an agent adequately names a thing if and only if, knowing its proper nature, she bestows a name on the thing by considering that nature. Obviously, on this principle, the acts of naming from which people in our societies derive their names are not acts of adequate naming. (shrink)

We concur with Sommer et al. that the processing manifested by P300 is not necessarily conscious. We also note that Verleger is yet again adducing evidence that contradicts an assertion we never made.

Practices of listening, receptive corporeal traveling, and moving the democratic table among different constituencies and locations are vital to democratic struggles in a heterogeneous world. Marginalizing these practices weakens ethical-political vision and the strategic capacities of radical democracy. First, this article discusses the importance of moving beyond the accent on voice in a lot of democratic theory, to focus more on practices of listening. Second, it discusses the limits of listening and theorizes the need for practices of receptive corporeal traveling (...) beyond the power-saturated borders and scripted flows of human bodies that characterize most cities. Third, it suggests these insights might alter a fundamental metaphor underpinning many democratic theories, through a critical discussion of the imaginary of the solid democratic "table." It is better to construe democracy as "tabling": an activity in which the tables of engagement must be repeatedly altered by being moved and multiplied. (shrink)

Central to the discourse on the intentional structure of consciousness encompasses further forms of experience, for instance, the notion of one’s direct experience of others. In essence, one’s experience of others is materialized through intersubjective engagement which is fundamental in comprehending the relation of the Self and Other. Intersubjective engagement between the two cognizing subjects is evidently interactive negotiation of understanding, thus necessarily meditational. This paper will substantiate the meditational or reflective nature of intersubjective engagement with the phenomenology of self-projection, (...) giving emphasis on the experience of the Self in relation to Others. The activity of self- projection onto others which is argued to take place through introspection, incorporates modes such as representation, simulation, imitation, empathic interaction and self-attribution. Furthermore, this paper will conclude intersubjectivity as an advent of joint construction of meaning and representation between the two cognizing subjects, thus, the collaborative endeavor of shared construction of meaning and representation is attained throughout the process. (shrink)

Roderich Tumulka’s GRWf theory offers a simple, realist and relativistic solution to the measurement problem of quantum mechanics. It is achieved by the introduction of a stochastic dynamical collapse of the wavefunction. An issue with dynamical collapse theories is that they involve an amendment to the Schrodinger equation; amending the dynamics of such a tried and tested theory is seen by some as problematic. This paper proposes an alteration to GRWf that avoids the need to amend the Schrodinger equation via (...) what might be seen as a primary set of solutions to the Schrodinger equation that satisfy a normalisation condition over space and time. The traditional Born-normalised solutions are shown to be conditionalisations of these primary solutions. (shrink)

We investigate operators which take a set X to a set relatively computably enumerable in and above X by studying which such sets X can be so mapped into the Turing degree of K. We introduce notions of nontriviality for such operators, and use these to study which additional properties can be required of sets which can be completed to the jump by given operators of this kind.

Book reviewed in this article: Mystical Bedlam: Madness, Anxiety, and Healing in Seventeenth Century England. By Michael MacDonald. Making It Crazy: An Ethnography of Psychiatric Clients in an American Community. By Sue E. Estroff. Mind, Mood, and Medicine: A Guide to the New Biopsychiatry. By Paul H. Wender, M.D. and Donald F. Klein, M.D.

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.