ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] txtbk on logic

To: Chris Menzel <cmenzel@xxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sun, 22 Jul 2007 19:46:50 +0200
Message-id: <46A3980A.4010806@xxxxxxxxxxx>
Thanks.    (01)

The one you propose has some nasty comments on amazon, perhaps from 
less-than-average students.    (02)

vQ    (03)

Chris Menzel wrote:
> 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?
> 
> 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.    (04)


_________________________________________________________________
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    (05)

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