Overview

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.

Full Product Details

Author:   Jean-Yves Béziau
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
Edition:   2012
Dimensions:   Width: 16.80cm , Height: 2.20cm , Length: 24.00cm
Weight:   0.722kg
ISBN:  

9783034601443

ISBN 10:   3034601441
Pages:   410
Publication Date:   02 April 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1. Paul Hertz (1922), UEber Axiomensysteme fur beliebige Satzsysteme, Teil. 1 presented by Javier Legris // 2. Paul Bernays (1926), Axiomatische Untersuchung des Aussagenkalkuls des Principia Mathematica presented by Walter Carnielli // 3. Alfred Tarski (1928), Remarques sur les notions fondamentales de la methodologie des mathematiques , presented by Stan Surma and Jan Zygmunt // 4. Kurt Goedel (1933), Eine Interpretation des intuitionistischen Aussagenkalkuls 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), Lecons de logique algebrique (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 theorie generale des systemes formels et sur les systemes connectifs (Translation of extracts) presented by Marcel Guillaume // 10. Per Lindstroem (1969), On extensions of elementary logic presented by Jouko Vaananen // 11. Stephen L.Bloom, Donald J.Brown et Roman Suszko (1970), Some theorems on abstract logics presented by Ramon Jansana // 12. Dana Scott (1974), Completeness and axiomatizability in many-valued logic presented by Lloyd Humberstone // 13. Joseph Goguen and Rod Burstall (1984), Introducing institutions presented by Razvan Diaconescu // 14. Andrea Loparic and Newton da Costa (1984), Paraconsistency, paracompleteness and valuations presented by Jean-Yves Beziau // 15. Dov Gabbay, Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic (extracts) presented by Amilcar Sernadas and Carlos Caleiro

Reviews

From the reviews: The quest for common ground in the expression of logical statements--regardless of the given syntax, semantics, or grammar--has taken the best efforts of notable logicians throughout the 20th century. This book gathers a collection of some of the most notable of their works. Its structure is chronological ... . I highly recommend this book to logicians, mathematicians working on provability theory, and software engineers. (Arturo Ortiz-Tapia, ACM Computing Reviews, July, 2012)

From the reviews: The quest for common ground in the expression of logical statements--regardless of the given syntax, semantics, or grammar--has taken the best efforts of notable logicians throughout the 20th century. This book gathers a collection of some of the most notable of their works. Its structure is chronological ... . I highly recommend this book to logicians, mathematicians working on provability theory, and software engineers. (Arturo Ortiz-Tapia, ACM Computing Reviews, July, 2012)

Author Information

Jean-Yves Beziau ist Professor und Forscher des brasilianischen Forschungrsrates -CNPq - der nationalen Universitat in Ceara, Brasilien. Beziau ist franzosischer und schweizerischer Doppelburger. Er spricht fliessend Englisch, Portugiesisch und muttersprachlich Franzosisch und hat in allen drei Sprachen Werke veroffentlicht. Als ehemaliger Student (und haufig als Mitarbeiter ) von Newton da Costa, arbeitet er im Gebiet der Logik -- besonders in paraconsistenter Logik und allgemeine Logik. Er wurde an der Universitat von Sao Paulo in Philosophie und an der Universitat von Paris in Logik und Grundlagen in Computerwissenschaften promoviert. Beziau ist Chefeditor und Grunder der Zeitung Logica Universalis und der Buchreihe Studies in Universal Logic.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions