[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