6 found
Order:
Disambiguations
Thomas Macaulay Ferguson [5]Thomas Ferguson [1]
See also
Thomas Ferguson
City University of New York
  1. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  2. Finding Middle Ground Between Intellectual Arrogance and Intellectual Servility: Development and Assessment of the Limitations-Owning Intellectual Humility Scale.Megan Haggard, Daniel Howard-Snyder, Wade C. Rowatt, Joseph C. Leman, Benjamin Meagher, Courtney Lomax, Thomas Ferguson, Heather Battaly, Jason Baehr & Dennis Whitcomb - 2018 - Personality and Individual Differences 124:184-193.
    Recent scholarship in intellectual humility (IH) has attempted to provide deeper understanding of the virtue as personality trait and its impact on an individual's thoughts, beliefs, and actions. A limitations-owning perspective of IH focuses on a proper recognition of the impact of intellectual limitations and a motivation to overcome them, placing it as the mean between intellectual arrogance and intellectual servility. We developed the Limitations-Owning Intellectual Humility Scale to assess this conception of IH with related personality constructs. In Studies 1 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
    In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
    We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, Priest's Collapsing (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  42
    Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - forthcoming - Notre Dame Journal of Formal Logic.
    In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...)
    Download  
     
    Export citation  
     
    Bookmark