One sometimes believes a proposition without grasping it. For example, a complete achromat might believe that ripe tomatoes are red without grasping this proposition. My aim in this paper is to shed light on the difference between merely believing a proposition and grasping it. I focus on two possible theories of grasping: the inferential theory, which explains grasping in terms of inferential role, and the phenomenal theory, which explains grasping in terms of phenomenal consciousness. I argue that the phenomenal theory (...) is more plausible than the inferential theory. (shrink)

A natural view of testimony holds that a source's statements provide one with evidence about what the source believes, which in turn provides one with evidence about what is true. But some theorists have gone further and developed a broadly analogous view of memory. According to this view, which this essay calls the “diary model,” one's memory ordinarily serves as a means for one's present self to gain evidence about one's past judgments, and in turn about the truth. This essay (...) rejects the diary model's analogy between memory and testimony from one's former self, arguing first that memory and a diary differ with respect to their psychological roles, and second that this psychological difference underwrites important downstream epistemic differences. The resulting view stands opposed to prominent discussions of memory and testimony, which either, like the diary model, treat memory by analogy to what we naively wish to say about testimony, or which instead attempt to extend to testimony the epistemically preservative role of memory. (shrink)

This paper critically examines currently influential transparency accounts of our knowledge of our own beliefs that say that self-ascriptions of belief typically are arrived at by “looking outward” onto the world. For example, one version of the transparency account says that one self-ascribes beliefs via an inference from a premise to the conclusion that one believes that premise. This rule of inference reliably yields accurate self-ascriptions because you cannot infer a conclusion from a premise without believing the premise, and so (...) you cannot infer from a premise that you believe the premise unless you do believe it. I argue that this procedure cannot be a source of justification, however, because one can be justified in inferring from p that q only if p amounts to strong evidence that q is true. This is incompatible with the transparency account because p often is not very strong evidence that you believe that p. For example, unless you are a weather expert, the fact that it will rain is not very strong evidence that you believe it will rain. After showing how this intuitive problem can be made precise, I conclude with a broader lesson about the nature of inferential justification: that beliefs, when justified, must be underwritten by beliefs, when justified, must be underwritten by evidential relationships between the facts or propositions which those beliefs represent. (shrink)

One of Mill’s main arguments for free speech springs from taking disagreement as an epistemically valuable resource for fallible thinkers. Contemporary conciliationist treatments of disagreement spring from the same motivation, but end up seeing the epistemic implications of disagreement quite differently. Conciliationism also encounters complexities when transposed from the 2-person toy examples featured in the literature to the public disagreements among groups that give the issue much of its urgency. Group disagreements turn out to be in some ways more powerful (...) defeaters of rational belief, even when opposing groups are comparable in size and epistemic credentials. And conciliationism also shows us why determining the rational response to these disagreements can in certain cases (e.g. politics) be a particularly difficult and nuanced matter. (shrink)

Suppose justice depends on some very unlikely good behavior. In that case the true (or correct, or best) theory of justice might have no practical value. But then, what good would it be? I consider analogies with science and mathematics in order to test various ways of tying their the value of intellectual work to practice, though I argue that these fail. If their value, or that of some political theory, is not practical then what is good about them? As (...) for political theory, I consider the question of what would even count as an answer to this question, and I conclude with the tentative proposal that it is valuable to come to understand something that is, itself, important. (shrink)

Metaphysically speaking, just what is trying? There appear to be two options: to place it on the side of the mind or on the side of the world. Volitionists, who think that to try is to engage in a mental act, perhaps identical to willing and perhaps not, take the mind-side option. The second, or world-side option identifies trying to do something with one of the more basic actions by which one tries to do that thing. The trying is then (...) said to be identical with the physical action. -/- After carefully stating the second, world-side view, I produce two arguments against it. The first relies on the fact that if a=b and b=c, then a=c, sometimes put colloquially as: if something is identical to two things, then the two things must be identical to one another. In the case of trying, one might try to do something by performing a plurality of simultaneous actions, a sure sign that the relation between the trying and the plurality of actions by which one tries must be some relation other than identity. -/- The second argument discusses two cases, recorded in William James’ The Principles of Psychology, of a patient who tries but who performs no action whatever. This is sometimes called ‘naked trying’. A recent attempt at denying that there can be such cases of naked trying is examined and dismissed. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

The distinction between knowing how to do something and knowing that something is the case is a piece of common sense. Still, it has been suggested that one of these concepts can be reduced to the other one. Intellectualists like Jason Stanley (2011) try to reduce know-how to propositional knowledge, while practicalists like Stephen Hetherington (2011) try to reduce propositional knowledge to know-how. I argue that both reductionist programs fail because they make the manifestations of the knowledge to be reduced (...) unintelligible. Contrary to both, I suggest that know-how and propositional knowledge are distinct, but conceptually interdependent. (shrink)

When it comes to caring about and helping those in need, our imaginations tend to be weak and our motivation tends to be parochial. This is a major moral problem in view of how much unmet need there is in the world and how much material capacity there is to address that need. With this problem in mind, the present paper will focus on genetic means to the enhancement of a moral capacity—a disposition to altruism—and of a cognitive capacity that (...) facilitates use of the moral capacity: the ability to grasp vividly the needs of individuals who are unknown and not present. I will address two questions, with more extensive attention to the first question. First, assuming we had excellent reason to believe that the enhancements were safe, effective, and available to all who desired them, would seeking these enhancements be inherently morally acceptable—that is, free of inherent wrongness? Second, would it be wise for a society to pursue these enhancements? I will defend an affirmative answer to the first question while leaving the second question open. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

The appeal to ordinary language is a central feature of Wittgenstein’s later philosophy: he reminds us that our words find meaning in the ordinary practices and forms of life in which they are used. This emphasis on the ordinary may seem to clash with Heidegger’s claim that average everyday understanding is marked by inauthenticity: is Wittgenstein’s emphasis on ordinary language fundamentally inauthentic? On the contrary, I argue, Wittgenstein’s emphasis on the ungroundedness of our ordinary practices parallels Heidegger’s discussion of anxiety (...) and uncanniness, suggesting that we can unearth something like a Heideggerian appeal to authenticity in Wittgenstein’s appeal to ordinary language. (shrink)

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

I suggest that the social justice issues raised by Internet regulation can be exposed and examined by using a methodology adapted from that described by John Rawls in 'A Theory of Justice'. Rawls' theory uses the hypothetical scenario of people deliberating about the justice of social institutions from the 'original position' as a method of removing bias in decision-making about justice. The original position imposes a 'veil of ignorance' that hides the particular circumstances of individuals from them so that they (...) will not be influenced by self-interest. I adapt Rawls' methodology by introducing an abstract description of information technology to those deliberating about justice from within the original position. This abstract description focuses on computing devices that users can use to access information and information networks that information devices use to communicate. The abstractness of this description prevents the particular characteristics of the Internet and the computing devices in use from influencing the decisions about the just use and regulation of information technology and networks. From this abstract position, the principles of justice that the participants accept for the rest of society will also apply to the computing devices people use to communicate, and to Internet regulation. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...) is focused on the interpretation and application of the mathematical concepts. (shrink)

Political philosophers frequently claim that political ideals can provide normative guidance for unjust and otherwise nonideal circumstances. This is mistaken. This paper demonstrates that political ideals contribute nothing to our understanding of the normative principles we should satisfy amidst unjust or otherwise nonideal circumstances.

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

How should we understand knowledge-how – knowledge how to do something? And how is it related to knowledge-that – knowledge that something is the case? In this paper, I will discuss a very important and influential aspect of this question, namely the claim – dubbed ‘Intellectualism’ by Gilbert Ryle – that knowledge-how can be reduced to knowledge-that. Recently, Jason Stanley and Timothy Williamson have tried to establish Intellectualism with the aid of linguistic considerations. This project – Linguistic Intellectualism – will (...) be criticized on three levels. First, I will reconstruct and object to Stanley and Williamson’s positive argument in favour of Intellectualism. Second, I will assess their view of the relationship between knowledge-how and practical ability and argue that their stance is not well-motivated. Third, I will discuss their criticism of Ryle’s objection against Intellectualism. After distinguishing between different versions of Ryle’s argument, I will show that its strongest version is both immune to the objection by Stanley and Williamson and a decisive argument against their own theory. Given that Intellectualism fails for these three reasons, I finally draw on a broader reading of Ryle in order to develop the beginnings of a positive account of knowledge-how and its relationship to knowledge-that. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

I distinguish two theses regarding technological successors to current humans (posthumans): an anthropologically bounded posthumanism (ABP) and an anthropologically unbounded posthumanism (AUP). ABP proposes transcendental conditions on agency that can be held to constrain the scope for “weirdness” in the space of possible posthumans a priori. AUP, by contrast, leaves the nature of posthuman agency to be settled empirically (or technologically). Given AUP there are no “future proof” constraints on the strangeness of posthuman agents. -/- In Posthuman Life I defended (...) AUP via a critique of Donald Davidson’s work on intentionality and a “naturalistic deconstruction” of transcendental phenomenology (See also Roden 2013). In this paper I extend this critique to Robert Brandom’s account of the relationship between normativity and intentionality in Making It Explicit (MIE) and in other writings. -/- Brandom’s account understands intentionality in terms of the capacity to undertake and ascribe inferential normative commitments. It makes “first class agency” dependent on the ability to participate in discursive social practices. It implies that posthumans – insofar as they qualify as agents at all – would need to be social and discursive beings. -/- The problem with this approach, I will argue, is that it replicates a problem that Brandom discerns in Dennett’s intentional stance approach. It tells us nothing about the conditions under which a being qualifies as a potential interpreter and thus little about the conditions for meaning, understanding or agency. -/- I support this diagnosis by showing that Brandom cannot explain how a non-sapient community could bootstrap itself into sapience by setting up a basic deontic scorekeeping system without appealing (along with Davidson and Dennett) to the ways in which an idealized observer would interpret their activity. -/- This strongly suggests that interpretationist and pragmatist accounts cannot explain the semantic or the intentional without regressing to assumptions about ideal interpreters or background practices whose scope they are incapable of delimiting. It follows that Anthropologically Unbounded Posthumanism is not seriously challenged by the claim that agency and meaning are “constituted” by social practices. -/- AUP implies that we can infer no claims about the denizens of “Posthuman Possibility Space” a priori, by reflecting on the pragmatic transcendental conditions for semantic content. We thus have no reason to suppose that posthuman agents would have to be subjects of discourse or, indeed, members of communities. The scope for posthuman weirdness can be determined by recourse to engineering alone. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

The purpose of this paper is to address a well-known dilemma for physicalism. If mental properties are type identical to physical properties, then their causal efficacy is secure, but at the cost of ruling out mentality in creatures very different to ourselves. On the other hand, if mental properties are multiply realizable, then all kinds of creatures can instantiate them, but then they seem to be causally redundant. The causal exclusion problem depends on the widely held principle that realized properties (...) inherit their causal powers from their realizers. While this principle holds for functional realization, it fails on a broader notion of realization that permits the realization of complex qualitative properties such as spatial and temporal patterns. Such properties are best seen as dependent powerful qualities, which have their causal roles in virtue of being the qualities they are, and do not inherit powers from their realizers. Recent studies have identified one such property—neural synchrony—as a correlate of consciousness. If synchrony is also partially constitutive of consciousness, then phenomenal properties are both multiply realizable and causally novel. I outline a version of representationalism about consciousness on which this constitution claim holds. (shrink)

Corroborative evidence can have a dual function in argument whereby not only does it have a primary function of providing direct evidence supporting the main conclusion, but it also has a secondary, bolstering function which increases the probative value of some other piece of evidence in the argument. It has been argued (Redmayne, 2000) that this double function gives rise to the fallacy of double counting whereby the probative weight of evidence is overvalued by counting it twice. Walton has proposed (...) several models of corroborative evidence, each of which seems to accept the fallaciousness of double counting thereby seeming to deny the dual function of corroborative evidence. Against this view, I argue that the bolstering effect is legitimate, and can be explained by recourse to inference to the best explanation. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

Are the special sciences autonomous from physics? Those who say they are need to explain how dependent special science properties could feature in irreducible causal explanations, but that’s no easy task. The demands of a broadly physicalist worldview require that such properties are not only dependent on the physical, but also physically realized. Realized properties are derivative, so it’s natural to suppose that they have derivative causal powers. Correspondingly, philosophical orthodoxy has it that if we want special science properties to (...) bestow genuinely new causal powers, we must reject physical realization and embrace a form of emergentism, in which such properties arise from the physical by mysterious brute determination. In this paper, I argue that contrary to this orthodoxy, there are physically realized properties that bestow new causal powers in relation to their realizers. The key to my proposal is to reject causal-functional accounts of realization and embrace a broader account that allows for the realization of shapes and patterns. Unlike functional properties, such properties are defined by qualitative, non-causal specifications, so realizing them does not consist in bestowing causal powers. This, I argue, allows for causal novelty of the strongest kind. I argue that the molecular geometry of H2O—a qualitative, multiply realizable property—plays an irreducible role in explaining its dipole moment, and thereby bestows novel powers. On my proposal, special science properties can have the kind of causal novelty traditionally associated with strong emergence, without any of the mystery. (shrink)

We lead off this issue of Childhood and Philosophy with a collection of testimonies, homages, and brief memoirs offered from around the world in response to the death of the founder of Philosophy for Children, Matthew Lipman on December 26, 2010, at the age of 87. To characterize Lipman as “founder” is completely accurate, but barely evokes the role he played in conceiving, giving birth to, and nurturing this curriculum cum pedagogy that became a movement, and which has taken root (...) in over 40 countries, from Iceland to Nigeria to Taiwan to Chile and everywhere in between. The movement itself is broader than the program, which has in fact experienced multiple transformations in multiple contexts over its half-century of life. In fact, as many of the testimonies below either state outright or imply, the movement is an emancipatory one and thus implicitly political, infused with all the long-suffering hope for our species inspired in us by the fact of natality, and by our own intuitive faith in the transformative power of reason—or as Lipman came to call it, “reasonableness.” For those seized by its educational possibilities, it presents a sudden influx of sunlight and fresh air into an institution long stultified by its own rigid habitus, and promises the reconstruction of schooling in the image of authentic democratic practice that recognizes and honors the unique capacities of children. As Philosophy in the Classroom—Lipman’s first and now classic statement of educational philosophy--puts it, the movement promises a re-orientation of the goal of education from information (or “learning”) to meaning, and inaugurates the dialogue with childhood and children that follows from that. Lipman was not just founder of this movement but creator, inventor, developer, convener, organizer, faithful soldier, ambassador, apologist, polemicist, propagandist, and, finally, undying optimist. (shrink)

Estlund has replied to my "Motivational Demands on the Limits of Justice". This short note is my rejoinder.

Recently, John Fischer has applied Frankfurt’s well-known counter-example to the principle of alternate possibilities to refute the traditional libertarian position which holds that a necessary condition for an agent’s decision (choice) to be free in the sense of freedom required for moral responsibility is that the decision not be causally determined, and that the agent could have avoided making it. Fischer’s argument has consequently led various philosophers to develop libertarian accounts of freedom which try to dispense with the avoidability constraint (...) on freedom. My purpose in this article is to show that Fischer’s attack on traditional libertarianism fails, and, therefore, it is premature to abandon that position. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

Human beings seek to transcend limits. This is part of our potential greatness, since it is how we can realize what is best in our humanity. However, the limit-transcending feature of human life is also part of our potential downfall, as it can lead to dehumanization and failure to attain important human goods and to prevent human evils. Exploring the place of limits within a well-lived human life this work develops and defends an original account of limiting virtues, which are (...) concerned with recognizing proper limits in human life. The limiting virtues that are the focus are humility, reverence, moderation, contentment, neighborliness, and loyalty, and they are explored in relation to four kinds of limits: existential limits, moral limits, political limits, and economic limits. These virtues have been underexplored in discussions about virtue ethics, and when they have been explored it has not been with regard to the general issue of the place of limits within a well-lived human life. The account of the limiting virtues provided here, however, is intended as a counter to other prominent approaches to ethics: namely, autonomy-centered approaches and consequentialist (or maximizing) approaches. This account is also used to address a number of important contemporary issues such as genetic engineering, distributive justice, cosmopolitanism vs. patriotism, and the ethical status of growth-based economics. (shrink)

I argue that some important elements of the current cosmological model are 'conventionalist’ in the sense defined by Karl Popper. These elements include dark matter and dark energy; both are auxiliary hypotheses that were invoked in response to observations that falsified the standard model as it existed at the time.

Eva Erman and Niklas Möller have recently presented a trenchant critique of my (2015) argument that ideal normative theories are uninformative for certain practical purposes. Their criticisms are largely correct. In this note, I develop the ideas behind my earlier argument in a way that circumvents their critique and explains more clearly why ideal theory is uninformative for certain purposes while leaving open the possibility that it might be informative for other purposes.

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

At the very least, even though Chinese schools do not look very different from those in the West, China offers an opportunity for Philosophy for Children to question its basis, its methodology, its aims. It seems to be expressing a different cultural voice, and to be disposed to the kind of dialogue we are more used to claiming than practicing. Both Kunming and Shanghai provide, in their own ways, formidable contexts: the deep, strong and disciplined educators of Railway Station School (...) of Kunming and the scholarly, sophisticated and committed members of the Shanghai institute for Research in the Human Sciences seem determined to take Philosophy for Children, not just beyond their own limits as Chinese, but beyond the limits Philosophy for Children has already established for itself in the West. Philosophy for Children in China, then, looks like a wonderful opportunity to think ourselves--what we are as educators engaged in the practice of philosophy--again. An invitation to think ourselves again. Is this not what dialogue and philosophy are about? It’s up to us to accept the invitation. (shrink)

If we are going to understand morality, it is important to understand the nature of societies. What is fundamental to them? What is the glue that holds them together? What is the role of shared norm acceptance in constituting a society? Michael Bratman’s account of modest sociality in his book, Shared Agency, casts significant light on these issues. Bratman’s account focuses on small-scale interactions, but it is instructive of the kinds of factors that can enter into explaining sociality more generally. (...) Norms of “social rationality” play an important role in Bratman’s account. I agree with his idea that these norms have normative force. I contend that these norms actually are morally significant. On the resulting view, social glue consists of actual and intended meshing of intentions and shared knowledge combined with a kind of normative pressure that has normative authority—along with other more familiar factors such as familial connections, cooperative arrangements, and affective states such as loyalties. (shrink)

This essay articulates a kind of conservatism that it argues is the most fundamental and important kind of conservatism, viz. existential conservatism, which involves an affirmative and appreciative stance towards the given world. While this form of conservatism can be connected to political conservatism, as seen with Roger Scruton, it need not be, as seen with G. A. Cohen. It is argued that existential conservatism should be embraced whether or not one embraces political conservatism, though it is also shown that (...) existential conservatism imposes constraints on our political thinking. In particular, it is argued that Cohen's ‘luck egalitarianism’ stands at odds with his existential conservatism and that one should be a sufficientarian rather than an egalitarian with regard to economic justice. (shrink)

In the Āgamadambara (“Much Ado about Religion”), Jayanta Bhatta appears to be making a case for religious toleration and pluralism. This paper considers whether Jayanta has a concept like toleration in mind at all, or at least something that we today might understand to be toleration. If he is doing neither, our understanding of the nature of tolerance and its conceptual limits may be furthered by determining exactly what he is talking about and why it looks so much like tolerance.

D. Evans, Argumenty platońskie, transl. Zbigniew Nerczuk.

According to the priority view, or prioritarianism, it matters more to benefit people the worse off they are. But how exactly should the priority view be defined? This article argues for a highly general characterization which essentially involves risk, but makes no use of evaluative measurements or the expected utility axioms. A representation theorem is provided, and when further assumptions are added, common accounts of the priority view are recovered. A defense of the key idea behind the priority view, the (...) priority principle, is provided. But it is argued that the priority view fails on both ethical and conceptual grounds. (shrink)

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (shrink)

The appeal to ordinary language is a central feature of Wittgenstein’s later philosophy: he reminds us that our words find meaning in the ordinary practices and forms of life in which they are used. This emphasis on the ordinary may seem to clash with Heidegger’s claim that average everyday understanding is marked by inauthenticity: is Wittgenstein’s emphasis on ordinary language fundamentally inauthentic? On the contrary, I argue, Wittgenstein’s emphasis on the ungroundedness of our ordinary practices parallels Heidegger’s discussion of anxiety (...) and uncanniness, suggesting that we can unearth something like a Heideggerian appeal to authenticity in Wittgenstein’s appeal to ordinary language. (shrink)

I argue that recent rationalists' accounts of a priori knowledge suffer from two substantial weaknesses: an inadequate phenomenology of a priori insight , and the error of psychologism. I show that Husserl's theory of a priori knowledge presents a defensible and viable alternative for the contemporary rationalist, an alternative that addresses both the ontology and phenomenology of rational intuition, as well as such contemporary concerns as the possibility and character of a priori error, the empirical defeasibility of a priori claims, (...) the relation of mind to necessity, and the role of conception and imagination in a priori knowledge. Consequently, I conclude that Husserl's theory provides the needed response to the 20 th century critique of rationalism, and its attendant a priorism, as mysterious and obscure. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Abstract -/- Libertarians typically believe that we are morally responsible for the choices (or decisions) we make only if those choices are free, and our choices are free only if they are neither caused nor nomically necessitated by antecedent events. Recently, there have been a number of attempts by philosophers to refute libertarianism by arguing that because a libertarianly free decision (choice) is both causally and nomically undetermined, which decision an agent makes in a deliberative situation is a matter of (...) luck, which implies (due to the way these philosophers use 'luck') that the agent does not have control over which decision he makes. This argument has been dubbed "the Argument from Luck" or "the Luck Objection" against libertarianism – henceforth 'LO'. In this paper, we examine some versions of LO as reflected in the works of Alfred Mele (2006), Neil Levy (2011), and Peter van Inwagen (2000, 2011). We argue that libertarians have nothing to fear from LO. Deep down the objection reflects a failure, on the part of its proponents, really to come to grips with the libertarian position. (shrink)