Now showing items 1-2 of 2

    • Harmonic inferentialism and the logic of identity 

      Read, Stephen (2016-02-09) - Journal article
      Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical ...
    • Proof-theoretic validity 

      Read, Stephen (Oxford University Press, 2015-05-14) - Book item
      The idea of proof-theoretic validity originated in the work of Gerhard Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules, and that the elimination-rules were ...