A metalogical theory of reference: realism and essentialism in semantics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Lanham u.a.
Univ. Press of America
1993
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 213 S. |
| ISBN: | 0819188832 0819188840 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007731367 | ||
| 003 | DE-604 | ||
| 005 | 19930614 | ||
| 007 | t | ||
| 008 | 930609s1993 |||| 00||| eng d | ||
| 020 | |a 0819188832 |9 0-8191-8883-2 | ||
| 020 | |a 0819188840 |9 0-8191-8884-0 | ||
| 035 | |a (OCoLC)26400295 | ||
| 035 | |a (DE-599)BVBBV007731367 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-29 |a DE-355 |a DE-188 | ||
| 050 | 0 | |a P325.5.R44 | |
| 082 | 0 | |a 401/.43 |2 20 | |
| 084 | |a ET 400 |0 (DE-625)27979: |2 rvk | ||
| 100 | 1 | |a Vergauwen, Roger |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A metalogical theory of reference |b realism and essentialism in semantics |c Roger Vergauwen |
| 264 | 1 | |a Lanham u.a. |b Univ. Press of America |c 1993 | |
| 300 | |a XX, 213 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Reference (Linguistics) | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metalogik |0 (DE-588)4169642-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Referenz |g Linguistik |0 (DE-588)4137933-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Referenz |g Linguistik |0 (DE-588)4137933-0 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Referenz |g Linguistik |0 (DE-588)4137933-0 |D s |
| 689 | 1 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Metalogik |0 (DE-588)4169642-6 |D s |
| 689 | 2 | 1 | |a Referenz |g Linguistik |0 (DE-588)4137933-0 |D s |
| 689 | 2 | |5 DE-188 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005081507&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005081507 | ||
Record in the Search Index
| _version_ | 1804122101494317056 |
|---|---|
| adam_text | Titel: A metalogical theory of reference
Autor: Vergauwen, Roger
Jahr: 1993
Contents PREFACE vii INTRODUCTION: THE TEMPERATURE OF A HOT TOPIC ix 1. THE TARSKI PROGRAM: HIJACKING THE TRUTH 1 ABOUT REFERENCE 1.1. Introduction: Truth Definition and Semantics 1 1.2. Primitive Reference and Satisfaction 3 1.3. Semantic Closedness of Languages and the Paradox of 6 the Liar 1.4. Must There Still Be Truth? Physicalism in Semantics 10 2. REFERENCE AND THEORY OF REFERENCE 14 2.1. Sets: Finite and Infinite 14 2.2. Cantor’s Diagonal Method 17 2.3. Model Theory and Model Theoretic Semantics 20 2.3.1. Model Theory 20 2.3.2. Principles of a Montague Grammar 22 2.3.2.1. Introduction: an ambitious program 22 23.2.2. Structure of a Montague Grammar 23 2.3.2.2.1. Languages and catégorial grammars 24 2.3.2.2.2. The semantic component in the Montague system 26 2.3.2.2.3. Extensions, intensions and possible worlds 27 2.4. The Realist Who Came in from the Cold: Hilary Putnam 33 2.4.1. Realism in semantics 34 2.4.2. The Lowenheim-Skolem Theorem 35
2.4.3. The Skolemization of the referent: a semantic perversion ? 40 2.4.4. The metaphysical realist according to Putnam: brains in a vat 48 2.4.5. Internal realism 62 3. INSIDE OUT: REFERENCE AND METALOGIC 74 3.1. Godel’s Incompleteness Theorems: An Informal Overview 74 3.1.1. Formal-axiomatic systems 75 3.1.2. The axiomatization of arithmetic 75 3.1.3. Metalogic and Metamathematics 78 3.1.4. Gödel numbering and recursive predicates 79 3.1.5. The Number of the Beast: the Gödel sentence and Gödel’ s first incompleteness theorem 83 3.1.6. The unprovability of consistency: Gödel’ s second theorem 87 3.2. The Words and the Things: From Intension to Reference 89 3.2.1. Models in intensional logic 90 3.2.2. Intensions and the Grelling Paradox 92 3.2.2. .1. Intension, meaning and reference 92 3.2.2. .2. The Grelling Paradox 94 3.2.2.3. Terminating and non-terminating computations 95 3.2.2 .4. Intensions and the ‘Terminates’-function 97 3.2.2, .5. The Language-Level Approach to the Grelling Paradox: a descriptive misunderstanding 101 3.2.3. The Von Miinchhausen effect: Semantic incompleteness 102 3.2.4 Truth-conditional consistency 110 3.2.5 Propositional attitudes, supervaluations and truth- value gaps 115 3.2.6 A sidelong glance at meaning: the diagonalization procedure in semantics 122 3.2.7 Non-standard meanings and partial standard models 128 3.2.7 .1. Property spaces and proto-semantics 128 3.2.7 2 Diagonal Individuals: Frankenstein in search of a hodx 137
3.3. The Metalogical Approach: Some Consequences and 142 Conclusions 3.3.1. Metalogical realism 143 3.3.1.1. Antirealism: the little truth 143 3.3.1.2. Kripke’s Pierre problem 153 3.3.2. Metalogical essentialism 160 4. OUTLINE OF A LOGIC WITH NON-STANDARD 181 MEANINGS 4.1. Models as Conceptual Structures 181 4.2. Syntax and Semantics of the Logic IL + : Sortal 185 Intensional Type-Logic With Non-Standard Models 4.2.1. Syntax of IL + 185 4.2.1.1. Types 185 4.2.1.2. Basic expressions 186 4.2.1.3. Formation rules of IL + 186 4.2.2. Semantics of IL+ 186 4.2.2.1. Complete and partial functions 186 4.2.2.2. A partial standard model for IL + 187 4.2.2.3. Non-standard models for IL + 192 BIBLIOGRAPHY 198 INDEX 211
|
| any_adam_object | 1 |
| author | Vergauwen, Roger |
| author_facet | Vergauwen, Roger |
| author_role | aut |
| author_sort | Vergauwen, Roger |
| author_variant | r v rv |
| building | Verbundindex |
| bvnumber | BV007731367 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P325 |
| callnumber-raw | P325.5.R44 |
| callnumber-search | P325.5.R44 |
| callnumber-sort | P 3325.5 R44 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | ET 400 |
| ctrlnum | (OCoLC)26400295 (DE-599)BVBBV007731367 |
| dewey-full | 401/.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.43 |
| dewey-search | 401/.43 |
| dewey-sort | 3401 243 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01918nam a2200505 c 4500</leader><controlfield tag="001">BV007731367</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930614 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930609s1993 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0819188832</subfield><subfield code="9">0-8191-8883-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0819188840</subfield><subfield code="9">0-8191-8884-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26400295</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007731367</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P325.5.R44</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401/.43</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 400</subfield><subfield code="0">(DE-625)27979:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vergauwen, Roger</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A metalogical theory of reference</subfield><subfield code="b">realism and essentialism in semantics</subfield><subfield code="c">Roger Vergauwen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Lanham u.a.</subfield><subfield code="b">Univ. Press of America</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 213 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reference (Linguistics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Referenz</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4137933-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Referenz</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4137933-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Referenz</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4137933-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Referenz</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4137933-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005081507&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005081507</subfield></datafield></record></collection> |
| id | DE-604.BV007731367 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:08:31Z |
| institution | BVB |
| isbn | 0819188832 0819188840 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005081507 |
| oclc_num | 26400295 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-29 DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-12 DE-739 DE-29 DE-355 DE-BY-UBR DE-188 |
| physical | XX, 213 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Univ. Press of America |
| record_format | marc |
| spelling | Vergauwen, Roger Verfasser aut A metalogical theory of reference realism and essentialism in semantics Roger Vergauwen Lanham u.a. Univ. Press of America 1993 XX, 213 S. txt rdacontent n rdamedia nc rdacarrier Reference (Linguistics) Semantics (Philosophy) Logik (DE-588)4036202-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Metalogik (DE-588)4169642-6 gnd rswk-swf Referenz Linguistik (DE-588)4137933-0 gnd rswk-swf Referenz Linguistik (DE-588)4137933-0 s Semantik (DE-588)4054490-4 s DE-604 Logik (DE-588)4036202-4 s DE-188 Metalogik (DE-588)4169642-6 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005081507&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Vergauwen, Roger A metalogical theory of reference realism and essentialism in semantics Reference (Linguistics) Semantics (Philosophy) Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd Metalogik (DE-588)4169642-6 gnd Referenz Linguistik (DE-588)4137933-0 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4054490-4 (DE-588)4169642-6 (DE-588)4137933-0 |
| title | A metalogical theory of reference realism and essentialism in semantics |
| title_auth | A metalogical theory of reference realism and essentialism in semantics |
| title_exact_search | A metalogical theory of reference realism and essentialism in semantics |
| title_full | A metalogical theory of reference realism and essentialism in semantics Roger Vergauwen |
| title_fullStr | A metalogical theory of reference realism and essentialism in semantics Roger Vergauwen |
| title_full_unstemmed | A metalogical theory of reference realism and essentialism in semantics Roger Vergauwen |
| title_short | A metalogical theory of reference |
| title_sort | a metalogical theory of reference realism and essentialism in semantics |
| title_sub | realism and essentialism in semantics |
| topic | Reference (Linguistics) Semantics (Philosophy) Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd Metalogik (DE-588)4169642-6 gnd Referenz Linguistik (DE-588)4137933-0 gnd |
| topic_facet | Reference (Linguistics) Semantics (Philosophy) Logik Semantik Metalogik Referenz Linguistik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005081507&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vergauwenroger ametalogicaltheoryofreferencerealismandessentialisminsemantics |