Abstract: Reports suggests that total amount of data generated everyday reaches 2.5 quintillion bytes [9], annual global IP traffic run rate in 2016 was 1.2 zettabytes and will reach 3.3 zettabytes by 2021 [12]. According to Gartner [25], Internet of Things excluding personal computers, tablets and smartphones will grow to 26 billion units of installed devices in year 2020. This results from penetration of digital applications which highly motivated by smart societies which can be defined as to when a society (...) deploys light and advanced computer technologies to aid provision and or supply chain value of social, cultural, governance and economic utilities for efficiency. Smart society is equipped with mobile, ubiquitous computing facilities, sensors and cyber-physical systems aims at exploring economies of scale; and to large extent it has been made possible with Internet of Things (IoT). This survey paper discusses status of big data in Internet of Things; how IoT generates big data, nature of data generated and dynamics in IoT as influenced by big data. (shrink)

Berkeley’s likeness principle is the claim that “an idea can be like nothing but an idea”. The likeness principle is intended to undermine representationalism: the view (that Berkeley attributes to thinkers like Descartes and Locke) that all human knowledge is mediated by ideas in the mind which represent material objects. Yet, Berkeley appears to leave the likeness principle unargued for. This has led to several attempts to explain why Berkeley accepts it. In contrast to ‘metaphysical’ and ‘epistemological’ interpretations available in (...) the literature, in this paper I defend a ‘conceptual’ interpretation. I argue that Berkeley accepts the likeness principle on the basis of (i) his commitment to the transparency of ideas, and (ii) his account of resemblance which he sets out in his works on vision. Thus, I provide an explanation for Berkeley’s reasons for accepting the likeness principle which, appropriately, focuses on his views concerning ideas and likeness. (shrink)

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

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

William Molyneux was born in Dublin, studied in Trinity College Dublin, and was a founding member of the Dublin Philosophical Society (DPS), Ireland’s counterpart to the Royal Society in London. He was a central figure in the Irish intellectual milieu during the Early Modern period and – along with George Berkeley and Edmund Burke – is one of the best-known thinkers to have come out of that context and out of Irish thought more generally. In 1688, when Molyneux wrote the (...) letter to Locke in which he posed the now famous question about a man born blind made to see, he was an active member of the DPS and was on familiar terms with several other key figures in Irish philosophy at the time. For the most part, Irish thinkers in the seventeenth and eighteenth centuries answered “no” to Molyneux’s question of whether a blind man made to see could distinguish, by sight alone, between a cube and a sphere. (shrink)

Here we show, based on a simplified version of fully homomorphic encryption, that it is not possible to simulate conscious experience, in the sense of using a computer algorithm to generate experiences that are indistinguishable from those of a particular typical human being. This seems to have important implications for questions in the context of future developments in artificial intelligence. For example, the proposed process of mind-uploading will in general not generate a virtual consciousness similar to the consciousness of the (...) original human being. (shrink)

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

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

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

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

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

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

How should we undertand the role of norms—especially epistemic norms—governing assertive speech acts? Mitchell Green (2009) has argued that these norms play the role of handicaps in the technical sense from the animal signals literature. As handicaps, they then play a large role in explaining the reliability—and so the stability (the continued prevalence)—of assertive speech acts. But though norms of assertion conceived of as social norms do indeed play this stabilizing role, these norms are best understood as deterrents and not (...) as handicaps. This paper explains the stability problem for the maintenance of animal signals, and so human communication, for we are animals too, after all; the mechanics of the handicap principle; the role of deterrents and punishments as an alternative mechanism; and the role of social norms governing assertion for the case of human communication. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “Gettier case” in (...) a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

While Philosophy for/with Children (P4wC) provides a better alternative to the usual ‘banking’ model of education, questions have been raised regarding its applicability in non-western contexts. Despite its adherence to the ideals of democratic dialogue, not all members of a Community of Inquiry (COI) will be disposed to participate in the inquiry, not because they are incapable of doing so, but because they are positioned inferiorly within the group thereby affecting their efforts to speak out on topics that are meaningful (...) to them. In this article, I claim that it is essential to integrate positionality in P4wC research/practice. Aside from its role in helping a practitioner/researcher choose the appropriate method and materials that match the unique contexts of children, it also increases one’s awareness of the subtle forms of epistemic injustice that could leak in the COI, as well as the other subtle ways in which children are marginalized. In this regard, a P4wC researcher/practitioner must have a higher degree of sensitivity towards her positionality as this inevitably gets entangled with the positionality of children. I present some ‘areas’ in which the importance of positionality in the COI manifests, namely, restructuring classroom power relations, navigating a multi-ethnic classroom, facilitating meaning-making, and modeling reflective thinking. (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)

Philosophy and Phenomenological Research, EarlyView.

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

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

This paper examines a promising probabilistic theory of singular causation developed by David Lewis. I argue that Lewis' theory must be made more sophisticated to deal with certain counterexamples involving pre-emption. These counterexamples appear to show that in the usual case singular causation requires an unbroken causal process to link cause with effect. I propose a new probabilistic account of singular causation, within the framework developed by Lewis, which captures this intuition.

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

Phenomenal intentionality theories have recently enjoyed significant attention. According to these theories, the intentionality of a mental representation (what it is about) crucially depends on its phenomenal features. We present a new puzzle for these theories, involving a phenomenon called ‘intentional identity’, or ‘co-intentionality’. Co-intentionality is a ubiquitous intentional phenomenon that involves tracking things even when there is no concrete thing being tracked. We suggest that phenomenal intentionality theories need to either develop new uniquely phenomenal resources for handling the puzzle, (...) or restrict their explanatory ambitions. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

This article gives an overview over different principles of epistemic closure, their attractions and their problems.

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

This paper argues for the general proper functionalist view that epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Such a process is reliable in normal conditions when functioning normally. This paper applies this view to so-called testimony-based beliefs. It argues that when a hearer forms a comprehension-based belief that P (a belief based on taking another to have asserted that P) through the exercise of a (...) reliable competence to comprehend and filter assertive speech acts, then the hearer's belief is prima facie warranted. The paper discusses the psychology of comprehension, the function of assertion, and the evolution of filtering mechanisms, especially coherence checking. (shrink)

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

In 1968, Jürgen Habermas claimed that, in an advanced technological society, the emancipatory force of knowledge can only be regained by actively recovering the ‘forgotten experience of reflection’. In this article, we argue that, in the contemporary situation, critical reflection requires a deliberative ambiance, a process of mutual learning, a consciously organised process of deliberative and distributed reflection. And this especially applies, we argue, to critical reflection concerning a specific subset of technologies which are actually oriented towards optimising human cognition. (...) In order to create a deliberative ambiance, fostering critical upstream reflection on emerging technologies, we developed the concept of a mutual learning exercise. Building on a number of case studies, we analyse what an MLE involves, both practically and conceptually, focussing on key aspects such as ambiance and expertise, the role of ‘genres of the imagination’ and the profiles of various ‘subcultures of debate’. Ideally, an MLE becomes a contemporary version of the Socratic agora, providing a stage where multiple and sometimes unexpected voices and perspectives mutually challenge each other, in order to strength-en the societal robustness and responsiveness of emerg-ing technologies. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

When is a testimony-based belief justified? According to so-called "Anti-Reductionism," the principle that a hearer is prima facie justified to take what another tells them at face value is true. I call this position "Liberal Foundationalism." I call it "liberal" for it is more liberal than "Moderate Foundationalism" that holds that perception-based beliefs are prima facie justified but testimony-based beliefs are not. Liberal Foundationalism has two interpretations: the principle is a contingent empirical truth, or an a priori necessary truth. I (...) call the view that the principle is a priori necessary "Liberal Fundamentalism." This chapter defends Liberal Fundamentalism against objections in the first half, and then in the second half it introduces "Weak Liberal Fundamentalism," the view that it is a priori necessary that testimony provides some epistemic support, but perhaps not enough, absent defeat, for knowledge. In later work I abandon the view that the principle is a priori necessary, but I still maintain the distinction between Strong and Weak variants of the principle, and the replies to many of the objections to the principle. (shrink)

Epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Evolution by natural selection is the most familiar source of etiological functions. . What then of learning? What then of Swampman? Though functions require history, natural selection is not the only source. Self-repair and trial-and-error learning are both sources. Warrant requires history, but not necessarily that much.

The systems studied in the special sciences are often said to be causally autonomous, in the sense that their higher-level properties have causal powers that are independent of the causal powers of their more basic physical properties. This view was espoused by the British emergentists, who claimed that systems achieving a certain level of organizational complexity have distinctive causal powers that emerge from their constituent elements but do not derive from them. More recently, non-reductive physicalists have espoused a similar view (...) about the causal autonomy of special-science properties. They argue that since these properties can typically have multiple physical realizations, they are not identical to physical properties, and further they possess causal powers that differ from those of their physical realisers. Despite the orthodoxy of this view, it is hard to find a clear exposition of its meaning or a defence of it in terms of a well-motivated account of causation. In this paper, we aim to address this gap in the literature by clarifying what is implied by the doctrine of the causal autonomy of special-science properties and by defending the doctrine using a prominent theory of causation from the philosophy of science. (shrink)

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

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

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

This paper argues against common views that at least in many cases Robert Nozick is not forced to deny common closure principles. More importantly, Nozick does not – despite first (and second) appearances and despite his own words – deny closure. On the contrary, he is defending a more sophisticated and complex principle of closure. This principle does remarkably well though it is not without problems. It is surprising how rarely Nozick’s principle of closure has been discussed. He should be (...) seen not so much as a denier of closure than as someone who’s proposing an alternative, more complex principle of closure. (shrink)

In 'Perceptual Entitlement' (PPR 2003), Tyler Burge argues that on his teleological reliabilist account of perceptual warrant, warrant will persist in non-normal conditions, even radical skeptical scenarios like demon worlds. This paper explains why Burge's explanation falls short. But if we distinguish two grades of warrant, we can explain, in proper functionalist, teleological reliabilist terms, why warrant should persist in demon worlds. A normally functioning belief-forming process confers warrant in all worlds, provided it is reliable in normal conditions when functioning (...) normally. The first grade requires normal functioning. The second grade also requires being situated in normal conditions. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

A proper function of an entity is a beneficial effect that helps explain the persistence of the entity. Proper functions thereby arise through feedback mechanisms with beneficial effects as inputs and persistence as outputs. We continue to make assertions because they benefit speakers by benefiting speakers. Hearers benefit from true information. Speakers benefit by influencing hearer belief. If hearers do not benefit, they will not form beliefs in response to assertions. Speakers can then only maintain influence by providing true information, (...) often enough. The function of assertion is then inducing true hearer belief. When interests conflict, however, some mechanism must ensure that speakers provide true information often enough, instead of deceiving, or providing information regardless of quality. In humans, a core mechanism stabilizing true assertion involves social norms for truth telling. We tell the truth partly because we prescribe and enforce telling the truth. (shrink)

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

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

We review the "Entitlement" projects of Tyler Burge and Crispin Wright in light of recent work from and surrounding both philosophers. Our review dispels three misunderstandings. First, Burge and Wright are not involved in a common “entitlement” project. Second, though for both Wright and Burge entitlement is the new notion, “entitlement” is not some altogether third topic not clearly connected to the nature of knowledge or the encounter with skepticism. Third, entitlement vs. justification does not align with the externalism vs. (...) internalism distinction. (shrink)

What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival and reproduction.