Since logic has been a frequent topic of discussion in this forum,
everybody has probably had a fair amount of exposure to logic. (01)
But some of the discussions often go into many details about logic
that are not covered in an introductory course. I recently came
across a draft of a textbook that introduces many of those details.
See the end of this note for the URL and table of contents. (02)
Note that the book was written for philosophers. That means that it
puts more emphasis on the meaning of the logic and less emphasis on
mathematics. However, it does use a lot of mathematical symbols. (03)
Anyone who has forgotten their college courses on math and logic
might find it useful to read the following short review: (04)
http://www.jfsowa.com/logic/math.htm (05)
It's not necessary to read this review from start to finish, nor
is it necessary to read the following book from start to finish.
If you know some topic, just skip it, but return to the review
for more background if you get lost in reading the later material. (06)
And by the way, if you like the following book, you might want
to read an already published book on fourdimensional ontology
by the same author: (07)
http://ukcatalogue.oup.com/product/9780199263523.do (08)
John Sowa
____________________________________________________________________ (09)
Source: http://homepages.nyu.edu/~ts65/books/lfp/lfp.pdf (010)
Logic for Philosophy (011)
by Theodore Sider (012)
Contents (013)
Preface (014)
1 Nature of Logic 1 (015)
2 Propositional Logic 18 (016)
3 Variations and Deviations from PL 52 (017)
4 Predicate Logic 71 (018)
5 Extensions of Predicate Logic 80 (019)
6 Propositional Modal Logic 103 (020)
7 Variations on MPL 172 (021)
8 Counterfactuals 190 (022)
9 Quantified Modal Logic 224 (023)
10 Twodimensional modal logic 253 (024)
References 272 (025)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontologforum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontologforum/
Unsubscribe: mailto:ontologforumleave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgibin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontologforum@xxxxxxxxxxxxxxxx (026)
