What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

It is a platitude that when we reason, we often take things for granted, sometimes even justifiably so. The chemist might reason from the fact that a substance turns litmus paper red to that substance being an acid. In so doing, they take for granted, reasonably enough, that this test for acidity is valid. We ordinarily reason from things looking a certain way to their being that way. We take for granted, reasonably enough, that things are as they look Although (...) it is a platitude that we often take things for granted when we reason—whether justifiably or not—one might think that we do not have to. In fact, it is a natural expectation that were we not pressed by time, lack of energy or focus, we could always in principle make explicit in the form of premises every single presupposition we make in the course of our reasoning. In other words, it is natural to expect it to be true that presuppositionless reasoning is possible. In this essay, I argue that it is false: presuppositionless reasoning is impossible. Indeed, I think this is one of the lessons of a long-standing paradox about inference and reasoning known as Lewis Carroll’s (1985) regress of the premises. Many philosophers agree that Carroll’s regress teaches us something foundational about reasoning. I part ways about what it is that it teaches us. What it teaches us is that the structure of reasoning is constitutively presuppositional. (shrink)

This paper explores a novel notion of self-explanation that combines ideas from two sources: the tripartite account of explanation, according to which a proposition can help explain another either in the capacity of a reason why the latter obtains or in the capacity of an explanatory link, and the notion of an empty-base explanation, which generalizes the ideas of explanation by zero-grounding and explanation by status. After having introduced these ideas and the novel notion of self-explanation, I argue that the (...) latter has the potential to resist extant arguments against the possibility of self-explanation. In the remainder of the paper, I discuss candidates for such self-explanatory propositions and suggest possible applications for Humeanism about laws of nature, the debate on the grounds of ground, the rationalist tradition, and philosophical theology. (shrink)

This paper is about two topics: metaepistemological absolutism and the epistemic principles governing perceptual warrant. Our aim is to highlight—by taking the debate between dogmatists and conservativists about perceptual warrant as a case study—a surprising and hitherto unnoticed problem with metaepistemological absolutism, at least as it has been influentially defended by Paul Boghossian as the principal metaepistemological contrast point to relativism. What we find is that the metaepistemological commitments at play on both sides of this dogmatism/conservativism debate do not line (...) up with epistemic relativism nor do they line up with absolutism, at least as Boghossian articulates this position. What this case study reveals is the need in metaepistemological option space for the recognition of a weaker and less tendentious form of absolutism, what we call “environment relativism”. On this view, epistemic principles are knowable, objective, and they can serve as the basis of particular epistemic evaluations, but their validity is relative to the wider global environment in which they are applied. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

A priori theories of justification of logic based on meaning often lead to trouble, in particular to issues concerning circularity. First, I present Boghossian’s a prioriview. Boghossian maintains the rule-circular justifications from a conceptual role semantics. However, rule-circular justifications are problematic. Recently, Boghossian (Boghossian, 2015) has claimed that rules should be thought of as contents and contents as abstract objects. In this paper, I discuss Boghossian’s view. My argumentation consists of three main parts. First, I analyse several arguments to show (...) that in fact, Boghossian’s inferentialist solution is not fully satisfying. Second, I discuss the matter further, if one accepts that basic logical rules are constitutive of meaning, that is, they constitute the logical concepts and the content of a rule is an abstract object, then abstract objects — like, for example, rules — could be constitutive of meaning. The question is whether conceptual priority is in the judgment or in the object and what theory of content is pursued. Grasping content as a matter of knowing how a word or concept behaves in inferences is not completely explicative. Finally, I contend that rules come to exist as a result of certain kinds of mental action. These actions function as constitutive norms. Logical rules are not abstract objects but ideal. What one construes as norms or rules of content may involve idealization, but this is because we share a language. (shrink)

In this paper, I address a key argument in favour of logical expressivism, the view that knowing a logical principle such as Modus Ponens is not a cognitive state but a pro-attitude towards drawing certain types of conclusions from certain types of premises. The argument is that logical expressivism is the only view that can take us out of Lewis Carroll's Regress – which suggests that elementary deductive reasoning is impossible. I show that the argument does not hold scrutiny and (...) that logical cognitivism can be vindicated. In the course of the discussion, I draw substantially on a comparison with a similar argument in meta-ethics, for moral expressivism. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

In this short essay, I tackle, yet again, the question of the nature of inference and elaborate on the agential conception of inference that I've been pursuing (Boghossian 2014, 2016 and forthcoming). What's new in this essay is a better way of setting up the issue about the na- ture of inference; a better identification of the concerns that lie at the back of this way of thinking about the topic; and a response to some important criticisms that have been (...) made of the agential view I've been advocating. (shrink)

Mainstream epistemology has typically taken for granted a traditional picture of the metaphysics of mind, according to which cognitive processes (e.g. memory storage and retrieval) play out entirely within the bounds of the skull and skin. But this simple ‘intracranial’ picture is falling in- creasingly out of step with contemporary thinking in the philosophy of mind and cognitive science. Likewise, though, proponents of active exter- nalist approaches to the mind—e.g. the hypothesis of extended cognitition (HEC)—have proceeded by and large without (...) asking what epistemological ramifications should arise once cognition is understood as criss-crossing the bounds of brain and world. This paper aims to motivate a puzzle that arises only once these two strands of thinking are brought in contact with one another. In particular, we want to first highlight a kind of con- dition of epistemological adequacy that should be accepted by proponents of extended cognition; once this condition is motivated, the remainder of the paper demonstrates how attempts to satisfy this condition seem to inevitably devolve into a novel kind of epistemic circularity. At the end of the day, proponents of extended cognition have a novel epistemological puzzle on their hands. (shrink)

This paper explains what’s wrong with a Hume-inspired argument for skepticism about induction. Hume’s argument takes as a premise that inductive reasoning presupposes that the future will resemble the past. I explain why that claim is not plausible. The most plausible premise in the vicinity is that inductive reasoning from E to H presupposes that if E then H. I formulate and then refute a skeptical argument based on that premise. Central to my response is a psychological explanation for how (...) people judge that if E then H without realizing that they thereby settled the matter rationally. (shrink)

This dissertation contains four independent essays addressing a cluster of related topics in the philosophy of mind. Chapter 1: “Fundamentality Physicalism” argues that physicalism can usefully be conceived of as a thesis about fundamentality. The chapter explores a variety of other potential formulations of physicalism (particularly modal formulations), contrasts fundamentality physicalism with these theses, and offers reasons to prefer fundamentality physicalism over these rivals. Chapter 2:“Modal Rationalism and the Demonstrative Reply to the Master Argument Against Physicalism” introduces the Master Argument (...) Against Physicalism and investigates its crucial premise: the inference from an a priori gap between the physical and consciousness to a lack of necessitation between the two. I argue against the strong form of modal rationalism that underwrites the master argument and offer a more moderate rationalist view. I offer a novel demonstrative reply to the master argument, according to which a connection between conscious experience and demonstratives, not dualism, is the source of the epistemic gap between consciousness and the physical. Chapter 3: “Conceptual Mastery and the Knowledge Argument” argues that Frank Jackson’s famous anti-physicalist knowledge argument featuring Mary, a brilliant neuroscientist raised in a black and white room, founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been removed, Mary can know the relevant truths. Chapter 4: “Toward a Theory of Conceptual Mastery” investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I argue against three views of conceptual mastery, according to which conceptual mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. I propose and respond to objections to my own “meaning postulate view” of the conditions under which a thinker has mastery of a concept. (shrink)

We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most promising approach (...) is to appeal to features like usefulness or indispensability to important or required cognitive projects. On the resulting view, whether an inferential step counts as large or small depends on the importance of the relevant rule of inference in our thought. (shrink)

Inference to the best explanation—or, IBE—tells us to infer from the available evidence to the hypothesis which would, if correct, best explain that evidence. As Peter Lipton puts it, the core idea driving IBE is that explanatory considerations are a guide to inference. But what is the epistemic status of IBE, itself? One issue of contemporary interest is whether it is possible to provide a justification for IBE itself which is non- objectionably circular. We aim to carve out some new (...) space in this debate. In particular, we suggest that the matter of whether a given rule-circular argument is objectionably circular itself depends crucially on some subtle distinctions which have been made in the recent literature on perceptual warrant. By bringing these debates together, a principled reason emerges for why some kinds of rule-circular justifications for IBE are considerably less objectionable than others. (shrink)

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception of (...) meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo (...) algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

La rinascita negli ultimi decenni di un nutrito dibattito intorno alla nozione di analiticità dopo le critiche a suo tempo mosse da Quine alla batteria di nozioni utilizzate da Rudolf Carnap (ad esempio, postulati di significato, regole semantiche, definizioni implicite, convenzioni e stipulazioni esplicite) prende le mosse da una riflessione critica sulle argomentazioni di Quine e tenta, da un lato, di approfondire meglio il legame fra analiticità e conoscenza a priori, e, dall’altro, di capire meglio il ruolo che la definizione (...) può svolgere nella costituzione del significato e nella formulazione di verità concettuali. Questa nuova concezione è detta “epistemica” ed ha fra i suoi più autorevoli fautori Crispin Wright, Bob Hale e Paul Boghossian. Boghossian, al pari di molti filosofi critici della nuova concezione epistemica, come Timothy Williamson, conviene però con Quine nel sostenere che gli enunciati analitici hanno portata fattuale e vertono anch’essi sul mondo, oltre che sul linguaggio. Anche per questa ragione essi possono rendere possibile una genuina estensione delle nostre conoscenze. Tuttavia una seconda linea di obiezioni facenti capo dapprima a Paul Horwich, e in seguito agli stessi Wright e Hale, mette in evidenza rispettivamente due difficoltà corrispondenti alle questioni dell’arroganza e dell’accettazione. In questa discussione una parte importante è svolta dalla ripresa e della discussione del condizionale di Carnap, impiegato per rendere conto del ruolo che i termini teorici svolgono nel quadro dell’intera teoria cui appartengono, senza con ciò sposare le conseguenze dell’olismo quineano. La tesi centrale che questo lavoro cerca di rendere plausibile è che una lettura attenta degli ultimi scritti di Carnap mostri come il carattere aperto che egli attribuisce ai termini teorici in ragione, sia dello loro intrinseca indeterminatezza, sia delle revisioni imposte dalle scoperte scientifiche, è perfettamente compatibile con la fattorizzazione del contenuto di una teoria scientifica data in una parte linguistica, il condizionale di Carnap, riguardante la costituzione del significato di un certo termine teorico, e nella sua controparte empirica, che consente di registrare l’impatto dell’esperienza sulla teoria in questione. Se praticabile, questa concezione può a buon diritto entrare nel novero delle teorie epistemiche dell’analiticità, senza accampare alcuna pretesa di far rivivere i fasti della conoscenza a priori classica. (shrink)

Tourism literature has shown there is a disagreement amongst academics conducting tourism research as to whether tourism is an academic community, academic study, and/or academic discipline. These three terms are used loosely and change in meaning depending upon the author, source, context, and discipline of the author(s). The following paper identifies tourism’s current position in academia using these three ideas of academic acceptance as tools to guide the discussion. Also guiding the discussion are ideas from tourism scholars and Kuhn’s ideas (...) of what constitutes a discipline. The discussion leads to a debate about “truths” in tourism research. Recommendations regarding the advancement of tourism in academia via theory construction in the academic field of tourism are presented. (shrink)

Epistemic relativists often appeal to an epistemic incommensurability thesis. One notable example is the position advanced by Wittgenstein in On certainty (1969). However, Ian Hacking’s radical denial of the possibility of objective epistemic reasons for belief poses, we suggest, an even more forceful challenge to mainstream meta-epistemology. Our central objective will be to develop a novel strategy for defusing Hacking’s line of argument. Specifically, we show that the epistemic incommensurability thesis can be resisted even if we grant the very insights (...) that lead Hacking to claim that epistemic reasons are always relative to a style of reasoning. Surprisingly, the key to defusing the argument is to be found in recent mainstream work on the epistemic state of objectual understanding. (shrink)

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants would presuppose (...) knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

In this paper, I explore a question about deductive reasoning: why am I in a position to immediately infer some deductive consequences of what I know, but not others? I show why the question cannot be answered in the most natural ways of answering it, in particular in Descartes’s way of answering it. I then go on to introduce a new approach to answering the question, an approach inspired by Hume’s view of inductive reasoning.

The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...) understanding a logical constant in turn requires the ability to apply it correctly in particular cases. It is shown, however, that Implicit Definition cannot account for this ability, even if it draws on introduction rules for the logical constants. In particular, Implicit Definition cannot account for our ability to apply negation in particular cases. Owing to constraints relating to the unique characterisation of logical constants, invoking the notion of rejection does not remedy the situation. Given its failure to explain knowledge of logic, the prospects of Implicit Definition to explain other kinds of a priori knowledge are even worse. (shrink)

What accounts for how we know that certain rules of reasoning, such as reasoning by Modus Ponens, are valid? If our knowledge of validity must be based on some reasoning, then we seem to be committed to the legitimacy of rule-circular arguments for validity. This paper raises a new difficulty for the rule-circular account of our knowledge of validity. The source of the problem is that, contrary to traditional wisdom, a universal generalization cannot be inferred just on the basis of (...) reasoning about an arbitrary object. I argue in favor of a more sophisticated constraint on reasoning by universal generalization, one which undermines a rule-circular account of our knowledge of validity. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

The paper outlines a view of normativity that combines elements of relativism and expressivism, and applies it to normative concepts in epistemology. The result is a kind of epistemological anti-realism, which denies that epistemic norms can be (in any straightforward sense) correct or incorrect; it does allow some to be better than others, but takes this to be goal-relative and is skeptical of the existence of best norms. It discusses the circularity that arises from the fact that we need to (...) use epistemic norms to gather the facts with which to evaluate epistemic norms; relatedly, it discusses how epistemic norms can rationally evolve. It concludes with some discussion of the impact of this view on "ground level" epistemology. (shrink)

Defined narrowly, epistemology is the study of knowledge and justified belief. As the study of knowledge, epistemology is concerned with the following questions: What are the necessary and sufficient conditions of knowledge? What are its sources? What is its structure, and what are its limits? As the study of justified belief, epistemology aims to answer questions such as: How we are to understand the concept of justification? What makes justified beliefs justified? Is justification internal or external to one's own mind? (...) Understood more broadly, epistemology is about issues having to do with the creation and dissemination of knowledge in particular areas of inquiry. This article will provide a systematic overview of the problems that the questions above raise and focus in some depth on issues relating to the structure and the limits of knowledge and justification. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

The essay addresses the well‐known idea that there has to be a place for intuition, thought of as a kind of non‐inferential rational insight, in the epistemology of basic logic if our knowledge of its principles is non‐empirical and is to allow of any finite, non‐circular reconstruction. It is argued that the error in this idea consists in its overlooking the possibility that there is, properly speaking, no knowledge of the validity of principles of basic logic. When certain important distinctions (...) are observed, for instance that between recognising that Modus Ponenes is sound and recognising that it is proof against the competent discovery of basic counterexamples, the case for thinking that there is indeed no space for genuine recognition of the validity of Modus Ponens becomes increasingly impressive. It is argued however that, the impossibility of knowledge notwithstanding, we are, in an important sense, entitled to take it that Modus Ponens is sound and that this notion of entitlement can help break the trichotomy ‐ intuition, inference, experience ‐ which imprisons our ordinary thinking about logical knowledge. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

In virtue of what are we justified in employing the rule of inference Modus Ponens? One tempting approach to answering this question is to claim that we are justified in employing Modus Ponens purely in virtue of facts concerning meaning or concept-possession. In this paper, we argue that such meaning-based accounts cannot be accepted as the fundamental account of our justification.

I explore the process of changes in the observability of entities and objects in science and how such changes impact two key issues in the scientific realism debate: the claim that predictively successful elements of past science are retained in current scientific theories, and the inductive defense of a specific version of inference to the best explanation with respect to unobservables. I provide a case-study of the discovery of radium by Marie Curie in order to show that the observability of (...) some entities can change and that such changes are relevant for arguments seeking to establish the reliability of success-to-truth inferences with respect to unobservables. (shrink)

Whereas epistemology is the philosophical theory of knowledge, its nature and scope, metaepistemology takes a step back from particular substantive debates in epistemology in order to inquire into the assumptions and commitments made by those who engage in these debates. This entry will focus on a selection of these assumptions and commitments, including whether there are objective epistemic facts; and how to characterize the subject matter and the methodology of epistemology.

Within his overarching program aiming to defend an epistemic conception of analyticity, Boghossian (1996 and 1997) has offered a clear-cut explanation of how we can acquire a priori knowledge of logical truths and logical rules through implicit definition. The explanation is based on a special template or general form of argument. Ebert (2005) has argued that an enhanced version of this template is flawed because a segment of it is unable to transmit warrant from its premises to the conclusion. This (...) article aims to defend the template from this objection. We provide an accurate description of the type of non-transmissivity that Ebert attributes to the template and clarify why this is a novel type of non-transmissivity. Then, we argue that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. Finally, we rebut Ebert’s objection on Boghossian’s behalf by showing that it rests on an unwarranted assumption and is internally incoherent. (shrink)

An account of meta-epistemic defeaters—distinct from traditional epistemic defeaters—is motivated and defended, drawing from case studies involving epistemic error-theory and epistemic relativism. Mechanisms of traditional epistemic defeat and meta-epistemic defeat are compared and contrasted, and some new puzzles are introduced.

If the reliability of a source of testimony is open to question, it seems epistemically illegitimate to verify the source’s reliability by appealing to that source’s own testimony. Is this because it is illegitimate to trust a questionable source’s testimony on any matter whatsoever? Or is there a distinctive problem with appealing to the source’s testimony on the matter of that source’s own reliability? After distinguishing between two kinds of epistemically illegitimate circularity—bootstrapping and self-verification—I argue for a qualified version of (...) the claim that there is nothing especially illegitimate about using a questionable source to evaluate its own reliability. Instead, it is illegitimate to appeal to a questionable source’s testimony on any matter whatsoever, with the matter of the source’s own reliability serving only as a special case. (shrink)

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)

Recently, much attention has been paid to ‘rational requirements’ and, especially, to what I call ‘rational requirements of formal coherence as such’. These requirements are satisfied just when our attitudes are formally coherent: for example, when our beliefs do not contradict each other. Nevertheless, these requirements are puzzling. In particular, it is unclear why we should satisfy them. In light of this, I explore the conjecture that there are no requirements of formal coherence. I do so by trying to construct (...) a theory of error for the idea that there are such requirements. (shrink)

While there has been a great deal of discussion of whether and when beliefs formed in an epistemically circular manner can be justified, there has been almost no discussion of exactly which beliefs are formed in a circular manner. These discussions have tended to focus on an extremely limited number of intuitively-identified paradigm examples concerning attempts to establish the reliability of a method of belief formation. Here, I seek to answer a prior analytical question about the nature of epistemic circularity (...) by developing a criterion which sorts epistemically circular beliefs from non-epistemically circular beliefs. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Is it coherent to suppose that in order to hold a belief responsibly, one must recognize something else as a reason for it? This paper addresses this question by focusing on so-called "Inferential Internalist" principles, that is principles of the following form: in order for one to have positive epistemic status Ø in virtue of believing P on the basis of R, one must believe that R evidentially supports P, and one must have positive epistemic status Ø in relation to (...) that latter belief as well. While such principles and their close relatives figure centrally in a wide variety of recent epistemological discussions, there is confusion in the literature about what, precisely, Inferential Internalism commits one to and whether it is so much as coherent. This paper articulates a broader framework for understanding the notion of epistemic responsibility, motivates Inferential Internalism on the basis of considerations about the basing relation, epistemic responsibility, and parallels with practical deliberation, defends Inferential Internalism against charges of incoherence leveled by James Van Cleve and Paul Boghossian, and shows that contrary to a currently widespread view, Inferential Internalism is coherent even if foundationalism and the a priori are rejected. The paper closes with a preliminary argument for an affirmative answer to the initiating question about the requirements of epistemic responsibility. (shrink)

La búsqueda de justificación epistémica para los presupuestos metodológicos y axiológicos más básicos de la ciencia ha de enfrentarse al trilema de Agrippa. Se argumenta que la regresión al infinito -aun si esta regresión es solo potencial- y la circularidad no son las mejores alternativas del trilema y que el mejor disyunto es un dogmatismo minimalista, siendo uno de sus dogmas el siguiente condicional: Si nuestros presupuestos metodológicos y axiológicos más básicos de carácter científico fuesen los correctos, entonces las teorías (...) científicas seleccionadas por estos presupuestos serían probable, o aproximadamente, verdaderas. The search of epistemic justification for the most basic methodological and axiological presuppositions of science has to deal with Agrippa's trilemma.It is argued that infinite regress - even if it is only a potential regress - and circularity are not the best alternatives of the trilemma and that the best disjunct is a minimalist dogmatism, with the following conditional, as one of its dogmas: If our most basic methodological and axiological scientific presuppositions were the correct ones, then the scientific theories selected by these presuppositions would be the probably, or the approximately, true ones. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

In this paper I will argue that Boghossian's explanation of how we can acquire a priori knowledge of logical principles through implicit definitions commits a transmission of warrant-failure. To this end, I will briefly outline Boghossian's account, followed by an explanation of what a transmission of warrant-failure consists in. I will also show that this charge is independent of the worry of rule-circularity which has been raised concerning the justification of logical principles and of which Boghossian is fully aware. My (...) argument comes in two steps: firstly, I will argue for the insufficiency of Boghossian's template which is meant to explain how a subject can acquire a warrant for logical principles. I will show however that this insufficiency of his template can be remedied by adopting what I call the Disquotational Step. Secondly, I will argue that incorporating this further step makes his template subject to a transmission of warrant-failure, assuming that certain rather basic and individually motivated principles hold. Thus, Boghossian's account faces a dilemma: either he adopts the Disquotational Step and subjects his account to the charge of a transmission of warrant-failure, or he drops this additional step leaving the account confronted with explaining the gap that has previously been highlighted. I will then suggest various rejoinders that Boghossian might adopt but none of which - I will argue - can resolve the dilemma. Lastly, I will raise and briefly discuss the question whether this worry generalizes to other accounts, such as Hale and Wright's that aim to explain our knowledge of logic and/or mathematics in virtue of implicit definitions. (shrink)