14 found
Order:
  1.  73
    One true logic: a monist manifesto.A. C. Paseau & Owen Griffiths - 2022 - Oxford: Oxford University Press. Edited by A. C. Paseau.
    Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there aredeterminate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  54
    Is English consequence compact?A. C. Paseau & Owen Griffiths - 2021 - Thought: A Journal of Philosophy 10 (3):188-198.
    Thought: A Journal of Philosophy, Volume 10, Issue 3, Page 188-198, September 2021.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Harmonious rules for identity.Owen Griffiths - 2014 - Review of Symbolic Logic 7 (3):499-510.
  4. Problems for Logical Pluralism.Owen Griffiths - 2013 - History and Philosophy of Logic 34 (2):170-182.
    I argue that Beall and Restall's logical pluralism fails. Beall–Restall pluralism is the claim that there are different, equally correct logical consequence relations in a single language. Their position fails for two, related, reasons: first, it relies on an unmotivated conception of the ‘settled core’ of consequence: they believe that truth-preservation, necessity, formality and normativity are ‘settled’ features of logical consequence and that any relation satisfying these criteria is a logical consequence relation. I consider historical evidence and argue that their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  87
    Isomorphism invariance and overgeneration.Owen Griffiths & A. C. Paseau - 2016 - Bulletin of Symbolic Logic 22 (4):482-503.
    The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Ways of Being and Logicality.Owen Griffiths & A. C. Paseau - 2023 - Journal of Philosophy 120 (2):94-116.
    Ontological monists hold that there is only one way of being, while ontological pluralists hold that there are many; for example, concrete objects like tables and chairs exist in a different way from abstract objects like numbers and sets. Correspondingly, the monist will want the familiar existential quantifier as a primitive logical constant, whereas the pluralist will want distinct ones, such as for abstract and concrete existence. In this paper, we consider how the debate between the monist and pluralist relates (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Formal and informal consequence.Owen Griffiths - 2014 - Thought: A Journal of Philosophy 3 (1):9-20.
    The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. (1 other version)Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
    Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  53
    One Logic, Or Many?Owen Griffiths & A. C. Paseau - 2023 - Philosophy Now 154:8-9.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Dissemination Corner: One True Logic.A. C. Paseau & Owen Griffiths - 2022 - The Reasoner 16 (1):3-4.
    A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  74
    Introducing Identity.Owen Griffiths & Arif Ahmed - 2021 - Journal of Philosophical Logic 50 (6):1449-1469.
    The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  86
    Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
    Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Focussed Issue of The Reasoner on Infinitary Reasoning.A. C. Paseau & Owen Griffiths (eds.) - 2022
    A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Propositional logics of logical truth.A. C. Paseau & Owen Griffiths - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.