Collegium logicum: logische Grundlagen der Philosophie und der Wissenschaften 1
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Paderborn
Mentis
(2009)
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 585 S. graph. Darst. |
| ISBN: | 9783897856905 9783897856806 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV035755277 | ||
| 003 | DE-604 | ||
| 005 | 20141015 | ||
| 007 | t | ||
| 008 | 091006s2009 d||| |||| 00||| ger d | ||
| 020 | |a 9783897856905 |9 978-3-89785-690-5 | ||
| 020 | |a 9783897856806 |9 978-3-89785-680-6 | ||
| 035 | |a (OCoLC)551938717 | ||
| 035 | |a (DE-599)BVBBV035755277 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-19 |a DE-355 |a DE-521 |a DE-M468 |a DE-11 |a DE-384 |a DE-188 |a DE-634 |a DE-12 |a DE-29 |a DE-473 |a DE-824 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Link, Godehard |e Verfasser |0 (DE-588)108736504 |4 aut | |
| 245 | 1 | 0 | |a Collegium logicum |b logische Grundlagen der Philosophie und der Wissenschaften |n 1 |c Godehard Link |
| 264 | 1 | |a Paderborn |b Mentis |c (2009) | |
| 300 | |a XIV, 585 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 773 | 0 | 8 | |w (DE-604)BV035755270 |g 1 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018615255&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018615255 | ||
Record in the Search Index
| _version_ | 1804140675861577728 |
|---|---|
| adam_text | Inhaltsverzeichnis
Vorwort xiii
Einleitung 1
0.1 Historisches zum Verhältnis von Logik und Philosophie..... 2
0.1.1 Die Erneuerung der Logik im 19. Jahrhundert...... 5
0.1.2
Cantors
Mengenlehre.................... 14
0.1.3 Die Logik des 20. Jahrhunderts.............. 18
0.2 Moderne Logik und Philosophie.................. 24
0.2.1 Existenz........................... 25
0.2.2 Prädikation......................... 29
0.2.3 Identität........................... 33
0.2.4 Abstraktion......................... 40
0.2.5 Teil/Ganzes und Nominalismus.............. 44
0.2.6 Wahrheit.......................... 49
0.2.7 Modalität.......................... 61
0.2.8 Wenn-dann-Verknüpfungen................ 75
0.3 Logik als Metawissenschaft .................... 103
0.3.1 Logik in den formalen Wissenschaften.......... 104
0.3.2 Logik in den empirischen Wissenschaften ........ 104
1 Elementares Handwerkszeug: Mengen, Funktionen, Zeichen 105
1.1 Mengen............................... 105
1.1.1 Operationen der Mengenbildung............. 107
1.1.2 Geordnete Paare, Relationen, n-Tupel.......... 112
1.2 Punktionen............................. 115
1.3 Endliche und unendliche Mengen................. 119
1.4 Definitionen............................. 122
1.4.1 Explizite Definitionen................... 122
1.4.2 Induktive Definitionen und Beweise ........... 126
1.5 Zeichentheoretische Grundbegriffe................ 129
1.5.1 Bedeutung und Referenz.................. 130
1.5.2 Die Namenrelation..................... 140
1.5.3 Deskriptive und logische Ausdrücke; Variablen..... 143
1.5.4 Objekt- und Metasprache; Mitteilungszeichen...... 146
1.5.5 Gebrauch und Erwähnung................. 150
1.5.6 Gebrauch und Erwähnung: Zusammenfassung...... 154
viii Inhaltsverzeichnis
2 Aussagenlogik 157
2.1 Logische Form
I:
Aussagenlogik.................. 157
2.1.1 Die logische Konjunktion ................. 157
2.1.2 Die logische Disjunktion.................. 159
2.1.3 Die Negation........................ 160
2.1.4 Das Konditional...................... 162
2.1.5 Das Bikonditional ..................... 163
2.1.6 AL-Formalisierungen: Beispiele.............. 163
2.2 Syntax der Aussagenlogik..................... 166
2.3 Semantik der Aussagenlogik.................... 169
2.3.1 Belegungen und Bewertungen............... 170
2.3.2 Die Q-Analyse: Schnelle Gültigkeitstests......... 180
2.4 Eine Liste von Tautologien .................... 186
3 Strukturtheorie der Aussagenlogik 193
3.1 Zweistellige Junktoren....................... 193
3.1.1 Der Diamant der Wahrheitsfunktionen.......... 197
3.2 Weitere Strukturaussagen..................... 207
3.2.1 Wahrheitsfunktional vollständige Systeme von Junktoren 207
3.2.2 Normalformen und Boolesche Expansionen ....... 211
3.3 Logische Folgerungen........................ 215
3.4 Philosophische Anwendung: Die Dynamik von Überzeugungen . 217
4 Prädikatenlogik mit Identität 219
4.1 Logische Form
II:
Prädikatenlogik ................ 219
4.1.1
PLII-Formalisíerungen:
Erste Beispiele.......... 224
4.2 Syntax................................ 225
4.2.1 Substitution von
Termen
in Formeln........... 229
4.3 Prädikatenlogische Prinzipien................... 235
4.4 Identität............................... 239
4.5 Kennzeichnungen und Abstraktion................ 242
4.6 Die Logik PL1IKA der Kennzeichnungen und Abstraktion . . . 246
4.7 Prinzipien der Logik PL1IKA................... 249
5 Logische Form und Argument 255
5.1 Ein Übersetzungsmanual...................... 255
5.1.1 Regeln zur Herstellung der Explizitfassung ....... 255
5.1.2 Übersetzung der Explizitfassung in die logische Form . . 258
5.2 Logische Argumente........................ 264
5.3 Philosophische Argumente..................... 266
6 Semantik der Prädikatenlogik 277
6.1 Die Bewertungssemantik für PL1I ................ 278
6.2 Die modelltheoretische Semantik für PL1I............ 282
6.3 Semantik der Logik PL
ПК А ...................
295
Inhaltsverzeichnis ix
7 Kalkül des natürlichen Schließens: Aussagenlogik 299
7.1 Aussagenlogische Beweise..................... 301
7.2 Der Kalish-Montague-Kalkül: Beschreibung........... 318
7.2.1 Schlußregeln ........................ 318
7.2.2 Der Ableitungsbegriff................... 323
7.2.3 Hinweise zur Beweistechnik................ 325
8 Kalkül des natürlichen Schließens: Prädikatenlogik 329
8.1 Monadische Prädikatenlogik.................... 332
8.1.1 Monadische Theoreme................... 334
8.2 Volle Prädikatenlogik........................ 345
8.2.1 Zulässige Regeln zur Beweisverkürzung ......... 349
8.2.2 Pränexe Normalform.................... 351
8.2.3 Metasprachliche Beweise.................. 353
8.3 Identitätslogik............................ 355
8.3.1 Identitätstheoreme..................... 359
8.4 Kennzeichnungslogik........................ 360
9 Mengenlehre im Kalkül
I:
Axiome, Klassenalgebra 365
9.1 Die Axiome der Mengenlehre................... 367
9.2 Der KM-Kalkül für die freie Mengenlehre............ 372
9.2.1 Die mengentheoretische Sprache ............. 372
9.2.2 Schließen im freien KM-Kalkül.............. 374
9.3 Theoreme von Kph und Ext.................... 377
9.4 Die Algebra der Klassen...................... 384
9.4.1 Die Russell-Klasse..................... 400
9.5 Weitere Axiome........................... 401
9.5.1 Das Aussonderungsaxiom................. 401
9.5.2 Paarmenge und Vereinigungsmenge............ 402
9.5.3 Potenzmenge........................ 403
9.5.4 Geordnete Paare...................... 405
10 Mengenlehre im Kalkül
II:
Relationen, Funktionen 409
10.1 Relationen.............................. 409
10.2 Ordnungsrelationen......................... 413
10.3 Funktionen............................. 428
10.3.1 Das Ersetzungsaxiom ................... 428
10.3.2 Weitere Begriffe ...................... 431
10.3.3 Monotone Mengenoperatoren............... 438
10.3.4 Der Satz von
Cantor
.................... 441
10.3.5 Unendliche Mengen;
Ordinal-
und Kardinalzahlen . . . 444
11 Axiomatiseher Auftau: Aussagenlogik 451
11.1 Semantische Korrektheit...................... 454
11.2 Theoreme.............................. 456
11.3 Semantische Vollständigkeit.................... 470
χ
Inhaltsverzeichnis
12 Axiomatischer Aufbau: Prädikatenlogik 481
12.1 Prädikatenlogik mit Punktionszeichen .............. 481
12.2 Theoreme.............................. 491
12.2.1 Abgeleitete Regeln..................... 495
12.2.2 Zur Technik axiomatischen Beweisens.......... 499
12.2.3 Volle Prädikatenlogik ................... 501
12.2.4 Identitätslogik ....................... 502
12.2.5 Logik mit Funktionssymbolen............... 504
12.3
Axiomatische
freie Mengenlehre FM............... 504
12.4 Modelltheoretische Strukturen................... 511
12.5 Semantische Korrektheit des axiomatischen Kalküls....... 516
12.5.1 Die Gültigkeit der Axiome................. 517
12.5.2 Der Korrektheitsbeweis .................. 526
12.6 Semantische Vollständigkeit der Prädikatenlogik: der Henkin-
Beweis................................ 527
12.7 Folgerungen aus dem Vollständigkeitssatz............ 538
12.7.1 Grenzen der Ausdruckskraft................ 538
12.7.2 Die Löwenheim-Skolem-Theoreme: Erste Fassung .... 540
12.7.3 Das Skolem-Paradox.................... 542
Literaturverzeichnis 545
Symbole und Abkürzungen 557
Personenregister 573
Sachregister 575
|
| any_adam_object | 1 |
| author | Link, Godehard |
| author_GND | (DE-588)108736504 |
| author_facet | Link, Godehard |
| author_role | aut |
| author_sort | Link, Godehard |
| author_variant | g l gl |
| building | Verbundindex |
| bvnumber | BV035755277 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)551938717 (DE-599)BVBBV035755277 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01394nam a2200349 cc4500</leader><controlfield tag="001">BV035755277</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141015 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091006s2009 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783897856905</subfield><subfield code="9">978-3-89785-690-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783897856806</subfield><subfield code="9">978-3-89785-680-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)551938717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035755277</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-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</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">Link, Godehard</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108736504</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Collegium logicum</subfield><subfield code="b">logische Grundlagen der Philosophie und der Wissenschaften</subfield><subfield code="n">1</subfield><subfield code="c">Godehard Link</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paderborn</subfield><subfield code="b">Mentis</subfield><subfield code="c">(2009)</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 585 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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV035755270</subfield><subfield code="g">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=018615255&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-018615255</subfield></datafield></record></collection> |
| id | DE-604.BV035755277 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:45Z |
| institution | BVB |
| isbn | 9783897856905 9783897856806 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018615255 |
| oclc_num | 551938717 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-521 DE-M468 DE-11 DE-384 DE-188 DE-634 DE-12 DE-29 DE-473 DE-BY-UBG DE-824 |
| owner_facet | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-521 DE-M468 DE-11 DE-384 DE-188 DE-634 DE-12 DE-29 DE-473 DE-BY-UBG DE-824 |
| physical | XIV, 585 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Mentis |
| record_format | marc |
| spelling | Link, Godehard Verfasser (DE-588)108736504 aut Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften 1 Godehard Link Paderborn Mentis (2009) XIV, 585 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 (DE-604)BV035755270 1 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018615255&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Link, Godehard Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 |
| title | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften |
| title_auth | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften |
| title_exact_search | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften |
| title_full | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften 1 Godehard Link |
| title_fullStr | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften 1 Godehard Link |
| title_full_unstemmed | Collegium logicum logische Grundlagen der Philosophie und der Wissenschaften 1 Godehard Link |
| title_short | Collegium logicum |
| title_sort | collegium logicum logische grundlagen der philosophie und der wissenschaften |
| title_sub | logische Grundlagen der Philosophie und der Wissenschaften |
| topic | Logik (DE-588)4036202-4 gnd |
| topic_facet | Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018615255&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035755270 |
| work_keys_str_mv | AT linkgodehard collegiumlogicumlogischegrundlagenderphilosophieundderwissenschaften1 |