Formale Logik: eine philosophische Einführung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart
Reclam
2013
|
| Schriftenreihe: | Reclams Universal-Bibliothek
9692 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 335 S. 15 cm |
| ISBN: | 9783150096925 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041117624 | ||
| 003 | DE-604 | ||
| 005 | 20130717 | ||
| 007 | t | ||
| 008 | 130702r2013uuuugw |||| 00||| ger d | ||
| 015 | |a 13,A25 |2 dnb | ||
| 016 | 7 | |a 1035621339 |2 DE-101 | |
| 020 | |a 9783150096925 |c kart. : EUR 11.00 |9 978-3-15-009692-5 | ||
| 035 | |a (OCoLC)849761366 | ||
| 035 | |a (DE-599)DNB1035621339 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-19 | ||
| 082 | 0 | |a 511.3 |2 22/ger | |
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 100 |2 sdnb | ||
| 100 | 1 | |a Hoyningen-Huene, Paul |d 1946- |e Verfasser |0 (DE-588)110685113 |4 aut | |
| 245 | 1 | 0 | |a Formale Logik |b eine philosophische Einführung |c Paul Hoyningen-Huene |
| 264 | 1 | |a Stuttgart |b Reclam |c 2013 | |
| 300 | |a 335 S. |c 15 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Reclams Universal-Bibliothek |v 9692 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026093702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026093702 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804150507417108480 |
|---|---|
| adam_text | IMAGE 1
VORWORT
INHALT
I EINFUEHRUNG
1 EIN BEISPIEL .
2 VORLAEUFIGES ZUM BEGRIFF DER LOGISCHEN FORM 3 AUSSAGEN UND
AUSSAGEVERKNUEPFUNGEN. . . . 3.1 SAETZE UND AUSSAGEN . . . . I
3.2 UNZUSAMMENGESETZTE VS. ZUSAMMENGESETZTE AUSSAGEN . . . 3.3
EXTENSIONALE VS. INTENSIONALE AUSSAGEVERKNUEPFUNGEN 4 ZUSAMMENFASSUNG
II AUSSAGENLOGIK . . .
1 DAS ZEICHENSYSTEM DER AUSSAGENLOGIK 1.1 WAHRHEITSFUNKTIONALE
VERKNUEPFUNGEN. A) KONJUNKTION . . .
B) ADJUNKTION * C) NEGATION .*
D) KONDITIONAL . . .
E) BIKONDITIONAL F) NACHBEMERKUNG ZUR EINFUEHRUNG DER JUNKTOREN 1.2
AUSSAGENLOGISCHE FORM . . . . . . . . .
A) DEFINITION B) BEMERKUNGEN UND ERGAENZUNGEN ZUM BEGRIFF DER
AUSSAGENLOGISCHEN FORM ,
HTTP://D-NB.INFO/1035621339
IMAGE 2
6
INHALT
1.3 INTERPRETATION VON AUSSAGENLOGISCHEN FORMELN . 67 A) INTENSIONALE
INTERPRETATION 67
B) EXTENSIONALE INTERPRETATION 68
C) WAHRHEITSWERTANALYSE 70
1.4 ZUSAMMENFASSUNG 73
2 METALOGIK DER AUSSAGENLOGIK -74
2.1 OBJEKTEBENE VS. METAEBENE . . * 74
2.2 LOGISCHE WAHRHEIT 78
A) DEFINITION 78
B) DAS SUBSTITUTIONSTHEOREM 85
2.3 LOGISCHE FALSCHHEIT 87
2.4 LOGISCHE FOLGERUNG 92
A) SYNTHETISCHE DEFINITION, ANALYTISCHE DEFINITION, EXPLIKATION 92
B) ADAEQUATHEITSBEDINGUNGEN 96
C) VERSCHAERFUNG DER ADAEQUATHEITSBEDINGUNGEN? I: FALSCHHEITSTRANSFER 102
D) DEFINITION 105
E) BEMERKUNGEN UND ERGAENZUNGEN ZUR DEFINITION 111
. F) VERSCHAERFUNG DER ADAEQUATHEITSBEDINGUNGEN? II: DIE SOGENANNTEN
PARADOXIEN DER IMPLIKATION 117
2.5 LOGISCHE AEQUIVALENZ 129
A) DEFINITION 129
B) DAS EINSETZUNGSTHEOREM 133
C) WICHTIGE AUSSAGENLOGISCHE AEQUIVALENZEN . 135 2.6 LOGISCHER
WIDERSPRUCH 143
A) KONTRAERER AUSSAGENLOGISCHER WIDERSPRUCH . 145 B) KONTRADIKTORISCHER
AUSSAGENLOGISCHER WIDERSPRUCH 146
2.7 LOGISCHE KONSISTENZ 147
2.8 LOGISCHE ABHAENGIGKEIT : 149
IMAGE 3
INHALT
7
3 RUECKBLICK UND AUSBLICK 152
3.1 RUECKBLICK 152
3.2 AUSSAGEN IN DER AUSSAGENLOGIK 153
3.3 LOGIK ALS RECHTFERTIGUNG DES SCHLIESSENS? . . . 155 3.4 ZUM
VERHAELTNIS VON OBJEKT- UND METAEBENE IN DER LOGIK * *. . . . 159
III PRAEDIKATENLOGIK 164
1 DAS ZEICHENSYSTEM DER PRAEDIKATENLOGIK 166
1.1 KLASSIFIKATION VON AUSSAGEN . . . 166
A) SINGULARE AUSSAGEN 167 -
B) UNIVERSELLE AUSSAGEN 176
C) EXISTENZAUSSAGEN : 178
D) BEMERKUNGEN UND ERGAENZUNGEN ZUR EINFUEHRUNG DER QUANTORERI * . . . .
182
1.2. PRAEDIKATENLOGISCHE FORM 196
A) DEFINITION . . . 196
B) BEMERKUNGEN UND ERGAENZUNGEN ZUM BEGRIFF DER PRAEDIKATENLOGISCHEN FORM
. 200
C) BEISPIEL FUER EINE RELATIV KOMPLIZIERTE - P.L. FORMATIERUNG 203
1.3 INTERPRETATION VON PRAEDIKATENLOGISCHEN FORMEN 207. A) INTENSIONALE
INTERPRETATION 208
B) EXTENSIONALE INTERPRETATION . 209
C) WAHRHEITSWERTANALYSE 213
1.4 ZUSAMMENFASSUNG 217
2 METALOGIK DER PRAEDIKATENLOGIK 2 1 9
2.1 DIE PARALLELE ZUR METALOGIK DER AUSSAGENLOGIK 219 2.2 LOGISCHE
WAHRHEIT 219
A) DEFINITION 219
B) DER ZUSAMMENHANG MIT DER AUSSAGENLOGIK 224 C) DAS
ENTSCHEIDUNGSPROBLEM 226
IMAGE 4
8
INHALT
2.3 LOGISCHE FALSCHHEIT 228
2.4 LOGISCHE FOLGERUNG 229
A) ADAEQUATHEITSBEDINGUNGEN 229
B) DEFINITION 231
2.5 LOGISCHE AEQUIVALENZ 234
A) DEFINITION 234
B) WICHTIGE PRAEDIKATENLOGISCHE AEQUIVALENZEN 235 2.6 WEITERE METALOGISCHE
BEGRIFFE 236
3 RUECKBLICK UND AUSBLICK 237
I V D E R MATHEMATISCHE ZUGANG Z U R AUSSAGENLOGIK 238
1 ZUM MATHEMATISCHEN ZUGANG IM ALLGEMEINEN . . . 239 2 SYNTAX DER
AUSSAGENLOGIK 243
3 SEMANTIK: MODELLTHEORIE 251
4 BEWEISTHEORIE . , . 257
5 RUECKBLICK 268
6 AUSBLICK AUF DIE PRAEDIKATENLOGIK 270
ANHANG 273
LOESUNGEN DER UEBUNGEN. VON CHRISTOPHER V. BUELOW 277
LITERATURHINWEISE 333
|
| any_adam_object | 1 |
| author | Hoyningen-Huene, Paul 1946- |
| author_GND | (DE-588)110685113 |
| author_facet | Hoyningen-Huene, Paul 1946- |
| author_role | aut |
| author_sort | Hoyningen-Huene, Paul 1946- |
| author_variant | p h h phh |
| building | Verbundindex |
| bvnumber | BV041117624 |
| ctrlnum | (OCoLC)849761366 (DE-599)DNB1035621339 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01847nam a2200481 cb4500</leader><controlfield tag="001">BV041117624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130702r2013uuuugw |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1035621339</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783150096925</subfield><subfield code="c">kart. : EUR 11.00</subfield><subfield code="9">978-3-15-009692-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)849761366</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1035621339</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hoyningen-Huene, Paul</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110685113</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Logik</subfield><subfield code="b">eine philosophische Einführung</subfield><subfield code="c">Paul Hoyningen-Huene</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Reclam</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">335 S.</subfield><subfield code="c">15 cm</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">Reclams Universal-Bibliothek</subfield><subfield code="v">9692</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=026093702&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-026093702</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV041117624 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:40:01Z |
| institution | BVB |
| isbn | 9783150096925 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026093702 |
| oclc_num | 849761366 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 335 S. 15 cm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Reclam |
| record_format | marc |
| series2 | Reclams Universal-Bibliothek |
| spelling | Hoyningen-Huene, Paul 1946- Verfasser (DE-588)110685113 aut Formale Logik eine philosophische Einführung Paul Hoyningen-Huene Stuttgart Reclam 2013 335 S. 15 cm txt rdacontent n rdamedia nc rdacarrier Reclams Universal-Bibliothek 9692 Literaturangaben Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Philosophie (DE-588)4045791-6 s 2\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026093702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hoyningen-Huene, Paul 1946- Formale Logik eine philosophische Einführung Mathematische Logik (DE-588)4037951-6 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4045791-6 (DE-588)4151278-9 |
| title | Formale Logik eine philosophische Einführung |
| title_auth | Formale Logik eine philosophische Einführung |
| title_exact_search | Formale Logik eine philosophische Einführung |
| title_full | Formale Logik eine philosophische Einführung Paul Hoyningen-Huene |
| title_fullStr | Formale Logik eine philosophische Einführung Paul Hoyningen-Huene |
| title_full_unstemmed | Formale Logik eine philosophische Einführung Paul Hoyningen-Huene |
| title_short | Formale Logik |
| title_sort | formale logik eine philosophische einfuhrung |
| title_sub | eine philosophische Einführung |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | Mathematische Logik Philosophie Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026093702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hoyningenhuenepaul formalelogikeinephilosophischeeinfuhrung |