21 found
Order:
  1. How Do Logics Explain?Nicole Wyatt & Gillman Payette - 2018 - Australasian Journal of Philosophy 96 (1):157-167.
    Anti-exceptionalists about logic maintain that it is continuous with the empirical sciences. Taking anti-exceptionalism for granted, we argue that traditional approaches to explanation are inadequate in the case of logic. We argue that Andrea Woody's functional analysis of explanation is a better fit with logical practice and accounts better for the explanatory role of logical theories.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2. Logical Particularism.Nicole Wyatt & Gillman Payette - 2018 - In Jeremy Wyatt, Nikolaj Jang Lee Linding Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. Cham, Switzerland and Basingstoke, Hampshire, UK: Palgrave Macmillan. pp. 277-299.
    Logics—that is to say logical systems—are generally conceived of as describing the logical forms of arguments as well as endorsing cer- tain principles or rules of inference specified in terms of these forms. From this perspective, a correct logic is a system which captures only (and perhaps all) of the correct principles, and good—i.e. logical— reasoning is reasoning which at the level of logical form conforms to the principles of a correct logic. In contrast, as logical particularists we reject the (...)
     
    Export citation  
     
    Bookmark   5 citations  
  3. Against logical generalism.Nicole Wyatt & Gillman Payette - 2019 - Synthese 198 (Suppl 20):4813-4830.
    The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then outline an account of logical consequence in the absence of general logical principles, which we call logical particularism.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  77
    Preface.Jean-Yves Beziau & Gillman Payette - 2008 - Logica Universalis 2 (1):1-1.
  5. Logical Pluralism and Logical Form.Nicole Wyatt & Gillman Payette - 2018 - Logique Et Analyse 61 (241):25-42.
    Disputes about logic are commonplace and undeniable. It is sometimes argued that these disputes are not genuine disagreements, but are rather merely verbal ones. Are advocates of different logics simply talking past each other? In this paper we argue that pluralists (and anyone who sees competing logics as genuine rivals), should reject the claim that real disagreement requires competing logics to assign the same meaning to logical connectives, or the same logical form to arguments. Along the way we argue that (...)
     
    Export citation  
     
    Bookmark   2 citations  
  6.  70
    Remarks on the Scott–Lindenbaum Theorem.Gillman Payette & Peter K. Schotch - 2014 - Studia Logica 102 (5):1003-1020.
    In the late 1960s and early 1970s, Dana Scott introduced a kind of generalization (or perhaps simplification would be a better description) of the notion of inference, familiar from Gentzen, in which one may consider multiple conclusions rather than single formulas. Scott used this idea to good effect in a number of projects including the axiomatization of many-valued logics (of various kinds) and a reconsideration of the motivation of C.I. Lewis. Since he left the subject it has been vigorously prosecuted (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  42
    The Square of Opposition: A General Framework for Cognition.Jean-Yves Beziau & Gillman Payette (eds.) - 2011 - Peter Lang.
    Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. On preserving.Gillman Payette & Peter K. Schotch - 2007 - Logica Universalis 1 (2):295-310.
    . This paper examines the underpinnings of the preservationist approach to characterizing inference relations. Starting with a critique of the ‘truth-preservation’ semantic paradigm, we discuss the merits of characterizing an inference relation in terms of preserving consistency. Finally we turn our attention to the generalization of consistency introduced in the early work of Jennings and Schotch, namely the concept of level.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  22
    7. Preserving Logical Structure.Gillman Payette - 2009 - In Raymond Jennings, Bryson Brown & Peter Schotch (eds.), On Preserving: Essays on Preservationism and Paraconsistent Logic. University of Toronto Press. pp. 105-144.
    In this paper Gillman Payette looks at various structural properties of the underlying logic X, and ascertains if these properties will hold of the forcing relation based on X. The structural properties are those that do not deal with particular connectives directly. These properties include the structural rules of inference, compactness, and compositionality among others. The presentation of the logic X is carried out in the style of algebraic logic; thus, a description of the resulting ‘forcing algebras’ is given. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  15
    6. Preserving What?Peter Schotch & Gillman Payette - 2009 - In Raymond Jennings, Bryson Brown & Peter Schotch (eds.), On Preserving: Essays on Preservationism and Paraconsistent Logic. University of Toronto Press. pp. 85-104.
    In this essay Gillman Payette and Peter Schotch present an account of the key notions of level and forcing in much greater generality than has been managed in any of the early publications. In terms of this level of generality the hoary notion that correct inference is truth-preserving is carefully examined and found wanting. The authors suggest that consistency preservation is a far more natural approach, and one that can, furthermore, characterize an inference relation. But an examination of the usual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  17
    An Evidence Logic Perspective on Schotch-Jennings Forcing.Tyler D. P. Brunet & Gillman Payette - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 135-160.
    Traditional epistemic and doxastic logics cannot deal with inconsistent beliefs nor do they represent the evidence an agent possesses. So-called ‘evidence logics’ have been introduced to deal with both of those issues. The semantics of these logics are based on neighbourhood or hypergraph frames. The neighbourhoods of a world represent the basic evidence available to an agent. On one view, beliefs supported by evidence are propositions derived from all maximally consistent collections evidence. An alternative concept of beliefs takes them to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  37
    Decidability of an Xstit Logic.Gillman Payette - 2014 - Studia Logica 102 (3):577-607.
    This paper presents proofs of completeness and decidability of a non-temporal fragment of an Xstit logic. This shows a distinction between the non-temporal fragments of Xstit logic and regular stit logic since the latter is undecidable. The proof of decidability is via the finite model property. The finite model property is shown to hold by constructing a filtration. However, the set that is used to filter the models isn’t simply closed under subformulas, it has more complex closure conditions. The filtration (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  16
    Ramifications of Imposing Uniform Responsibility on Collective Action.Gillman Payette - 2018 - Logique Et Analyse 243: 237-268.
    The purpose of this paper is to explore the use of van Hees and Braham’s conception of causal responsibility in terms of NESS-conditions in formal models of collective action; NESS means ‘Necessary Element of a Sufficient Set’. In particular, the paper looks at their dictatorship result which arises from imposing uniformresponsibility on game forms which are augmented with a probabilistic component. Analogs for uniform NESS-responsibility are formulated within Belnap et al.’s stit models of agency—for both the instantaneous and past-looking versions. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  38
    Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
    The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and compactness together and expand some concepts which appear in d'Entremont's master's thesis, "Inference and Level." We will (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  84
    Applications of Formal Philosophy: The Road Less Travelled.Gillman Payette & Rafał Urbaniak (eds.) - 2017 - Cham, Switzerland: Springer International Publishing AG.
    This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  26
    A study in the logic of institutions.Gillman Payette - 2012 - Dissertation, University of Calgary
    In my dissertation A Study in the Logic of Institutions I develop a logical system for reasoning about institutions and their consistency. Since my dissertation is a work in logic rather than one in socio-political philosophy, I don’t defend a particular theory of institutions. Instead, I did as Yogi Bera suggested and simply took the fork in the road. A well-developed account of institutions is given by John Searle in ; and. His account bases all social reality on language, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  52
    Getting the Most Out of Inconsistency.Gillman Payette - 2015 - Journal of Philosophical Logic 44 (5):573-592.
    In this paper we look at two classic methods of deriving consequences from inconsistent premises: Rescher-Manor and Schotch-Jennings. The overall goal of the project is to confine the method of drawing consequences from inconsistent sets to those that do not require reference to any information outside of very general facts about the set of premises. Methods in belief revision often require imposing assumptions on premises, e.g., which are the important premises, how the premises relate in non-logical ways. Such assumptions enable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Normative (In)consistency: an Xstit account.Gillman Payette - 2018 - Logic and Logical Philosophy 27 (3):375-413.
    In this paper we take inspiration from a couple of authors on how to think about normative (in)consistency, and then show how to conceive of normative inconsistency in an xstit framework. One view on normative inconsistency is from von Wright, and the other from Hamblin. These two accounts share a conception of normative inconsistency, but their formal frameworks are very different. We propose a way to get the best of both views on normative inconsistency by using an xstit framework, mixed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  35
    Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.
    The purpose of this brief note is to prove a limitative theorem for a generalization of the deduction theorem. I discuss the relationship between the deduction theorem and rules of inference. Often when the deduction theorem is claimed to fail, particularly in the case of normal modal logics, it is the result of a confusion over what the deduction theorem is trying to show. The classic deduction theorem is trying to show that all so-called ‘derivable rules’ can be encoded into (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  46
    Worlds and times: NS and the master argument.Peter K. Schotch & Gillman Payette - 2011 - Synthese 181 (2):295-315.
    In the fourteenth century, Duns Scotus suggested that the proper analysis of modality required not just moments of time but also “moments of nature”. In making this suggestion, he broke with an influential view first presented by Diodorus in the early Hellenistic period, and might even be said to have been the inventor of “possible worlds”. In this essay we take Scotus’ suggestion seriously devising first a double-index logic and then introducing the temporal order. Finally, using the temporal order, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Applied Formal Philosophy: Some Reflections on the Program.Rafal Urbaniak & Gillman Payette - 2017 - In Gillman Payette & Rafał Urbaniak (eds.), Applications of Formal Philosophy: The Road Less Travelled. Cham, Switzerland: Springer International Publishing AG.
    No categories
     
    Export citation  
     
    Bookmark