|
| Science Forum Index » Logic Forum » References on natural deduction |
|
Page 1 of 1 |
|
| Author |
Message |
| Mike Carroll |
 Posted: Tue May 25, 2004 11:06 am |
|
|
|
Guest
|
For recent treatments in English of natural deduction, I've found:
E.J.Lemmon, "Beginning Logic", 1965, still available in paperback.
Dag Prawitz, "Natural Deduction", 1965, not available at Amazon.
Merrie Bergmann et. al., "The Logic Book", textbook, in print.
I'm looking for a presentation of natural deduction that's more recent
than Lemmon's or Prawitz's, and more scholarly/rigorous than
Bergmann's. Are there books that I've missed, or can anyone suggest
any journal articles?
Thanks.
Mike Carroll |
|
|
| Back to top |
|
|
|
| Paul Holbach |
| Posted: Wed May 26, 2004 7:45 pm |
|
|
|
Guest
|
[quote:b3c15941a1]mcarroll@pobox.com (Mike Carroll) wrote in message news:
6df6a403.0405250906.51333419@posting.google.com>...
[/quote:b3c15941a1]
[quote:b3c15941a1]For recent treatments in English of natural deduction, I've found:
E.J.Lemmon, "Beginning Logic", 1965, still available in paperback.
Dag Prawitz, "Natural Deduction", 1965, not available at Amazon.
Merrie Bergmann et. al., "The Logic Book", textbook, in print.
I'm looking for a presentation of natural deduction that's more recent
than Lemmon's or Prawitz's, and more scholarly/rigorous than
Bergmann's. Are there books that I've missed, or can anyone suggest
any journal articles?
[/quote:b3c15941a1]
The following is recommendable:
Guttenplan, Samuel (1997). /The languages of logic: An introduction to
formal logic/ (2nd ed.). Oxford: Blackwell.
PH |
|
|
| Back to top |
|
|
|
| Mike Carroll |
| Posted: Thu May 27, 2004 5:08 pm |
|
|
|
Guest
|
| Thanks, Paul, I'll add that to my list. |
|
|
| Back to top |
|
|
|
|
|
All times are GMT - 5 Hours
The time now is Sat Jul 31, 2010 4:36 pm
|
|
