Return to Coronet Books main page
Identity of Proofs
By Filip Widebäck
Almqvist & Wiskell International
85 pages, illustrated
$47.50 paper original
In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts: soundness (bh-equivalent proofs are identical) and completeness (identical proofs are bh-equivalent). It is argued that soundness cannot be mathematically proved, that it must be taken for granted or rejected. Completeness, on the other hand, must be proved or disproved, although the question is not mathematically precise. The main result of this Ph.D. thesis is that the completeness part of the conjecture is true for the system of minimal implication logic, assuming soundness. The thesis also contains a new proof of so-called confluence and a conjecture characterizing bh-equivalence in a new way.
Stockholm Studies in Philosophy, No. 22