Theory of Logical Calculi: Basic Theory of Consequence Operations (Synthese Library, 199)

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J. Luka siewicz's seminar on mathematicallogi. Read more... Abstract: The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t'Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J. Luka siewicz's seminar on mathematicallogi Front Matter....Pages i-xviii Introduction....Pages 1-6 Basic Concepts....Pages 7-75 Deductive Bases and Interpretations....Pages 77-187 Logical Matrices....Pages 189-251 Tabular Semantics....Pages 253-340 Referential Semantics....Pages 341-401 Propositional vs. Predicate Logics....Pages 403-436 Back Matter....Pages 437-473 ` Wójcicki's book ... should be in the libraries of institutions which consider themselves to offer resources for serious research in philosophy, linguistics and logic. ' C. Kielkopf, Mathematics Abstracts, Vol. 682