Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Handbook of Philosophical Logic
Volume I: Elements of Classical Logic
Taschenbuch von Franz Guenthner (u. a.)
Sprache: Englisch

53,49 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo­ sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo­ sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
Inhaltsverzeichnis
to Volume I.- I.1. Elementary Predicate Logic.- I.2. Systems of Deduction.- I.3. Alternatives to Standard First-order Semantics.- I.4. Higher-order Logic.- I.5. Predicative Logics.- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory.- Name Index.- Table of Contents to Volumes II, III, and IV.
Details
Erscheinungsjahr: 2011
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Reihe: Synthese Library
Inhalt: xiii
497 S.
ISBN-13: 9789400970687
ISBN-10: 9400970684
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Gabbay, Dov M.
Guenthner, Franz
Redaktion: Guenthner, Franz
Gabbay, Dov M.
Herausgeber: Dov M Gabbay/Franz Guenthner
Auflage: Softcover reprint of the original 1st ed. 1983
Hersteller: Springer Netherland
Springer Netherlands
Synthese Library
Maße: 229 x 152 x 28 mm
Von/Mit: Franz Guenthner (u. a.)
Erscheinungsdatum: 14.10.2011
Gewicht: 0,734 kg
Artikel-ID: 105651384
Inhaltsverzeichnis
to Volume I.- I.1. Elementary Predicate Logic.- I.2. Systems of Deduction.- I.3. Alternatives to Standard First-order Semantics.- I.4. Higher-order Logic.- I.5. Predicative Logics.- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory.- Name Index.- Table of Contents to Volumes II, III, and IV.
Details
Erscheinungsjahr: 2011
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Reihe: Synthese Library
Inhalt: xiii
497 S.
ISBN-13: 9789400970687
ISBN-10: 9400970684
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Gabbay, Dov M.
Guenthner, Franz
Redaktion: Guenthner, Franz
Gabbay, Dov M.
Herausgeber: Dov M Gabbay/Franz Guenthner
Auflage: Softcover reprint of the original 1st ed. 1983
Hersteller: Springer Netherland
Springer Netherlands
Synthese Library
Maße: 229 x 152 x 28 mm
Von/Mit: Franz Guenthner (u. a.)
Erscheinungsdatum: 14.10.2011
Gewicht: 0,734 kg
Artikel-ID: 105651384
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte