This dissertation articulates our human capacity to judge as a capacity for knowledge, specifically for empirical knowledge, and for knowledge of itself as such. I interpret and draw on the account of such knowledge presented by Kant’s Critique of Pure Reason, situate this account historically, and relate it to relevant contemporary debates. The first chapter motivates my project by assessing the insights and shortcomings of Cartesian epistemology. I argue that while Descartes draws on the essential self-consciousness of judgement to show (...) that the cogito is knowledge, he fails, by his own standards, to secure this status for any judgement beyond the cogito. I conclude that self-consciousness alone is empty, but that, since we can judge beyond the cogito, judgement can be given content from elsewhere. The next chapter evaluates the empiricist doctrine that operations of the senses by themselves give content to judgement and can vindicate it as empirical knowledge. I contend that Kant deepens Hume’s finding, that empiricism fails to enable us to explain empirical knowledge, into the more radical insight that empiricism fails to enable us to understand the senses as providing any content. I conclude that the senses alone are blind and that our account of empirical knowledge must privilege neither sensory givenness nor intellectual self-consciousness. The third chapter contrasts two readings of Kant on the cooperation between sensibility and understanding in empirical knowledge. I argue, against many Kantians, that the Transcendental Deduction shows that instead of understanding this cooperation compositionally – so that operations of sensibility are intelligible independently of acts of the understanding – we must conceive of it hylomorphically – so that the operations of sensibility and understanding constitute the mutually dependent matter and form of empirical knowing respectively. The final chapter substantiates this hylomorphism by explicating the form of knowledge as synthesis. Following Kant, I argue that inference is a species of synthesis and provide a synthetic explanation of inference. The resulting account simultaneously illustrates synthesis, addresses a prominent contemporary problem regarding the nature of inference, and explains how our capacity to know provides not just isolated glimpses of empirical reality, but a unified conception of it. (shrink)

Two opposed movements of thought threaten philosophy as an autonomous practice from the inside: scientific naturalism and quietism. Naturalism (qua methodological thesis) threatens to turn philosophy into a mere ancilla of the sciences, quietism understood as the prescription to remain silent in philosophy would not countenance any more "positive" philosophy. This book reconstructs naturalism and quietism such that it becomes clear naturalism does have the potential to end philosophy as an autonomous practice and that quietism, correctly understood, does not. To (...) this end, this book provides arguments against the prevailing orthodox status of naturalism and a heterogenous reading of Wittgenstein's metaphilosophical quietism as the rejection of a certain kind of theories in philosophy, namely quasi-scientific theories. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as well as (...) certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our (...) inferences, cannot depend on our adoption of logico-linguistic conventions. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

The common-sense view that reasons guide us in thought and action and that humans are essentially reason-responsive animals is increasingly under attack by defenders of what one can call the Rationalisation View, which emphasises that we typically rationalise actions and judgements that are based on intuition rather than reasoning. This article defends the former view of human Reason, partly by replying to prominent advocates of the latter, partly by proposing accounts of reflective reasoning and rationalisation that bring to light a (...) common, underappreciated feature: they both involve the capacity to see considerations as reasons. This capacity, the author conjectures, should be the starting point for investigating the faculty we call ‘Reason’, its evolutionary origin, and the (ir)rationality of different kinds of thought associated with it. (shrink)

The Kantian strain of practical constructivism (through Rawls, Korsgaard, and others) has been so influential that it is tempting to identify the constructivist approach in practical domains with the Kantian development of the outlook. In this essay, I explore a different variety of practical constructivism, what I call “Aristotelian constructivism”. My aim is to establish conceptual space for this form of constructivism by indicating in what ways Aristotelian constructivism agrees with its Kantian counterparts and in what ways it differs. I (...) claim that it is, in one sense, more faithful to the constructivist enterprise than the Kantian varieties, in that its understanding of both the establishment of practical truth and the vindication of the theory itself is constructivist. (shrink)

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might *prohibit* having certain inquiring attitudes (``norms of restriction''), while ignoring those that might *require* having them (``norms of expansion''). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields - some sympathetically, others unsympathetically. (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)

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)

In this paper, I examine Gilbert Ryle’s claim that ordinary competence with logical principles or rules is a kind of knowing how, where such knowledge is understood as a skill, a multi-track disposition. Ryle argues that his account of ordinary logical competence helps avoid Lewis Carroll’s famous regress argument (Carroll 1895), which suggests that elementary deductive reasoning might be impossible. Indeed, Carroll’s regress is the central motivation for Ryle’s account. I argue that this account is inadequate on two counts: it (...) cannot serve to articulate the way ordinary reasoners might exercise their knowledge in reasoning and it does not do much to help us avoid Carroll’s regress. I sketch an alternative view, still Rylean in spirit, that fares better on both counts. (shrink)

Arabic logicians in the thirteenth century discussed a set of arguments raised by the theologian Fakhr al-Dīn al-Rāzī (d. 1210) that in some respects closely resembles Carroll’s paradox. Roughly, the paradox states that we can never reach a conclusion from a set of premises without incurring an infinite regress. The present article presents and discusses Rāzī’s formulation of the problem with syllogistic deduction, his own solutions to the problem, and the contributions of Afḍal al-Dīn al-Khūnajī (d. 1248) and Najm al-Dīn (...) al-Kātibī (d. 1276). It is argued that the proposed solutions developed by these authors are best understood as tending in the direction of Gilbert Ryle’s distinction between knowing-that and knowing-how. (shrink)

I will use paradox as a guide to metaphysical grounding, a kind of non-causal explanation that has recently shown itself to play a pivotal role in philosophical inquiry. Specifically, I will analyze the grounding structure of the Predestination paradox, the regresses of Carroll and Bradley, Russell's paradox and the Liar, Yablo's paradox, Zeno's paradoxes, and a novel omega plus one variant of Yablo's paradox, and thus find reason for the following: We should continue to characterize grounding as asymmetrical and irreflexive. (...) We should change our understanding of the transitivity of grounding in a certain sense. We should require foundationality in a new, generalized sense, that has well-foundedness as its limit case. Meta-grounding is important. The polarity of grounding can be crucial. Thus we will learn a lot about structural properties of grounding from considering the various paradoxes. On the way, grounding will also turn out to be relevant to the diagnosis (if not the solution) of paradox. All the paradoxes under consideration will turn out to be breaches of some standard requirement on grounding, which makes uniform solutions of large groups of these paradoxes more desirable. In sum, bringing together paradox and grounding will be shown to be of considerable value to philosophy.1. (shrink)

There are two central kinds of epistemological mistakes: believing things you shouldn’t, and failing to believe things that you should. The knowledge-first program offers a canonical explanation for the former: if you believe something without knowing it, you violate the norm to believe only that which you know. But the explanation does not extend in any plausible way to a story about what’s wrong with suspending judgment when one ought to believe. In this paper I explore prospects for a knowledge-centering (...) account of positive epistemic norms that describe epistemic duties to believe. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

There is a felt difference between following an argument to its conclusion and keeping up with an argument in your judgments while failing to see how its conclusion follows from its premises. In the first case there’s what I’m calling an inferential seeming, in the second case there isn’t. Inferential seemings exhibit a cluster of functional and normative characteristics whose integration in one mental state is puzzling. Several recent accounts of inferring suggest inferential seemings play a significant role in the (...) process, but none provides a fully satisfactory understanding of inferential seemings themselves. In this paper I critically examine theoretical options on offer in the existing literature, then develop an alternative view. I discuss implications for recent debates about general principles governing inference, such as Fumerton’s Principle of Inferential Justification and Boghossian’s Taking Condition. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The idea of the uniformity of nature, as a solution to the problem of induction, has at least two contemporary versions: natural kinds and natural necessity. Then there are at least three alternative ontological ideas addressing the problem of induction. In this paper, I articulate how these ideas are used to justify the practice of inductive inference, and compare them, in terms of their applicability, to see whether each of them is preferred in addressing the problem of induction. Given the (...) variety of contexts in which inductive inferences are made, from natural science to social science and to everyday thinking, I suggest that no singular idea is absolutely preferred, and a proper strategy is probably to welcome the plurality of ideas helpful to induction, and to take pragmatic considerations into account, in order to judge in every single case. (shrink)

What is commonly referred to as the Adoption Problem is a challenge to the idea that the principles of logic can be rationally revised. The argument is based on a reconstruction of unpublished work by Saul Kripke. As the reconstruction has it, Kripke extends the scope of Willard van Orman Quine's regress argument against conventionalism to the possibility of adopting new logical principles. In this paper we want to discuss the scope of this challenge. Are all revisions of logic subject (...) to the Adoption Problem? If not, are there significant cases of logical revision that are subject to the Adoption Problem? We will argue that both questions should be answered negatively. (shrink)

Afin d’échapper au dilemme de la fondation, Karen Bennett a proposé une thèse selon laquelle la relation de fondation serait superinterne, c’est-à-dire qu’elle reposerait entièrement sur la nature du relatum de gauche. Si cette approche peut de prime abord sembler particulièrement convaincante en raison de sa simplicité et de son élégance, un examen plus minutieux révèle toutefois d’importantes difficultés. Dans cet article, j’élabore de nombreuses critiques contre la thèse de la superinternalité qui s’avère moins intuitive qu’elle ne le laisse paraître. (...) Je considère ensuite l’alternative que représente la sémantique métaphysique développée par Ted Sider. (shrink)

To many, judgment has seemed a locus of cognitive agency, a kind of cognitive mental act. In one minimal sense, judgment is something one does. I consider whether judgment is more robustly agential: is it a kind of action done with an aim? The most attractive version of this sort of position takes judging that p to affirming that p with an alethic aim, an aim such as affirming truly. I argue that such views have unacceptable consequences. Acts done with (...) aims, in general, can be based only indirectly on evidence that one would attain the aim in so acting. It follows that if alethic aims theories of judgment were correct, a judgment that p could be based only indirectly on evidence for p. This itself would be problematic. But the problems extend further. Given the connection between judgment and belief-formation, it would follow, further, that the beliefs we form through judgment could at best be only indirectly based on evidence for p. On these theories, the direct bases for a judgment that p would have to be either a belief that p or a belief that it’s likely that p. The former cannot support belief-formation and the latter supports at best epistemically inappropriate belief-formation. I conclude that there is a hard limit on how robustly agential judgment can be. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...) other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

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)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

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)

Taking perceptual experience to consist in a relation of acquaintance with the sensible qualities, I argue that the state of being acquainted with a sensible quality is intrinsically a form of knowledge, and not merely a means to more familiar kinds of knowledge, such as propositional or dispositional knowledge. We should accept the epistemic claim for its explanatory power and theoretical usefulness. That acquaintance is knowledge best explains the intuitive epistemic appeal of ‘Edenic’ counterfactuals involving unmediated perceptual contact with reality (...) (cf. Chalmers, in: Gendler, Hawthorne (eds) Perceptual experience, Oxford University Press, 2006). It explains the elusiveness of knowledge gained through new acquaintances. It coheres with the knowledge-like functional role of acquaintance in the special context of evaluative beliefs and evaluative reasoning, where the objects of acquaintance serve as evidence and inferential basis. And, finally, taking acquaintance to be knowledge is theoretically fruitful: it helps vindicate claims about the relationship between knowledge and concern for others we already find intuitive or outright accept. After developing a novel case for the epistemic claim, I respond to two familiar objections against it: namely, (1) that there are no pre-propositional, pre-conceptual cases of perceptual experience that remain epistemically relevant (Sellars in Empiricism and the philosophy of mind, Routledge, 1968, McDowell, in: Lindgard (ed) John McDowell: Experience, norm, and nature, Blackwell, 2008); and (2) that the category of knowledge appears gerrymandered once we add ‘object’ knowledge to the epistemological mix (Farkas, in: Knowles, Raleigh (eds), Acquaintance: new essays, Oxford University Press, 2019). (shrink)

In this paper, we will reconsider the history of dualistic idealism (i.e., the main stream of western philosophy: chiefly, Plato, Descartes, Kant, Wittgenstein, etc.) under the quantum mechanical worldview. Recall that quantum mechanics also has the aspect of being a scientifically complete form of dualistic idealism. Therefore, it is reasonable to expect that almost all unsolved problems of philosophy (i.e., dualistic idealism) can be clarified under the linguistic Copenhagen interpretation. In this paper, we will show that the expectation is completely (...) realized. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

In a recent paper, Barrio, Pailos and Szmuc (BPS) show that there are logics that have exactly the validities of classical logic up to arbitrarily high levels of inference. They suggest that a logic therefore must be identified by its valid inferences at every inferential level. However, Scambler shows that there are logics with all the validities of classical logic at every inferential level, but with no antivalidities at any inferential level. Scambler concludes that in order to identify a logic, (...) we at least need to look at the validities and the antivalidities of every inferential level. In this paper, I argue that this is still not enough to identify a logic. I apply BPS’s techniques in a super/sub-valuationist setting to construct a logic that has exactly the validities and antivalidities of classical logic at every inferential level. I argue that the resulting logic is nevertheless distinct from classical logic. (shrink)

This dissertation is an investigation into the relation between mind and language from different perspectives, split up into three interrelated but still, for the most part, self-standing parts. Parts I and II are concerned with the question how thought is affected by language while Part III investigates the scope covered by mind and language respectively. Part I provides a reconstruction of Ludwig Wittgenstein’s famous Private Language Argument in order to apply the rationale behind this line of argument to the relation (...) between mind and language. This argumentative strategy yields the conclusion that reasoning – an important type of thought – is constitutively dependent on language possession and is therefore not available to non-linguistic creatures. This result is achieved by considering the preconditions for reasoning – given that it is a rule-governed activity – and eliminating competitors to language for providing reasoners with what it takes to reason. Part II provides a critical outlook on the wide and highly heterogeneous field of linguistic relativity theories. It is argued that no kind of linguistic relativity whatsoever follows from the conclusion of Part I – i.e., the claim that reasoning is constitutively dependent on having a language. While Part II does not provide a conclusive argument against the linguistic relativity hypothesis, it is argued that endorsement of linguistic relativity theories often rests on a mistaken assumption to the effect that language and culture are interwoven in a way which makes it impossible to separate culture and language, as well as their respective studies. This assumption is undermined by providing examples of languages which clearly predate their culture or do not even have a culture at all. So, the assumption that language and culture are inextricably intertwined is refuted by way of counterexample. Part III provides an in-depth examination of the Principle of Expressibility – prominently endorsed and formulated by John Searle – which claims that whatever can be thought can also be said. The domains of what can be thought and of what can be said are considered in set theoretic terms in order to determine whether one is contained in the other, so that everything we can think can also be adequately communicated. After thorough study of interpretative issues regarding the Principle of Expressibility and consideration of the most pressing potential counterexamples to the principle, we can conclude that we have good reason to believe in the truth of the Principle of Expressibility. In conclusion, the achieved results are related back to prominent positions in the discussion about thought and language which already make their appearance in the very beginning of this investigation. The final chapter of this dissertation reminds us that eminent figures in philosophy have often taken a wrongheaded perspective on the relation between language and thought, so that language has frequently appeared to be an impediment to thought. We can, however, confidently conclude that language, on the contrary, is by far our most apt means for thought and that reasoning would not even be possible without the resources language provides. (shrink)

This paper provides a reinterpretation of some of the most influential skeptical arguments, Agrippa’s trilemma, meta-regress arguments, and Cartesian external world skepticism. These skeptical arguments are reasonably regarded as unsound arguments about the extent of our knowledge. However, reinterpretations of these arguments tell us something significant about the preconditions and limits of persuasive argumentation. These results contribute to the ongoing debates about the nature and resolvability of deep disagreement. The variety of skeptical arguments shows that we must distinguish different types (...) of deep disagreement. Moreover, the reinterpretation of skeptical arguments elucidates that deep disagreement cannot be resolved via argumentation. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

Holly Smith has done more than anyone to explore and defend the importance of usability for moral theories. In Making Morality Work, she develops a moral theory that is almost universally usable. But not quite. In this article, I argue that no moral theory is universally usable, in the sense that is most immediately relevant to action, even by agents who know all the normative facts. There is no moral theory knowledge of which suffices to settle deliberation about what to (...) do. However, this is unsurprising if the question of what to do is not a question of fact. One upshot of the discussion is that the search for a universally usable moral theory is misconceived. Another is that, contra Smith (341), agents who are radically uncertain need not lack autonomy. (shrink)

What can we know if we take sceptical worries such as the Münchhausen trilemma seriously? Quite a lot, actually - if the world is a certain way, namely if transcendent mediocrity is the case.

Since Aristotle there are two main approaches in the explanation of begging the question (petitio): a dialectical mistake (an improper move in an argumentative dialogue) and an epistemic mistake. According to the latter begging the question is committed when the premises of an argument cannot be known independently of knowing the conclusion of the argument. Dialectical approaches use the notion of a commitment (acceptance, standpoint) and rules of dialogue as their basis. I propose a hybrid model, inspired by Jackson: the (...) rationale for introducing commitments and rules is epistemic. (shrink)

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 Tractatus 5.132 Wittgenstein argues that inferential justification depends solely on the understanding of the premises and conclusion, and is not mediated by any further act. On this basis he argues that Frege’s and Russell’s rules of inference are “senseless” and “superfluous”. This line of argument is puzzling, since it is unclear that there could be any viable account of inference according to which no such mediation takes place. I show that Wittgenstein’s rejection of rules of inference can be motivated (...) by taking account of his holistic construal of the relation between inference and understanding. (shrink)

How is moral knowledge possible? This paper defends the anti-Humean thesis that we can acquire moral knowledge by deduction from wholly non-moral premises. According to Hume’s Law, as it has become known, we cannot deduce an ‘ought’ from an ‘is’, since it is “altogether inconceivable how this new relation can be a deduction from others, which are entirely different from it” (Hume, 1739, 3.1.1). This paper explores the prospects for a deductive theory of moral knowledge that rejects Hume’s Law.

A popular claim in recent philosophy of mind and action is that events only exist once they are over. This has been taken to have the consequence that many temporal phenomena cannot be understood ‘from the inside’, as they are unfolding, purely in terms of events. However, as I argue here, the claim that events exist only when over is incoherent. I consider two ways of understanding the claim and the notion of existence it involves: one that ties existence to (...) the logic of quantification, and another that assimilates the existence of an event to that of a continuant. The first of these, I argue, cannot be the right way to understand the target claim, as there are serious logical obstacles to regarding this notion of existence as temporally variable. The second, on the other hand, leaves it ultimately mysterious what the existence of an event could amount to. I close with the suggestion that the undeniable temporal asymmetries which parties to the debate are interested in are properly understood in perspectival, not ontological, terms. (shrink)

This chapter argues that epistemic uses of the imagination are a sui generis form of reasoning. The argument proceeds in two steps. First, there are imaginings which instantiate the epistemic structure of reasoning. Second, reasoning with imagination is not reducible to reasoning with doxastic states. Thus, the epistemic role of the imagination is that it is a distinctive way of reasoning out what follows from our prior evidence. This view has a number of important implications for the epistemology of the (...) imagination. For one thing, it clarifies the epistemic role of widely invoked “constraints” on the imagination. For another, it highlights important and underappreciated disanalogies between how perceptual experiences and imaginings justify beliefs. Ultimately, the view that we can reason with imagination offers an illuminating and theoretically fruitful framework through which to understand the epistemic structure of the imagination. (shrink)

I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually premise material.

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)