[FOM] infinite logical derivations

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Mon Aug 20 02:40:12 EDT 2007

Lainaus Ron Rood <ron.rood at planet.nl>:

> Are there studies of logics in the style of Hilbert or Gentzen (natural 
> deduction) which, in one way or another, allow for logical derivations 
> of infinite length? If yes, can you provide me with pointers to the 
> literature?

There is a really nice entry about these isssues by Allen Hazen in the 
Routledge Encyclopedia of Philosophy:

HAZEN, A.P. (1998). "Non-constructive rules of inference". 
In E. Craig (Ed.), Routledge Encyclopedia of Philosophy. London: 
Routledge. Retrieved July 15, 2003, from 

Best, Panu

Panu Raatikainen

Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy

Department of Philosophy
University of Helsinki

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list