Now showing items 1-5 of 5

    • 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 ...
    • 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 ...
    • Some remarks on proof-theoretic semantics 

      Dyckhoff, Roy (Springer, 2016) - Book item
      This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that ...
    • The structure of logical consequence : proof-theoretic conceptions 

      Hjortland, Ole T. (University of St Andrews, 2010-06-25) - Thesis
      The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of ...