In this paper, I defend Rudolf Carnap's Principle of Tolerance from an accusation, due to Michael Friedman, that it is self-defeating by prejudicing any debate towards the logically stronger theory. In particular, Friedman attempts to show that Carnap's reconstruction of the debate between classicists and intuitionists over the foundations of mathematics in his book The Logical Syntax of Language, is biased towards the classical standpoint since the metalanguage he constructs to adjudicate between the rival positions is fully classical. (...) I argue that this criticism is mistaken on two counts: (1) it fails to fully appreciate the freedom with regard to the construction of linguistic frameworks that Carnap intended his Principle to embody, and (2) Friedman's objection underestimates the extent to which the evaluation of a framework is task-relative. I conclude that Tolerance is not self-undermining in the way that Friedman claims it is. While this is a restricted conclusion -- and is not a vindication of Carnap's views on logic and mathematics tout court -- it nonetheless suggests that his tolerant perspective has been dismissed too quickly, even by his supporters. (shrink)

This work presents a novel formulation of quantum mechanics as the solution to an entropy maximization problem constrained by empirical measurement outcomes. By treating the complete set of possible measurement outcomes as an optimization constraint, our entropy maximization problem derives the axioms of quantum mechanics as theorems, demonstrating that the theory's mathematical structure is the least biased probability measure consistent with the observed data. This approach reduces the foundation of quantum mechanics to a single axiom, the measurement constraint, from which (...) the full theory emerges through entropy maximization. In contrast to the conventional axiomatic approach, the framework grounds the axioms directly in empirical data, substantially restricting the interpretational landscape ruling out interpretations inconsistent with this empirical foundation. (shrink)

Some people commonly know a proposition just in case they all know it, they all know that they all know it, they all know that they all know that they all know it, and so on. They commonly believe a proposition just in case they all believe it, they all believe that they all believe it, they all believe that they all believe that they all believe it, and so on. A long tradition in economic theory, theoretical computer science, linguistics (...) and philosophy has held that people have some approximation of common knowledge or common belief in a range of circumstances, for example, when they are looking at an object together, or when they have just discussed something explicitly in conversation. In this paper, I argue that people do not have any approximation of common knowledge or common belief in these circumstances. The argument suggests that people never have any approximation of common knowledge or common belief. (shrink)

In the RNA World hypothesis, it is generally assumed that self-replicating RNA emerged from a primordial soup of amino acids approximately 500 million years before the advent of life on Earth. Recently, prebiotic molecules such as glycolaldehyde and amino acetonitrile have been discovered in abundance in nebulae like Sagittarius B2. This paper proposes that icy grains within these nebulae could act as primordial soups and explores the implications of this hypothesis. It is argued that the sheer abundance of these grains (...) in a typical nebula makes their collective volume astronomically greater than Earth’s primitive oceans, thus favouring the likelihood of an RNA self-replicator emerging within this environment based on volume arguments. The likelihood of naturally producing the first self-replicator may be significantly lower than previously envisioned, necessitating the contribution of a larger primordial soup spread across a nebula and functioning for billions of years before the emergence of life on Earth. According to this model, Earth could have been seeded by panspermia following the emergence of a self-replicator on nearby icy interstellar dust. Finally, we discuss the Fermi paradox in the context of this model. (shrink)

This paper studies one aspect of the great Ming dynasty philosopher Wang Yangming’s (王陽明 1472-1529) celebrated doctrine of the unity of knowledge and action (zhi xing he yi 知行合一). Wang states that his doctrine does not apply to all knowledge, but only to an elevated form of knowledge, which he sometimes calls “genuine knowledge” (zhen zhi 真知). But what is “genuine knowledge”? I develop and compare four different interpretations of this notion: the perceptual, practical, normative and introspective models. The main (...) aim of the paper is to develop these models in more detail than has been done before. But at the end of the paper I argue that the introspective model is to be preferred over the alternatives. (shrink)

This article presents a new interpretation of the great Ming dynasty philosopher Wang Yangming’s celebrated doctrine of the “unity of knowledge and action”. Wang held that action was not unified with all knowledge, but only with an elevated form of knowledge, which he sometimes called “genuine knowledge”. I argue for a new interpretation of this notion, according to which genuine knowledge requires freedom from a form of doxastic conflict. I propose that, in Wang’s view, a person is free from this (...) form of doxastic conflict if and only if they are acting virtuously. (shrink)

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

Robert Aumann presents his Agreement Theorem as the key conditional: “if two people have the same priors and their posteriors for an event A are common knowledge, then these posteriors are equal” (Aumann, 1976, p. 1236). This paper focuses on four assumptions which are used in Aumann’s proof but are not explicit in the key conditional: (1) that agents commonly know, of some prior μ, that it is the common prior; (2) that agents commonly know that each of them updates (...) on the prior by conditionalization; (3) that agents commonly know that if an agent knows a proposition, she knows that she knows that proposition (the “K K” principle); (4) that agents commonly know that they each update only on true propositions. It is shown that natural weakenings of any one of these strong assumptions can lead to countermodels to Aumann’s key conditional. Examples are given in which agents who have a common prior and commonly know what probability they each assign to a proposition nevertheless assign that proposition unequal probabilities. To alter Aumann’s famous slogan: people can “agree to disagree”, even if they share a common prior. The epistemological significance of these examples is presented in terms of their role in a defense of the Uniqueness Thesis: If an agent whose total evidence is E is fully rational in taking doxastic attitude D to P, then necessarily, any subject with total evidence E who takes a different attitude to P is less than fully rational. (shrink)

Five experiments demonstrate the central role of knowledge attributions in social evaluations. In Experiments 1–3, we manipulated whether an agent believes, is certain of, or knows a true proposition and asked people to rate whether the agent should perform a variety of actions. We found that knowledge, more so than belief or certainty, leads people to judge that the agent should act. In Experiments 4–5, we investigated whether attributions of knowledge or certainty can explain an important finding on how people (...) act based on statistical evidence, known as “the Wells effect”. We found that knowledge attributions, but not certainty attributions, mediate this effect on decision making. 2018 APA, all rights reserved). (shrink)

Are LLMs cultural technologies like photocopiers or printing presses, which transmit information but cannot create new content? A challenge for this idea, which we call "bibliotechnism", is that LLMs often do generate entirely novel text. We begin by defending bibliotechnism against this challenge, showing how novel text may be meaningful only in a derivative sense, so that the content of this generated text depends in an important sense on the content of original human text. We go on to present a (...) different, novel challenge for bibliotechnism, stemming from examples in which LLMs generate “novel reference”, using novel names to refer to novel entities. Such examples could be smoothly explained if LLMs were not cultural technologies but possessed a limited form of agency (beliefs, desires, and intentions). According to interpretationism in the philosophy of mind, a system has beliefs, desires and intentions if and only if its behavior is well-explained by the hypothesis that it has such states. In line with this view, we argue that cases of novel reference provide evidence that LLMs do in fact have beliefs, desires, and intentions, and thus have a limited form of agency. (shrink)

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, as (...) I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

An opinionated introduction to philosophical issues connected to common knowledge.

This paper introduces the axiom of Negative Dominance, stating that if a lottery f is strictly preferred to a lottery g, then some outcome in the support of f is strictly preferred to some outcome in the support of g. It is shown that if preferences are incomplete on a sufficiently rich domain, then this plausible axiom, which holds for complete preferences, is incompatible with an array of otherwise plausible axioms for choice under uncertainty. In particular, in this setting, Negative (...) Dominance conflicts with the standard Independence axiom. A novel theory, which includes Negative Dominance, and rejects Independence, is developed and shown to be consistent. (shrink)

We conducted five experiments that reveal some main contours of the folk epistemology of lotteries. The folk tend to think that you don't know that your lottery ticket lost, based on the long odds ("statistical cases"); by contrast, the folk tend to think that you do know that your lottery ticket lost, based on a news report ("testimonial cases"). We evaluate three previous explanations for why people deny knowledge in statistical cases: the justification account, the chance account, and the statistical (...) account. None of them seems to work. We then propose a new explanation of our own, the formulaic account, according to which some people deny knowledge in statistical cases due to formulaic expression. (shrink)

Remarks on method in the history of Chinese philosophy for analytic philosophy.

AbstractThis essay argues for a new interpretation of the notion of “unity” in Yangming’s 王陽明 famous doctrine of the “unity of knowledge and action” (zhi xing he yi 知行合一). I distinguish two parts of Wang’s doctrine: one concerning training (gong fu 工夫), and one concerning the “original natural condition” of knowledge and action (ben ti 本體). I focus on the latter aspect of the doctrine, and argue that Wang holds, roughly, that a person exhibits knowledge in its original natural condition (...) if and only if the person exhibits action in its original natural condition. Moreover, I argue that Wang denies that knowledge in its original natural condition is identical to action in its original natural condition. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

I present a problem for an influential argument of Chen Lai's, and argue that Wang Yangming may have believed that all "motivating concerns" are actions. (The archived version is a Chinese preprint; the published Chinese version is available by the external link in the entry. An English version is available on my website.).

I respond to P. J. Ivanhoe's criticisms of my translation of a key passage in Wang Yangming.

An action is agentially perfect if and only if, if a person tries to perform it, they succeed, and, if a person performs it, they try to. We argue that trying itself is agentially perfect: if a person tries to try to do something, they try to do it; and, if a person tries to do something, they try to try to do it. We show how this claim sheds new light on the logical structure of intentional action, on the (...) question of whether basic actions are tryings, and on the notion of “options” in decision theory. On the way to these central ideas, we argue that a person can try to do something even if they believe it is impossible that they will succeed, that a person can try to do something even if they do not want to succeed, and that a person can try to do something even if they do not intend to succeed. (shrink)

The difficult phrase ὅ ποτε ὄν ἐστι (hereafter ‘OPO’), which occurs in key passages in Aristotle’s discussions of blood and of time, has long vexed interpreters of Aristotle. This paper proposes a new interpretation of OPO, which resolves some textual and interpretative problems about Aristotle’s theories of blood and of time. My interpretation will also shed light on more general issues in Aristotle’s metaphysics. In the passages I will discuss, Aristotle takes both blood and time to be examples of his (...) peculiar ‘coupled entities’. He then uses OPO to provide explanations which differ from what we might call his ‘standard’ metaphysical explanations. On the ‘standard’ approach, Aristotle explains derivative entities—non-substances—by describing their relationship to substances. By contrast to this standard form of explanation, when Aristotle uses OPO he explains blood and time by describing their relationship to non-substances. This paper thus identifies a new species of metaphysical dependence in Aristotle. In addition, it provides detailed examination of evidence concerning whether Aristotle himself used coupled entities in his own physical and metaphysical theories. (shrink)

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)

A translation of two untranslated epistolary exchanges of Wang Yangming, which provide a record of how he understood the doctrine of the unity of knowledge and action after 1521.

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

Standard models in epistemic game theory make strong assumptions about agents’ knowledge of their own beliefs. Agents are typically assumed to be introspectively omniscient: if an agent believes an event with probability p, she is certain that she believes it with probability p. This paper investigates the extent to which this assumption can be relaxed while preserving some standard epistemic results. Geanakoplos (1989) claims to provide an Agreement Theorem using the “truth” axiom, together with the property of balancedness, a significant (...) relaxation of introspective omniscience. I provide an example which shows that Geanakoplos’s statement is incorrect. I then introduce a new property, local balancedness, which allows us both to correct Geanakoplos’s result, and to extend it to cases where the truth axiom may fail. I exploit this general Agreement Theorem to provide novel epistemic conditions for correlated and Nash equilibrium, both of which relax the assumption of introspective omniscience. In all three cases, the results are also extended to infinite state spaces. (This is Chapter 5 of my 2014 Oxford DPhil (PhD) thesis.). (shrink)

Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...) she reports Pete as believing is entailed by Pete’s beliefs if they are revised in light of Jane and Jim’s background knowledge. We provide a semantic theory of revisionist reports based on this idea. We observe that the admissible “revisions” are limited in a striking way. Jane cannot say ‘Pete thinks Ann is a 6-year-old and can play tennis in ten lessons’ in the same context that she can say ‘Pete believes Ann can learn to play tennis ten lessons’, even though this too follows from Jane and Jim’s background knowledge together with what Pete believes. Our theory predicts the infelicity of these latter reports. It also has the resources to predict the truth of “exported” attitude reports and casts the relationship between these reports and “singular thought” in a new light. We conclude by discussing how revisionist reports make trouble for a simplistic view of the connection between the relations expressed by attitude verbs in natural language and the relations of most interest to philosophers of mind and cognitive science. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

A theory of common ground is proposed and defended. This is Chapter 2 of my 2014 DPhil (PhD) thesis.

Consider the sentence “Lois knows that Superman flies, but she doesn’t know that Clark flies”. In this paper we defend a Millian contextualist semantics for propositional attitude ascriptions, according to which ordinary uses of this sentence are true but involve a mid-sentence shift in context. Absent any constraints on the relevant parameters of context sensitivity, such a semantics would be untenable: it would undermine the good standing of systematic theorizing about the propositional attitudes, trivializing many of the central questions of (...) epistemology, the philosophy of mind, and the philosophy of action. In response to this problem, we prove a series of tenability results. We show that, given certain constraints on the parameters of context sensitivity, there is a broad class of principles of propositional attitude psychology whose good standing follows from corresponding claims about people’s mental representations. But these constraints also have some surprising consequences: they are jointly incompatible with coarse-grained theories of propositions, and they are in tension with a natural picture of how speakers and hearers coordinate on the interpretation of attitude ascriptions. In light of these consequences we explore different ways in which the contextualist picture might be developed, and argue that our preferred way compares favorably with Fregeanism and neo-Russellianism. (shrink)

We provide a general argument against value incomparability, based on a new style of impossibility result. In particular, we show that, against plausible background assumptions, value incomparability creates an incompatibility between two very plausible principles for ranking lotteries: a weak "negative dominance" principle (to the effect that Lottery 1 can be better than Lottery 2 only if some possible outcome of Lottery 1 is better than some possible outcome of Lottery 2) and a weak form of ex ante Pareto (to (...) the effect that, if Lottery 1 gives an unambiguously better prospect to some individuals than Lottery 2, and equally good prospects to everyone else, then Lottery 1 is better than Lottery 2). After spelling out our results, and the arguments based on them, we consider which principle the proponent of incomparability ought to reject. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

Legal systems often rule that people own objects in their territory. We propose that an early-developing ability to make territory-based inferences of ownership helps children address informational demands presented by ownership. Across 6 experiments (N = 504), we show that these inferences develop between ages 3 and 5 and stem from two aspects of the psychology of ownership. First, we find that a basic ability to infer that people own objects in their territory is already present at age 3 (Experiment (...) 1). Children even make these inferences when the territory owner unintentionally acquired the objects and was unaware of them (Experiments 2 and 3). Second, we find that between ages 3 and 5, children come to consider past events in these judgments. They move from solely considering the current location of an object in territory-based inferences, to also considering and possibly inferring where it originated (Experiments 4 to 6). Together, these findings suggest that territory-based inferences of ownership are unlikely to be constructions of the law. Instead, they may reflect basic intuitions about ownership that operate from early in development. (shrink)

This study aimed to determine the significant relationship among student engagement, academic motivation, and academic performance of the Intermediate Level Students of Licup Elementary School. Utilizing descriptive correlational method of research and validated questionnaires in data analysis with Mean, and Pearson Product–Moment of Coefficient Correlation as statistical tools, results shows that there is no significant relationship among the three variables. In addition, results also indicated that the student engagement and academic motivation of the intermediate level students of Licup Elementary School (...) is low, while the Academic Performance of the intermediate students is Very Satisfactory. It was also recommended that future researchers be encouraged to conduct this kind of research in a new location and to set to expand this kind of study. (shrink)

Advancements in artificial intelligence and (social) robotics raise pertinent questions as to how these technologies may help shape the society of the future. The main aim of the chapter is to consider the social and conceptual disruptions that might be associated with social robots, and humanoid social robots in particular. This chapter starts by comparing the concepts of robots and artificial intelligence and briefly explores the origins of these expressions. It then explains the definition of a social robot, as well (...) as the definition of humanoid robots. A key notion in this context is the idea of anthropomorphism: the human tendency to attribute human qualities, not only to our fellow human beings, but also to parts of nature and to technologies. This tendency to anthropomorphize technologies by responding to and interacting with them as if they have human qualities is one of the reasons why social robots (in particular social robots designed to look and behave like human beings) can be socially disruptive. As is explained in the chapter, while some ethics researchers believe that anthropomorphization is a mistake that can lead to various forms of deception, others — including both ethics researchers and social roboticists — believe it can be useful or fitting to treat robots in anthropomorphizing ways. The chapter explores that disagreement by, among other things, considering recent philosophical debates about whether social robots can be moral patients, that is, whether it can make sense to treat them with moral consideration. Where one stands on this issue will depend either on one’s views about whether social robots can have, imitate, or represent morally relevant properties, or on how people relate to social robots in their interactions with them. Lastly, the chapter urges that the ethics of social robots should explore intercultural perspectives, and highlights some recent research on Ubuntu ethics and social robots. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...) statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

We present a novel approach to quantum theory construction that involves maximizing the Shannon entropy of quantum measurements relative to their initial preparation. By constraining the maximization problem with a phase that vanish under measurements, we obtain quantum mechanics (vanishing U(1)-valued phase), relativistic quantum mechanics (vanishing Spin^c(3,1)-valued phase), and quantum gravity (also a vanishing Spin^c(3,1)-valued phase, but with a non-vanishing dilation part). The first two cases are equivalent to established theory, whereas the later case yields a quantum theory of accelerated (...) reference frames, in which a quantized version of the Einstein field equation lives. Specifically, the spacetime interval is promoted to an observable, effectively building the metric tensor from the underlying quantum structure. Moreover, the SU(3)xSU(2)xU(1) gauge symmetries of the Standard Model arise naturally without additional assumptions. Finally, the solution is consistent only with 3+1 spacetime dimensions, as it encounters obstructions in all other dimensional configurations. This framework integrates quantum mechanics, relativistic quantum mechanics, quantum gravity, spacetime dimensionality, and particle physics gauge symmetries from a simple entropy maximization problem constrained by a vanishing phase. (shrink)

Young children show competence in reasoning about how ownership affects object use. In the present experiments, we investigate how influential ownership is for young children by examining their explanations. In three experiments, we asked 3- to 5-year-olds to explain why it was acceptable or unacceptable for a person to use an object. In Experiments 1 and 2, older preschoolers referenced ownership more than alternative considerations when explaining why it was acceptable or unacceptable for a person to use an object, even (...) though ownership was not mentioned to them. In Experiment 3, ownership was mentioned to children. Here, younger preschoolers frequently referenced ownership when explaining unacceptability of using an object, but not when explaining why using it was acceptable. These findings suggest that ownership is influential in preschoolers' explanations about the acceptability of using objects, but that the scope of its influence increases with age. (shrink)

An important objection to preference-satisfaction theories of well-being is that these theories cannot make sense of interpersonal comparisons of well-being. A tradition dating back to Harsanyi () attempts to respond to this objection by appeal to so-called extended preferences: very roughly, preferences over situations whose description includes agents’ preferences. This paper examines the prospects for defending the preference-satisfaction theory via this extended preferences program. We argue that making conceptual sense of extended preferences is less problematic than others have supposed, but (...) that even so extended preferences do not provide a promising way for the preference satisfaction theorist to make interpersonal well-being comparisons. Our main objection takes the form of a trilemma: depending on how the theory based on extended preferences is developed, either the result will be inconsistent with ordinary preference-satisfaction theory, or it will fail to recover sufficiently rich interpersonal well-being comparisons, or it will take on a number of other arguably odd and undesirable commitments. (shrink)

An important objection to preference-satisfaction theories of well-being is that they cannot make sense of interpersonal comparisons. A tradition dating back to Harsanyi :434, 1953) attempts to solve this problem by appeal to people’s so-called extended preferences. This paper presents a new problem for the extended preferences program, related to Arrow’s celebrated impossibility theorem. We consider three ways in which the extended-preference theorist might avoid this problem, and recommend that she pursue one: developing aggregation rules that violate Arrow’s Independence of (...) Irrelevant Alternatives condition. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Background -/- Previous literature suggests that those with reading disability (RD) have more pronounced deficits during semantic processing in reading as compared to listening comprehension. This discrepancy has been supported by recent neuroimaging studies showing abnormal activity in RD during semantic processing in the visual but not in the auditory modality. Whether effective connectivity between brain regions in RD could also show this pattern of discrepancy has not been investigated. Methodology/Principal Findings -/- Children (8- to 14-year-olds) were given a semantic (...) task in the visual and auditory modality that required an association judgment as to whether two sequentially presented words were associated. Effective connectivity was investigated using Dynamic Causal Modeling (DCM) on functional magnetic resonance imaging (fMRI) data. Bayesian Model Selection (BMS) was used separately for each modality to find a winning family of DCM models separately for typically developing (TD) and RD children. BMS yielded the same winning family with modulatory effects on bottom-up connections from the input regions to middle temporal gyrus (MTG) and inferior frontal gyrus(IFG) with inconclusive evidence regarding top-down modulations. Bayesian Model Averaging (BMA) was thus conducted across models in this winning family and compared across groups. The bottom-up effect from the fusiform gyrus (FG) to MTG rather than the top-down effect from IFG to MTG was stronger in TD compared to RD for the visual modality. The stronger bottom-up influence in TD was only evident for related word pairs but not for unrelated pairs. No group differences were noted in the auditory modality. Conclusions/Significance -/- This study revealed a modality-specific deficit for children with RD in bottom-up effective connectivity from orthographic to semantic processing regions. There were no group differences in connectivity from frontal regions, suggesting that the core deficit in RD is not in top-down modulation. (shrink)

We report a series of experiments examining whether people ascribe knowledge for true beliefs based on probabilistic evidence. Participants were less likely to ascribe knowledge for beliefs based on probabilistic evidence than for beliefs based on perceptual evidence or testimony providing causal information. Denial of knowledge for beliefs based on probabilistic evidence did not arise because participants viewed such beliefs as unjustified, nor because such beliefs leave open the possibility of error. These findings rule out traditional philosophical accounts for why (...) probabilistic evidence does not produce knowledge. The experiments instead suggest that people deny knowledge because they distrust drawing conclusions about an individual based on reasoning about the population to which it belongs, a tendency previously identified by “judgment and decision making” researchers. Consistent with this, participants were more willing to ascribe knowledge for beliefs based on probabilistic evidence that is specific to a particular case. 2016 APA, all rights reserved). (shrink)

On the differing practices and assumptions in the academic specialisms of environmental studies and STS.

This article discusses experiences in the integrated teaching of Environmental Studies and Science Studies in a generalist curriculum at a university campus in Scotland. At the University of Glasgow Crichton Campus, a mixed curriculum has been developed to combine coherently Environmental and Science Studies, perhaps the first such curriculum in the UK and equally uncommon in America. The Crichton curricum is intentionally multi-disciplinary, drawing closely on the successful nineteenth-century Scottish model exported to America. This generalist approach, emphasising broad philosophical principles, (...) informs the courses and their inter-relationships. (shrink)