Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
EUR 3,71
Innerhalb der USA
Buchbeschreibung Unknown Binding. Zustand: Fine. in plastic wrap. Artikel-Nr. mon0003352158
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung 265 S. Lwd. mit Schutzumschlag. Gut erhalten, Papier etw. gebräunt. Analytica. Artikel-Nr. 43143AB
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung 22,5 x 14,5 cm. Zustand: 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. Artikel-Nr. 51158
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: 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. Artikel-Nr. 973919
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren