Haag’s theorem cries out for explanation and critical assessment: It sounds the alarm that something is (perhaps) not right in one of the standard ways of constructing interacting fields to be used in generating predictions for scattering experiments. Viewpoints as to the precise nature of the problem, the appropriate solution, and subsequently-called-for developments in areas of physics, mathematics, and philosophy differ widely. In this paper, we develop and deploy a conceptual framework for critically assessing these disparate responses to Haag’s theorem. (...) Doing so reveals the driving force of more general questions as to the nature and purpose of foundational work in physics. (shrink)

This paper replies to the comments made in Acta Analytica by Peter Baumann, Kelly Becker, Marian David, Nenad Miščević, Wes Siscoe, and Danilo Šuster on my Knowing and Checking: An Epistemological Investigation (Routledge 2019), hereinafter abbreviated as KC. These papers resulted from a workshop organized by the department of philosophy of the University of Maribor. I am very thankful to the organizers of the workshop and to the authors for their comments.

In this Précis, I provide an overview of my Monograph Knowing and Checking: An Epistemological Investigation (Melchior 2019), which is subject to a book symposium organized by the University of Maribor. This volume in Acta Analytica contains contributions by Peter Baumann, Kelly Becker, Marian David, Nenad Miščević, Robert Weston Siscoe, and Danilo Šuster along with my replies.

Philosopher’s judgements on the philosophical value of Tarski’s contributions to the theory of truth have varied. For example Karl Popper, Rudolf Carnap, and Donald Davidson have, in their different ways, celebrated Tarski’s achievements and have been enthusiastic about their philosophical relevance. Hilary Putnam, on the other hand, pronounces that “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Putnam has several alleged reasons for his dissatisfaction,1 but one of them, (...) the one I call the modal objection (cf. Raatikainen 2003), has been particularly influential. In fact, very similar objections have been presented over and over again in the literature. Already in 1954, Arthur Pap had criticized Tarski’s account with a similar argument (Pap 1954). Moreover, both Scott Soames (1984) and John Etchemendy (1988) use, with an explicit reference to Putnam, similar modal arguments in relation to Tarski. Richard Heck (1997), too, shows some sympathy for such considerations. Simon Blackburn (1984, Ch. 8) has put forward a related argument against Tarski. Recently, Marian David has criticized Tarski’s truth definition with an analogous argument as well (David 2004, p. 389-390).2 This line of argument is thus apparently one of the most influential critiques of Tarski. It is certainly worthy of serious attention. Nevertheless, I shall argue that, given closer scrutiny, it does not present such an acute problem for the Tarskian approach to truth as many philosophers think. But I also believe that it is important to understand clearly why this is so. Moreover, I think that a careful consideration of the issue illuminates certain important but somewhat neglected aspects of the Tarskian approach. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

In How We Get Along, philosopher David Velleman compares our social interactions to the interactions among improvisational actors on stage. He argues that we play ourselves - not artificially but authentically, by doing what would make sense coming from us as we really are. And, like improvisational actors, we deal with one another in dual capacities: both as characters within the social drama and as players contributing to the shared performance. In this conception of social intercourse, Velleman finds rational (...) grounds for morality, though not a rational guarantee. He maps a middle course between skepticism and rationalism, arguing that practical reasoning is 'pro-moral' without requiring moral action. The result is what he calls a 'Kinda Kantian metaethics'. How We Get Along is the summation of Velleman's thinking to date, incorporating and unifying previous work on agency, the self, the emotions, narrative and Kantian moral theory. (shrink)

This paper offers both a theoretical and an experimental perspective on the relationship between connectionist and Classical (symbol-processing) models. Firstly, a serious flaw in Fodor and Pylyshyn’s argument against connectionism is pointed out: if, in fact, a part of their argument is valid, then it establishes a conclusion quite different from that which they intend, a conclusion which is demonstrably false. The source of this flaw is traced to an underestimation of the differences between localist and distributed representation. It has (...) been claimed that distributed representations cannot support systematic operations, or that if they can, then they will be mere implementations of traditional ideas. This paper presents experimental evidence against this conclusion: distributed representations can be used to support direct structure-sensitive operations, in a man- ner quite unlike the Classical approach. Finally, it is argued that even if Fodor and Pylyshyn’s argument that connectionist models of compositionality must be mere implementations were correct, then this would still not be a serious argument against connectionism as a theory of mind. (shrink)

This is a collective study of the epistemic significance of disagreement: twelve contributors explore rival responses to the problems that it raises for philosophy. They develop our understanding of epistemic phenomena that are central to any thoughtful engagement with others' beliefs.

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Formally-inclined epistemologists often theorize about ideally rational agents--agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-know worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). Consideration (...) of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. (shrink)

Abstract: Theories of epistemic rationality that take disagreement (or other higher-order evidence) seriously tend to be “modest” in a certain sense: they say that there are circumstances in which it is rational to doubt their correctness. Modest views have been criticized on the grounds that they undermine themselves—they’re self-defeating. The standard Self-Defeat Objections depend on principles forbidding epistemically akratic beliefs; but there are good reasons to doubt these principles—even New Rational Reflection, which was designed to allow for certain special cases (...) that are intuitively akratic. On the other hand, if we construct a Self-Defeat Objection without relying on anti-akratic principles, modest principles turn out not to undermine themselves. In the end, modesty should not be seen as a defect in a theory of rational belief. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

This article uses the case study of ethnobiological classification to develop a positive and a negative thesis about the state of natural kind debates. On the one hand, I argue that current accounts of natural kinds can be integrated in a multidimensional framework that advances understanding of classificatory practices in ethnobiology. On the other hand, I argue that such a multidimensional framework does not leave any substantial work for the notion “natural kind” and that attempts to formulate a general account (...) of naturalness have become an obstacle to understanding classificatory practices. (shrink)

Many writers have recently urged that the epistemic rationality of beliefs can depend on broadly pragmatic (as opposed to truth-directed) factors. Taken to an extreme, this line of thought leads to a view on which there is no such thing as a distinctive epistemic form of rationality. A series of papers by Susanna Rinard develops the view that something like our traditional notion of pragmatic rationality is all that is needed to account for the rationality of beliefs. This approach has (...) undeniable attractions. But examining different versions of the approach uncovers problems. The problems help reveal why epistemic rationality is an indispensable part of understanding rationality—not only of beliefs, but of actions. We may or may not end up wanting to make a place, in our theories of epistemic rationality, for factors such as the practical or moral consequences of having beliefs. But a purely pragmatic notion of rationality—one that’s stripped of any component of distinctively epistemic evaluation—cannot do all the work that we need done. (shrink)

The most immediately appealing model for formal constraints on degrees of belief is provided by probability theory, which tells us, for instance, that the probability of P can never be greater than that of (P v Q). But while this model has much intuitive appeal, many have been concerned to provide arguments showing that ideally rational degrees of belief would conform to the calculus of probabilities. The arguments most frequently used to make this claim plausible are the so-called "Dutch Book" (...) arguments. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

This article sets forth Voltaire’s philosophy of liberty. Contrary to generally accepted readings, which take Voltaire at face value rather than considering the environment in which he wrote, Voltaire had a clear normative political thought. He was an early proponent of rule of law, ordered liberty, freedom of conscience and expression, and the right to prudent rebellion against tyranny. At the root of his political theory lay a rejection of slavery, and hence of all forms of subjugation.

It is natural to think that rationality imposes some relationship between what a person believes, and what she believes about what she’s rational to believe. Epistemic akrasia—for example, believing P while believing that P is not rational to believe in your situation—is often seen as intrinsically irrational. This paper argues otherwise. In certain cases, akrasia is intuitively rational. Understanding why akratic beliefs in those case are indeed rational provides a deeper explanation how typical akratic beliefs are irrational—an explanation that does (...) not flow from akrasia per se. This understanding also allows us to diagnose where general anti-akratic arguments go wrong. We can then see why even principles designed to allow only moderate akrasia fail, and also why recognizing the possibility of rational akratic beliefs does not call for finding some other epistemic defect in agents who believe akratically. Believing akratically, in itself, is nothing to apologize for. (shrink)

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

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)

Certain situations seem to call for acknowledging the possibility that one’s own beliefs are biased or distorted. On the other hand, certain sorts of epistemic self-doubts (such as ‘I believe it’s raining, but it’s not’) seem paradoxical. And some have put forth epistemic principles requiring rational agents to regard their own credences as so-called ‘expert functions’. This paper examines the question of whether rationality requires agents to respect their own credences in a way in which they need not respect the (...) credences of others. (shrink)

Many people believe that for someone to now be responsible for some past action, the agent of that action and the responsible agent now must be one and the same person. In other words, many people that moral responsibility presupposes numerical personal identity. In this paper, I show why this platitude is false. I then suggest an account of what actual metaphysical relationship moral responsibility presupposes instead.

We take it that we can exercise doxastic agency by reasoning and by making judgments. We take it, that is, that we can actively make up our minds by reasoning and judging. On what I call the ‘Standard View’ this is so because judgment can yield belief. It is typical to take it that judgments yield beliefs by causing them. But on the resultant understanding of the Standard View, I argue, it is unclear how judgment could play its role in (...) doxastic agency in the way we take it to. I therefore offer an alternative understanding of how judgment yields belief. Drawing on Ryle I argue that when one comes to believe by judging the event which is one's judging is token identical to the event which is one's coming to believe. This paves the way for version of the Standard View capable of explaining how we can actively make up our minds despite that we cannot believe or come to believe at will. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

The sensorimotor theory of perceptual experience claims that perception is constituted by bodily interaction with the environment, drawing on practical knowledge of the systematic ways that sensory inputs are disposed to change as a result of movement. Despite the theory’s associations with enactivism, it is sometimes claimed that the appeal to ‘knowledge’ means that the theory is committed to giving an essential theoretical role to internal representation, and therefore to a form of orthodox cognitive science. This paper defends the role (...) ascribed to knowledge by the theory, but argues that this knowledge can and should be identified with bodily skill rather than representation. Making the further argument that the notion of ‘representation hunger’ can be replaced with ‘prima facie representation hunger’, it concludes that although the theory could optionally be developed scientifically in part by reference to internal representation, it makes a strong and natural fit with anti-representationalist embodied or enactive cognitive science. (shrink)

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

It is obvious that we would not want to demand that an agent' s beliefs at different times exhibit the same sort of consistency that we demand from an agent' s simultaneous beliefs; there' s nothing irrational about believing P at one time and not-P at another. Nevertheless, many have thought that some sort of coherence or stability of beliefs over time is an important component of epistemic rationality.

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws (the role of determining local inertial structure). I raise two complications for this approach. First, our spacetime concept seems to have the structure of a cluster concept, which means that Knox's inertial criteria for spacetime cannot succeed with complete generality. Second, the notion of metaphysical fundamentality may feature in the spacetime concept, in which case spacetime functionalism may be uninformative (...) in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, similar to (...) perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

If there is content that we reason on, cognitive content, it is in the head and accessible to reasoning mechanisms. This paper discusses the phenomenal theory of cognitive content, according to which cognitive contents are the contents of phenomenal consciousness. I begin by distinguishing cognitive content from the closely associated notion of narrow content. I then argue, drawing on prior work, that the phenomenal theory can plausibly account for the cognitive contents of many relatively simple mental states. My main focus (...) in this paper is the question whether the phenomenal theory can account for the apparently abstract and complex cognitive contents of "high-level" thoughts. It might seem dubious that the theory can account for such cognitive contents, because cognitive phenomenology is too scarce and too thin. However, I argue there are in fact few abstract or complex cognitive contents, so the phenomenal theory's predictions are correct. This position explains some apparently irrational behavior that is otherwise hard to explain, and it makes sense of the central role of inner speech and other forms of consciousness in reasoning. (shrink)

In this paper, I explore anomalous dualism about consciousness, a view that has not previously been explored in any detail. We can classify theories of consciousness along two dimensions: first, a theory might be physicalist or dualist; second, a theory might endorse any of the three following views regarding causal relations between phenomenal properties (properties that characterize states of our consciousness) and physical properties: nomism (the two kinds of property interact through deterministic laws), acausalism (they do not causally interact), and (...) anomalism (they interact but not through deterministic laws). I suggest that a kind of anomalous dualism, nonreductive anomalous panpsychism, promises to offer the best overall answer to two pressing issues for dualist views, the problem of mental causation and the mapping problem (the problem of predicting mind-body associations). (shrink)

The main appeal of the currently popular "bootstrap" account of confirmation developed by Clark Glymour is that it seems to provide an account of evidential relevance. This account has, however, had severe problems; and Glymour has revised his original account in an attempt to solve them. I argue that this attempt fails completely, and that any similar modifications must also fail. If the problems can be solved, it will only be by radical revisions which involve jettisoning bootstrapping's basic approach to (...) theories. Finally, I argue that there is little reason to think that even such drastic modifications will lead to a satisfactory account of relevance. (shrink)

We often get reason to doubt the reliability of some of our own reasoning. The rational response to such evidence would seem to depend on how reliable one should estimate that reasoning to be. Independence principles constrain that reliability-assessment, to prevent question-begging reliance on the very reasoning being assessed. But this has consequences some find disturbing: can it be rational for an agent to bracket some of her reasons—which she may, after all, be assessing impeccably? So several arguments have been (...) offered against the very idea of an Independence principle. This paper argues that looking closely at these arguments actually strengthens the case for Independence, and yields some guidance in meeting a formidable challenge for Independence-defenders: formulating the principle in an adequate way. (shrink)

Williamson’s “anti-luminosity” argument aims to establish that there are no significant luminous conditions. “Far from forming a cognitive home”, luminous conditions are mere “curiosities”. Even supposing Williamson’s argument succeeds in showing that there are no significant luminous states his conclusion has not thereby been established. When it comes to determining what is luminous, mental events and processes are among the best candidates. It is events and processes, after all, which constitute the stream of consciousness. Judgment, for instance, is plausibly self-conscious. (...) If I am judging then plausibly I must know that I am. Similarly, deliberation is plausibly self-conscious. To be deliberating about some matter I plausibly must know that I am. That one is judging and that one is deliberating are thus plausibly luminous conditions. Furthermore, I argue, Williamson’s anti-luminosity argument fails to speak against this suggestion. This reveals that Williamson’s argument is more limited in scope than has been thought—something likely missed due to a misplaced focus on mental states in the luminosity debate as well as in epistemology and the philosophy of mind more generally. For all Williamson shows, there may be luminous events and processes of a sort apt to constitute a cognitive home. I conclude by considering how the anti-luminosity argument might be reinstated in the judgment case and argue that the natural way to do so fails. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

The notion of an agent and the notion of a self are connected, for agency is one role played by the self. Millgram argues for a disunity thesis of agency on the basis of extreme incommensurability across some major life events. We propose a similar negative thesis about the self, that it is composed of relatively independent threads reflecting the different roles and different mind-sets of the person's life. Our understanding of those threads is based on theories of the narrative (...) construction of the self. Our disunity thesis is that there need be no overarching narrative that unifies those narrative threads. To explain how the threads hang together to produce coherent action, we make these positive claims: control normally switches smoothly and unconsciously between threads as circumstances require, within one thread there is likely to be acknowledgment of other threads, some situations require a temporary blending of threads, and some plans and policies reach across different threads and contribute to some coordination among them. Our account of a self provides an account of agency that has merits in comparison to Millgram's. Our narrative approach allows explanations of actions beyond rational deliberation. (shrink)

What role, if any, should our moral intuitions play in moral epistemology? We make, or are prepared to make, moral judgments about a variety of actual and hypothetical situations. Some of these moral judgments are more informed, reflective, and stable than others (call these ourconsideredmoral judgments); some we make more confidently than others; and some, though not all, are judgments about which there is substantial consensus. What bearing do our moral judgments have on philosophical ethics and the search for first (...) principles in ethics? Should these judgments constrain, or be constrained by, philosophical theorizing about morality? On the one hand, we might expect first principles to conform to our moral intuitions or at least to our considered moral judgments. After all, we begin the reflection that may lead to first principles from particular moral convictions. And some of our moral intuitions (e.g., that genocide is wrong) are more fixed and compelling than any putative first principle. If so, we might expect common moral beliefs to have an important evidential role in the construction and assessment of first principles. On the other hand, common moral beliefs often rest on poor information, reflect bias, or are otherwise mistaken. We often appeal to moral principles to justify our particular moral convictions or to resolve our disagreements. Insofar as this is true, we may expect first principles to provide a foundation on the basis of which to test common moral beliefs and, where necessary, form new moral convictions. (shrink)

This paper defends the legitimacy of semantical responses to certain skeptical challenges, with a particular focus on Putnam’s treatment of a particular version of Brain-in-Vat skepticism. It argues that while Putnam’s argument does not provide a general reply to Brain-in-Vat skepticism, the general approach it exemplifies is actually crucial in replying to other skeptical challenges that are otherwise hard to rebut.