Philosophy and Model Theory
-
10% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár GBP 140.00
-
63 210 Ft (60 200 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 10% (cc. 6 321 Ft off)
- Kedvezményes ár 56 889 Ft (54 180 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
63 210 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó OUP Oxford
- Megjelenés dátuma 2018. március 15.
- ISBN 9780198790396
- Kötéstípus Keménykötés
- Terjedelem544 oldal
- Méret 241x162x37 mm
- Súly 940 g
- Nyelv angol 0
Kategóriák
Rövid leírás:
Model theory is an important area of mathematical logic which has deep philosophical roots, many philosophical applications, and great philosophical interest in itself. The aim of this book is to introduce, organise, survey, and develop these connections between philosophy and model theory, for the benefit of philosophers and logicians alike.
TöbbHosszú leírás:
Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.
But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers.
The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures.
Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.
The book provides a masterly overview of many central stakes in philosophy of mathematics where model theory is involved, either as a source or as a tool. Anyone interested in mathematical structures, in categoricity, or in internalization of semantics, especially in the cases of arithmetic and set theory, will find everything she is looking for, and more.
Tartalomjegyzék:
A: Reference and realism
Logics and languages
Permutations and referential indeterminacy
Ramsey sentences and Newman's objection
Compactness, infinitesimals, and the reals
Sameness of structure and theory
B: Categoricity
Modelism and mathematical doxology
Categoricity and the natural numbers
Categoricity and the sets
Transcendental arguments
Internal categoricity and the natural numbers
Internal categoricity and the sets
Internal categoricity and truth
Boolean-valued structures
C: Indiscernibility and classification
Types and Stone spaces
Indiscernibility
Quantifiers
Classification and uncountable categoricity
D: Historical appendix
A short history of model theory
