Switch to: References

Add citations

You must login to add citations.
  1. The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization.Thomas Macaulay Ferguson - 2020 - Logic Journal of the IGPL 28 (5):912-935.
    In this paper, we consider some contributions to the model theory of the logic of formal inconsistency $\mathsf{QmbC}$ as a reply to Walter Carnielli, Marcelo Coniglio, Rodrigo Podiacki and Tarcísio Rodrigues’ call for a ‘wider model theory.’ This call demands that we align the practices and techniques of model theory for logics of formal inconsistency as closely as possible with those employed in classical model theory. The key result is a proof that the Keisler–Shelah isomorphism theorem holds for $\mathsf{QmbC}$, i.e. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Monstrous Content and the Bounds of Discourse.Thomas Macaulay Ferguson - 2022 - Journal of Philosophical Logic 52 (1):111-143.
    Bounds consequence provides an interpretation of a multiple-conclusion consequence relation in which the derivability of a sequent is understood as the claim that it is conversationally out-of-bounds to take a position in which each member of Γ is asserted while each member of Δ is denied. Two of the foremost champions of bounds consequence—Greg Restall and David Ripley—have independently indicated that the shape of the bounds in question is determined by conversational practice. In this paper, I suggest that the standard (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.
    J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, but (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations