Show Cart |
Your Cart is currently empty. |
|
J. Wolfgang Degen
Systeme der kumulativen LogikISBN: 3-88405-038-9 |
||
|
|||
Price:
€78.00
(including 7 % tax) |
|||
The systems of cumulative logic treated in this book are introduced as generalisations and at the same time as ex¬tensions of the simple theory of types predication is taken to be cumulative in the sense that objects of a fixed type may be predicated of objects with arbitrary lower types, and not only, as in the case of normal simple type theory, of objects having the immediately preceding type. Formal systems of the Gentzen-sequence sort are established with appropriately generalised quantification and abstraction rules. NO cumulative logic satisfies Gentzen’s Hauptsatz (the cut-elimination theorem) But completeness theorems with respect to 5 suitable semantic can be proved. Since the type-homogenous membership relation of set theory can he defined in terms of cumulative predication, certain element extensions of the ,pure' Systems of cumulative logic lend themselves to the formalisation of set theory. There are natural extensions of this sort in which Zermelo’s set theory can be deduced. The consistency of these Systems is proved and decidability problems are considered At the end of the book, a special system of cumulative logic is set up with close connections to Frege’s System in his Grundgesetze der Arithmetik on the one hand, and to Quine’s New Foundations on the other. The presentation is broad enough for the book to serve as an introduction to proof theory and to the model theory of type-logics. For example, a semantic proof of the cut-eli¬mination theorem for simple type-theory (following Prawitz) has been included. Of interest to: Logicians, mathematicians, philosophers and historians of these disciplines Of interest to: Logicians, mathematicians, philosophers and historians of these disciplines Munich: 1984, 265 pp., index, library binding |
|||
You may also be interested in this/these product(s):
|
Cosmetics and Makeup
![]() €9.80 Add to Cart |
The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
![]() €14.80 Add to Cart |
The Beauty of Landscape
![]() €9.80 Add to Cart |
Aesthetic Experience and the Experience of Poetry
![]() €14.80 Add to Cart |
An Aesthetics of Insight
![]() €14.80 Add to Cart |
The Case Against Beauty
![]() €14.80 Add to Cart |
The Beauty of Doing: Remarks on the Appreciation of Conceptual Art
![]() €14.80 Add to Cart |
The Value of Art: On Meaning and Aesthetic Experience in Difficult Modern Art
![]() €9.80 Add to Cart |
Art, Beauty, and Criticism
![]() €9.80 Add to Cart |
Beauty and Bell’s Aesthetic Emotion
![]() €14.80 Add to Cart |