Calixto Badesa is Associate Professor of Logic and History of Logic at the University of Barcelona.
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with Lowenheim's theorem. For example, the very result that scholars attribute to Lowenheim today is not the one that Skolem--a logician raised in the algebraic tradition, like Lowenheim--appears to have attributed to him. In The Birth of Model Theory, Calixto Badesa provides both the first sustained, book-length analysis of Lowenheim's proof and a detailed description of the theoretical framework--and, in particular, of the algebraic tradition--that made the theorem possible. Badesa's three main conclusions amount to a completely new interpretation of the proof, one that sharply contradicts the core of modern scholarship on the topic. First, Lowenheim did not use an infinitary language to prove his theorem; second, the functional interpretation of Lowenheim's normal form is anachronistic, and inappropriate for reconstructing the proof; and third, Lowenheim did not aim to prove the theorem's weakest version but the stronger version Skolem attributed to him. This book will be of considerable interest to historians of logic, logicians, philosophers of logic, and philosophers of mathematics.
Calixto Badesa is Associate Professor of Logic and History of Logic at the University of Barcelona.
| Erscheint lt. Verlag | 10.1.2009 |
|---|---|
| Verlagsort | Princeton |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Technik | |
| Schlagworte | Accuracy and precision • Addition • Algebra • algebraic logic • Algebraic Method • Ambiguity • ANTISYMMETRY • associative property • Atomic formula • Atomic sentence • Axiom • axiomatic system • Axiom of choice • Big O notation • Boolean algebra (structure) • Calculation • Cardinality • Categorical Proposition • Choice function • coefficient • combination • compactness theorem • conjecture • consistency • Contradiction • Countable set • Denotation • Diagram (category theory) • Disjunctive normal form • Enumeration • Equation • equivalence class • equivalence relation • Erratum • existential quantification • Explanation • First-Order Logic • formal language • formal system • Formation rule • Frege (programming language) • Geometry • Gottlob Frege • Herbrand's theorem • hypothesis • Indexed family • inference • infinitary logic • Law of thought • Logic • Logical biconditional • Logical conjunction • Logical connective • logical consequence • Logical disjunction • logical equivalence • Mathematical Analysis • Mathematical Induction • Mathematical Logic • Mathematical Theory • Metalanguage • model Theory • Natural number • Notation • object language • Predicate (mathematical logic) • Probability • Propositional Calculus • Propositional formula • Propositional variable • Q.E.D. • Quantification (science) • Quantifier (logic) • result • satisfiability • scientific notation • Semantics • Sequence • Series (mathematics) • Set (mathematics) • Skolem normal form • stipulation • subdomain • Subset • Suggestion • Summation • syllogism • Tautology (logic) • Terminology • Term logic • Theorem • theory • transfinite • Truth value • Unity of science • Universal quantification • Variable (computer science) • Variable (mathematics) • Well-order • Writing |
| ISBN-10 | 1-4008-2618-7 / 1400826187 |
| ISBN-13 | 978-1-4008-2618-6 / 9781400826186 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 1,3 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
EPUB (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belletristik und Sachbüchern. Der Fließtext wird dynamisch an die Display- und Schriftgröße angepasst. Auch für mobile Lesegeräte ist EPUB daher gut geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
