Universal Logic: An Anthology

This book features a collection of papers from Paul Hertz to Dov Gabbay -- through Tarski, Gödel, Kripke -- that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence.

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.

1. Paul Hertz (1922), «Über Axiomensysteme für beliebige Satzsysteme, Teil. 1» . - 2. Paul Bernays (1926), «Axiomatische Untersuchung des Aussagenkalküls des Principia Mathematica» . - 3. Alfred Tarski (1928), «Remarques sur les notions fondamentales de la méthodologie des mathématiques». - 4. Kurt Gödel (1933), «Eine Interpretation des intuitionistischen Aussagenkalküls». - 5. Louis Rougier (1941), «The relativity of logic». - 6. Haskell B. Curry (1952), Leçons de logique algébrique (Translation of extracts). - 7. Jerzy Los and Ronam Suszko (1958), «Remarks on sentential logics». - 8. Saul Kripke (1963), «Semantical Considerations on Modal Logic». - 9. Jean Porte (1965), Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs (Translation of extracts). - 10. Per Lindström (1969), « On extensions of elementary logic ». - 11. Stephen L. Bloom, Donald J. Brown et Roman Suszko (1970), «Some theorems on abstract logics». - 12. Dana Scott (1974), «Completeness and axiomatizability in many-valued logic». - 13. Joseph Goguen and Rod Burstall (1984), «Introducing institutions». - 14. Andrea Loparic and Newton da Costa (1984), «Paraconsistency, paracompleteness and valuations». - 15. Dov Gabbay, «Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic» (extracts).