Skip to main content

On Inversion Principles

Buy Article:

$51.63 plus tax (Refund Policy)


The idea of an 'inversion principle', and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working in natural deduction calculi, he formulated a general type of schematic introduction rules to be matched - thanks to the idea supporting the inversion principle - by a corresponding general schematic Elimination rule. This was an attempt to provide a solution to the problem suggested by the often quoted note of Gentzen. According to Gentzen 'it should be possible to display the elimination rules as unique functions of the corresponding introduction rules on the basis of certain requirements'. Many people have since worked on this topic, which can be appropriately seen as the birthplace of what are now referred to as "general elimination rules", recently studied thoroughly by Sara Negri and Jan von Plato. In this study, we retrace the main threads of this chapter of proof-theoretical investigation, using Lorenzen's original framework as a general guide.

Document Type: Research Article


Affiliations: Dipartimento di Filosofia, Pisa, Italia

Publication date: May 1, 2008

More about this publication?

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more