Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size

Philosophia Verlag GmbH

Home arrow Philosophia Analytica arrow Systeme der kumulativen Logik
Info: Your browser does not accept cookies. If you want to put products into your cart and purchase them you need to enable cookies.


 


J. Wolfgang Degen

Systeme der kumulativen Logik


ISBN: 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):

Logik und Semiotik in der Philosophie von Leibniz
Logik und Semiotik in der Philosophie von Leibniz
€98.00
Add to Cart


new publications

Cosmetics and Makeup
Cosmetics and Makeup
€9.80
Add to Cart

The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
€14.80
Add to Cart

The Beauty of Landscape
The Beauty of Landscape
€9.80
Add to Cart

Aesthetic Experience and the Experience of Poetry
Aesthetic Experience and the Experience of Poetry
€14.80
Add to Cart

An Aesthetics of Insight
An Aesthetics of Insight
€14.80
Add to Cart

The Case Against Beauty
The Case Against Beauty
€14.80
Add to Cart

The Beauty of Doing: Remarks on the Appreciation of Conceptual Art
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
The Value of  Art: On Meaning and Aesthetic Experience in Difficult Modern Art
€9.80
Add to Cart

Art, Beauty, and Criticism
Art, Beauty, and Criticism
€9.80
Add to Cart

Beauty and Bellís Aesthetic Emotion
Beauty and Bellís Aesthetic Emotion
€14.80
Add to Cart