Now showing items 1-2 of 2

    • General-elimination stability 

      Jacinto, Bruno Miguel; Read, Stephen Louis (2017-04) - Journal article
      General-elimination harmony articulates Gentzen's idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the ...
    • Models for hylomorphism 

      Jacinto, Bruno Miguel; Cotnoir, Aaron (2019-03-11) - Journal article
      In a series of papers (Fine et al., 1982; Fine, Noûs28(2), 137–158; 1994, Midwest Studies in Philosophy, 23, 61–74, 1999) Fine develops his hylomorphic theory of embodiments. In this article, we supply a formal semantics ...