Systeme der kumulativen Logik (Analytica) - Hardcover
Hard to Find book
"synopsis" may belong to another edition of this title.
- PublisherPhilosophia Verlag
- Publication date1983
- ISBN 10 3884050389
- ISBN 13 9783884050385
- BindingHardcover
Top Search Results from the AbeBooks Marketplace
Stock Image
Systeme der kumulativen Logik (Analytica)
Published by
Philosophia
(1983)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Unknown Binding. Condition: Fine. in plastic wrap. Seller Inventory # mon0003352158
Buy Used
£ 2.89
Convert currency
Stock Image
Systeme der kumulativen Logik (Analytica) (German Edition)
Published by
Philosophia
(1983)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Seller Inventory # M3884050389Z2
Buy Used
£ 5.11
Convert currency
Seller Image
Systeme der kumulativen Logik.
Published by
(München u. Wien, Philosophia-Verl., 1983).
(1983)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description 265 S. Lwd. mit Schutzumschlag. Gut erhalten, Papier etw. gebräunt. Analytica. Seller Inventory # 43143AB
Buy Used
£ 10.60
Convert currency
Stock Image
Systeme Der Kumulativen Logik
Published by
Philosophia
(1991)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardback. Condition: Very Good. No Jacket. -text in German - boards a little rubbed and shelfworn - previous owners bookplate to front pastedown endpaper and stamp to base edge of text block - some toning and foxing to page edges - Book ow/ solid, clean and content bright - 265 pages. 8vo. Seller Inventory # 627756
Buy Used
£ 6
Convert currency
Systeme der kumulativen Logik
Published by
München ; Wien : Philosophia
(1983)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description 22,5 x 14,5 cm. Condition: Gut. 265 Seiten Original Leineneinband mit Bibliotheksschild auf Vorderdeckel. Gut erhalten. Innen mit Bibliotheksstempeln, Legende, Papier etwas gebräunt, fast fleckenfreies Exemplar B14-02-01E|S80 Sprache: Deutsch Gewicht in Gramm: 408 Analytica : Untersuchungen zu Logik, Ontologie und Sprachphilosophie. Seller Inventory # 51158
Buy Used
£ 13.25
Convert currency
Seller Image
Systeme der kumulativen Logik. Analytica.
Published by
München, Wien: Philosophia
(1983)
ISBN 10: 3884050389
ISBN 13: 9783884050385
Used
Hardcover
Quantity: 2
Seller:
Rating
Book Description Condition: Sehr gut. 265 S. Tadellos, nahezu ohne Gebrauchsspuren. - Aus dem Inhalt: Formale Systeme der reinen kumulativen Logiken -- Die semantische Vollständigkeit kumulativer Logiken und die Schnittregel in ihnen -- Kumulative Logik und Mengenlehre -- Anhang: Über sogenannte freikumulative Logiken. - Kumulative Logiksysteme werden als Verallgemeinerung und zugleich als Erweiterung der einfachen Typenlogik eingeführt. Die Prädikation wird kumulativ gefasst in dem Sinne, dass ein Objekt eines Typs von Objekten beliebig kleineren Typs prädiziert werden kann, und nicht nur, wie in der normalen einfachen Typenlogik, von Objekten des unmittelbar nächstkleineren Typs. Es werden Gentzensche Sequenzen-Systeme aufgestellt, in denen geeignet verallgemeinerte Quantifikations- und Abstraktionsschlüsse der kumulativen Prädikation Rechnung tragen. Keine kumulative Logik erfüllt den Hauptsatz von Gentzen(den Schnittsatz"); doch können Vollständigkeitssätze bezüglich einer geeigneten Semantik bewiesen werden.Einige Erweiterungen der reinen" Systeme liefern eine Formalisierung der Mengenlehre, da das typenhomogene der Mengenlehre mittels der kumulativen Prädikation definiert werden kann. Es gibt insbesondere solche Erweiterungen, in denen die Axiome der Zermeloschen Mengenlehre hergeleitet werden können. Diese Systeme werden als konsistent nachgewiesen; ferner werden Entscheidbarkeitsprobleme bezüglich kumulativer Logiken betrachtet. Am Ende des Buches wird ein spezielles System der kumulativen Logik aufgestellt, das eine enge Verbindung zu Freges System in den Grundgesetzen der Arithmetik einerseits und zu Quines New Foundations andererseits besitzt. Die Darstellung ist breit genug, so dass das Buch auch als Einführung in die Beweistheorie und Mode11theorie der Typenlogik dienen kann. Beispielsweise ist ein semantischer Beweis des Schnittsatzes für die einfache Typenlogik (nach Prawitz) eingeschlossen worden. (Verlagstext). ISBN 3884050389 Sprache: Deutsch Gewicht in Gramm: 550 Originalleinen mit Schutzumschlag. Seller Inventory # 973919
Buy Used
£ 20.24
Convert currency