Doing worlds with words: formal semantics without formal metaphysics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Kluwer
1995
|
| Series: | Synthese library
253 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVI, 236 S. graph. Darst. |
| ISBN: | 0792337425 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010851707 | ||
| 003 | DE-604 | ||
| 005 | 20171026 | ||
| 007 | t| | ||
| 008 | 960716s1995 xx d||| |||| 00||| eng d | ||
| 020 | |a 0792337425 |9 0-7923-3742-5 | ||
| 035 | |a (OCoLC)33008351 | ||
| 035 | |a (DE-599)BVBBV010851707 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-29 |a DE-739 |a DE-12 |a DE-188 | ||
| 050 | 0 | |a BC57 | |
| 082 | 0 | |a 121/.68 |2 20 | |
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a ET 440 |0 (DE-625)27985: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Peregrin, Jaroslav |d 1957- |e Verfasser |0 (DE-588)1133082092 |4 aut | |
| 245 | 1 | 0 | |a Doing worlds with words |b formal semantics without formal metaphysics |c Jaroslav Peregrin |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1995 | |
| 300 | |a XVI, 236 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 253 | |
| 650 | 7 | |a Betekenis |2 gtt | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 7 | |a Taalfilosofie |2 gtt | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Metaphysics | |
| 650 | 4 | |a Semantics | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Mathematische Lyrik |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | 1 | |a Mathematische Lyrik |A f |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Synthese library |v 253 |w (DE-604)BV000005044 |9 253 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007253687&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007253687 | |
Record in the Search Index
| _version_ | 1826650119572815872 |
|---|---|
| adam_text |
IMAGE 1
JAROSLAV PEREGRIN
FACULTY OF PHILOSOPHY, CHARLES UNIVERSITY, PRAGUE
DOING WORLDS
WITH WORDS FORMAL SEMANTICS WITHOUT FORMAL METAPHYSICS
KLUWER ACADEMIC PUBLISHERS DORDRECHT / BOSTON / LONDON
IMAGE 2
CONTENTS
PREFACE XI
ACKNOWLEDGEMENTS XV
1 INTRODUCTION: LOGIC AND THE PROBLEM OF MEANING 1
2 ROOTS OF LOGICAL SCHEMATIZATION 8
2.1 FREGE'S PROGRAM 8
2.2 LOGICO-GRAMMATICAL ANALYSIS 11
2.3 REGIMENTATION 13
2.4 CLASSICAL WAYS OF REGIMENTATION 14
2.5 ABSTRACTION 18
2.6 FURTHER FLIGHTS OF REGIMENTATION 20
2.7 FORMAL LANGUAGES 23
3 AXIOMATIC SYSTEMS 26
3.1 NECESSARY TRUTH AND LOGICAL TRUTH 26
3.2 TRUTH AND VALIDITY 31
3.3 AN ALGEBRAIC PERSPECTIVE 34
3.4 AXIOMATIC SYSTEMS AND FORMAL CALCULI 38
3.5 MATERIAL SOUNDNESS AND COMPLETENESS 40
3.6 MATERIAL INTERPRETATION 42
3.7 INTERPRETATION VS. TRUTH-VALUATION 44
4 MODEL THEORY 48
4.1 TARSKI'S PROPOSAL 48
4.2 FROM SUBSTITUTION TO SATISFACTION 51
4.3 THE ALGEBRAIC PERSPECTIVE CONTINUED 52
4.4 GETTING SATISFACTION RIGHT 54
4.5 MODEL STRUCTURES 59
4.6 LANGUAGE AS AN ALGEBRA 61
4.7 "REPRESENTATIONAL SEMANTICS" 65
4.8 MODEL-THEORY AS CRITERIAL RECONSTRUCTION 67
4.9 FORMAL SOUNDNESS AND COMPLETENESS 70
4.10 MODEL THEORY VS. PROOF THEORY 73
IMAGE 3
VIII CONTENTS
5 QUANTIFICATION 76
5.1 QUANTIFICATIONAL STATEMENTS 76
5.2 QUANTIFICATION AND NECESSARY TRUTH 77
5.3 "DIS-NECESSITATION" 81
5.4 TARSKI'S ARGUMENT 86
5.5 STATEMENTS VS. METASTATEMENTS 89
5.6 QUANTIFICATION AND "LOGICAL ATOMISM" 91
5.7 TRUTH AND REFERENCE 94
5.8 REFERENCE AND EXISTENCE 100
5.9 THE NON-REDUCIBILITY OF QUANTIFICATION 102
6 TRUTH 106
6.1 TARSKI'S NOTION 106
6.2 RELATIVE TRUTH 107
6.3 THE CORRESPONDENCE THEORY 113
6.4 THE DAVIDSONIAN APPROACH TO TRUTH 115
6.5 THE THEORY OF TRUTH AS ITS CRITERIAL RECONSTRUCTION 116 6.6 THE
PRIMACY OF TRUTH 119
7 DENOTATION 122
7.1 FROM SATISFACTION TO DENOTATION 122
7.2 DENOTATION AND SUBSTITUTION 125
7.3 THE DENOTATIONAL VIEW OF CLASSICAL LOGIC 128
7.4 COMPOSITIONALITY AND DOMAINS 131
7.5 MODAL CONTEXTS AND POSSIBLE WORLDS 133
7.6 THE GENERAL CHARACTER OF DENOTATION 135
8 MEANING 138
8.1 THE NATURE OF MEANING 138
8.2 TWO APPROACHES TO A THEORY OF MEANING 140
8.3 EXPRESSIONS AND CHESS PIECES 142
8.4 FORMAL SEMANTICS VS. FORMAL METAPHYSICS 147
8.5 TRUTH AND MEANING 149
8.6 DAVIDSON'S WAY 153
8.7 BEYOND TRUTH AND FALSITY 155
IMAGE 4
CONTENTS IX
9 CRITERIAL RECONSTRUCTION 158
9.1 WHAT IS AN EXPLICATION? 158
9.2 POTENTIAL VS. ACTUAL INFINITY 160
9.3 THE INFINITE IN LOGIC AND MATHEMATICS 163
9.4 CONSTRUCTIONAL SYSTEMS 165
9.5 GENERAL CONSTRUCTIONS AND FUNCTIONS 168
9.6 CONSTRUCTIONAL SYSTEMS AND SETS 170
9.7 CRITERIALIZATION AND POSITS 172
9.8 INFINITY, RULES AND MEANINGS 174
10 NECESSITY 177
10.1 THE QUINEAN CHALLENGE 177
10.2 WORDS AND THINGS 178
10.3 THE DOGMA REJECTED 180
10.4 WITTGENSTEIN ON RULES 182
10.5 THE ARBITRARINESS OF THE POSSIBLE 184
10.6 THE NATURE OF NECESSARY TRUTH 185
10.7 PHILOSOPHY AS THE PURSUIT OF MEANING 188
10.8 LOGIC AND PHILOSOPHY AFTER THE FALL OF THE DOGMA 190
11 LANGUAGE AND THE WORLD 192
11.1 WORDS AND THINGS PICTURED 192
11.2 PHILOSOPHY AND THE LINGUISTIC TURN 196
11.3 LOGIC AND THE FORMALISTIC TURN 198
11.4 CAPTURING MEANING AND LOGICAL ANALYSIS 200
11.5 THE INEFFABILITY OF SEMANTICS 203
11.6 HOW WE MAKE WORLDS WITH WORDS 206
11.7 THE RIGHT LANGUAGE? 208
11.8 CORRESPONDENCE TRIVIALIZED 211
11.9 FORMAL LOGIC AS 'PERSPICUOUS REPRESENTATION' 215
REFERENCES 218
NAME INDEX 229
SUBJECT INDEX 233 |
| any_adam_object | 1 |
| author | Peregrin, Jaroslav 1957- |
| author_GND | (DE-588)1133082092 |
| author_facet | Peregrin, Jaroslav 1957- |
| author_role | aut |
| author_sort | Peregrin, Jaroslav 1957- |
| author_variant | j p jp |
| building | Verbundindex |
| bvnumber | BV010851707 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC57 |
| callnumber-raw | BC57 |
| callnumber-search | BC57 |
| callnumber-sort | BC 257 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 4800 ET 440 |
| ctrlnum | (OCoLC)33008351 (DE-599)BVBBV010851707 |
| dewey-full | 121/.68 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 121 - Epistemology (Theory of knowledge) |
| dewey-raw | 121/.68 |
| dewey-search | 121/.68 |
| dewey-sort | 3121 268 |
| dewey-tens | 120 - Epistemology, causation, humankind |
| discipline | Sprachwissenschaft Philosophie Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010851707</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171026</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960716s1995 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792337425</subfield><subfield code="9">0-7923-3742-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33008351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010851707</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-384</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC57</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121/.68</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 440</subfield><subfield code="0">(DE-625)27985:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Peregrin, Jaroslav</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1133082092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Doing worlds with words</subfield><subfield code="b">formal semantics without formal metaphysics</subfield><subfield code="c">Jaroslav Peregrin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 236 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">253</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Betekenis</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Taalfilosofie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Metaphysics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Mathematische Lyrik</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Lyrik</subfield><subfield code="A">f</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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">253</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">253</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=007253687&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007253687</subfield></datafield></record></collection> |
| genre | Mathematische Lyrik gnd |
| genre_facet | Mathematische Lyrik |
| id | DE-604.BV010851707 |
| illustrated | Illustrated |
| indexdate | 2025-03-15T09:01:43Z |
| institution | BVB |
| isbn | 0792337425 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007253687 |
| oclc_num | 33008351 |
| open_access_boolean | |
| owner | DE-384 DE-29 DE-739 DE-12 DE-188 |
| owner_facet | DE-384 DE-29 DE-739 DE-12 DE-188 |
| physical | XVI, 236 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Peregrin, Jaroslav 1957- Verfasser (DE-588)1133082092 aut Doing worlds with words formal semantics without formal metaphysics Jaroslav Peregrin Dordrecht [u.a.] Kluwer 1995 XVI, 236 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Synthese library 253 Betekenis gtt Modeltheorie gtt Taalfilosofie gtt Language and logic Metaphysics Semantics Formale Semantik (DE-588)4122144-8 gnd rswk-swf Mathematische Lyrik gnd rswk-swf Formale Semantik (DE-588)4122144-8 s Mathematische Lyrik f DE-604 Synthese library 253 (DE-604)BV000005044 253 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007253687&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Peregrin, Jaroslav 1957- Doing worlds with words formal semantics without formal metaphysics Synthese library Betekenis gtt Modeltheorie gtt Taalfilosofie gtt Language and logic Metaphysics Semantics Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4122144-8 |
| title | Doing worlds with words formal semantics without formal metaphysics |
| title_auth | Doing worlds with words formal semantics without formal metaphysics |
| title_exact_search | Doing worlds with words formal semantics without formal metaphysics |
| title_full | Doing worlds with words formal semantics without formal metaphysics Jaroslav Peregrin |
| title_fullStr | Doing worlds with words formal semantics without formal metaphysics Jaroslav Peregrin |
| title_full_unstemmed | Doing worlds with words formal semantics without formal metaphysics Jaroslav Peregrin |
| title_short | Doing worlds with words |
| title_sort | doing worlds with words formal semantics without formal metaphysics |
| title_sub | formal semantics without formal metaphysics |
| topic | Betekenis gtt Modeltheorie gtt Taalfilosofie gtt Language and logic Metaphysics Semantics Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Betekenis Modeltheorie Taalfilosofie Language and logic Metaphysics Semantics Formale Semantik Mathematische Lyrik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007253687&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT peregrinjaroslav doingworldswithwordsformalsemanticswithoutformalmetaphysics |