Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Frankfurt am Main u.a.
Lang
1996
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 209 S. graph. Darst. |
| ISBN: | 3631306245 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010896634 | ||
| 003 | DE-604 | ||
| 005 | 19961107 | ||
| 007 | t | ||
| 008 | 960805s1996 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 947630848 |2 DE-101 | |
| 020 | |a 3631306245 |c kart. : ca. DM 48.00 (freier Pr.) |9 3-631-30624-5 | ||
| 035 | |a (OCoLC)36776602 | ||
| 035 | |a (DE-599)BVBBV010896634 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-M468 |a DE-19 |a DE-739 |a DE-29 |a DE-824 |a DE-12 |a DE-384 |a DE-521 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9.B867 1996 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 082 | 0 | |a 511.3 21 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a 27 |2 sdnb | ||
| 100 | 1 | |a Buth, Manfred |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? |c Manfred Buth |
| 264 | 1 | |a Frankfurt am Main u.a. |b Lang |c 1996 | |
| 300 | |a 209 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=007287482&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007287482 | ||
Record in the Search Index
| _version_ | 1804125387291099136 |
|---|---|
| adam_text | Inhaltsverzeiohni s
Einleitung 13
1. Die Lehre vom Begriff, Urteil und Schluß
1.1 Überblick 17
1.2 Was ist ein Begriff? 17
1.3 Urteile und Urteilsformen 19
1.4 Der logische Schluß 25
1.5 Das System der Aristotelischen Syllogistik 33
2. Aussagenlogik
2.1 Überblick 40
2.2 Texte und Formen 43
2.3 Aussagen und Formeln 44
2.4 Der Aufbau zusammengesetzter Aussagen
und Formeln 47
2.5 Der Wahrheitswert einer Aussage und die
Interpretation einer Formel 52
2.6 Allgemeingültige Formeln 58
2.7 Logische Regeln 62
2.8 Das System der Aussagenlogik 67
2.9 Gleichwertigkeit und Normalformen 72
3. Erweiterte Aussagenlogik
3.1 Aussagen und Aussageformen 79
3.2 Die Interpretation von Formeln, in denen
Variable für Aussageformen vorkommen 85
3.3 Das System der erweiterten Aussagenlogik 88
3.4 Gleichwertigkeit und Normalformen 94
9
4. Klassische Quantorenlogik oder Prädikatenlogik
erster Stufe
4.1 Erweiterung der sprachlichen Ausdrucks -
mittel durch Hinzunahme von Quantoren 96
4.2 Weitere logische Regeln 98
4.3 Das System der Quantorenlogik 100
4.4 Gleichwertigkeit und Normalformen 111
4.5 Zusammenfassung der Ergebnisse unter dem
Begriff des Logikkalküls 113
5. Einige Anwendungen der formalen Logik
5.1 Was heißt formalisieren ? 118
5.2 Die Verwendung logischer Hilfsmittel
in der Physik 122
5.3 Mathematik als deduktive Wissenschaft,
dargestellt am Beispiel der Geometrie 127
5.4 Strukturmathematik 132
5.5 Theorie der Gleichheit 138
6. Logische Grundlagen für eine Theorie der
Argumentation
6.1 Überblick 146
6.2 Begründen und Widerlegen nach Regeln 147
6.3 Herleitung von Regeln 153
6.4 Beschreibung von Argumentationsmustern
durch allgemeingültige Formeln 156
6.5 Zusammenfassung der Ergebnisse 157
7. Anmerkungen zur Geschichte der Logik 160
8. Eine einzige Logik oder viele Logiken?
8.1 Vorbemerkung zur Fragestellung 165
8.2 Kennzeichen der klassischen Quantorenlogik 166
8.3 Dialogische Logik 167
8.4 Mehrwertige Logik 175
8.5 Quantenlogik 178
8.6 Logik zeitlicher Aussagen 179
8.7 Modallogik und deontische Logik 181
9. Aufgaben mit Lösungen
9.1 Die Aufgaben 186
9.2 Die Lösungen zu den Aufgaben 188
Literaturhinweise und Quellenangeben 207
|
| any_adam_object | 1 |
| author | Buth, Manfred |
| author_facet | Buth, Manfred |
| author_role | aut |
| author_sort | Buth, Manfred |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV010896634 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.B867 1996 |
| callnumber-search | QA9.B867 1996 |
| callnumber-sort | QA 19 B867 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)36776602 (DE-599)BVBBV010896634 |
| dewey-full | 511.3 511.321 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 511.3 21 |
| dewey-search | 511.3 511.3 21 |
| 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>01743nam a2200457 c 4500</leader><controlfield tag="001">BV010896634</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961107 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960805s1996 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947630848</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3631306245</subfield><subfield code="c">kart. : ca. DM 48.00 (freier Pr.)</subfield><subfield code="9">3-631-30624-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36776602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010896634</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-M468</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.B867 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Buth, Manfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?</subfield><subfield code="c">Manfred Buth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main u.a.</subfield><subfield code="b">Lang</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">209 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=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="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="655" ind1=" " ind2="7"><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">Logik</subfield><subfield code="0">(DE-588)4036202-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">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=007287482&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-007287482</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV010896634 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:00:45Z |
| institution | BVB |
| isbn | 3631306245 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007287482 |
| oclc_num | 36776602 |
| open_access_boolean | |
| owner | DE-M468 DE-19 DE-BY-UBM DE-739 DE-29 DE-824 DE-12 DE-384 DE-521 DE-83 DE-188 |
| owner_facet | DE-M468 DE-19 DE-BY-UBM DE-739 DE-29 DE-824 DE-12 DE-384 DE-521 DE-83 DE-188 |
| physical | 209 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Lang |
| record_format | marc |
| spelling | Buth, Manfred Verfasser aut Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? Manfred Buth Frankfurt am Main u.a. Lang 1996 209 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007287482&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Buth, Manfred Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? |
| title_auth | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? |
| title_exact_search | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? |
| title_full | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? Manfred Buth |
| title_fullStr | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? Manfred Buth |
| title_full_unstemmed | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? Manfred Buth |
| title_short | Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? |
| title_sort | einfuhrung in die formale logik unter der besonderen fragestellung was ist wahrheit allein aufgrund der form |
| topic | Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Logik Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007287482&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT buthmanfred einfuhrungindieformalelogikunterderbesonderenfragestellungwasistwahrheitalleinaufgrundderform |