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

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

According to constitutivism, we can justify the authority of aims and norms on the ground that they are inescapable. Constitutivist views divide between ambitious and modest ones. According to ambitious constitutivism, the inescapability of aims grounds their unconditional authority, whereas according to modest constitutivism, the inescapability of aims only grounds their conditional authority. Either way, both forms of constitutivism share the assumption that inescapability grounds authority, which in turn presupposes that at the foundation of normativity we find aims and norms (...) that can be evaluated as having or lacking authority. In this paper I shall defend a form of constitutivism that rejects this assumption. According to this view, which I shall call Hinge Constitutivism, at the foundation of epistemic normativity we find an aim, the truth-aim, that is altogether beyond the evaluation in terms of the ordinary notion of authority. Moreover, I shall argue that to aim at truth is a condition of possibility for justifying the authority of any other aims or norms. In this sense, to aim at truth is a hinge of deliberation. (shrink)

Summary: The paper provides an argument for modal primitivism, the view that necessity is not defined and is therefore part of the structure of reality. It then raises the explanation-challenge for primitivists: how can modal truths be explained by hyper-intensional truths, if necessity is not defined in terms of hyper-intensional phenomena? To address the challenge, the paper introduces 'sophisticated modal primitivism' which gives a substantive analysis of the notion of a 'source of necessity'. The final part of the paper offers (...) some applications of that novel piece of ideology. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

ABSTRACTThis paper discusses the normativity of truth and logic. The paper has three objectives. First, I argue that logic is normative for thought in the sense of underwriting instrumental rationality. Logic is a good instrument for achieving truth, the goal of cognition. In recent work, Filippo Ferrari has argued that the normative nature of truth may vary across domains. My second aim is to extend this idea to logic, against the background of the idea that logic serves to underwrite instrumental (...) rationality. The third objective is to further develop Ferrari’s framework of normative alethic variability. I do so through a discussion of the normative problem of mixed compounds: the challenge of providing a principled account of the normativity of compounds with constituents whose respective normative profiles differ. I argue that the challenge can be met. Besides offering a solution to a major challenge, the response offered sheds new light on the normative variability framework: the truth of a single mixed compound may have different normative profiles across different ‘disagreement-realizers’. This feature of the view is rooted in a key commitment of the normative variability framework – namely, that disagreement and alethic normativity are intimately connected. (shrink)

There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking. On the second, these laws are formal criteria for being a thought, and violating them makes a putative thought not a thought. These traditions are in tension, in so far as the first depends on the possibility of thoughts that (...) violate these laws, and the second makes violation impossible. In this essay I develop an interpretation of Kant’s pure general logic that overcomes this tension. It accounts for the possibility of logical mistakes, as the first tradition does, while still establishing the absolute impossibility of logical aliens, as the second tradition does. I then argue that the formalist insight that illogical exercises of the understanding are not alternative ways coherent thoughts could have been, but are mere confusions, is fundamental for achieving a proper understanding of the absolute normativity of the laws of pure general logic. (shrink)

Abstract‘Logical Realism’ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ‘One True Logic’; second, that the One True Logic is made true by the mind‐and‐language‐independent world; and third, that the mind‐and‐language‐independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, (...) I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism. (shrink)

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

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

What is the function of modal judgment? Why do we make judgments of possibility and necessity? Or are such judgments, in fact, dispensable? This paper introduces and develops an answer to these questions based on Kant’s remarks in section 76 of the Critique of Judgment. Here, Kant appears to argue the following: that a capacity to make modal judgments using modal concepts is required for a capacity for objective representation, in light of our split cognitive architecture. This split cognitive architecture (...) leaves room for a mismatch between our concepts and intuitions and, Kant argues, that is why we need modal concepts and modal judgments. In this paper, I develop this account of the function of modal judgment and to explore the extent to which it may improve upon contemporary alternatives. I focus on one particularly important challenge for the account: to explain why a distinction between the actual and the possible, rather than merely a distinction between the actual and the non-actual, is required. In order to answer this question, I supplement the account with a particular way of thinking about objectivity. (shrink)

In her 1938 paper ‘Logical and Metaphysical Necessity’, Martha Kneale introduces the necessary a posteriori. I present a critical summary of Kneale's argument that so-called ‘metaphysical propositions’ are necessary but not a priori. I argue that Kneale is well placed to offer a template for reconciling conceivability approaches to modal epistemology with the post-Kripkean trend for taking metaphysical necessities to have their source in mind-independent reality.

Cuneo and Shafer-Landau have argued that there are moral conceptual truths that are substantive and non-vacuous in content, what they called ‘moral fixed points’. If the moral proposition ‘torturing kids for fun is pro tanto wrong’ is such a conceptual truth, it is because the essence of ‘wrong’ necessarily satisfies and applies to the substantive content of ‘torturing kids for fun’. In critique, Killoren :165–173, 2016) has revisited the old skeptical ‘why be moral?’ question and argued that the moral fixed (...) points give us no reason to care about morality and, therefore, they are normatively irrelevant. He concluded that this is a counterintuitive implication that undermines the proposal. In this paper, I develop a rejoinder to Killoren’s argument that explains why, at least from the perspective of the moral fixed points framework, if the moral fixed points exist, they are necessarily normatively relevant for rational agents. I supplement this explanation with an explanation of why it might prima facie appear that moral fixed points are not normatively relevant, although ultima facie they are relevant. The supplementary explanation explains prima facie normative irrelevance as the upshot of failures of rational agency. I conclude that the moral fixed points, can, in principle, offer an interesting response to the skeptical ‘why be moral?’ question’. (shrink)

Skeptical invariantism does not account for the intuitive connections between knowledge, assertion, and practical reasoning and this constitutes a significant problem for the position because it does not save corresponding epistemic appearances (cf. Hawthorne (2004:131-5)). Moreover, it is an attraction of fallibilist over infallibilist-skeptical views that they can easily account for the epistemic appearances about the connections between knowledge, assertion, and practical reasoning (cf. Williamson (2000:249-255)). Call this argument ‘the argument from the knowledge norm’. I motivate and develop a Humean, (...) pragmatist strategy for a skeptical response to ‘the argument from the knowledge norm’. Afterwards I outline a ‘toy’ version of pragmatic skepticism that can implement the strategy and save our everyday practice of assertion and practical reasoning. To this effect, I distinguish between assertibility conditions and truth conditions for ‘know’ and suggest that while assertibility conditions are pragmatic conditions sensitive to practical exigencies, truth conditions are semantic conditions sensitive only to truth. I briefly respond to three objections and conclude that pragmatic skepticism is resourceful enough to save our everyday practice of (fallibilist) assertion and practical reasoning and, hence, pay some due respect to corresponding epistemic appearances. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

A common feature of all versions of constitutivism is the “simple constitutivist move” to the effect that engagement in any enterprise requires respecting the constitutive standards of the enterpri...

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

Logical realism is the metaphysical view asserting that the facts of logic exist and are mind-and-language independent. McSweeney argues that if logical realism is true, we encounter a dilemma. Either we cannot determine which of the two logically equivalent theories holds a fundamental status, or neither theory can be considered fundamental. These two conclusions together constitute what is known as the Unfamiliarity Dilemma, which poses significant challenges to our understanding of the epistemological and metaphysical features of logic. In this article, (...) I present two strategies to address McSweeney’s dilemma. If these arguments prove effective, they would demonstrate that our knowledge of logic is not susceptible to the skeptical concerns raised by McSweeney’s hypothesis. (shrink)

According to received wisdom, Kant takes the laws of logic to be normative laws of thought. This has been challenged by Tolley (2006). In this paper, I defend the received wisdom, but with an important modification: Kant's logical laws are constitutive norms for thought. The laws of logic do tell us what thinking is, not because all thoughts are in conformity with logical laws, but because all thoughts are, by nature, subject to the standard of logic.

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)

(1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) I argue that, while (...) this line of thought provides some insights, it is importantly incomplete, as it is unable to explain why we should think. I consider two attempts at rescuing the line of thought. The first, unsuccessful response is that it is self-defeating to ask why we ought to think. The second response is that we need to think. But this response secures normativity only if thinking has some connection to human flourishing. (4) I argue that thinking is necessary for human flourishing. Logic is normative because it is constitutive of this good. (5) I show that the resulting account deals nicely with problems that vex other accounts of logical normativity. (shrink)