Einführung in die Logik:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
Beck
2006
|
| Edition: | Orig.-Ausg. |
| Series: | Beck'sche Reihe
1728 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 195 S. |
| ISBN: | 3406547451 9783406547454 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021690652 | ||
| 003 | DE-604 | ||
| 005 | 20161102 | ||
| 007 | t | ||
| 008 | 060809s2006 gw |||| 00||| ger d | ||
| 016 | 7 | |a 979336171 |2 DE-101 | |
| 020 | |a 3406547451 |c Pb. (Pr. in Vorb.) |9 3-406-54745-1 | ||
| 020 | |a 9783406547454 |9 978-3-406-54745-4 | ||
| 024 | 3 | |a 9783406547454 | |
| 035 | |a (OCoLC)180908482 | ||
| 035 | |a (DE-599)BVBBV021690652 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-20 |a DE-19 |a DE-12 |a DE-92 |a DE-739 |a DE-703 |a DE-29 |a DE-384 |a DE-860 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-M468 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 100 |2 sdnb | ||
| 100 | 1 | |a Wolff, Michael |d 1963- |e Verfasser |0 (DE-588)115592474 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die Logik |c Michael Wolff |
| 250 | |a Orig.-Ausg. | ||
| 264 | 1 | |a München |b Beck |c 2006 | |
| 300 | |a 195 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Beck'sche Reihe |v 1728 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 | |
| 830 | 0 | |a Beck'sche Reihe |v 1728 |w (DE-604)BV021463127 |9 1728 | |
| 856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014904724&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014904724 | ||
Record in the Search Index
| _version_ | 1804135516669476864 |
|---|---|
| adam_text | INHALTSVERZEICHNIS VORWORT 7 AUSFUEHRLICHE INHALTSUEBERSICHT 13 TEIL I:
AUSSAGENLOGIK 1. KAPITEL: 2. KAPITEL: 3. KAPITEL: 4. KAPITEL: 5.
KAPITEL: 6. KAPITEL: LOGISCHES UND REGELMAESSIGES FOLGEN 23 WARUM NICHT
JEDER SATZ LOGISCH AUS SICH SELBST FOLGT 31 WARUM NICHT AUS FALSCHEM
BELIEBIGES UND AUS BELIEBIGEM WAHRES LOGISCH FOLGT 49 WELCHE
AUSSAGENLOGISCHEN KONSTANTEN ES GIBT WELCHE AUSSAGENLOGISCHEN REGELN
ALLGEMEIN- GUELTIG SIND 75 WAHRHEITSFUNKTIONEN 99 TEIL 11:PRAEDIKATENLOGIK
65 7. KAPITEL: 8. KAPITEL: 9. KAPITEL: 10. KAPITEL: ANHANG: WELCHE
REGELN ZUR FORMALEN LOGIK GEHOEREN 109 ALLGEMEINGUELTIGE
PRAEDIKATENLOGISCHE REGELN 119 UEBER DEN LOGISCHEN GEBRAUCH VON QUANTOREN
UND INDIVIDUENKONSTANTEN 133 DIE WAHRHEITSFUNKTIONALE QUANTORENLOGIK ALS
LOGIK DES MATHEMATISCHEN SCHLIESSENS 155 EIN NICHT-AXIOMATISCHES
ABLEITUNGSSYSTEM DER KLASSISCHEN WAHRHEITSFUNKTIONALEN QUANTOREN- LOGIK
169 HINWEISE EMPFEHLUNGEN ZU WEITERER LEKTUERE 177 GLOSSAR SYMBOLISCHER
AUSDRUECKE 183 VERZEICHNIS DER DEFINITIONEN LOGISCHER AUSDRUECKE 189
VERZEICHNIS DER LOGISCHEN GRUNDREGELN 190 REGISTER 192
Inhaltsverzeichnis
Vorwort 7
Ausführliche Inhaltsübersicht 13
Teil I: Aussagenlogik
/. Kapitel: Logisches und regelmäßiges Folgen 23
2. Kapitel: Warum nicht jeder Satz logisch aus sich
selbst folgt 31
3. Kapitel: Warum nicht aus Falschem Beliebiges und
aus Beliebigem Wahres logisch folgt 49
4. Kapitel: Welche aussagenlogischen Konstanten es gibt 65
5. Kapitel: Welche aussagenlogischen Regeln allgemein¬
gültig sind 75
6. Kapitel: Wahrheitsfunktionen 99
Teil II: Prädikatenlogik
7. Kapitel: Welche Regeln zur formalen Logik gehören 109
8. Kapitel: Allgemeingültige prädikatenlogische Regeln 119
9. Kapitel: Über den logischen Gebrauch von Quantoren
und Individuenkonstanten 133
10. Kapitel: Die wahrheitsfunktionale Quantorenlogik als Logik
des mathematischen Schließens 155
Anhang: Ein nicht-axiomatisches Ableitungssystem der
klassischen wahrheitsfunktionalen Quantoren¬
logik 169
Hinweise
Empfehlungen zu weiterer Lektüre 177
Glossar symbolischer Ausdrücke 183
Verzeichnis der Definitionen logischer Ausdrücke 189
Verzeichnis der logischen Grundregeln 190
Register 192
|
| adam_txt |
INHALTSVERZEICHNIS VORWORT 7 AUSFUEHRLICHE INHALTSUEBERSICHT 13 TEIL I:
AUSSAGENLOGIK 1. KAPITEL: 2. KAPITEL: 3. KAPITEL: 4. KAPITEL: 5.
KAPITEL: 6. KAPITEL: LOGISCHES UND REGELMAESSIGES FOLGEN 23 WARUM NICHT
JEDER SATZ LOGISCH AUS SICH SELBST FOLGT 31 WARUM NICHT AUS FALSCHEM
BELIEBIGES UND AUS BELIEBIGEM WAHRES LOGISCH FOLGT 49 WELCHE
AUSSAGENLOGISCHEN KONSTANTEN ES GIBT WELCHE AUSSAGENLOGISCHEN REGELN
ALLGEMEIN- GUELTIG SIND 75 WAHRHEITSFUNKTIONEN 99 TEIL 11:PRAEDIKATENLOGIK
65 7. KAPITEL: 8. KAPITEL: 9. KAPITEL: 10. KAPITEL: ANHANG: WELCHE
REGELN ZUR FORMALEN LOGIK GEHOEREN 109 ALLGEMEINGUELTIGE
PRAEDIKATENLOGISCHE REGELN 119 UEBER DEN LOGISCHEN GEBRAUCH VON QUANTOREN
UND INDIVIDUENKONSTANTEN 133 DIE WAHRHEITSFUNKTIONALE QUANTORENLOGIK ALS
LOGIK DES MATHEMATISCHEN SCHLIESSENS 155 EIN NICHT-AXIOMATISCHES
ABLEITUNGSSYSTEM DER KLASSISCHEN WAHRHEITSFUNKTIONALEN QUANTOREN- LOGIK
169 HINWEISE EMPFEHLUNGEN ZU WEITERER LEKTUERE 177 GLOSSAR SYMBOLISCHER
AUSDRUECKE 183 VERZEICHNIS DER DEFINITIONEN LOGISCHER AUSDRUECKE 189
VERZEICHNIS DER LOGISCHEN GRUNDREGELN 190 REGISTER 192
Inhaltsverzeichnis
Vorwort 7
Ausführliche Inhaltsübersicht 13
Teil I: Aussagenlogik
/. Kapitel: Logisches und regelmäßiges Folgen 23
2. Kapitel: Warum nicht jeder Satz logisch aus sich
selbst folgt 31
3. Kapitel: Warum nicht aus Falschem Beliebiges und
aus Beliebigem Wahres logisch folgt 49
4. Kapitel: Welche aussagenlogischen Konstanten es gibt 65
5. Kapitel: Welche aussagenlogischen Regeln allgemein¬
gültig sind 75
6. Kapitel: Wahrheitsfunktionen 99
Teil II: Prädikatenlogik
7. Kapitel: Welche Regeln zur formalen Logik gehören 109
8. Kapitel: Allgemeingültige prädikatenlogische Regeln 119
9. Kapitel: Über den logischen Gebrauch von Quantoren
und Individuenkonstanten 133
10. Kapitel: Die wahrheitsfunktionale Quantorenlogik als Logik
des mathematischen Schließens 155
Anhang: Ein nicht-axiomatisches Ableitungssystem der
klassischen wahrheitsfunktionalen Quantoren¬
logik 169
Hinweise
Empfehlungen zu weiterer Lektüre 177
Glossar symbolischer Ausdrücke 183
Verzeichnis der Definitionen logischer Ausdrücke 189
Verzeichnis der logischen Grundregeln 190
Register 192 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Wolff, Michael 1963- |
| author_GND | (DE-588)115592474 |
| author_facet | Wolff, Michael 1963- |
| author_role | aut |
| author_sort | Wolff, Michael 1963- |
| author_variant | m w mw |
| building | Verbundindex |
| bvnumber | BV021690652 |
| classification_rvk | CC 2400 SK 130 |
| ctrlnum | (OCoLC)180908482 (DE-599)BVBBV021690652 |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| edition | Orig.-Ausg. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01801nam a2200481 cb4500</leader><controlfield tag="001">BV021690652</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161102 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060809s2006 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">979336171</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3406547451</subfield><subfield code="c">Pb. (Pr. in Vorb.)</subfield><subfield code="9">3-406-54745-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783406547454</subfield><subfield code="9">978-3-406-54745-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783406547454</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180908482</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021690652</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-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-706</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-M468</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">SK 130</subfield><subfield code="0">(DE-625)143216:</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="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wolff, Michael</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115592474</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Logik</subfield><subfield code="c">Michael Wolff</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Orig.-Ausg.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Beck</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">195 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="1" ind2=" "><subfield code="a">Beck'sche Reihe</subfield><subfield code="v">1728</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">Logik</subfield><subfield code="0">(DE-588)4036202-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)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="830" ind1=" " ind2="0"><subfield code="a">Beck'sche Reihe</subfield><subfield code="v">1728</subfield><subfield code="w">(DE-604)BV021463127</subfield><subfield code="9">1728</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</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=014904724&sequence=000003&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-014904724</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV021690652 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T15:14:17Z |
| indexdate | 2024-07-09T20:41:45Z |
| institution | BVB |
| isbn | 3406547451 9783406547454 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014904724 |
| oclc_num | 180908482 |
| open_access_boolean | |
| owner | DE-20 DE-19 DE-BY-UBM DE-12 DE-92 DE-739 DE-703 DE-29 DE-384 DE-860 DE-706 DE-634 DE-83 DE-11 DE-188 DE-M468 |
| owner_facet | DE-20 DE-19 DE-BY-UBM DE-12 DE-92 DE-739 DE-703 DE-29 DE-384 DE-860 DE-706 DE-634 DE-83 DE-11 DE-188 DE-M468 |
| physical | 195 S. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Beck |
| record_format | marc |
| series | Beck'sche Reihe |
| series2 | Beck'sche Reihe |
| spelling | Wolff, Michael 1963- Verfasser (DE-588)115592474 aut Einführung in die Logik Michael Wolff Orig.-Ausg. München Beck 2006 195 S. txt rdacontent n rdamedia nc rdacarrier Beck'sche Reihe 1728 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 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 Beck'sche Reihe 1728 (DE-604)BV021463127 1728 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014904724&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wolff, Michael 1963- Einführung in die Logik Beck'sche Reihe Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Einführung in die Logik |
| title_auth | Einführung in die Logik |
| title_exact_search | Einführung in die Logik |
| title_exact_search_txtP | Einführung in die Logik |
| title_full | Einführung in die Logik Michael Wolff |
| title_fullStr | Einführung in die Logik Michael Wolff |
| title_full_unstemmed | Einführung in die Logik Michael Wolff |
| title_short | Einführung in die Logik |
| title_sort | einfuhrung in die logik |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Mathematische Logik Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014904724&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021463127 |
| work_keys_str_mv | AT wolffmichael einfuhrungindielogik |