ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] txtbk on logic

 To: "[ontolog-forum] " Chris Menzel Sun, 22 Jul 2007 12:13:53 -0500 <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) ```
 Current Thread Re: [ontolog-forum] txtbk on logic, Chris Menzel <= Re: [ontolog-forum] txtbk on logic, Waclaw Kusnierczyk Re: [ontolog-forum] txtbk on logic, Chris Menzel Re: [ontolog-forum] txtbk on logic, John F. Sowa Re: [ontolog-forum] txtbk on logic, Chris Menzel