Untersuchungen zur allgemeinen Axiomatik:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Darmstadt
Wiss. Buchges.
2000
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 166 S. |
| ISBN: | 3534142985 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013184241 | ||
| 003 | DE-604 | ||
| 005 | 20141126 | ||
| 007 | t | ||
| 008 | 000605s2000 |||| 00||| ger d | ||
| 016 | 7 | |a 959448667 |2 DE-101 | |
| 020 | |a 3534142985 |9 3-534-14298-5 | ||
| 035 | |a (OCoLC)48451066 | ||
| 035 | |a (DE-599)BVBBV013184241 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-20 |a DE-355 |a DE-29 |a DE-824 |a DE-739 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-19 | ||
| 050 | 0 | |a B945.C163 | |
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CI 1804 |0 (DE-625)18380:11603 |2 rvk | ||
| 084 | |a SK 110 |0 (DE-625)143215: |2 rvk | ||
| 100 | 1 | |a Carnap, Rudolf |d 1891-1970 |e Verfasser |0 (DE-588)118519158 |4 aut | |
| 243 | 1 | 0 | |a Sammlung |
| 245 | 1 | 0 | |a Untersuchungen zur allgemeinen Axiomatik |c Rudolf Carnap. Hrsg. von Thomas Bonk ... |
| 264 | 1 | |a Darmstadt |b Wiss. Buchges. |c 2000 | |
| 300 | |a VIII, 166 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Axioma |2 larpcal | |
| 650 | 7 | |a Axioma's |2 gtt | |
| 650 | 7 | |a Filosofia contemporânea - Alemanha |2 larpcal | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Axioms |x Philosophy | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Axiomatik |0 (DE-588)4004038-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Axiomatik |0 (DE-588)4004038-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bonk, Thomas |d 1964- |e Sonstige |0 (DE-588)138937567 |4 oth | |
| 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=008983406&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008983406 | ||
Record in the Search Index
| _version_ | 1804127885587382272 |
|---|---|
| adam_text | Inhalt
Einleitung 1
Der Logizismus zwischen Principia und Logische Syntax ... 1
Die axiomatische Methode 10
Die Entstehung der Untersuchungen 14
Im Wiener Kreis 22
Carnaps Konstruktivismus 28
Die Grunddisziplin 34
Die Grundauffassung und die Implikationsaussage 37
Vollständigkeit, Gabelbarkeit und Monomorphie 40
Das Entscheidungsproblem 44
Der Teil II der Untersuchungen 47
Zur Edition 53
Rudolf Carnap: Untersuchungen zur allgemeinen Axiomatik . . 55
Literatur- und Abkürzungsverzeichnis 57
1 Die Grunddisziplin 59
1.1 Aufgabestellung 59
1.2 Notwendigkeit einer Grunddisziplin 60
1.3 Die Begriffe der Grunddisziplin 61
1.4 Relationstheorie 65
1.5 Typentheorie 68
1.6 Isomorphie 70
1.7 Die Relationsstrukturen 72
1.8 Einige Lehrsätze der Logik 75
1.9 Absolute und konstruktive Eigenschaften 78
1.10 Absolutismus und Konstruktivismus 81
VIII Inhalt
2 Allgemeine Eigenschaften eines Axiomensystems 87
A Das Axiomensystem als Aussagefunktion 87
2.1 Die Grundbegriffe als Variable 87
2.2 Die Folgerungen eines Axiomensystems 90
2.3 Die Modelle eines Axiomensystems 93
2.4 Leer; widerspruchsvoll 96
B Isomorphie und Struktur der Modelle 102
2.5 Axiomensysteme mit einer Grundrelation erster Stufe . 102
2.6 Das Problem der Modellisomorphie 104
2.7 Die mehrstufige Isomorphie zwischen Relationen .... 106
2.8 Die mehrstufige Isomorphie zwischen Modellen 110
2.9 Beispiel zur mehrstufigen Isomorphie 112
2.10 Kritik anderer Definitionen der Modellisomorphie . . . 116
2.11 Die mehrstufigen Strukturen 121
2.12 Formale und materiale Axiome 124
3 Monomorphie und Gabelbarkeit 127
3.1 Die drei Bedeutungen der Vollständigkeit eines Axio¬
mensystems 127
3.2 Monomorphie 128
3.3 Gabelbarkeit 130
3.4 Der Gabelbarkeitssatz 133
3.5 Anwendungen: Nichtgabelbarkeit der Arithmetik und
der euklidischen Geometrie 139
3.6 Versuch einer Definition des Begriffs „entscheidungsde-
finit 142
3.7 Das Entscheidungsproblem der Logik 146
3.8 Kein Axiomensystem ist k-entscheidungsdefinit 147
Carnaps Arbeitsplan für Teil II der Untersuchungen 153
Literaturverzeichnis 157
Personen- und Sachregister 165
|
| any_adam_object | 1 |
| author | Carnap, Rudolf 1891-1970 |
| author_GND | (DE-588)118519158 (DE-588)138937567 |
| author_facet | Carnap, Rudolf 1891-1970 |
| author_role | aut |
| author_sort | Carnap, Rudolf 1891-1970 |
| author_variant | r c rc |
| building | Verbundindex |
| bvnumber | BV013184241 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B945 |
| callnumber-raw | B945.C163 QA9 |
| callnumber-search | B945.C163 QA9 |
| callnumber-sort | B 3945 C163 |
| callnumber-subject | B - Philosophy |
| classification_rvk | CI 1804 SK 110 |
| ctrlnum | (OCoLC)48451066 (DE-599)BVBBV013184241 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01725nam a2200469 c 4500</leader><controlfield tag="001">BV013184241</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000605s2000 |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959448667</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3534142985</subfield><subfield code="9">3-534-14298-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48451066</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013184241</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B945.C163</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 1804</subfield><subfield code="0">(DE-625)18380:11603</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 110</subfield><subfield code="0">(DE-625)143215:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Carnap, Rudolf</subfield><subfield code="d">1891-1970</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118519158</subfield><subfield code="4">aut</subfield></datafield><datafield tag="243" ind1="1" ind2="0"><subfield code="a">Sammlung</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Untersuchungen zur allgemeinen Axiomatik</subfield><subfield code="c">Rudolf Carnap. Hrsg. von Thomas Bonk ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Darmstadt</subfield><subfield code="b">Wiss. Buchges.</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 166 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="7"><subfield code="a">Axioma</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axioma's</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofia contemporânea - Alemanha</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axioms</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Axiomatik</subfield><subfield code="0">(DE-588)4004038-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Axiomatik</subfield><subfield code="0">(DE-588)4004038-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonk, Thomas</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)138937567</subfield><subfield code="4">oth</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=008983406&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-008983406</subfield></datafield></record></collection> |
| id | DE-604.BV013184241 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:40:27Z |
| institution | BVB |
| isbn | 3534142985 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008983406 |
| oclc_num | 48451066 |
| open_access_boolean | |
| owner | DE-20 DE-355 DE-BY-UBR DE-29 DE-824 DE-739 DE-634 DE-83 DE-11 DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-20 DE-355 DE-BY-UBR DE-29 DE-824 DE-739 DE-634 DE-83 DE-11 DE-188 DE-19 DE-BY-UBM |
| physical | VIII, 166 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Wiss. Buchges. |
| record_format | marc |
| spelling | Carnap, Rudolf 1891-1970 Verfasser (DE-588)118519158 aut Sammlung Untersuchungen zur allgemeinen Axiomatik Rudolf Carnap. Hrsg. von Thomas Bonk ... Darmstadt Wiss. Buchges. 2000 VIII, 166 S. txt rdacontent n rdamedia nc rdacarrier Axioma larpcal Axioma's gtt Filosofia contemporânea - Alemanha larpcal Philosophie Axioms Philosophy Logic, Symbolic and mathematical Axiomatik (DE-588)4004038-0 gnd rswk-swf Axiomatik (DE-588)4004038-0 s DE-604 Bonk, Thomas 1964- Sonstige (DE-588)138937567 oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008983406&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Carnap, Rudolf 1891-1970 Untersuchungen zur allgemeinen Axiomatik Axioma larpcal Axioma's gtt Filosofia contemporânea - Alemanha larpcal Philosophie Axioms Philosophy Logic, Symbolic and mathematical Axiomatik (DE-588)4004038-0 gnd |
| subject_GND | (DE-588)4004038-0 |
| title | Untersuchungen zur allgemeinen Axiomatik |
| title_auth | Untersuchungen zur allgemeinen Axiomatik |
| title_exact_search | Untersuchungen zur allgemeinen Axiomatik |
| title_full | Untersuchungen zur allgemeinen Axiomatik Rudolf Carnap. Hrsg. von Thomas Bonk ... |
| title_fullStr | Untersuchungen zur allgemeinen Axiomatik Rudolf Carnap. Hrsg. von Thomas Bonk ... |
| title_full_unstemmed | Untersuchungen zur allgemeinen Axiomatik Rudolf Carnap. Hrsg. von Thomas Bonk ... |
| title_short | Untersuchungen zur allgemeinen Axiomatik |
| title_sort | untersuchungen zur allgemeinen axiomatik |
| topic | Axioma larpcal Axioma's gtt Filosofia contemporânea - Alemanha larpcal Philosophie Axioms Philosophy Logic, Symbolic and mathematical Axiomatik (DE-588)4004038-0 gnd |
| topic_facet | Axioma Axioma's Filosofia contemporânea - Alemanha Philosophie Axioms Philosophy Logic, Symbolic and mathematical Axiomatik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008983406&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT carnaprudolf untersuchungenzurallgemeinenaxiomatik AT bonkthomas untersuchungenzurallgemeinenaxiomatik |