This chapter argues that the only tenable unconscious inferences theories of cognitive achievement are ones that employ a theory internal technical notion of representation, but that once we give cash-value definitions of the relevant notions of representation and inference, there is little left of the ordinary notion of representation. We suggest that the real value of talk of unconscious inferences lies in (a) their heuristic utility in helping us to make fruitful predictions, such as about illusions, and (b) their providing (...) a high-level description of the functional organization of subpersonal faculties that makes clear how they equip an agent to navigate its environment and pursue its goals. (shrink)

What is it to base a belief on reasons? Existing attempts to give an account of the basing relation encounter a dilemma: either one appeals to some kind of neutral process that does not adequately reflect the way basing is a content-sensitive first-personal activity, or one appeals to linking or bridge principles that over-intellectualize and threaten regress. We explain why this dilemma arises, and diagnose the commitments that are key obstacles to providing a satisfactory account. We explain why they should (...) be rejected anyway, and then offer a new, knowledge-first virtue epistemological theory of the basing relation that shows how we can substantially theorize about mental processes without these commitments. The resulting view plausibly captures the way in which basing is an inherently mental and content-sensitive process. (shrink)

According to Paul Boghossian and others, inference is subject to the taking condition: it necessarily involves the thinker taking his premises to support his conclusion, and drawing the conclusion because of that fact. Boghossian argues that this condition vindicates the idea that inference is an expression of agency, and that it has several other important implications too. However, we argue in this paper that the taking condition should be rejected. The condition gives rise to several serious prima facie problems and (...) the reasons which have been offered in favour of it fail to convince. (shrink)

I argue that the accounts of inference recently presented (in this journal) by Paul Boghossian, John Broome, and Crispin Wright are unsatisfactory. I proceed in two steps: First, in Sects. 1 and 2, I argue that we should not accept what Boghossian calls the “Taking Condition on inference” as a condition of adequacy for accounts of inference. I present a different condition of adequacy and argue that it is superior to the one offered by Boghossian. More precisely, I point out (...) that there is an analog of Moore’s Paradox for inference; and I suggest that explaining this phenomenon is a condition of adequacy for accounts of inference. Boghossian’s Taking Condition derives its plausibility from the fact that it apparently explains the analog of Moore’s Paradox. Second, in Sect. 3, I show that neither Boghossian’s, nor Broome’s, nor Wright’s account of inference meets my condition of adequacy. I distinguish two kinds of mistake one is likely to make if one does not focus on my condition of adequacy; and I argue that all three—Boghossian, Broome, and Wright—make at least one of these mistakes. (shrink)

This paper disputes the widespread assumption that beliefs and desires may be attributed as theoretical entities in the service of the explanation and predic- tion of human behavior. The literature contains no clear account of how beliefs and desires might generate actions, and there is good reason to deny that principles of rationality generate a choice on the basis of an agent’s beliefs and desires. An alter- native conception of beliefs and desires is here introduced, according to which an attribution (...) of belief is, in a certain sense, an assertion on the believer’s behalf and an attribution of desire is, in a certain sense, a command on the desirer’s behalf. In terms of this conception of the attribution of beliefs and desires, we can begin to understand how attributions of beliefs and desires can be explanatory, although we still cannot expect the attribution of beliefs and desires to generate predictions based on an assumption of rationality. Finally, the reality of beliefs and desires is likened to the reality of money; it is the reality of things governed by objective norms. (shrink)

In this paper, I argue that theories of perception that appeal to Helmholtz’s idea of unconscious inference (“Helmholtzian” theories) should be taken literally, i.e. that the inferences appealed to in such theories are inferences in the full sense of the term, as employed elsewhere in philosophy and in ordinary discourse. -/- In the course of the argument, I consider constraints on inference based on the idea that inference is a deliberate acton, and on the idea that inferences depend on the (...) syntactic structure of representations. I argue that inference is a personal-level but sometimes unconscious process that cannot in general be distinguished from association on the basis of the structures of the representations over which it’s defined. I also critique arguments against representationalist interpretations of Helmholtzian theories, and argue against the view that perceptual inference is encapsulated in a module. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. I (...) argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

Inferences are familiar movements of thought, but despite important recent work on the topic, we do not yet have a fully satisfying theory of inference. Here I provide a functionalist theory of inference. I argue that the functionalist framework allows us the flexibility to meet various demands on a theory of inference that have been proposed (such as that it must explain inferential Moorean phenomena and epistemological ‘taking’). While also allowing us to compare, contrast, adapt, and combine features of extant (...) theories of inference into one unified theory. In fleshing out the inference role, I also criticize the common assumption that inference requires rule-following. (shrink)

The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.

What exactly is reasoning? While debate on this question is ongoing, most philosophers seem to agree on at least the following: reasoning is a mental process operating on contents, which consists in adopting or revising some of your attitudes in light of others. In this paper, I argue that this characterisation is mistaken: there is no single mental phenomenon that satisfies both of these conditions. Instead, I characterise two distinct mental phenomena, which I call ‘deducing’, on the one hand, and (...) ‘reasoning’ or ‘inference’ on the other, to play each of these roles. Recognising this division of labour is essential to developing a better understanding of our rational economy. (shrink)

We explore the problems that confront any attempt to explain or explicate exactly what a primitive logical rule of inferenceis, orconsists in. We arrive at a proposed solution that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentiallyself-referring. That is, any rule$\rho $is to be understood via a specification that involves, embedded within it, reference to rule$\rho $itself. Just how we arrive at this position is explained by (...) reference to familiar rules as well as less familiar ones with unusual features. An inquiry of this kind is surprisingly absent from the foundations of inferentialism—the view that meanings of expressions (especially logical ones) are to be characterized by the rules of inference that govern them. (shrink)

The paper is an opinionated tour of the literature on the reasons for which we hold beliefs and other doxastic attitudes, which I call ‘operative epistemic reasons’. After drawing some distinctions in §1, I begin in §2 by discussing the ontology of operative epistemic reasons, assessing arguments for and against the view that they are mental states. I recommend a pluralist non-mentalist view that takes seriously the variety of operative epistemic reasons ascriptions and allows these reasons to be both propositions (...) and truth-making facts. In §3, I turn to consider what it takes for a consideration to be an operative epistemic reason, examining three conditions – the representational, treating, and explanatory conditions – that have been proposed. I offer a novel view about the explanatory condition. In §4, I discuss the special case of inferential operative reasons and examine attempts to understand them in terms of rule-following, sketching a competence-based spinoff of dispositionalism. Finally, in §5, I consider whether there are non-inferential operative reasons, observing that one needn't countenance them to be a foundationalist but then developing a view about what they are and how they do and don't differ from inferential reasons. (shrink)

I argue that a general feature of human psychology provides strong reason to modify or reject anti-reductionism about the epistemology of testimony. Because of the work of what I call “the background” (which is a collection of all of an individual's synthetizations, summarizations, memories of experiences, beliefs, etc.) we cannot help but form testimonial beliefs on the basis of a testifier's say so along with additional evidence, concepts, beliefs, and so on. Given that we arrive at testimonial beliefs through the (...) work of the background, to be justified in holding a testimonial belief, we must not only have a rational speaker's say so, but we must also form such beliefs in a right way. If this is right, then, contrary to typical anti-reductionism, justified testimonial beliefs require more than just a trustworthy testifier's say so – another requirement is that they are formed in a right way. (shrink)

In this paper I explore alternative ways of addressing the infinite regress problem of inference, as it was depicted in Lewis Carroll’s ‘What the Tortoise said to Achilles’. Roughly put, the problem is that if a claim to the effect that one’s premises give support to one’s conclusion must itself be part of one’s premises, then an infinite regress of reasons ensues. I discuss some recent attempts to solve that problem, but I find all of them to be wanting. Those (...) attempts either require the reasoner to believe that her premises give support to her conclusion, or to take her premises to give support to her conclusion, where taking is not a doxastic attitude. I conclude that, on the face of the failure of those attempts to solve the problem, there is a strong prima facie case for allowing inference to be blind. (shrink)

Neste artigo trato da questão sobre o que torna uma dedução confiável. Uma resposta satisfatória a tal questão nos ajudaria a entender como dedução pode expandir ou gerar conhecimento. Eu exploro duas respostas a tal questão. A primeira faz uso da noção de acarretamento lógico-formal, enquanto que a segunda faz uso da noção de acarretamento metafísico. A última é superior à primeira, pois nos permite explicar a confiabilidade de uma classe mais ampla de deduções.

Neste artigo trato da questão sobre o que torna uma dedução confiável. Uma resposta satisfatória a tal questão nos ajudaria a entender como dedução pode expandir ou gerar conhecimento. Eu exploro duas respostas a tal questão. A primeira faz uso da noção de acarretamento lógico-formal, enquanto que a segunda faz uso da noção de acarretamento metafísico. A última é superior à primeira, pois nos permite explicar a confiabilidade de uma classe mais ampla de deduções.

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency criterion, including its (...) relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)

This paper explores the nature of self-knowledge of beliefs by investigating the relationship between self-knowledge of beliefs and one's knowledge of other people's beliefs. It introduces and defends a new account of self-knowledge of beliefs according to which this type of knowledge is developmentally interconnected with and dependent on resources already used for acquiring knowledge of other people's beliefs, which is inferential in nature. But when these resources are applied to oneself, one attains and subsequently frequently uses a method for (...) acquiring knowledge of beliefs that is non-inferential in nature. The paper argues that this account is preferable to some of the most common empirically motivated theories of self-knowledge of beliefs and explains the origin of the widely discussed phenomenon that our own beliefs are often transparent to us in that we can determine whether we believe that p simply by settling whether p is the case. (shrink)

This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

In a series of recent papers, Corine Besson argues that dispositionalist accounts of logical knowledge conflict with ordinary reasoning. She cites cases in which, rather than applying a logical principle to deduce certain implications of our antecedent beliefs, we revise some of those beliefs in the light of their unpalatable consequences. She argues that such instances of, in Gilbert Harman’s phrase, ‘reasoned change in view’ cannot be accommodated by the dispositionalist approach, and that we would do well to conceive of (...) logical knowledge as a species of propositional knowledge instead. In this paper, we propose a dispositional account that is more general than the one Besson considers, viz. one that does not merely apply to beliefs, and claim that dispositionalists have the resources to account for reasoned change in view. We then raise what we take to be more serious challenges for the dispositionalist view, and sketch some lines of response dispositionalists might offer. (shrink)

People frequently report that, at times, their thought has a vocal character. Thinking commonly appears to be accompanied or constituted by silently ‘talking’ to oneself in inner speech. In this paper, we explore the specifically epistemic role of inner speech in conscious reasoning. A plausible position—but one I argue is ultimately wrong—is that inner speech plays asolelyfacilitative role that is exhausted by (i) serving as the vehicle of representation for conscious reasoning, and/or (ii) allowing one to focus on certain types (...) of objects or relations, e.g., causal relations, abstracta, counterfactuals, etc., or to consciously entertain structured propositional contents that it would be hard (or impossible) to focus on or entertain with representations in other (e.g., imagistic) formats. According to this position, inner speech doesn't figure as a justificatory element in our reasoning or as the partial epistemic basis of our conclusions—it merely facilitates reasoning through (i) and/or (ii). In contrast to the view that inner speech is amerefacilitator, I establish that (outside of potentially playing roles (i) and/or (ii)) the language we use itself serves as a crucial source of information in reasoning. In other words, we reason from propositions about the language we use in inner speech as opposed to exclusively reasoning from the semantic contents of the speech. My conclusion follows from how we use language as a cognitive tool to keep track of information, e.g., the contents of premises, lemmas, previous reasoning results, etc., in reasoning. (shrink)

Evidentialism as an account of theoretical rationality is a popular and well-defended position. However, recently, it's been argued that misleading higher-order evidence (HOE) – that is, evidence about one's evidence or about one's cognitive functioning – poses a problem for evidentialism. Roughly, the problem is that, in certain cases of misleading HOE, it appears evidentialism entails that it is rational to adopt a belief in an akratic conjunction – a proposition of the form “p, but my evidence doesn't support p” (...) – despite it being the case that believing an akratic conjunction appears to be clearly irrational. In this paper, I diffuse the problem for evidentialism using the distinction between propositional and doxastic rationality. I argue that, although it can be propositionally rational to believe an akratic conjunction (according to evidentialism), one cannot inferentially base an akratic belief in one's evidence, and, thus, one cannot doxastically rationally possess an akratic belief. In addition, I address the worry that my solution to the puzzle commits evidentialists to the possibility of epistemic circumstances in which a proposition, p, is propositionally rational to believe (namely, an akratic conjunction), yet one cannot, in principle, (doxastically) rationally believe p. As I demonstrate, cases of misleading HOE are not the only types of cases that force evidentialists to accept that propositional rationality does not entail the possibility of doxastic rationality. There are no new problems raised by misleading HOE that weren't already present in cases involving purely first-order evidence. (shrink)

Does reasoning to a certain conclusion necessarily involve a normative belief in support of that conclusion? In many recent discussions of the nature of reasoning, such a normative belief condition is rejected. One main objection is that it requires too much conceptual sophistication and thereby excludes certain reasoners, such as small children. I argue that this objection is mistaken. Its advocates overestimate what is necessary for grasping the normative concepts required by the condition, while seriously underestimating the importance of such (...) concepts for our most fundamental agential capacities. Underlying the objection is the observation that normative thoughts do not necessarily cross our minds during reasoning. I show that proponents of the normative belief condition can accommodate this observation by taking the required normative belief to guide the reasoning process and offer a novel account of what such guidance consists in. (shrink)

To qualify as a fully rational agent, one must be able rationally to revise one’s beliefs in the light of new evidence. This requires, not only that one revise one’s beliefs in the right way, but also that one do so as a result of appreciating the evidence on the basis of which one is changing one’s mind. However, the very nature of belief seems to pose an obstacle to the possibility of satisfying this requirement – for, insofar as one (...) believes that p, any evidence that not-p will strike one as misleading and, on the face of it, believing that a certain piece of evidence is misleading is incompatible with appreciating the fact that such evidence should bear on the question at hand. Call this the ‘Paradox of Belief Revision’. This paper introduces the Paradox of Belief Revision, compares it with Kripke’s Dogmatism Paradox, and suggests that we may be able to see a way out of the former if we assume that rational agents are systematically aware of their own beliefs as beliefs they have. (shrink)

Critical notice of Béatrice Longuenesse's book *I, Me, Mine*.

Kant holds that the applicability of the moral ‘ought’ depends on a kind of agent-causal freedom that is incompatible with the deterministic structure of phenomenal nature. I argue that Kant understands this determinism to threaten not just morality but the very possibility of our status as rational beings. Rational beings exemplify “cognitive control” in all of their actions, including not just rational willing and the formation of doxastic attitudes, but also more basic cognitive acts such as judging, conceptualizing, and synthesizing.

This paper sharpens the distinction between inferential and logcon arguments. Inferential arguments represent possible inferences, logcon ones need not. This distinction clarifies the roles that arguments play in accounting for the normativity of validity for inferential reasoning and in establishing the theoretical connection between validity and logical consequence. There are two related takeaways. First, the normativity of validity for inferential reasoning is grounded on the notion of an inferential argument. This will account for the use of validity to judge inference (...) in the face of well-known skepticism that a theory of validity has any special relevance to inferential reasoning. Second, a valid logcon argument needn't be an inferential argument. Accordingly, the normativity of validity for inferential reasoning doesn't require that every valid logcon argument be an inferential argument. The takeaways harmonize the use of validity to evaluate inferential reasoning with the use of the concept of logical consequence to characterize validity. (shrink)

This paper distinguishes between two types of persuasive force arguments can have in terms of two different connections between arguments and inferences. First, borrowing from Pinto, an arguer's invitation to inference directly persuades an addressee if the addressee performs an inference that the arguer invites. This raises the question of how invited inferences are determined by an invitation to inference. Second, borrowing from Sorenson, an arguer's invitation to inference indirectly persuades an addressee if the addressee performs an inference guided by (...) the argument even though it is uninvited. This raises the question of how an invitation to inference can guide inferences that the arguer does not use the argument to invite. Focusing on belief-inducing inference, the primary aims here are to clarify what is necessary for an addressee's belief-inducing inference to be invited by an argument used as an instrument of persuasion; and to highlight the capacity of arguments to guide such inferences. The paper moves beyond Pinto's discussion by using Boghossian's Taking Condition in service of and in way that illustrates how epistemically bad arguments can rationally persuade addressees of their conclusions. (shrink)

Reasoning is a certain kind of attitude-revision. What kind? The aim of this paper is to introduce and defend a new answer to this question, based on the idea that reasoning is a goodness-fixing kind. Our central claim is that reasoning is a functional kind: it has a constitutive point or aim that fixes the standards for good reasoning. We claim, further, that this aim is to get fitting attitudes. We start by considering recent accounts of reasoning due to Ralph (...) Wedgwood and John Broome, and argue that, while these accounts contain important insights, they are not satisfactory: Wedgwood’s rules out too much, and Broome’s too little. We then introduce and defend our alternative account, discuss some of its implications and attractions, and, finally, consider objections. (shrink)

Some psychological states—paradigmatically, beliefs and intentions—are rationally evaluable: they can be rational or irrational, justified or unjustified. Other states—e.g. sensations and gastrointestinal states—aren't: they're a‐rational. On a familiar but hard‐to‐make‐precise line of thought, at least part of what explains this difference is that we're somehow responsible for (having/being in) states of the former sort, in a way we're not for the others. But this responsibility can't be modeled on the responsibility we have for our (free, intentional) actions. So how should (...) it be understood? In this paper I address that question. The overall shape of my answer is in line with tradition: I take the responsibility to be grounded in certain capacities for reflection and control. Answers in this family have recently been subjected to an interesting challenge. But the version I defend meets that challenge. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

Plausibly, an inference is an act of coming to believe something on the basis of something else you already believe. But what is it to come to believe some- thing on the basis of something else? I propose a disjunctive answer: it is either for some beliefs to rationally cause another—where rational causation is understood as causation that is either actually or potentially productive of knowledge—or for some beliefs to “deviantly” cause another, but for the believer mistakenly to come thereby (...) to believe that the former have rationally caused the latter. The result, I argue, is both a theoretically satisfying account of the act of inferring and a demonstration of the power of a knowledge-first approach to the philosophy of mind. (shrink)

Over the last decade, Hugo Mercier and Dan Sperber have elaborated an influential naturalistic account of human reasoning. Their distinctive hypothesis is that its adaptive rationale – and primary function – is to produce and assess reasons in interpersonal justification and argumentation. In this paper I argue, first, that their characterisation of reasoning as based on metarepresentations threatens to oversophisticate reasoning and faces the problem of vicious regress. Second, I argue that they owe us a coherent account of the cognitive (...) role of reasons in reasoning. (shrink)

It has recently been argued that inference essentially involves the thinker taking his premises to support his conclusion and drawing his conclusion because of this fact. However, this Taking Condition has also been criticized: If taking is interpreted as believing, it seems to lead to a vicious regress and to overintellectualize the act of inferring. In this paper, I examine and reject various attempts to salvage the Taking Condition, either by interpreting inferring as a kind of rule-following, or by finding (...) an innocuous role for the taking-belief. Finally, I propose an alternative account of taking, according to which it is not a separate belief, but rather an aspect of the attitude of believing: Believing that p implies not only taking p to be true and taking oneself to believe that p, but also taking one's reasons q to support p, when the belief in question is held on account of an inference. (shrink)

In arbitrating between representational and relational theories of perception, perceptual illusions—cases in which a subject’s perceptual experience diverges from the way the world really is—constitute an important battleground. The debate has, however, been dominated by discussions of visual perception. In attempting to extend the debate to audition, it is appropriate to start by considering what is thought to be a key case of auditory illusion. I consider the phenomenon of the ‘missing fundamental’, as well as examining a notion that is (...) often deployed by representationalists to explain it—namely, perceptual inference. Though it is frequently deployed as an explanatory concept by inferentialists, the notion of perceptual inference is somewhat opaque. Here, I formulate a ‘job description’ for perceptual inference, involving rule-following. I then identify two sets of cases that commonly prompt the invocation of perceptual inference: namely, cases of perceptual illusion, and cases of veridical perception where the perceptual content outstrips the information present in the stimulus. I then argue that an appeal to perceptual inference is unnecessary, in the case of the missing fundamental, for two reasons. Firstly, the missing fundamental is not, after all, a clear candidate for the ascription of inferential capacity to the auditory system: it is neither an illusion, nor is it the case that the stimulus is crucially impoverished. That is, it submits to a ‘direct’ explanation. Secondly, given the adequacy of a simpler explanation, and the difficulty between distinguishing between real rule-following and the mere appearance of it, I argue that we should avoid ascribing inferential capacity to the auditory system. I close by considering objections, and offering replies. (shrink)

What kinds of mental states can be based on epistemic reasons? The standard answer is only beliefs. I argue that perceptual states can also be based on reasons, as the result of crossmodal interactions. A perceptual state from one modality can provide a reason on which an experience in another modality is based. My argument identifies key markers of the basing relation and locates them in the crossmodal Marimba Illusion (Schutz & Kubovy 2009). The subject’s auditory experience of musical tone (...) duration is based on the reason provided by her visual representation of the length of the musician’s gesture and other stored perceptual principles. (shrink)

Speakers of a natural language regularly form justified beliefs about what others are saying when they utter sentences of the language. What accounts for these justified beliefs? At one level, we already have a plausible answer: there is a perfectly good ordinary sense in which users of a language know what its sentences mean, and it is very plausible that the hearer’s knowledge of the meaning of S helps explain her justification for her belief about what is said by an (...) utterance of S. But what exactly does our knowledge of sentence meanings consist in? In this essay I advance and defend the view that we know the meanings of sentences in virtue of having a certain distinctive kind of know-how that I call inferential practical knowledge. I argue that this view provides the best explanation for the justification of our beliefs about what is said. In particular, it provides a better explanation than the more conventional and widely accepted view that we know the meaning of S in virtue of possessing the theoretical knowledge that S has such-and-such meaning. (shrink)

While we can judge and believe things by merely accepting testimony, we cannot make inferences by merely accepting testimony. A good theory of inference should explain this. The theories that are best suited to explain this fact seem to be theories that accept a so-called intuitional construal of Boghossian’s Taking Condition.

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

In practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity”. This paper provides an account of plans and planning in the context of mathematical proofs. The approach adopted here consists in looking for these notions not in mathematical proofs themselves, but in the agents who produced them. The (...) starting point is to recognize that to each mathematical proof corresponds a proof activity which consists of a sequence of deductive inferences—i.e., a sequence of epistemic actions—and that any written mathematical proof is only a report of its corresponding proof activity. The main idea to be developed is that the plan of a mathematical proof is to be conceived and analyzed as the plan of the agent(s) who carried out the corresponding proof activity. The core of the paper is thus devoted to the development of an account of plans and planning in the context of proof activities. The account is based on the theory of planning agency developed by Michael Bratman in the philosophy of action. It is fleshed out by providing an analysis of the notions of intention—the elementary components of plans—and practical reasoning—the process by which plans are constructed—in the context of proof activities. These two notions are then used to offer a precise characterization of the desired notion of plan for proof activities. A fruitful connection can then be established between the resulting framework and the recent theme of modularity in mathematics introduced by Jeremy Avigad. This connection is exploited to yield the concept of modular presentations of mathematical proofs which has direct implications for how to write and present mathematical proofs so as to deliver various epistemic benefits. The account is finally compared to the technique of proof planning developed by Alan Bundy and colleagues in the field of automated theorem proving. The paper concludes with some remarks on how the framework can be used to provide an analysis of understanding and explanation in the context of mathematical proofs. (shrink)

There is a pervasive view that inference—as opposed, notably, to a grasp of objects—is an intralinguistic process that does not draw on extralinguistic resources. The present paper aims to show that this dichotomy between inferring and grasping objects can be resisted. Specifically, I offer an alternative view: a phenomenological account according to which our most basic inferences draw on our grasp of objects. I motivate this account on the grounds that, although it is restricted to such basic inferences, it has (...) significant implications for the general question of whether inference involves taking one's premises to support one's conclusion. The proposed account implies that basic inferences need not involve corresponding “takings,” (even though such inferences involve conceptual content), but it leaves open the possibility that non-basic inferences do involve corresponding “takings,” while relying on basic inferences. It will turn out that such a disjunctive view, according to which non-basic reasoning is somewhat parasitic on basic reasoning, manages to avoid many of the problems with which the literature on the “taking condition” deals. (shrink)

Conventionalism about logic is the view that logical principles hold in virtue of some linguistic conventions. According to explicit conventionalism, these conventions have to be stipulated explicitly. Explicit conventionalism is subject to a famous criticism by Quine, who accused it of leading to an infinite regress. In response to the criticism, several authors have suggested reconstructing conventionalism as implicit in our linguistic behaviour. In this paper, drawing on a distinction from proof theory between derivable and admissible rules, I argue that (...) implicit conventionalism has not been stated in a sufficiently precise way, as it leaves open what one needs to say about admissible yet underivable rules. Moreover, it turns out that this challenge cannot be easily met, and that any attempt to meet the challenge makes conventionalism much less attractive a thesis. (shrink)

A central debate in philosophy of action concerns whether agential knowledge, the knowledge agents characteristically have of their own actions, is inferential. While inferentialists like Sarah Paul hold that it is inferential, others like Lucy O’Brien and Kieran Setiya argue that it is not. In this paper, I offer a novel argument for the view that agential knowledge is non-inferential, by posing a dilemma for inferentialists: on the first horn, inferentialism is committed to holding that agents have only alienated knowledge (...) of their own actions; on the second horn, inferentialism is caught in a vicious regress. Neither option is attractive, so inferentialism should be rejected. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)