Logic for Philosophy

A draft textbook by Theodore Sider aimed at philsophy graduate students that while not as technical as computer scientists are used to, may be of interest due to the explicit discussion of extensions (e.g., modal operators), deviations (e.g., multi-valued logic) and variations (such as the Sheffer Stroke) on basic propositional logic.

The book includes chapters on counterfactuals and two-dimensional modal logic that may include material new to PLT wonks.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Multi-valued logic...

...seems like it would be applicable in the Comp. Sci. field: an "undefined" truth value could be put into practice within, say, an optimizing compiler's implementation, to determine what can and cannot be determined at compile-time, such as user input situations or what-not. This would also much more effectively allow proofs and models of the more dynamic family of programming languages, and even eliminate some of the "supposedly indeterministic cases" during evaluation in a multi-valued logic.

Fault tolerance

Multi-valued logic (e.g. Roth's 5-valued logic) is and has been useful in hardware design for localizing faults resulting mostly from physical imperfections. With this application being known for quite a while now I would not be terribly surprised if someone had already found a use for multi-valued logic in fault tolerant programming languages and environments.


Looking at that Chinese-looking spam I noticed a quite strange (i.e. too regular) distribution of symbols and wondered if anyone here knowing Chinese could tell me that it indeed was gibberish.

Thinking About Logic

Stephen Read's book covers much of the same ground, and is probably an easier read. Highly recommended introduction to the philosophical side of logic, especially for those who have some sort of grounding in the mathematical aspects. The treatment of conditionals is especially nice.

Not online, though, as far

Not online, though, as far as I can tell...

No, but...

...it's inexpensive. OUP lists it at $16.10, and it had a big print run, so can be picked up second-hand for little money.

Link broken

It was moved. I fixed the

It was moved. I fixed the link.

There's also Burgess's

There's also Burgess's Philosophical Logic, forthcoming from Princeton University Press. To download as a (large) Word document click here. Additional problems are here.

Good call

Looks interesting. John Burgess is a major figure in modal logic.

BTW, that link is broken: that book is available at his preprints page. From that page I see he has a forthcoming collected works, to be titled Mathematics, Modality, and Models: Selected Philosophical Papers: two of those papers are available as preprints, and some others can be had in their original versions through JSTOR.

Postscript: Looks better than interesting: it is very nice indeed. It is much less "zoological" than Sider's book; rather it only treats the topics that Burgess thinks most important, and it treats them very well from what I have seen. I think this might be an essential download for LtUers...