On distinguishing proof-theoretic consequence from derivability

Nissim Francez


The paper argues that proof-theoretic logical consequence should not be identified with derivability if the programme of proof-theoretic semantics is adhered to.

Consequence is argued to be based on the central concept ofb a theory of meaning.

- In model theoretic semantics, the central concept is truth, hence consequence is defined as preservation of truth.

- In proof theoretics semantics, the central concept is grounds for assertion, obtained by canonical derivability.

Consequence should be identified with preservation (or propagation) of grounds.

The paper discusses some consequences of this view.


See the paper


  • There are currently no refbacks.