Like the author's first work, this text again develops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior, and the refinement of predicate logic instituted by David Hilbert. This book is more historical than the first, but the emphasis is still on the application of the two systems to problems in analytical metaphysics. The natures of provability and possibility are studied further, as well as the natures of opacity and intensional objects.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Höhe: 157 mm
Breite: 222 mm
Gewicht
ISBN-13
978-1-85628-854-5 (9781856288545)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Part 1 Roots: Prior's contribution; Hilbert's influence; artificial beliefs. Part 2 Trunk: argumentative liars; Godel and provability; operator logics. Part 3 Branches: using Hilbert; modal semantics; Routley's formula. Part 4 Fruits: Epsilon identities; descriptive opacity; individual propositions.
