In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if ... then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those ...
This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers.
This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed opinion as to its applicability to each of several areas of philosophical concern (belief, ...
Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy.