About this topic
Summary The epistemology of logic focuses on issues concerning the normative status of our beliefs about logical truth and logical validity. It seems that we know that certain claims are logically true and that certain arguments are logically valid. What explains this knowledge? This question is an instance of a more general question about what explains our knowledge of (apparent) a priori truths. It is also closely connected to issues in the epistemology of modality, since logical truths are necessarily true. A long tradition in the epistemology of logic has it that logical truths are analytic -- that is, "true in virtue of meaning". In the middle of the twentieth century, Quine challenged this view. He argued that logical and mathematical claims are empirical claims that can in principle be revised on empirical grounds. In recent years, there have been a number of different proposals put forward about our knowledge of logic. Some philosophers follow Quine in viewing logic as empirical. Other philosophers have tried to rehabilitate the analytic theory of our knowledge of logic. Still other philosophers have appealed to intuitions or rational seemings to explain our knowledge of logic.
Key works For Quine's critique of the analytic theory of logical knowledge, see Quine 1936 and Quine 1960Putnam 1968 argues that logic is empirically reviseable.  Haack 1974 discusses Quine's views, in the context of a discussion of alternative logics. BonJour 1998 presents a theory of a priori knowledge based on rational insight. Boghossian 2000 and Boghossian 2001 are part of a sequence of papers trying to rehabilitate the analytic theory of logical knowledge. See Wright 2001 and Wright 2004 for a discussion of the role of intuitions in logical knowledge. Also see the key works for "Deductive Reasoning".
Introductions Boghossian 2000 provides an opinionated introduction to views in the epistemology of logic. BonJour 1998 provides an in depth discussion of theories of the apriori that is highly relevant to the case of logical knowledge. Field 2005 discusses some recent debates concerning the a priori in general and logical and mathematical knowledge in particular.
Related

Contents
212 found
Order:
1 — 50 / 212
  1. On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - manuscript
    The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Ebert on Boghossian’s template and transmission failure.Alessia Marabini & Luca Moretti - manuscript
    Boghossian (1996) has put forward an interesting explanation of how we can acquire logical knowledge via implicit definitions that makes use of a special template. Ebert (2005) has argued that the template is unserviceable, as it doesn't transmit warrant. In this paper, we defend the template. We first suggest that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. We then reject Ebert’s objection by showing that it depends on an implausible and incoherent assumption.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. God, Logic and Evolution.Jan-A. Riemersma - manuscript
  5. Justification logic.Melvin Fitting - manuscript
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Logical Inference and Its Dynamics.Carlotta Pavese - June 2016 - In Tamminga Allard, Willer Malte & Roy Olivier (eds.), Deontic Logic and Normative Systems. College Publications. pp. 203-219.
    This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality.Frederik J. Andersen - forthcoming - Australasian Journal of Logic.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. Inferential Quantification and the ω-rule.Constantin C. Brîncuș - forthcoming - In Antonio D’Aragona (ed.), Perspectives on Deduction.
    Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Debunking Arguments: Mathematics, Logic, and Modal Security.Justin Clarke-Doane - forthcoming - In Robert Richards and Michael Ruse (ed.), The Cambridge Handbook of Evolutionary Ethics. Cambridge University Press.
    I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct reason (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. How to Adopt a Logic.Daniel Cohnitz & Carlo Nicolai - forthcoming - Dialectica.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Evidence in Logic.Ben Martin & Ole Thomassen Hjortland - forthcoming - In Maria Lasonen-Aarnio & Clayton M. Littlejohn (eds.), Routledge Handbook of the Philosophy of Evidence. Routledge.
    The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Is Philosophy Exceptional? A Corpus-Based, Quantitative Study.Moti Mizrahi & Michael Adam Dickinson - forthcoming - Social Epistemology.
    Drawing on the epistemology of logic literature on anti-exceptionalism about logic, we set out to investigate the following metaphilosophical questions empirically: Is philosophy special? Are its methods (dis)continuous with science? More specifically, we test the following metaphilosophical hypotheses empirically: philosophical deductivism, philosophical inductivism, and philosophical abductivism. Using indicator words to classify arguments by type (namely, deductive, inductive, and abductive arguments), we searched through a large corpus of philosophical texts mined from the JSTOR database (n = 435,703) to find patterns of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Trying to adjunct without knowing how: adjunction and the adoption problem.Peter Susanszky - forthcoming - Analysis.
    The adoption question asks whether there are logical rules that cannot be adopted if one does not already infer in accordance with them. Several philosophers, most famously Saul Kripke and Romina Padró, agree that there are such rules. Accordingly, they agree that there is an adoption problem. However, there is disagreement over which rules are unadoptable. In particular, while most agree that if there is an adoption problem, modus ponens and universal instantiation are in its scope, many would exclude adjunction (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.
    This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are so good at resolving disputes about validity, and that of whether rigorous proofs are necessarily formalizable.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Newton da Costa on Hypothetical Models in Logic and on the Modal Status of Logical Laws.Jonas Rafael Becker Arenhart - 2022 - Axiomathes 32 (6):1191-1211.
    This paper has three aims: first, to present in a clear way Newton da Costa’s argument against the necessity of logical laws. In order to do so, we need to clearly advance his views on the idea that logic is context-relative, and not known a priori. Doing so, however, requires that we present his methodology for the development of counter-examples to logical laws: the use of hypothetical models in logic. Given that this method has been overlooked in most discussions on (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Logical anti‐exceptionalism meets the “logic‐as‐models” approach.Jonas R. Becker Arenhart - 2022 - Theoria 88 (6):1211-1227.
    Logical anti-exceptionalism is the view that logic is not special, it is continuous with science. This continuity is typically understood in terms of the use of the abductive method in logical theory choice, with logical knowledge resulting from our choice of the theory best accounting for the data. In this paper, we argue for two related claims: (i) that this understanding of the continuity between logic and science faces considerable challenges; and (ii) that such challenges may be avoided by elaborating (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Anti-exceptionalism and the justification of basic logical principles.Matthew Carlson - 2022 - Synthese 200 (3):1-19.
    Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18. The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.
    Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Logical Aliens? Eine Verallgemeinerung und Verteidigung der Psychologismus-Kritik Freges gegen Wittgensteins Naturalismus.Ufuk Özbe - 2022 - Zeitschrift für Philosophische Forschung 76 (4):580-605.
    The fundamental laws of logic hold independently of us. Thus, if there were beings who thought in contradiction to these laws, they would be in error. The paper defends this stance of Frege's against Wittgenstein's combination of logical constitutivism and logical naturalism. Frege's arguments against psychologism are more general than his usual wording suggests and are, at their core, directed against the whole of logical naturalism. Contrary to prevailing opinions on this subject, I argue that constitutivism alone cannot deflect Frege's (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Correction to: Metaphysical analyticity and the epistemology of logic.Gillian K. Russell - 2022 - Philosophical Studies 179 (7):2417-2418.
    Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Does Anti-exceptionalism about Logic Entail that Logic is A Posteriori?Jessica M. Wilson & Stephen Biggs - 2022 - Synthese 200 (3):1-17.
    The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of abduction is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. XIII—Knowing How to Reason Logically.Corine Besson - 2021 - Proceedings of the Aristotelian Society 121 (3):327-353.
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Logical Maximalism in the Empirical Sciences.Constantin C. Brîncuș - 2021 - In Parusniková Zuzana & Merritt David (eds.), Karl Popper's Science and Philosophy. Springer. pp. 171-184.
    K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Dogramaci’s deflationism about rationality.Jason A. DeWitt - 2021 - Synthese 199 (1-2):4437-4455.
    Just as Quine and others have argued for a deflationism about the property of truth, Sinan Dogramaci has argued for a deflationism about rationality. Specifically, Dogramaci claims that we have no reason to think that the basic, deductive, epistemic rules we call “rational” have any sort of “unifying property.” A “unifying property” is a property that is necessary, sufficient, and explanatorily illuminating. My goal in this paper is to undermine Dogramaci’s argument for this radical position. I do this by first (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.
    Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Reasoning and grasping objects.Rea Golan - 2021 - European Journal of Philosophy 29 (4):699-711.
    There is a pervasive view that inference—as opposed, notably, to a grasp of objects—is an intralinguistic process that does not draw on extralinguistic resources. The present paper aims to show that this dichotomy between inferring and grasping objects can be resisted. Specifically, I offer an alternative view: a phenomenological account according to which our most basic inferences draw on our grasp of objects. I motivate this account on the grounds that, although it is restricted to such basic inferences, it has (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Limits of Abductivism About Logic.Ulf Hlobil - 2021 - Philosophy and Phenomenological Research 103 (2):320-340.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  28. The unrevisability of logic.Thomas Hofweber - 2021 - Philosophical Perspectives 35 (1):251-274.
    Can it ever be rational to revise one's own logic by one's own lights? In this paper I argue that logic is never rationally revisable, even if one's own logic gives rise to paradoxes and allows one to derive any conclusion whatsoever. Instead of revising logic, we need to revise a certain widely held position in the philosophy of logic, one tied to the standard conception of validity and to the alleged monotonicity of deductive reasoning. I develop the alternative conception (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Belief, Inference, and the Self-Conscious Mind.Eric Marcus - 2021 - Oxford, United Kingdom: Oxford University Press.
    It is impossible to hold patently contradictory beliefs in mind together at once. Why? Because we know that it is impossible for both to be true. This impossibility is a species of rational necessity, a phenomenon that uniquely characterizes the relation between one person's beliefs. Here, Eric Marcus argues that the unity of the rational mind--what makes it one mind--is what explains why, given what we already believe, we can't believe certain things and must believe certain others in this special (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. The Cost of Closure: Logical Realism, Anti-Exceptionalism, and Theoretical Equivalence.Michaela M. McSweeney - 2021 - Synthese 199:12795–12817.
    Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  31. Logical theory revision through data underdetermination: an anti-exceptionalist exercise.Sanderson Molick - 2021 - Principia: An International Journal of Epistemology 25 (1).
    The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. Are Rules of Inference Superfluous? Wittgenstein vs. Frege and Russell.Gilad Nir - 2021 - Teorema: International Journal of Philosophy 40 (2):45-61.
    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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Should pluralists be pluralists about pluralism?Robert Passmann - 2021 - Synthese 199 (5-6):12663-12682.
    How many correct logics are there? Monists endorse that there is one, pluralists argue for many, and nihilists claim that there are none. Reasoning about these views requires a logic. That is the meta-logic. It turns out that there are some meta-logical challenges specifically for the pluralists. I will argue that these depend on an implicitly assumed absoluteness of correct logic. Pluralists can solve the challenges by giving up on this absoluteness and instead adopt contextualism about correct logic. This contextualism (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Reasoning and Presuppositions.Carlotta Pavese - 2021 - Philosophical Topics 49 (2):203-224.
    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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Arithmetic, Logicism, and Frege’s Definitions.Timothy Perrine - 2021 - International Philosophical Quarterly 61 (1):5-25.
    This paper describes both an exegetical puzzle that lies at the heart of Frege’s writings—how to reconcile his logicism with his definitions and claims about his definitions—and two interpretations that try to resolve that puzzle, what I call the “explicative interpretation” and the “analysis interpretation.” This paper defends the explicative interpretation primarily by criticizing the most careful and sophisticated defenses of the analysis interpretation, those given my Michael Dummett and Patricia Blanchette. Specifically, I argue that Frege’s text either are inconsistent (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36. Logical ignorance and logical learning.Richard Pettigrew - 2021 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37. Logic and science: science and logic.Marcus Rossberg & Stewart Shapiro - 2021 - Synthese 199 (3-4):6429-6454.
    According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Buddhist Logic from a Global Perspective.Koji Tanaka - 2021 - In Inkeri Koskinen, David Ludwig, Zinhle Mncube, Luana Poliseli & Luis Reyes-Galindo (eds.), Global Epistemologies and Philosophies of Science. London: Routledge. pp. 274-285.
    Buddhist philosophers have developed a rich tradition of logic. Buddhist material on logic that forms the Buddhist tradition of logic, however, is hardly discussed or even known. This article presents some of that material in a manner that is accessible to contemporary logicians and philosophers of logic and sets agendas for global philosophy of logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Realism, reliability, and epistemic possibility: on modally interpreting the Benacerraf–Field challenge.Brett Topey - 2021 - Synthese 199 (1-2):4415-4436.
    A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Abstraction without exceptions.Luca Zanetti - 2021 - Philosophical Studies 178 (10):3197-3216.
    Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Non-Boolean classical relevant logics II: Classicality through truth-constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.
    This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. On the very idea of choosing a logic: the role of the background logic.Jonas R. B. Arenhart & Sanderson Molick - 2020 - In Alexandre Costa-Leite (ed.), Abstract Consequence and Logics - Essays in Honor of Edélcio G. de Souza. London, UK: College Publications. pp. 267-286.
    Logical anti-exceptionalism is the view that logic is not special among the sciences. In particular, anti-exceptionalists claim that logical theory choice is effected on the same bases as any other theory choice procedure, i.e., by abduction, by weighting pros and cons of rival views, and by judging which theory scores best on a given set of parameters. In this paper, we first present the anti-exceptionalists favourite method for logical theory choice. After spotting on important features of the method, we discuss (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. Identifying logical evidence.Ben Martin - 2020 - Synthese 198 (10):9069-9095.
    Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  44. Logical Predictivism.Ben Martin & Ole Hjortland - 2020 - Journal of Philosophical Logic 50 (2):285-318.
    Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  45. Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Toronto
    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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Lateralism – The Globalization of US Hegemony after World War II.Yang Immanuel Pachankis - 2020 - Dissertation, Communication University of China
    This is a preliminary search and research of world order and global politics. It is history-based and examines the concept of globalization as a result of causes. The prevailing hegemonic power of United States is constituted of physical presence of troops, financial power, and most importantly, predominance in lateralized power in governance bodies around the world. Time is never linear per se in concept or in discoveries, sovereignty as so. The preeminence of space entities and discoveries of planet management is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.
    Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.
    Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. Quine vs. Quine: Abstract Knowledge and Ontology.Gila Sher - 2020 - In Frederique Janssen-Lauret (ed.), Quine, Structure, and Ontology. Oxford: Oxford. pp. 230-252.
    How does Quine fare in the first decades of the twenty-first century? In this paper I examine a cluster of Quinean theses that, I believe, are especially fruitful in meeting some of the current challenges of epistemology and ontology. These theses offer an alternative to the traditional bifurcations of truth and knowledge into factual and conceptual-pragmatic-conventional, the traditional conception of a foundation for knowledge, and traditional realism. To make the most of Quine’s ideas, however, we have to take an active (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. Intuitions in logic: a moderate proposal.Diego Tajer - 2020 - Revista de Humanidades de Valparaíso 16:239-253.
    Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don’t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 212