Switch to: Citations

Add references

You must login to add references.
  1. Theory of Logical Calculi. Basis Theory of Consequence Operations.Stephen L. Bloom - 1990 - Journal of Symbolic Logic 55 (3):1324-1326.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Classical Propositional Operators. An Exercise in the Foundations of Logic.Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Notational Variance and Its Variants.Rohan French - 2019 - Topoi 38 (2):321-331.
    What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Anti-Exceptionalism About Logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.
    Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • On the Logic of Reducibility: Axioms and Examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.
    This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'''' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Metaphysical Analyticity and the Epistemology of Logic.Gillian K. Russell - 2014 - Philosophical Studies 171 (1):161-175.
    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.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • .M. E. Warren - 2008 - Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • An Epistemic Account Of Metaphysical Equivalence1.Michaela Markham McSweeney - 2016 - Philosophical Perspectives 30 (1):270-293.
    I argue that, in order for us to be justified in believing that two theories are metaphysically equivalent, we must be able to conceive of them as unified into a single theory, which says nothing over and above either of them. I propose one natural way of precisifying this condition, and show that the quantifier variantist cannot meet it. I suggest that the quantifier variantist cannot meet the more general condition either, and argue that this gives the metaphysical realist a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Does Reductive Proof Theory Have a Viable Rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
    The goals of reduction andreductionism in the natural sciences are mainly explanatoryin character, while those inmathematics are primarily foundational.In contrast to global reductionistprograms which aim to reduce all ofmathematics to one supposedly ``universal'' system or foundational scheme, reductive proof theory pursues local reductions of one formal system to another which is more justified in some sense. In this direction, two specific rationales have been proposed as aims for reductive proof theory, the constructive consistency-proof rationale and the foundational reduction rationale. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Against Reflective Equilibrium for Logical Theorizing.Jack Woods - 2019 - Australasian Journal of Logic 16 (7):319.
    I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The first emphasizes comparing the theoretical virtuousness of developed bodies of logical theories, such as classical and intuitionistic logic. I'll call this whole theory comparison. The second attempts local repairs to problematic bits of our logical theories, such as dropping excluded middle to deal with intuitions about vagueness. I'll call this the piecemeal approach. I then briefly discuss a problem I've developed elsewhere for comparisons of logical theories. Essentially, the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Classical Propositional Operators: An Exercise in the Foundations of Logic.Krister Segerberg - 1982 - Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
    Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Talking with Tonkers.Jared Warren - 2015 - Philosophers' Imprint 15.
    Unrestricted inferentialism holds both that any collection of inference rules can determine a meaning for an expression and meaning constituting rules are automatically valid. Prior's infamous tonk connective refuted unrestricted inferentialism, or so it is universally thought. This paper argues against this consensus. I start by formulating the metasemantic theses of inferentialism with more care than they have hitherto received; I then consider a tonk language — Tonklish — and argue that the unrestricted inferentialist's treatment of this language is only (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.
    Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logical Anti-Exceptionalism and Theoretical Equivalence.John Wigglesworth - 2017 - Analysis 77 (4):759-767.
    Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logical Anti-Exceptionalism and Theoretical Equivalence.John Wigglesworth - 2017 - Analysis 77 (4):768-768.
    _ doi:10.1093/analys/anx072 _, published: 27 June 2017.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
    Only propositional logics are at issue here. Such a logic is contra-classical in a superficial sense if it is not a sublogic of classical logic, and in a deeper sense, if there is no way of translating its connectives, the result of which translation gives a sublogic of classical logic. After some motivating examples, we investigate the incidence of contra-classicality (in the deeper sense) in various logical frameworks. In Sections 3 and 4 we will encounter, originally as an example of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Computation in Non-Classical Foundations?Toby Meadows & Zach Weber - 2016 - Philosophers' Imprint 16.
    The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Translating Between Logics.Neil Dewar - 2018 - Analysis 78 (4):any001.
    In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence. Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Theoretical Equivalence and the Semantic View of Theories.Clark Glymour - 2013 - Philosophy of Science 80 (2):286-297.
    Download  
     
    Export citation  
     
    Bookmark   37 citations