ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] txtbk on logic

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Sun, 22 Jul 2007 12:13:53 -0500
Message-id: <20070722171353.GF6404@xxxxxxxx>
On Wed, Jun 20, 2007 at 08:12:52PM +0200, Waclaw Kusnierczyk wrote:
> has any one of you an opinion on 'introduction to logic' by copi and
> cohen?    (01)

It's OK as a basic, reasonably comprehensive intro logic text for
average students.  That said, IIRC, the natural deduction system they
use is an inelegant hash of primitive rules, derivable rules, and
substitution patterns.  (Admittedly, Copi and Cohen cover more than just
deductive logic.)  In my view, the best general intro to deductive logic
for both average students and good/excellent students is Bergman, Moor,
and Nelson's _The Logic Book_.  This text first builds natural deduction
systems The Right Way :-) using primitive introduction and elimination
rules only, and only thereafter extends the systems by introducing
derived rules, showing in each case *that* the new rule is derivable
from the primitive rules.    (02)

-chris    (03)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

<Prev in Thread] Current Thread [Next in Thread>