Comments on an Opinion

Abstract

Wilfrid Hodges' opinion is that some ideas of Peter Schroeder-Heister and the author concerning logical consequence are largely sound and probably uncontroversial, but he criticizes some of their aspects. In this note Hodges' critique of the author is found misplaced.

Open Problems in Proof-Theoretic Semantics

“…Then we say that cI and cE are in strong harmony, if c 1 is isomorphic to c 2 , that is, if there are proofs from c 1 to c 2 and back, such that the composition of these proofs is identical to the identity proof c 1 or c 2 , depending on which side one starts with. 10 In this way, by splitting up c into two connectives, we avoid the explicit translation into IPC2. 11…”