According to the modal account of propositional apriority, a proposition is a priori if it is possible to know it with a priori justification. Assuming that modal truths are necessarily true and that there are contingent a priori truths, this account has the undesirable consequence that a proposition can be a priori in a world in which it is false. Epistemic two-dimensionalism faces the same problem, since on its standard interpretation, it also entails that a priori propositions are necessarily a (...) priori. In response to this problem, Chalmers and Rabern propose an alternative conception of propositional apriority as well as two-dimensional truth-conditions for apriority statements. Their proposal is also supposed to avoid another problem for the modal account, namely that it entails the existence of false instances of ‘φ iff actually φ’. I discuss Chalmers and Rabern’s account and point out a number of problems with it. I then develop my own account of propositional apriority that solves the problems in question, that can be accepted by friends and foes of two-dimensionalism alike, and that is also neutral with respect to the question of how one construes the objects of propositional apriority. (shrink)

This paper identifies problems with indexicalism and abverbialism about temporary intrinsic properties, and solves them by disentangling two senses in which a particular may possess a property simpliciter. The first sense is the one identified by adverbialists in which a particular possesses at all times the property as a matter of foundational metaphysical fact regardless of whether it is manifest. The second involves building on adverbialism to produce a semantics for property-manifestation according to which different members of a family of (...) second-order properties of the foundational property are relevant to property manifestation at different times. (shrink)

Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores the (...) relation between logical modality and metaphysical modality. (shrink)

In this paper I consider the possibility of a kind of a priori cognition that serves the purposes of metaphysics, given that metaphysics involves the search for modal knowledge. Necessary or, better, modal knowledge is a priori; so metaphysical knowledge is likewise a priori. Here I argue that intuition is the route to modal knowledge in metaphysics, and I insist that conceivability or knowledge of conceptual truths does not lead towards the modal realm of metaphysics.

The Phenomenal Concept Strategy offers the physicalist perhaps the most promising means of explaining why the connection between mental facts and physical facts appears to be contingent even though it is not. In this article, we show that the large body of evidence suggesting that our concepts are often embodied and grounded in sensorimotor systems speaks against standard forms of the PCS. We argue, nevertheless, that it is possible to formulate a novel version of the PCS that is thoroughly in (...) keeping with embodied cognition, focuses on features of physical concepts, and succeeds in explaining the appearance of contingency. (shrink)

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)

I am aware of the rain outside, but only in virtue of looking at a weather report. I am aware of my friend, but only because I hear her voice through my phone. Thus, there are some things that I’m aware of, but only indirectly. Many philosophers believe that there are also some things of which I am directly aware. The most plausible candidates are experiences such as pains, tickles, visual sensations, etc. In fact, the philosophical consensus seems to be (...) that experiences are the only plausible candidates for acquaintance. But I will argue that we are also acquainted with ourselves. After outlining what it means to be acquainted with oneself, I will introduce, develop, and defend a commonly used test for acquaintance. Then I will apply this test to us and show that we pass. I will consider various objections to my argument. But ultimately I will conclude that we can be, and often are, acquainted with ourselves. (shrink)

In Constructing the World, Chalmers seeks to articulate and defend an important epistemic accessibility thesis, the Scrutability of Truth, which is crucial to Chalmers’ rationalist approach to meaning and modality. Chapters 3 and 4 of the book are devoted to persuading us that the move from weaker to stronger forms of Scrutability is intuitively plausible. In these comments, I want to question this move. The plausibility of strong forms of Scrutability hinges on controversial views about epistemic norms for answering ‘what (...) is x?’ questions that semantic externalists have good reason to reject. (shrink)

David Chalmers and Frank Jackson have promoted a strong program of conceptual analysis, which accords a significant philosophical role to the a priori analysis of concepts. They found this methodological program on an account of concepts using two-dimensional semantics. This paper argues that Chalmers and Jackson’s account of concepts, and the related approach by David Braddon-Mitchell, is inadequate for natural kind concepts as found in biology. Two-dimensional semantics is metaphysically faulty as an account of the nature of concepts and concept (...) possession. It is also methodologically flawed as a guideline for how to study scientific concepts. Proponents of two-dimensional semantics are criticized for not taking seriously semantic variation between persons and for failing to adequately account for the rationality of semantic change. I suggest a more pragmatic approach to natural kind term meaning, arguing that the epistemic goal pursued by a term’s use is an additional semantic property. (shrink)

The goal of this paper is to consider how the notion of analyticity can be dealt with in model-theoretical terms. The standard approach to possible-world semantics allows us to define logical truth and necessity, but analyticity is considerably more difficult to account for.

An error theorist about a particular discourse combines the cognitivist thesis that the discourse is truth-apt with the thesis that core statements asserted by the discourse are false. For instance, one is an error theorist about witch discourse if one thinks that witch discourse is truth-apt and that some of the entities and properties quantified over by core statements in the discourse, namely witches and magical powers, do not exist and hence that certain core statements of the discourse are false.

This note argues that Laura Schroeter's [2005] critique of David Chalmers's epistemic two-dimensional semantics is not touched by a reply by Edward Elliott, Kelvin McQueen, and Clas Weber [2013].

What are the objects of knowledge, belief, probability, apriority or analyticity? For at least some of these properties, it seems plausible that the objects are sentences, or sentence-like entities. However, results from mathematical logic indicate that sentential properties are subject to severe formal limitations. After surveying these results, I argue that they are more problematic than often assumed, that they can be avoided by taking the objects of the relevant property to be coarse-grained (“sets of worlds”) propositions, and that all (...) this has little to do with the choice between operators and predicates. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

According to Epistemic Two-Dimensional Semantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as a priori, and (ii) the (...) claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I argue (...) that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Standard motivational internalism is the claim that by a priori or conceptual necessity, a psychological state is a moral opinion only if it is suitably related to moral motivation. Many philosophers, the authors of this paper included, have assumed that this claim is supported by intuitions to the effect that amoralists—people not suitably related to such motivation—lack moral opinions proper. In this paper we argue that this assumption is mistaken, seeming plausible only because defenders of standard internalism have failed to (...) consider the possibility that our own actual moral practice as a whole is one where moral opinions fail to motivate in the relevant way. To show this, we present a cynical hypothesis according to which the tendency for people to act in accordance with their moral opinions ultimately stems from a desire to appear moral. This hypothesis is most likely false, but we argue, on both intuitive and methodological grounds, that it is conceptually possible that it correctly describes our actual moral opinions. If correct, this refutes standard motivational internalism. Further, we propose an explanation of why many have seemingly internalist intuitions. Such intuitions, we argue, stem from the fact that standard amoralist cases allow (or even suggest) that we apprehend the putative moral opinions of amoralists as radically different from how we understand actual paradigmatic moral opinions. Given this, it is reasonable to understand them as not being moral opinions proper. However, since these intuitions rest on substantial a posteriori assumptions about actual moral opinions, they provide no substantial a priori constraints on theories of moral judgment. (shrink)

This dissertation argues that mental representation is identical to phenomenal consciousness, and everything else that appears to be both mental and a matter of representation is not genuine mental representation, but either in some way derived from mental representation, or a case of non-mental representation.

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

According to an attractive account of belief, our beliefs have centered content. According to an attractive account of communication, we utter sentences to express our beliefs and share them with each other. However, the two accounts are in conflict. In this paper I explore the consequences of holding on to the claim that beliefs have centered content. If we do in fact express the centered content of our beliefs, the content of the belief the hearer acquires cannot in general be (...) identical to the content the speaker expresses. I sketch an alternative account of communication, the Recentering model, that accepts this consequence and explains how expressed and acquired content are related. (shrink)

I explore a Davidsonian proposal for the reconciliation of two theses. One is the supervenience of the mental on the physical, the other is the anomalism of the mental. The gist of the proposal is that supervenience and anomalism are theses about interpretation. Starting with supervenience, the claim is that it should not be understood in terms of deeper metaphysical relations, but as a constraint on the relations between the applications of physical and mental predicates. Regarding anomalism, the claim is (...) that psychophysical laws have to satisfy certain counterfactual cases, in which an interpreter evaluates her past attributions in the light of new pieces of evidence. The proposed reconciliation is that supervenience entails that an interpreter will always attribute the same mental predicates to two individuals with the same physical states. However, supervenience does not imply that an interpreter cannot revise her past attributions to the two individuals. (shrink)

This is a bibliography of books and articles on consciousness in philosophy, cognitive science, and neuroscience over the last 30 years. There are three main sections, devoted to monographs, edited collections of papers, and articles. The first two of these sections are each divided into three subsections containing books in each of the main areas of research. The third section is divided into 12 subsections, with 10 subject headings for philosophical articles along with two additional subsections for articles in cognitive (...) science and neuroscience. Of course the division is somewhat arbitrary, but I hope that it makes the bibliography easier to use. This bibliography has first been compiled by Thomas Metzinger and David Chalmers to appear in print in two philosophical anthologies on conscious experience . From 1995 onwards it has been continuously updated by Thomas Metzinger, and now is freely available as a PDF-, RTF-, or HTML-file. This bibliography mainly attempts to cover the Anglo-Saxon and German debates, in a non-annotated, fully formatted way that makes it easy to "cut and paste" from the original file. To a certain degree this bibliography also contains items in other languages than English and German - all submissions in other languages are welcome. Last update of current version: July 13th, 2001. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

In this paper, I argue for an often-neglected solution to the conceivability argument: the reconciliatory response. Its advocates state that, even if zombies are metaphysically possible, it does not follow that all versions of physicalism are false. To make the reconciliatory response, we must construct a theory that counts as a version of physicalism (because it makes higher-level facts count as physical) but also allows for the metaphysical possibility of zombies. Call any physicalist theory that can make the reconciliatory response (...) type-R physicalism. In this paper, I discuss one version of type-R physicalism: stochastic ground physicalism (SGP). First, I argue that type-R physicalism, construed as SGP, offers physicalists an attractive rationalist package that no other version of physicalism can provide. Second, I address two concerns that have been underexplored in the literature. First, the charge that SGP is incoherent because it fails to provide metaphysical explanations. Second, the charge that type-R physicalism is not a genuine form of physicalism because the supervenience of the phenomenal on the physical is a necessary condition for any formulation of physicalism. I argue that both concerns are ill-founded. (shrink)

W.V. Quine’s article “Two Dogmas of Empiricism” is one of the most influential works in 20thcentury philosophy. The article is cast most explicitly as an argument against logical empiricists such as Carnap, arguing against the analytic/synthetic distinction that they appeal to along with their verificationism. But the article has been read much more broadly as an attack on the notion..

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

The most pressing difficulty coherentism faces is, I believe, the problem of justified inconsistent beliefs. In a nutshell, there are cases in which our beliefs appear to be both fully rational and justified, and yet the contents of the beliefs are inconsistent, often knowingly so. This fact contradicts the seemingly obvious idea that a minimal requirement for coherence is logical consistency. Here, I present a solution to one version of this problem.

There are two constraints on any functionalist solution to the Mind-Body Problem construed as an answer to the question, “What is the relationship between the mental properties and relations (hereafter, simply the mental properties) and physical properties and relations?” The first constraint is that it must actually address the Mind-Body Problem and not simply redefine the debate in terms of other, more tractable, properties (e.g., the species-specific property of having human-pain). Such moves can be seen to be spurious by the (...) very multiple-realizability intuitions that motivate functionalism in the first place. For, according to those intuitions, it is possible for a being to experience pain, have beliefs, etcetera, and yet not only to be of a different species, but to have an entirely different material constitution from human beings. (shrink)

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

Critics of attempts to explain meaning in terms of truth-conditions have tended to charge their opponents with misconceptions regarding truth. I shall argue that the 'naïve' version of the truth-conditional theory which best accounts for its resilience fails for a different and more basic reason, namely, circularity arising from the contingency of meaning. One reason why this problem has been overlooked is a tendency (noted by Dummett in a different connection) to assimilate the naïve truth-conditional theory to an idealized verificationism.

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

In their paper, ‘When are thought experiments poor ones?’ (Peijnenburg and David Atkinson, 2003, Journal of General Philosophy of Science 34, 305-322.), Jeanne Peijnenburg and David Atkinson argue that most, if not all, philosophical thought experiments are “poor” ones with “disastrous consequences” and that they share the property of being poor with some (but not all) scientific thought experiments. Noting that unlike philosophy, the sciences have the resources to avoid the disastrous consequences, Peijnenburg and Atkinson come to the conclusion that (...) the use of thought experiments in science is in general more successful than in philosophy and that instead of concocting more “recherché” thought experiments, philosophy should try to be more empirical. In this comment I will argue that Peijnenburg’s and Atkinson’s view on thought experiments is based on a misleading characterization of both, the dialectical situation in philosophy as well as the history of physics. By giving an adequate account of what the discussion in contemporary philosophy is about, we will arrive at a considerably different evaluation of philosophical thought experiments. For I am convinced that we now find ourselves at an altogether decisive turning point in philosophy, and that we are objectively justified in considering that an end has come to the fruitless conflict of systems. We are already at the present time, in my opinion, in possession of methods which make any such conflict in principle unnecessary. What is now required is their resolute application. (Schlick, ‘The Turning Point in Philosophy’, 1930/1959, p. 54). (shrink)

Perhaps more controversial than whether physicalism is true is what exactly would have to be true for physicalism to be true. Everyone agrees that, intuitively at least, physicalism is the thesis that there is nothing over and above the physical. The disagreements arise in how to get beyond this intuitive formulation. Until about ten years ago, participants in this debate were concerned primarily with answering two questions. First, what is it for a property, kind, relation, or individual to be a (...) physical one? (shrink)

In this paper I put forward a representationalist theory of conscious experience based on Robert Stalnaker's version of two-dimensional modal semantics. According to this theory the phenomenal character of an experience correlates with a content equivalent to what Stalnaker calls the diagonal proposition. I show that the theory is closely related both to functionalist theories of consciousness and to higher-order representational theories. It is also more compatible with an anti-Cartesian view of the mind than standard representationalist theories.

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

This paper argues that David Chalmer's new epistemic interpretation of 2-D semantics faces the very same type of objection he takes to defeat earlier contextualist interpretation of the 2-D framework.

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries (...) to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language. (shrink)

According to David Chalmers and Frank Jackson, conceptual competence puts one in a position to have a priori knowledge of conditional claims of the form ‘If my environment is thus and so, then water = H2O’. The rationale for this position, I argue, rests on controversial semantic assumptions about the individuation of meanings or concepts. I sketch a new model of conceptual competence, which undermines the apriority of such conditionals.

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)