Since logic has been a frequent topic of discussion in this forum,
everybody has probably had a fair amount of exposure to logic.
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.
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.
Anyone who has forgotten their college courses on math and logic
might find it useful to read the following short review: http://www.jfsowa.com/logic/math.htm
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.
And by the way, if you like the following book, you might want
to read an already published book on four-dimensional ontology
by the same author: http://ukcatalogue.oup.com/product/9780199263523.do
Logic for Philosophy
by Theodore Sider
1 Nature of Logic 1
2 Propositional Logic 18
Variations and Deviations from PL 52
4 Predicate Logic 71
5 Extensions of Predicate Logic 80
6 Propositional Modal Logic 103
7 Variations on MPL 172
8 Counterfactuals 190
9 Quantified Modal Logic 224
10 Two-dimensional modal logic 253
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx