This paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational (...) insight to consequence relations; (iii) logical truths are analytical, a prior and necessary, so not‐revisable; and (iv) logical laws are normative for how to correctly think. However, logical exceptionalism has encountered difficult open problems: What are logical constants? How to justify basic laws of logic? How are logical laws accessible to us? How to explain the reasonability of rival logics and select from them? How to explain the universal applicability of logical laws? How to explain the normativity of logical laws for correct thinking? This paper concludes that logical anti‐exceptionalism is more hopeful to successfully answer these questions than logical exceptionalism. (shrink)

Recently, there has been a significant upsurge of interest in what has come to be known as the 'Adoption Problem', first developed by Saul Kripke in 1974. The problem purports to raise a difficulty for Quine’s anti-exceptionalist conception of logic. In what follows, we first offer a statement of the problem and argue that, so understood, it depends upon natural but resistible assumptions. We then use that discussion as a springboard for developing a different adoption problem, arguing that, for a (...) significant class of basic logical principles, there is indeed a difficulty in seeing how they might be ‘freely adopted,’ thereby vindicating something close to the spirit of Kripke’s original claim. This first part of our argument will enforce a significant qualification of Quine’s claim that basic logical principles can be empirically confirmed. In the concluding sections of the paper, we turn to the question, specifically, of the empirical revisability of logic, arguing that when proper attention is paid to the role of reasoning in theory revision, it does indeed emerge that anti-exceptionalism, in full generality, is untenable. (shrink)

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...) that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable. (shrink)

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

One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my own research.) I believe that realist quantum logic is our best hope for making sense of quantum mechanics, but I have come to suspect that the usual version may not be the correct one. In this paper, I would like to say why and to propose an alternative.

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)