The difference principle, introduced by Rawls (1971, 1993), is generally interpreted as leximin, but this is not how he intended it. Rawls explicitly states that the difference principle requires that aggregate benefits (e.g., average or total) to those in the least advantaged group be given lexical priority over benefits to others, where the least advantaged group includes more than the strictly worst off individuals. We study the implications of adopting different approaches to the definition of the least advantaged group and (...) show that, if acyclicity is required, several seemingly plausible approaches lead to something close to leximin. We then show that significant aggregation is possible, if the least advantaged group is defined as those with those with less benefits than some strictly positive transform of the lowest level of benefits. Finally, we discuss the implications of requiring that, in comparing two alternatives, the cutoff for the least advantaged group of one alternative be the same as that for the other alternative. (shrink)

Libertarian theories of justice hold that agents, at least initially, own themselves fully, and thus owe no service to others, except through voluntary action. The most familiar libertarian theories are right-libertarian in that they hold that natural resources are initially unowned and, under a broad range of realistic circumstances, can be privately appropriated without the consent of, or any significant payment to, the other members of society. Leftlibertarian theories, by contrast, hold that natural resources are owned by the members of (...) society in some egalitarian manner, and may be appropriated only with their permission, or with a significant payment to them. Left-libertarian theories have been propounded for over two centuries[i], but in recent years there has been a revival of interest in them. Theories roughly of this sort have been explored by Kolm [1985, 1986] and Gibbard [1976], advocated by Steiner [1994], Grunebaum [1987], and Van Parijs [1995], and criticized by Cohen [1995]. (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)

Going beyond Nagel and his ‘like a bat’: an exercise in primordial ontology, involving both conceptual clarification and observational drilling down.

Since 2007, I conduct philosophical walks as individual consultations, teachings or Socratic group exercises. A philosophical walk is intended to make participants think, to deepen thoughts and to become conscious of oneself in relation to the surroundings by walking. It is a form of philosophical practice, facilitating dialogue so that a meaningful story can be obtained. Participants are encouraged to (i) walk in such a way that they obtain space for thoughts and thinking, (ii) conceptualize, (iii) identify a place related (...) to a concept, (iv) question concepts, place and space, and (v) connect concepts with their experience. In this paper, I will describe the method of my philosophical walks and give an example: a philosophical walk at the campus of Nanjing University, China, in 2013. The aim is to provide readers a tool for conducting philosophical walks themselves and walk just like Lao-Tzu, Confucius, Socrates, Aristotle, Nietzsche and many other philosophers have done in order to philosophize and produce concepts related to life, person and place. (shrink)

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)

When I think that I am now thinking about a rose, are there two mental acts present in the intellect at once, the one direct (about the rose) and the other reflex (about the thought about the rose)? According to a generally accepted principle in medieval psychology, a given mental power cannot have or elicit multiple mental acts at the same time. Hence, many medieval thinkers were unwilling to admit that during such a case of mental reflection there are two (...) acts present in the mind. In this paper, I will look at two theories about mental reflection. According to John Pouilly (1312), during a case of mental reflection there is just one act present in the mind. However, this one act is somehow identical with the direct mental act about the rose that immediately preceded it. If it were not identical with this act, then the sentence "I am thinking that I am thinking about a rose" would be false, since in order for this sentence to be true the direct mental act of thinking about the rose must be present with the reflex mental act of thinking about that act, either as a distinct act, or as somehow identical with it. According to John Baconthorpe (ca. 1325), such a view fails, for even if the reflex mental act were somehow identical with the direct mental act that immediately preceded it, still we would have to admit that it does not coexist with it. On his view, what is sufficient here is that the direct mental· act exist merely as a kind of represented object. Hence, for Baconthorpe, when I think that I am thinking about a rose, there is just one act present in the mind, and this one act has as its content another distinct act (the direct act). However, the direct act does not really exist at the same time as it, although it is represented as if it did. (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)

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide a (...) schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (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.

The early modern distinction between primary and secondary qualities continues to have a significant impact on the debate about the nature of color. An aspect of this distinction that is still influential is the idea that the mind-independence of color requires that it is a primary quality. Thus, using shape as a paradigm example of a primary quality, a longstanding strategy for determining whether color is mind-independent is to consider whether it is sufficiently similar to shape to be a primary (...) quality. However, I’ll argue that the idea that the mind-independence of color requires that it is a primary quality is mistaken, and that, to the contrary, while color is not a primary quality, it is mind-independent. I’ll propose an alternative understanding of what the mind-independence of color requires. This alternative models color perception on an information filter. According to this model, mental qualities that I’ll call media qualities are involved in color perception. The involvement of mental qualities suggests mind-independence. However, I’ll argue, their involvement is modeled after the qualities of a kind of filter that provides access to, but does not constitute, filtered qualities. (shrink)

It shouldn’t be beyond the wit of human beings to come up with a few clear thoughts on this topic. If nothing else, we can treat this as a basic exercise in sceptical spiritual exploration. -/- But how exactly do we ‘take a look’? What ‘capacity’ do we use to do this? In other words, and to put it more crudely, which of our organs do we deploy in this (presumably important) quest for (presumably important) facts and answers? Do we (...) use our hearts, or our minds, or some other capacity? If not our hearts, or our minds, then which ‘bit’ of ourselves? Maybe something we haven’t yet thought of? -/- Invariably, in a discussion like this, there are going to be a number of twists, turns, dead-ends and open-ended question marks along the way, but as far as can be intuited right now, they’re all going to have ‘good value’. (shrink)

Author replies to commentaries from Christopher Hill, Hannah Kim, Emine Hande Tuna, and Neil Van Leeuwen on Explaining Imagination (OUP, 2020) by Peter Langland-Hassan.

This paper argues that participating exclusively or predominantly in heterosexual romantic or sexual relationships is prima facie morally impermissible. It holds that this conclusion follows from three premises: (1) gender norms are on-balance harmful; (2) conforming to harmful social norms is prima facie morally impermissible; and (3) participating exclusively or predominantly in heterosexual romantic or sexual relationships is a way of conforming to gender norms.

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

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].

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

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)

This article argues that the many reasons for softening Australia’s position on refugees are idealistic, humanitarian, legal, practical and economic .The idealistic reasons are that Australia, already with a high percentage of its people with an immigrant background , could demonstrate the ability of the many different races of world to live together without excessive conflict.

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)

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)

In this paper I defend a pure proceduralist conception of legitimacy that applies to epistemic democracy. This conception, which I call pure epistemic proceduralism, does not depend on procedure-independent standards for good outcomes and relies on a proceduralist epistemology. It identifies a democratic decision as legitimate if it is the outcome of a process that satisfies certain conditions of political and epistemic fairness. My argument starts with a rejection of instrumentalism–the view that political equality is only instrumentally valuable. I reject (...) instrumentalism on two grounds: (i) because it fails to respect reasonable value pluralism and to recognize the constitutive role of democratic procedures for legitimacy in pluralist societies, and (ii) because it neglects the constructive function of democratic decision-making. I then consider two alternatives to pure epistemic proceduralism: David Estlund's version of epistemic proceduralism and a Deweyan account of epistemic democracy. I argue that only pure epistemic proceduralism can make good on both shortcomings of instrumentalism, whereas each of the other two approaches only makes good on one and neglects the other. (shrink)

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

The origin and absurdity of the Religious Right's Culture Wars and why they should call them off.

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

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 ...

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (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)

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)

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (shrink)

According to the Fine-Tuning Argument, the existence of life in our universe confirms the Multiverse Hypothesis. A standard objection to FTA is that it violates the Requirement of Total Evidence. I argue that RTE should be rejected in favor of the Predesignation Requirement, according to which, in assessing the outcome of a probabilistic process, we should only use evidence characterizable in a manner available before observing the outcome. This produces the right verdicts in some simple cases in which RTE leads (...) us astray, and, when applied to FTA, it shows that our evidence does confirm HM. (shrink)