| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00005715744 |
| 005 |
20260319164733.4 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
180308s2018 enk ob 001 0 eng d |
| 040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d N$T
|d EBLCP
|d YDX
|d OCLCF
|d STF
|d STBDS
|d FIE
|d CEF
|d OTZ
|d U3W
|d LVT
|d BRX
|d OCLCQ
|d UKAHL
|d OCLCQ
|d SFB
|d OCLCQ
|d OCLCO
|d OCLCL
|d UWO
|d OCLCO
|d CLOUD
|d UKKRT
|d OCLCQ
|d OCLCO
|d OCLCL
|d OCLKB
|d OCLCO
|
| 019 |
|
|
|a 1028167497
|a 1028520760
|a 1028543516
|a 1028586116
|a 1069607676
|a 1298413897
|a 1312946283
|a 1503851969
|a 1519222080
|a 1534316220
|a 1541778310
|
| 020 |
|
|
|a 9780192507624
|q (electronic bk.)
|
| 020 |
|
|
|a 0192507621
|q (electronic bk.)
|
| 020 |
|
|
|a 9780191863424
|
| 020 |
|
|
|a 0191863424
|
| 020 |
|
|
|z 0198790406
|
| 020 |
|
|
|z 9780198790402
|
| 020 |
|
|
|z 9780198790396
|
| 020 |
|
|
|z 0198790392
|
| 035 |
|
|
|a (OCoLC)1027965733
|z (OCoLC)1028167497
|z (OCoLC)1028520760
|z (OCoLC)1028543516
|z (OCoLC)1028586116
|z (OCoLC)1069607676
|z (OCoLC)1298413897
|z (OCoLC)1312946283
|z (OCoLC)1503851969
|z (OCoLC)1519222080
|z (OCoLC)1534316220
|z (OCoLC)1541778310
|
| 050 |
|
4 |
|a B791
|
| 072 |
|
7 |
|a PHI
|x 009000
|2 bisacsh
|
| 072 |
|
7 |
|a PHI
|x 016000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 190
|2 22
|
| 049 |
|
|
|a TXAM
|
| 100 |
1 |
|
|a Button, Tim,
|e author.
|1 https://id.oclc.org/worldcat/entity/E39PBJkMK86Vj9Wvt964YQwDMP
|
| 245 |
1 |
0 |
|a Philosophy and model theory /
|c Tim Button and Sean Walsh ; with a historical appendix by Wilfrid Hodges.
|
| 250 |
|
|
|a First edition.
|
| 264 |
|
1 |
|a Oxford, United Kingdom :
|b Oxford University Press,
|c 2018.
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 520 |
8 |
|
|a 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.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Cover; Philosophy and Model Theory; Copyright; Preface; Topic selection; Structuring the book; Presuppositions and proofs; Acknowledgements; Contents; A: Reference and realism; Introduction to Part A; 1: Logics and languages; 1.1 Signatures and structures; 1.2 First-order logic: a first look; Syntax for first-order logic; Semantics: the trouble with quantifiers; Why it is worth considering different approaches; 1.3 The Tarskian approach to semantics; 1.4 Semantics for variables; 1.5 The Robinsonian approach to semantics; 1.6 Straining the notion of â#x80;#x98;languageâ#x80;#x99
|
| 505 |
8 |
|
|a 1.7 The Hybrid approach to semantics1.8 Linguistic compositionality; 1.9 Second-order logic: syntax; 1.10 Full semantics; 1.11 Henkin semantics; 1.12 Consequence; 1.13 Definability; 1.A First- and second-order arithmetic; 1.B First- and second-order set theory; 1.C Deductive systems; 2: Permutations and referential indeterminacy; 2.1 Isomorphism and the Push-Through Construction; 2.2 Benacerraf â#x80;#x99;s use of Push-Through; 2.3 Putnamâ#x80;#x99;s use of Push-Through; The permutation argument; Preferable models; Referential indeterminacy for moderate objects-platonism
|
| 505 |
8 |
|
|a 2.4 Attempts to secure reference in mathematicsShapiroâ#x80;#x99;s ante rem structuralism; Putnamâ#x80;#x99;s internal realism (constructivist reading); Syntactic Priority; 2.5 Supervaluationism and indeterminacy; 2.6 Conclusion; 2.A Eligibility, definitions, and Completeness; 2.B Isomorphism and satisfaction; 3: Ramsey sentences and Newmanâ#x80;#x99;s objection; 3.1 The o/t dichotomy; 3.2 Ramsey sentences; 3.3 The promise of Ramsey sentences; 3.4 A caveat on the o/t dichotomy; 3.5 Newmanâ#x80;#x99;s criticism of Russell; 3.6 The Newman-conservation-objection; 3.7 Observation vocabulary versus observable objects
|
| 505 |
8 |
|
|a 3.8 The Newman-cardinality-objection3.9 Mixed-predicates again: the case of causation; 3.10 Natural properties and just more theory; 3.A Newman and elementary extensions; 3.B Conservation in first-order theories; 4: Compactness, infinitesimals, and the reals; 4.1 The Compactness Theorem; 4.2 Infinitesimals; 4.3 Notational conventions; 4.4 Differentials, derivatives, and the use of infinitesimals; 4.5 The orders of infinite smallness; 4.6 Non-standard analysis with a valuation; 4.7 Instrumentalism and conservation; 4.8 Historical fidelity; 4.9 Axiomatising non-standard analysis
|
| 505 |
8 |
|
|a Axiomatising elementary extensionsAxiomatising the reals; Axiomatising non-standardness; 4.10 Axiomatising the reals; 4.A Gödelâ#x80;#x99;s Completeness Theorem; 4.B A model-theoretic proof of Compactness; 4.C The valuation function of Â4.6; 5: Sameness of structure and theory; 5.1 Definitional equivalence; 5.2 Sameness of structure and ante rem structuralism; 5.3 Interpretability; 5.4 Biinterpretability; 5.5 From structures to theories; 5.6 Interpretability and the transfer of truth; Counterexamples to the Truth-Transfer Thesis; Bridge principles; Difficulties concerning bridge principles
|
| 650 |
|
0 |
|a Philosophy, Modern.
|
| 650 |
|
0 |
|a Model theory.
|
| 650 |
|
0 |
|a Mathematics
|x Philosophy.
|
| 650 |
|
2 |
|a Semantics
|
| 650 |
|
6 |
|a Théorie des modèles.
|
| 650 |
|
6 |
|a Mathématiques
|x Philosophie.
|
| 650 |
|
6 |
|a Sémantique.
|
| 650 |
|
7 |
|a semantics.
|2 aat
|
| 650 |
|
7 |
|a PHILOSOPHY
|x History & Surveys
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a PHILOSOPHY
|x History & Surveys
|x Modern.
|2 bisacsh
|
| 650 |
|
7 |
|a Philosophy, Modern
|2 fast
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Walsh, Sean,
|e author.
|
| 758 |
|
|
|i has work:
|a Philosophy and model theory (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCFQHgP4gMc9rXHXTr8fMMX
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a BUTTON, TIM. WALSH, SEAN.
|t PHILOSOPHY AND MODEL THEORY.
|d [Place of publication not identified] : OXFORD UNIV PRESS, 2018
|z 0198790406
|w (OCoLC)1004758789
|
| 776 |
0 |
8 |
|c Original
|z 0198790406
|z 9780198790402
|z 9780198790396
|z 0198790392
|w (DLC) 2017959066
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://academic.oup.com/book/3087
|z Connect to the full text of this electronic book
|t 0
|
| 955 |
|
|
|a Oxford Scholarship Online
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
f |
f |
|i a75203e5-45a6-4198-86de-6e2f7f6800d0
|s 45f4ac98-9a3b-4143-9437-dd82e5712b22
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e B791
|h Library of Congress classification
|
| 998 |
f |
f |
|a B791
|t 0
|l Available Online
|