Alfred Tarski: philosophy of language and logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Basingstoke [u.a.]
Palgrave Macmillan
2012
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | History of analytic philosphy
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 262 S. |
| ISBN: | 9780230221215 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039953069 | ||
| 003 | DE-604 | ||
| 005 | 20120831 | ||
| 007 | t | ||
| 008 | 120313s2012 xxk |||| 00||| eng d | ||
| 010 | |a 2011049921 | ||
| 020 | |a 9780230221215 |c hbk. alk. paper |9 978-0-230-22121-5 | ||
| 035 | |a (OCoLC)782101011 | ||
| 035 | |a (DE-599)BVBBV039953069 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-12 |a DE-29 |a DE-19 |a DE-703 |a DE-473 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 199/.438 | |
| 084 | |a CI 7661 |0 (DE-625)18596:11798 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Patterson, Douglas |e Verfasser |0 (DE-588)132238470 |4 aut | |
| 245 | 1 | 0 | |a Alfred Tarski |b philosophy of language and logic |c Douglas Patterson |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Basingstoke [u.a.] |b Palgrave Macmillan |c 2012 | |
| 300 | |a X, 262 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a History of analytic philosphy | |
| 600 | 1 | 4 | |a Tarski, Alfred |
| 600 | 1 | 7 | |a Tarski, Alfred |d 1901-1983 |0 (DE-588)118620851 |2 gnd |9 rswk-swf |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Sprache | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Language and languages |x Philosophy | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 0 | 7 | |a Sprachphilosophie |0 (DE-588)4056486-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Tarski, Alfred |d 1901-1983 |0 (DE-588)118620851 |D p |
| 689 | 0 | 1 | |a Sprachphilosophie |0 (DE-588)4056486-1 |D s |
| 689 | 0 | 2 | |a Sprachlogik |0 (DE-588)4182527-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024810959&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024810959 | ||
Datensatz im Suchindex
| _version_ | 1804148924924035072 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
SERIESEDITORJS FOREWORD INTRODUCTION
EXPRESSIVE AND REPRESENTATIONAL SEMANTICS THE RECEIVED VIEW THEMES
VIII
1 1 4 7
1 INTUITIONISTIC FORMALISM 12
1.1 WHAT WAS INTUITIONISTIC FORMALISM? 12
1.1.1 A PUZZLE ABOUT CONCEPTS AND DEFINITIONS 12
1.1.2 TARSKI, LESNIEWSKI AND INTUITIONISTIC FORMALISM 16 1.1.3 FORMALISM
19
1.2 LESNIEWSKI 20
1.2.1 LESNIEWSKI S EARLY WORK 20
1.2.2 LESNIEWSKI S LATER WORK 25
1.3 KOTARBINSKI 31
1.4 TARSKI IN CONTEXT 37
1.4.1 THE AXIOMATIC METHOD 37
1.4.2 MONISM VS TOLERANCE 41
1.4.3 FIVE DOCTRINES 43
1.4.4 TARSKI S PROJECT 49
2 TARSKI AS INTUITIONISTIC FORMALIST 53
2.1 THE EARLY METAMATHEMATICAL WORKS 53
2.1.1 AXIOMATIZING CONSEQUENCE 53
2.1.2 RELATIVIZATION TO A DEDUCTIVE SCIENCE 55
2.2 EXPLICIT DEFINITION 62
2.2.1 DEFINING DEFINITION 63
2.2.2 TWO CONCEPTIONS OF DEFINITION 65
2.2.3 PADOA S METHOD 67
2.3 CATEGORICITY AND COMPLETENESS OF TERMS 70
2.3.1 PROVABLE MONOTRANSFORMABILITY 70
2.3.2 ABSOLUTE MONOTRANSFORMABILITY 76
2.4 THEORY AND CONCEPT 80
3 SEMANTICS 84
3.1 PHILOSOPHICAL RESISTANCE 85
V
IMAGE 2
VI CONTENTS
3.1.1 THE QUANTIFIER 86
3.1.2 PARADOX 89
3.2 MATHEMATICAL ACCEPTANCE 91
3.3 INTUITIONISTIC FORMALISM IN /ION DEFINABLE SETS 94
3.3.1 THE INTUITIVE NOTION OF DEFINABILITY 95
3.3.2 DEFINING DEFINABLE SETS VS DEFINING /LDEFINES 100
4 TRUTH 108
4.1 CONVENTION T 109
4.1.1 TERMINOLOGICAL NOTES 109
4.1.2 TRUTH IN THE LVOV-WARSAW SCHOOL 111
4.1.3 SEMANTIC CONCEPTS IN A MATHEMATICAL THEORY 114 4.1.4 T-SENTENCES
117
4.2 TARSKI S DEFINITIONS 122
4.2.1 TRUTH FOR THE LANGUAGE OF THE CALCULUS OF CLASSES 122 4.2.2 HIGHER
ORDER AND POLYADICITY 124
4.2.3 DOMAIN RELATIVIZATION AND CONSEQUENCE 128
4.3 EVALUATING TARSKI S ACCOUNT 129
4.3.1 FAMILIAR QUESTIONS 129
4.3.2 TARSKIAN DEFINITIONS AND TARSKI S /LTHEORY 133
4.3.3 REDUCTION AND PHYSICALISM 138
4.3.4 CORRESPONDENCE AND DEFLATIONISM 140
5 INDEFINABILITY AND INCONSISTENCY 144
5.1 INDEFINABILITY 145
5.1.1 INDEFINABILITY BEFORE 1931 145
5.1.2 THEOREM I: TEXTUAL ISSUES 147
5.1.3 THEOREM LAND INTUITIONISTIC FORMALISM 155
5.1.4 AXIOMATIC SEMANTICS 158
5.2 INCONSISTENCY IN EVERYDAY LANGUAGE 160
5.2.1 INCONSISTENT KOTARBINSKIAN CONVENTIONS 162
5.2.2 TARSKI AFTER KOTARBINSKI 166
6 TRANSITIONS: 1933-1935 169
6.1 THE 1935 POSTSCRIPT 170
6.2 CARNAP ON ANALYTICITY AND TRUTH 174
6.3 THE ESTABLISHMENT OF SCIENTIFIC SEMANTICS 179
7 LOGICAL CONSEQUENCE 181
7.1 TARSKI S DEFINITION 182
7.1.1 SYNOPSIS 182
7.1.2 OBJECTIONS TO TARSKI S ACCOUNT 185
7.2 CONSEQUENCE IN LOGICAL SYNTAX 187
IMAGE 3
CONTENTS VII
7.2.1 L-CONSEQUENCE AND CONDITION F 187
7.2.2 TRACTARIANISM IN THE VIENNA CIRCLE 191
7.3 THE OVERGENERATION PROBLEM AND DOMAIN VARIATION 194
7.3.1 DOMAIN VARIATION 194
7.3.2 CONSEQUENCE IN GOEDEL S COMPLETENESS THEOREM 198 7.3.3 TARSKI S
FIXED DOMAIN 201
7.4 THE MODALITY PROBLEM AND TARSKI S FALLACY 203
7.4.1 MODALITIES 204
7.4.2 CONSEQUENCE AND TRUTH 206
7.4.3 TARSKI S MUST 208
7.5 THE FORMALITY PROBLEM AND THE LOGICAL CONSTANTS 209
7.5.1 CONSTANT AND CONSEQUENCE 209
7.5.2 ANACHRONISTIC READINGS 211
7.5.3 CARNAP ON FORMALITY 213
7.5.4 THE (V-RULE AND GOEDEL SENTENCES 214
7.5.5 ANTITRACTARIANISM AND THE NATURE OF LOGIC 215
7.6 EVALUATING TARSKI S AC COUNT 219
7.6.1 THE ANALYTIC PROBLEM 219
7.6.2 ELIMINATING TRANSFORMATION RULES 221
7.6.3 EPISTEMIC AND GENERALITY CONCEPTIONS OF LOGIC 223
8 CONCLUSION 8.1 PARIS 1935 AND THE RECEPTION OF SEMANTICS 8.2 FINAL RE
MARKS
NOTES
BIBLIOGRAPHY
INDEX
227 227 232
234
249
260
|
| any_adam_object | 1 |
| author | Patterson, Douglas |
| author_GND | (DE-588)132238470 |
| author_facet | Patterson, Douglas |
| author_role | aut |
| author_sort | Patterson, Douglas |
| author_variant | d p dp |
| building | Verbundindex |
| bvnumber | BV039953069 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P39 |
| callnumber-raw | P39 |
| callnumber-search | P39 |
| callnumber-sort | P 239 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | CI 7661 |
| ctrlnum | (OCoLC)782101011 (DE-599)BVBBV039953069 |
| dewey-full | 199/.438 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 199 - Philosophy of other geographic areas |
| dewey-raw | 199/.438 |
| dewey-search | 199/.438 |
| dewey-sort | 3199 3438 |
| dewey-tens | 190 - Modern western philosophy |
| discipline | Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01878nam a2200517zc 4500</leader><controlfield tag="001">BV039953069</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120313s2012 xxk |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011049921</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780230221215</subfield><subfield code="c">hbk. alk. paper</subfield><subfield code="9">978-0-230-22121-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)782101011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039953069</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">199/.438</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 7661</subfield><subfield code="0">(DE-625)18596:11798</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">Patterson, Douglas</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132238470</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Alfred Tarski</subfield><subfield code="b">philosophy of language and logic</subfield><subfield code="c">Douglas Patterson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basingstoke [u.a.]</subfield><subfield code="b">Palgrave Macmillan</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 262 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="490" ind1="0" ind2=" "><subfield code="a">History of analytic philosphy</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Tarski, Alfred</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Tarski, Alfred</subfield><subfield code="d">1901-1983</subfield><subfield code="0">(DE-588)118620851</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sprache</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">Language and languages</subfield><subfield code="x">Philosophy</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">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Tarski, Alfred</subfield><subfield code="d">1901-1983</subfield><subfield code="0">(DE-588)118620851</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</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=024810959&sequence=000001&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-024810959</subfield></datafield></record></collection> |
| id | DE-604.BV039953069 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:14:52Z |
| institution | BVB |
| isbn | 9780230221215 |
| language | English |
| lccn | 2011049921 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024810959 |
| oclc_num | 782101011 |
| open_access_boolean | |
| owner | DE-12 DE-29 DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-29 DE-19 DE-BY-UBM DE-703 DE-473 DE-BY-UBG |
| physical | X, 262 S. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Palgrave Macmillan |
| record_format | marc |
| series2 | History of analytic philosphy |
| spelling | Patterson, Douglas Verfasser (DE-588)132238470 aut Alfred Tarski philosophy of language and logic Douglas Patterson 1. publ. Basingstoke [u.a.] Palgrave Macmillan 2012 X, 262 S. txt rdacontent n rdamedia nc rdacarrier History of analytic philosphy Tarski, Alfred Tarski, Alfred 1901-1983 (DE-588)118620851 gnd rswk-swf Philosophie Sprache Language and logic Language and languages Philosophy Semantics (Philosophy) Sprachphilosophie (DE-588)4056486-1 gnd rswk-swf Sprachlogik (DE-588)4182527-5 gnd rswk-swf Tarski, Alfred 1901-1983 (DE-588)118620851 p Sprachphilosophie (DE-588)4056486-1 s Sprachlogik (DE-588)4182527-5 s DE-604 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024810959&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Patterson, Douglas Alfred Tarski philosophy of language and logic Tarski, Alfred Tarski, Alfred 1901-1983 (DE-588)118620851 gnd Philosophie Sprache Language and logic Language and languages Philosophy Semantics (Philosophy) Sprachphilosophie (DE-588)4056486-1 gnd Sprachlogik (DE-588)4182527-5 gnd |
| subject_GND | (DE-588)118620851 (DE-588)4056486-1 (DE-588)4182527-5 |
| title | Alfred Tarski philosophy of language and logic |
| title_auth | Alfred Tarski philosophy of language and logic |
| title_exact_search | Alfred Tarski philosophy of language and logic |
| title_full | Alfred Tarski philosophy of language and logic Douglas Patterson |
| title_fullStr | Alfred Tarski philosophy of language and logic Douglas Patterson |
| title_full_unstemmed | Alfred Tarski philosophy of language and logic Douglas Patterson |
| title_short | Alfred Tarski |
| title_sort | alfred tarski philosophy of language and logic |
| title_sub | philosophy of language and logic |
| topic | Tarski, Alfred Tarski, Alfred 1901-1983 (DE-588)118620851 gnd Philosophie Sprache Language and logic Language and languages Philosophy Semantics (Philosophy) Sprachphilosophie (DE-588)4056486-1 gnd Sprachlogik (DE-588)4182527-5 gnd |
| topic_facet | Tarski, Alfred Tarski, Alfred 1901-1983 Philosophie Sprache Language and logic Language and languages Philosophy Semantics (Philosophy) Sprachphilosophie Sprachlogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024810959&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pattersondouglas alfredtarskiphilosophyoflanguageandlogic |