[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
http://www.rep.routledge.com/article/Y014SECT1
Best, Panu
Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
University of Helsinki
Finland
E-mail: panu.raatikainen at helsinki.fi
http://www.mv.helsinki.fi/home/praatika/
More information about the FOM
mailing list