You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

In her last known piece of work Lady Mary Shepherd’s Metaphysics (1832), Mary Shepherd writes that “mind, may inhere in definite portions of matter […] or of infinite space” (LMSM 699). Shepherd thus suggests that a mind – a “capacity for sensation in general” (e.g., EPEU 16) – may have a spatial location. This is prima facie surprising given that she is committed to the view that the mind is unextended. In this paper, we argue that Shepherd can consistently honor (...) both of these commitments. We argue, first, that even though finite minds, due to their unextendedness cannot, to use Shepherd’s term, ‘occupy’ space as material bodies do, such minds can nonetheless be said to have a spatial location in virtue of what we call their presence, or what Shepherd calls ‘inherence’, in a material body. Second, we argue that, in a similar way, the divine mind is present throughout the whole of space and is thus omnipresent. We then argue that, in contrast to finite minds, the divine mind does not require a body to be present in space. Rather, we contend, God’s omnipresence might be best understood in a ‘holenmerist’ sense, where the divine mind is wholly present in every part of creation. (shrink)

Many ethical frameworks require artificial intelligence (AI) systems to be explainable. Explainable AI (XAI) models are frequently tested for their adequacy in user studies. Since different people may have different explanatory needs, it is important that participant samples in user studies are large enough to represent the target population to enable generalizations. However, it is unclear to what extent XAI researchers reflect on and justify their sample sizes or avoid broad generalizations across people. We analyzed XAI user studies (N = (...) 220) published between 2012 and 2022. Most studies did not offer rationales for their sample sizes. Moreover, most papers generalized their conclusions beyond their target population, and there was no evidence that broader conclusions in quantitative studies were correlated with larger samples. These methodological problems can impede evaluations of whether XAI systems implement the explainability called for in ethical frameworks. We outline principles for more inclusive XAI user studies. (shrink)

AI companies are racing to create artificial general intelligence, or “AGI.” If they succeed, the result will be human-level AI systems that can independently pursue high-level goals by formulating and executing long-term plans in the real world. Leading AI researchers agree that some of these systems will likely be “misaligned”–pursuing goals that humans do not desire. This goal mismatch will put misaligned AIs and humans into strategic competition with one another. As with present-day strategic competition between nations with incompatible goals, (...) the result could be violent and catastrophic conflict. Existing legal institutions are unprepared for the AGI world. New foundations for AGI governance are needed, and the time to begin laying them is now, before the critical moment arrives. -/- This Article begins to lay those new legal foundations. It is the first to think systematically about the dynamics of strategic competition between humans and misaligned AGI. The Article begins by showing, using formal game-theoretic models, that, by default, humans and AIs will be trapped in a prisoner’s dilemma. Both parties’ dominant strategy will be to permanently disempower or destroy the other, even though the costs of such conflict would be high. -/- The Article then argues that a surprising legal intervention could transform the game theoretic equilibrium and avoid conflict: AI rights. Not just any AI rights would promote human safety. Granting AIs the right not to be needlessly harmed–as humans have granted to certain non-human animals–would, for example, have little effect. Instead, to promote human safety, AIs should be given those basic private law rights–to make contracts, hold property, and bring tort claims–that law already extends to non-human corporations. Granting AIs these economic rights would enable long-run, small-scale, mutually-beneficial transactions between humans and AIs. This would, we show, facilitate a peaceful strategic equilibrium between humans and AIs for the same reasons economic interdependence tends to promote peace in international relations. Namely, the gains from trade far exceed those from war. Throughout, we argue that human safety, rather than AI welfare, provides the right framework for developing AI rights. This Article explores both the promise and the limits of AI rights as a legal tool for promoting human safety in an AGI world. (shrink)

Recent discussions in the history of analytic philosophy have targeted questions about the concept of ‘Analytic Philosophy’ itself. Scholars, such as Glock (2008) and Preston (2004), have argued that ‘Analytic Philosophy’ cannot plausibly be characterised in terms of necessary and sufficient conditions and that other, more pragmatic, approaches must be taken instead. In this paper, we argue that similar questions that have recently emerged about the status of ‘Western Philosophy’ can be informed by these debates in the history of analytic (...) philosophy. Some recent scholars, most notably Platzky Miller (2023) and Cantor (2022), have argued that the concept of ‘Western philosophy’ should be abandoned altogether, due to its incoherence and the role it plays in upholding and perpetuating various exclusionary mechanisms and politically dubious aims. The aim of this paper is to apply the lessons learnt from similar discussions about ‘Analytic Philosophy’ and to build on Platzky Miller’s and Cantor’s innovative proposals. We argue that the term should not be abandoned altogether and that continuing to use it is required for combating exclusions in the history of philosophy. (shrink)

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. However, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this article, I focus on Macdonald’s provocative 1953 paper, “Linguistic Philosophy and Perception,” in which she argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. First, it reveals (...) just how far Macdonald’s metaphilosophical views diverged from those of many of her contemporaries. Second, the discussion in her article preempts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Similarly to other accounts of disease, Christopher Boorse’s Biostatistical Theory (BST) is generally presented and considered as conceptual analysis, that is, as making claims about the meaning of currently used concepts. But conceptual analysis has been convincingly critiqued as relying on problematic assumptions about the existence, meaning, and use of concepts. Because of these problems, accounts of disease and health should be evaluated not as claims about current meaning, I argue, but instead as proposals about how to define and use (...) these terms in the future, a methodology suggested by Quine and Carnap. I begin this article by describing problems with conceptual analysis and advantages of “philosophical explication,” my favored approach. I then describe two attacks on the BST that also question the entire project of defining “disease.” Finally, I defend the BST as a philosophical explication by showing how it could define useful terms for medical science and ethics. (shrink)

A number of recent papers or monographs have examined Susan Stebbing’s criticisms of Arthur Eddington’s scientific-philosophical writing. These papers focus on Stebbing’s critique of Eddington’s attempt to infer philosophical conclusions from developments in modern physics, his view that there is a discrepancy between the world of science and the world of common sense (best encapsulated by his famous ‘two tables’ metaphor), and his use of “inexact language” to try and convey modern scientific insights to his readers. On November 10th, 1938, (...) Eddington presented a paper at the Moral Sciences Club in Cambridge entitled “Prof. Stebbing’s ‘Philosophy and the Physicists’.” Eddington did not go on to publish this paper and it is not discussed in relevant scholarship. However, the details of Eddington’s talk are outlined in the minutes of that meeting. I argue that these minutes provide new insights into both the Stebbing-Eddington debate and developments in Eddington's late philosophical views. A full transcription of the minutes are included as an Appendix to this paper. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

The aim of this paper is to outline Dorothy Emmet's (1904–2000) account of perception in The Nature of Metaphysical Thinking (published in 1945). Emmet's account of perception is part of a wider attempt to rehabilitate metaphysics in the face of logical positivism and verificationism (of the kind espoused most famously by A. J. Ayer). It is thus part of an attempt to stem the tide of anti-metaphysical thought that had become widespread in British philosophy by the middle of the twentieth (...) century. Emmet does not fit neatly into the traditional story of twentieth-century British philosophy. She draws on figures like A. N. Whitehead and Henri Bergson much more extensively than figures like Russell or Moore – and thus straddles the so-called ‘analytic-continental divide.’ My aim in this paper is to put Emmet on the map of twentieth-century British thought by outlining her philosophy of perception, highlighting her proposals for a way forward for metaphysics in a time of crisis, and identifying the ways she preempts movements in contemporary philosophy of perception. (shrink)

We argue that, while Cavendish did express orthodox piety, she is likely to have been read by her contemporaries as heterodox and deistic at best, atheistic at worst. Furthermore, they would have been right: it is seemingly impossible to reconcile her metaphysical and epistemological views with particular providence, miracles, the incarnation and revelation. We proceed by outlining her general metaphysical position (section 1) before looking in some detail at her discussion of immaterial beings (section 2). We then consider the implications (...) of these views for certain orthodox Christian doctrines (section 3). (shrink)

This paper examines Margaret Cavendish’s ecological views and argues that, in the Appendix to her final published work, Grounds of Natural Philosophy (1668), Cavendish is defending a normative account of the way that humans ought to interact with their environment. On this basis, we argue that Cavendish is committed to a form of what, for the purposes of this paper, we will call ‘deep ecology,’ where that is understood as the view that humans ought to treat the rest of nature (...) as something of intrinsic value. (shrink)

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

This paper provides a philosophical evaluation of the concept of handedness prevalent but largely unspoken in the scientific literature. This literature defines handedness as the preference or ability to use one hand rather than the other across a range of common activities. Using the philosophical discipline of phenomenology, I articulate and critique this conceptualization of handedness. Phenomenology shows defining a concept of handedness by focusing on hand use leads to a right hand biased concept. I argue further that a phenomenological (...) model based in spatial orientation rather than hand use provides a more inclusive concept of handedness. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

In response to widespread doubts among professional philosophers (Russell, Horwich, Dietrich, McGinn, Chalmers), Stoljar argues for a ‘reasonable optimism’ about progress in philosophy. He defends the large and surprising claim that ‘there is progress on all or reasonably many of the big questions.’ However, Stoljar’s caveats and admitted avoidance of historical evidence permits overlooking persistent controversies in philosophy of mind and cognitive science that are essentially unchanged since the 17th Century. Stoljar suggests that his claims are commonplace in philosophy departments (...) and, indeed, the evidence I adduce constitutes an indictment of the widely shared view among professional analytic philosophers. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

Although Robert Nozick has argued that libertarianism is compatible with the justice of a minimal state—even if does not arise from mutual consent—few have been persuaded. I will outline a different way of establishing that a non-consensual libertarian state can be just. I will show that a state can—with a few important qualifications—justly enforce the rights of citizens, extract payments to cover the costs of such enforcement, redistribute resources to the poor, and invest in infrastructure to overcome market failures. Footnotesa (...) For very helpful comments, I am indebted to Dani Attas, Ellen Frankel Paul, Robert Johnson, Brian Kierland, Mike Otsuka, Eric Roark, and the other contributors to this volume. (shrink)

The concept of agent-responsibility for an outcome (that is, of the outcome reflecting the autonomous choice of the agent) is central to both ethics and political philosophy. The concept, however, remains radically under-explored. In particular, the issue of partial responsibility for an outcome needs further development. I propose an account of partial responsibility based on partial causal contribution. Agents who choose autonomously in full knowledge of the consequences are agent-responsible, I claim, for the shift in the objective probability of the (...) outcome in question that her choice induces. Thus, agents will typically be only partially agent-responsible (that is, for a shift of less than 100 percent) for any given outcome. The model has an implication that is generally rejected: that agents who purchase lottery tickets and win are agent-responsible for only part of the winnings. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

I argue that ductal carcinoma in situ (DCIS), the tumor most commonly diagnosed by breast mammography, cannot be confidently classified as cancer, that is, as pathological. This is because there may not be dysfunction present in DCIS—as I argue based on its high prevalence and the small amount of risk it conveys—and thus DCIS may not count as a disease by dysfunction-requiring approaches, such as Boorse’s biostatistical theory and Wakefield’s harmful dysfunction account. Patients should decide about treatment for DCIS based (...) on the risks it poses and the risks and benefits of treatment, not on its disease status. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

What rights and duties do adults have with respect to raising children? Who, for example, has the right to decide how and where a particular child will live, be educated, receive health care, and spend recreational time? I argue that neither biological (gene-provider) nor..

Maximizing act consequentialism holds that actions are morally permissible if and only if they maximize the value of consequences—if and only if, that is, no alternative action in the given choice situation has more valuable consequences.[i] It is subject to two main objections. One is that it fails to recognize that morality imposes certain constraints on how we may promote value. Maximizing act consequentialism fails to recognize, I shall argue, that the ends do not always justify the means. Actions with (...) maximally valuable consequences are not always permissible. The second main objection to maximizing act consequentialism is that it mistakenly holds that morality requires us to maximize value. Morality, I shall argue, only requires that we satisfice (promote sufficiently) value, and thus leaves us a greater range of options than maximizing act consequentialism recognizes. (shrink)

"The Location Problem for Color Subjectivism" response to commentators.

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

"Modern History" versions of the etiological theory claim that in order for a trait X to have the proper function F, individuals with X must have been recently favored by natural selection for doing F (Godfrey-Smith 1994; Griffiths 1992, 1993). For many traits with prototypical proper functions, however, such recent selection may not have occurred: traits may have been maintained due to lack of variation or due to selection for other effects. I examine this flaw in Modern History accounts and (...) offer an alternative etiological theory, the Continuing Usefulness account, which appears to avoid such problems. (shrink)

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and Ira (...) Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

I formulate and defend a theory of special procreative duties in the context of a liberal egalitarian theory of justice. I argue that (1) the only special duty that procreators owe their offspring is that of ensuring that their life prospects are non-negative (worth living), and (2) the only special duty that procreators owe others is that of ensuring that they are not disadvantaged by the procreators’ offspring (a) violating their rights or (b) adversely affecting their equality rights and duties.

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

In recent years, interest in desert-based theories of justice has increased, and this seems to represent a challenge to equality-based theories of justice.[i] The best distribution of outcomeadvantage with respect to desert, after all, need not be the most equal distribution of outcomeadvantage. Some individuals may deserve more than others. Outcome egalitarianism is, however, implausible, and so the conflict of outcome desert with outcome equality is of little significance.[ii] Most contemporary versions of egalitarianism are concerned with neutralizing the differential effects (...) of brute luck and not with equality of outcome. I shall argue that, in order to be plausible, a desert-based theory of justice can and must be compatible with this form of egalitarianism. There is, however, a stronger form of brute luck egalitarianism, which, as I shall explain, is concerned with equalizing the advantages from brute luck—and not merely with neutralizing the differential effects thereof. Under idealized conditions in which agents have perfect information about the outcomes that their choices generate, even this stronger form of egalitarianism, I shall show, is compatible with pure desert theory. Under conditions of incomplete information, however, strong brute luck egalitarianism is incompatible with a pure desert theory that appeals, as I shall explain, to moral, rather than prudential, desert. (shrink)

We argue that recent empirical findings and theoretical models shed new light on the nature of attention. According to the resulting amplification view, attentional phenomena can be unified at the neural level as the consequence of the amplification of certain input signals of attention-independent perceptual computations. This way of identifying the core realizer of attention evades standard criticisms often raised against sub-personal accounts of attention. Moreover, this approach also reframes our thinking about the function of attention by shifting the focus (...) from the function of selection to the function of amplification. (shrink)

Patients should not always receive hard data about the risks and benefits of a medical intervention. That information should always be available to patients who expressly ask for it, but it should be part of standard disclosure only sometimes, and only for some patients. And even then, we need to think about how to offer it.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)