Universal Logic An Anthology From Paul Hertz to Dov Gabbay [Paperback]

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.

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.

1. Paul Hertz (1922), ??ber Axiomensysteme f?r beliebige Satzsysteme, Teil. 1? presented by Javier Legris // 2. Paul Bernays (1926), ?Axiomatische Untersuchung des Aussagenkalk?ls des Principia Mathematica? presented by Walter Carnielli // 3. Alfred Tarski (1928), ?Remarques sur les notions fondamentales de la m?thodologie des math?matiques?, presented by Stan Surma and Jan Zygmunt // 4. Kurt G?del (1933), ?Eine Interpretation des intuitionistischen Aussagenkalk?ls? presented by presented by Itala D'Ottavianao and Hercules Feitosa// 5. Louis Rougier (1941), ?The relativity of logic? presented by Mathieu Marion // 6. Haskell B. Curry (1952), Le?ons de logique alg?brique (Translation of extracts) presented by Johnatan Seldin // 7. Jerzy Los and Ronam Suszko (1958), ?Remarks on sentential logics? presented by Jan Zygmunt // 8. Saul Kripke (1963), ?Semantical Considerations on Modal Logic? presented by Johan van Benthem // 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) presented by Marcel Guillaume // 10. Per Lindstr?m (1969), ? On extensions of elementary logic ? presented by Jouko V?l%