Abstract

A philosopher who has mastered the standard two-valued propositional calculus and who is curious to find out what the systems of many-valued logic, strict implication and modal logic are all about, should reach for this small booklet from the series Monographs in Modern Logic It explains in a compact but remarkably lucid way the rationale of these non-standard logics and gives access to the literature of the field. There are numerous references to a selected bibliography, the most recent titles of which are from 1965. But the reader is not only informed about the technical properties of these systems, he is also given a sound perspective in which to see their intuitive significance. It is characteristic that the author distinguishes on the very first page between a logic and a calculus associated with a logic.