[Top] [All Lists]

[ontolog-forum] Book on logic

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 20 Sep 2009 21:35:05 -0400
Message-id: <4AB6D849.7000101@xxxxxxxxxxx>
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 four-dimensional 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 Two-dimensional modal logic    253    (024)

References    272    (025)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (026)

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