[FOM] A textbook on logic with natural deduction

[praatika@mappi.helsinki.fi]

> Andrej Bauer wrote:

>> Can
>> someone recomment a good textbook or available lecture notes that are
>> written in natural-deduction style (trees, not proof boxes, I know I
>> should have used boxes... but it is too late for this year)?

I understand you need something quite elementary, and not tableaux,  
but just ordinary Gentzen-style natural deduction in tree form (?).

There isn't  really an ideal book, as far as I know.

Neil Tennant's Natural Logic is likely a bit too advanced, but the  
chapter on natural deduction may still be readable and useful.

I know Volker Halbach (Oxford) is working on a book of this type, see
http://users.ox.ac.uk/~sfop0114/manual/index.htm
see esp. lecture 6

There are some links here, under "Natural deduction"
http://sakharov.net/foundation.html


I recall that, as a student, I myself found helpful the chapter  
"Systems of Deduction" by Göran Sundholm, in Handbook of Philosophical  
Logic (vol 1 in the 1st ed., vol 2 in the 2nd ed.)


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/