Axiomatische Wahrheitstheorien:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German |
Veröffentlicht: |
Berlin
Akad.-Verl.
1996
|
Schriftenreihe: | Logica nova
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VIII, 249 S. |
ISBN: | 3050029048 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV010839827 | ||
003 | DE-604 | ||
005 | 19970609 | ||
007 | t | ||
008 | 960701s1996 m||| 00||| ger d | ||
016 | 7 | |a 947905146 |2 DE-101 | |
020 | |a 3050029048 |c Pp. : ca. DM 120.00, ca. sfr 120.00, ca. S 888.00 |9 3-05-002904-8 | ||
035 | |a (OCoLC)36671841 | ||
035 | |a (DE-599)BVBBV010839827 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
049 | |a DE-739 |a DE-19 |a DE-29 |a DE-355 |a DE-384 |a DE-M468 |a DE-824 |a DE-12 |a DE-703 |a DE-473 |a DE-83 |a DE-11 |a DE-188 | ||
050 | 0 | |a BD171 | |
082 | 0 | |a 121 |2 21 | |
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
084 | |a CC 4500 |0 (DE-625)17627: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Halbach, Volker |e Verfasser |0 (DE-588)114528071 |4 aut | |
245 | 1 | 0 | |a Axiomatische Wahrheitstheorien |c Volker Halbach |
264 | 1 | |a Berlin |b Akad.-Verl. |c 1996 | |
300 | |a VIII, 249 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Logica nova | |
502 | |a Teilw. zugl.: Diss. u.d.T.: Halbach, Volker: Tarski-Hierarchien | ||
650 | 7 | |a Kennistheorie |2 gtt | |
650 | 7 | |a Metamathematica |2 gtt | |
650 | 7 | |a Waarheid |2 gtt | |
650 | 4 | |a Erkenntnistheorie | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Truth | |
650 | 0 | 7 | |a Axiomatik |0 (DE-588)4004038-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |D s |
689 | 0 | 1 | |a Axiomatik |0 (DE-588)4004038-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |D s |
689 | 1 | |5 DE-604 | |
856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007246177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-007246177 |
Datensatz im Suchindex
_version_ | 1804125327673262080 |
---|---|
adam_text | VOLKER HALBACH AXIOMATISCHE WAHRHEITSTHEORIEN AKADEMIE VERLAG INHALT I
GRUNDLAGEN 1 1 EXPLIKATIONEN VON WAHRHEIT 1 2 DAS KATEGORIEPROBLEM 7 3
METAMATHEMATIK DER WAHRHEIT 11 II DIE BASISTHEORIE 15 4 REKURSIVE
FUNKTIONEN 15 5 ARITHMETISIERUNG 18 6 BEWEISTHEORETISCHE REDUKTIONEN 26
III KLASSISCHE WAHRHEITSTHEORIEN 30 7 PARTIELLE WAHRHEITSPRAEDIKATE 30 8
WAHRHEITSTHEORIEN FUER ARITHMETISCHE SPRACHEN 34 9 KONSERVATIVITAET 39 10
WAHRHEIT UND ARITHMETISCHE KOMPREHENSION 56 IV WAHRHEITSKLASSEN 65 11
NONSTANDARDMODELLE 65 12 LACHLANS THEOREM 76 13 PARTIELLE
WAHRHEITSKLASSEN 80 14 VOLLSTAENDIGE WAHRHEITSKLASSEN 82 V ITERIERTE
WAHRHEITSTHEORIEN 99 15 OBJEKT- UND METASPRACHEN 99 16
TARSKI-HIERARCHIEN 102 17 DEFINIERBARKEIT IN TARSKI-HIERARCHIEN 112 18
EIN SYSTEM ITERIERTER WAHRHEIT 126 19 UNFUNDIERTE HIERARCHIEN 136 20
BURGES HIERARCHIEN 141 VI TYPFREIE WAHRHEIT 151 21 SELBSTREFERENTIELLE
WAHRHEIT 151 22 EINIGE INKONSISTENZEN 153 23 TYPFREIE
TARSKI-BIKONDITIONALE 159 VIII INHALT VII KRIPKES WAHRHEITSTHEORIE UND
IHRE AXIOMATISIERUNGEN 162 24 KRIPKES WAHRHEITSTHEORIE 162 25
KRIPKE-FEFERMAN-THEORIEN 174 26 SUPERVALUATION 180 VIII SYSTEME
VOLLSTAENDIGER UND KONSISTENTER WAHRHEIT 189 27 KLASSISCHE SYMMETRISCHE
WAHRHEIT 189 28 REVISIONSSEMANTIK UND FS 197 29 BEWEISTHEORIE VON FS
.206 IX PHILOSOPHISCHE ASPEKTE 214 30 KOMPOSITIONALITAET 215 31 DER
REFLEKTIVE ABSCHLUSS VON PA 221 32 PARADOXIEN 227 33 ONTOLOGISCHE
REDUKTION 231 LITERATUR 237 REGISTER 245
|
any_adam_object | 1 |
author | Halbach, Volker |
author_GND | (DE-588)114528071 |
author_facet | Halbach, Volker |
author_role | aut |
author_sort | Halbach, Volker |
author_variant | v h vh |
building | Verbundindex |
bvnumber | BV010839827 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BD171 |
callnumber-raw | BD171 |
callnumber-search | BD171 |
callnumber-sort | BD 3171 |
callnumber-subject | BD - Speculative Philosophy |
classification_rvk | CC 2600 CC 4400 CC 4500 |
ctrlnum | (OCoLC)36671841 (DE-599)BVBBV010839827 |
dewey-full | 121 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 121 - Epistemology (Theory of knowledge) |
dewey-raw | 121 |
dewey-search | 121 |
dewey-sort | 3121 |
dewey-tens | 120 - Epistemology, causation, humankind |
discipline | Philosophie |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02042nam a2200541 c 4500</leader><controlfield tag="001">BV010839827</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960701s1996 m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947905146</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3050029048</subfield><subfield code="c">Pp. : ca. DM 120.00, ca. sfr 120.00, ca. S 888.00</subfield><subfield code="9">3-05-002904-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36671841</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010839827</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BD171</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4400</subfield><subfield code="0">(DE-625)17626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4500</subfield><subfield code="0">(DE-625)17627:</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">Halbach, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114528071</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axiomatische Wahrheitstheorien</subfield><subfield code="c">Volker Halbach</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Akad.-Verl.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 249 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">Logica nova</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Teilw. zugl.: Diss. u.d.T.: Halbach, Volker: Tarski-Hierarchien</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennistheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Metamathematica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Waarheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Erkenntnistheorie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Truth</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="650" ind1="0" ind2="7"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007246177&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-007246177</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV010839827 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T17:59:48Z |
institution | BVB |
isbn | 3050029048 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007246177 |
oclc_num | 36671841 |
open_access_boolean | |
owner | DE-739 DE-19 DE-BY-UBM DE-29 DE-355 DE-BY-UBR DE-384 DE-M468 DE-824 DE-12 DE-703 DE-473 DE-BY-UBG DE-83 DE-11 DE-188 |
owner_facet | DE-739 DE-19 DE-BY-UBM DE-29 DE-355 DE-BY-UBR DE-384 DE-M468 DE-824 DE-12 DE-703 DE-473 DE-BY-UBG DE-83 DE-11 DE-188 |
physical | VIII, 249 S. |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | Akad.-Verl. |
record_format | marc |
series2 | Logica nova |
spelling | Halbach, Volker Verfasser (DE-588)114528071 aut Axiomatische Wahrheitstheorien Volker Halbach Berlin Akad.-Verl. 1996 VIII, 249 S. txt rdacontent n rdamedia nc rdacarrier Logica nova Teilw. zugl.: Diss. u.d.T.: Halbach, Volker: Tarski-Hierarchien Kennistheorie gtt Metamathematica gtt Waarheid gtt Erkenntnistheorie Logic, Symbolic and mathematical Truth Axiomatik (DE-588)4004038-0 gnd rswk-swf Wahrheitstheorie (DE-588)4127146-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Wahrheitstheorie (DE-588)4127146-4 s Axiomatik (DE-588)4004038-0 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007246177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Halbach, Volker Axiomatische Wahrheitstheorien Kennistheorie gtt Metamathematica gtt Waarheid gtt Erkenntnistheorie Logic, Symbolic and mathematical Truth Axiomatik (DE-588)4004038-0 gnd Wahrheitstheorie (DE-588)4127146-4 gnd |
subject_GND | (DE-588)4004038-0 (DE-588)4127146-4 (DE-588)4113937-9 |
title | Axiomatische Wahrheitstheorien |
title_auth | Axiomatische Wahrheitstheorien |
title_exact_search | Axiomatische Wahrheitstheorien |
title_full | Axiomatische Wahrheitstheorien Volker Halbach |
title_fullStr | Axiomatische Wahrheitstheorien Volker Halbach |
title_full_unstemmed | Axiomatische Wahrheitstheorien Volker Halbach |
title_short | Axiomatische Wahrheitstheorien |
title_sort | axiomatische wahrheitstheorien |
topic | Kennistheorie gtt Metamathematica gtt Waarheid gtt Erkenntnistheorie Logic, Symbolic and mathematical Truth Axiomatik (DE-588)4004038-0 gnd Wahrheitstheorie (DE-588)4127146-4 gnd |
topic_facet | Kennistheorie Metamathematica Waarheid Erkenntnistheorie Logic, Symbolic and mathematical Truth Axiomatik Wahrheitstheorie Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007246177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT halbachvolker axiomatischewahrheitstheorien |