Einführung in die moderne Logik:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Freiburg im Breisgau ; München
Alber
2000
|
| Edition: | 7., neu bearb. Aufl. |
| Series: | Alber-Studienbuch
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. |
| Physical Description: | 215 S. graph. Darst. |
| ISBN: | 3495479775 |
Staff View
MARC
| LEADER | 00000nam a22000001c 4500 | ||
|---|---|---|---|
| 001 | BV012716129 | ||
| 003 | DE-604 | ||
| 005 | 20000526 | ||
| 007 | t | ||
| 008 | 990810s2000 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 95715156X |2 DE-101 | |
| 020 | |a 3495479775 |c kart. : ca. DM 28.00, ca. sfr 27.00, ca. S 204.00 |9 3-495-47977-5 | ||
| 035 | |a (OCoLC)215556322 | ||
| 035 | |a (DE-599)BVBBV012716129 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-703 |a DE-473 |a DE-355 |a DE-29 |a DE-19 |a DE-824 |a DE-12 |a DE-20 |a DE-384 |a DE-92 |a DE-706 |a DE-521 |a DE-634 |a DE-11 |a DE-525 |a DE-188 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Kutschera, Franz von |d 1932- |e Verfasser |0 (DE-588)119436817 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die moderne Logik |c Franz von Kutschera ; Alfred Breitkopf |
| 250 | |a 7., neu bearb. Aufl. | ||
| 264 | 1 | |a Freiburg im Breisgau ; München |b Alber |c 2000 | |
| 300 | |a 215 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Alber-Studienbuch | |
| 500 | |a Literaturverz. | ||
| 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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Breitkopf, Alfred |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008644550&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008644550 | ||
Record in the Search Index
| _version_ | 1804127380189478912 |
|---|---|
| adam_text | IMAGE 1
INHALTSVERZEICHNIS
1 GEGENSTAND UND BEDEUTUNG DER LOGIK 11
1.1 DER GEGENSTAND DER LOGIK 11
1.2 DIE BEDEUTUNG DER LOGIK 13
2 SAETZE UND SATZVERBINDUNGEN 19
2.1 SAETZE 19
2.2 NEGATION 21
2.3 KONJUNKTION 22
2.4 ADJUNKTION UND KONTRAVALENZ 26
3 SATZOPERATOREN 31
3.1 DER BEGRIFF DES SATZOPERATORS 31
3.2 IMPLIKATION 32
3.3 AEQUIVALENZ 34
3.4 VOLLSTAENDIGE SYSTEME 35
4 AUSSAGENLOGISCHE SCHLUESSE 43
4.1 AUSSAGENLOGISCHE GUELTIGKEIT 43
4.2 EIN ENTSCHEIDUNGSVERFAHREN FUER DIE AUSSAGENLOGIK . . 45 4.3
SEMANTISCHE BAEUME 49
5 SYNTAX UND SEMANTIK DER AUSSAGENLOGIK 59
5.1 SYNTAX 59
5.2 SEMANTIK 61
6 EINE AXIOMATISCHE THEORIE DER AUSSAGENLOGIK 67
6.1 DER KALKUEL AE A I 69
6.2 BEWEISE 70
6.3 ABLEITUNGEN 71
6.4 METATHEOREME 72
IMAGE 2
7 WIDERSPRUCHSFREIHEIT UND VOLLSTAENDIGKEIT
DER AUSSAGENLOGIK 77
7.1 WIDERSPRUCHSFREIHEIT 77
7.2* VOLLSTAENDIGKEIT 78
8 NAMEN, PRAEDIKATE UND QUANTOREN 83
8.1 DIE STRUKTUR EINFACHER SAETZE 83
8.2 DER ALLOPERATOR 87
8.3 DER EXISTENZOPERATOR 88
8.4 MEHRFACHES QUANTIFIZIEREN 90
9 SYNTAX UND SEMANTIK DER PRAEDIKATENLOGIK 95
9.1 SYNTAX 95
9.2 SEMANTIK 98
9.3 PRAEDIKATENLOGISCHE WAHRHEIT UND GUELTIGKEIT 102 9.4* GRUNDLEGENDE
SEMANTISCHE THEOREME 103
10 EINE AXIOMATISCHE THEORIE DER PRAEDIKATENLOGIK 107
11 WIDERSPRUCHSFREIHEIT UND VOLLSTAENDIGKEIT DER PRAEDIKATENLOGIK 115
11.1 WIDERSPRUCHSFREIHEIT 115
11.2*VOLLSTAENDIGKEIT 116
12 DER PRAEDIKATENLOGISCHE BAUMKALKUEL 123
12.1 DER BAUMKALKUEL Q3 P I 124
12.2* DIE ADAEQUATHEIT DES KALKUELS 129
13 ERWEITERUNGEN DER PRAEDIKATENLOGIK 133
13.1 IDENTITAET 133
13.2 KENNZEICHNUNG 137
13.3 FUNKTIONEN 141
IMAGE 3
14 DEFINITIONEN 145
14.1 DIE TRADITIONELLE DEFINITIONSLEHRE 145
14.2 BEGRIFFSANALYSE UND EXPLIKATION 149
14.3 DEFINITIONSFORMEN 151
15 MENGENLEHRE 157
15.1 DIE NAIVE MENGENLEHRE 157
15.2 ELEMENTARE MENGENALGEBRA 159
15.3 LOGIZISMUS 166
15.4 ANTINOMIEN 167
ANHANG 171
A.L LOESUNGEN DER UEBUNGSAUFGABEN 171
A.2 BEWEISE 192
A.2.1 AUSSAGENLOGIK 192
A.2.2 PRAEDIKATENLOGIK 199
A.3 LISTE EINFACHER LOGISCHER GESETZE 204
A.3.1 AUSSAGENLOGIK 204
A.3.2 PRAEDIKATENLOGIK 206
BIBLIOGRAPHIE 207
SACHREGISTER 211
SYMBOLVERZEICHNIS 215
|
| any_adam_object | 1 |
| author | Kutschera, Franz von 1932- Breitkopf, Alfred |
| author_GND | (DE-588)119436817 |
| author_facet | Kutschera, Franz von 1932- Breitkopf, Alfred |
| author_role | aut aut |
| author_sort | Kutschera, Franz von 1932- |
| author_variant | f v k fv fvk a b ab |
| building | Verbundindex |
| bvnumber | BV012716129 |
| classification_rvk | CC 2400 CC 2500 |
| ctrlnum | (OCoLC)215556322 (DE-599)BVBBV012716129 |
| discipline | Philosophie |
| edition | 7., neu bearb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01895nam a22004811c 4500</leader><controlfield tag="001">BV012716129</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000526 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990810s2000 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">95715156X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3495479775</subfield><subfield code="c">kart. : ca. DM 28.00, ca. sfr 27.00, ca. S 204.00</subfield><subfield code="9">3-495-47977-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)215556322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012716129</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield><subfield code="a">DE-188</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</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="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kutschera, Franz von</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119436817</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die moderne Logik</subfield><subfield code="c">Franz von Kutschera ; Alfred Breitkopf</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">7., neu bearb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Freiburg im Breisgau ; München</subfield><subfield code="b">Alber</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">215 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="490" ind1="0" ind2=" "><subfield code="a">Alber-Studienbuch</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz.</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">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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breitkopf, Alfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB 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=008644550&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-008644550</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV012716129 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:32:25Z |
| institution | BVB |
| isbn | 3495479775 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008644550 |
| oclc_num | 215556322 |
| open_access_boolean | |
| owner | DE-739 DE-703 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-824 DE-12 DE-20 DE-384 DE-92 DE-706 DE-521 DE-634 DE-11 DE-525 DE-188 |
| owner_facet | DE-739 DE-703 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-824 DE-12 DE-20 DE-384 DE-92 DE-706 DE-521 DE-634 DE-11 DE-525 DE-188 |
| physical | 215 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Alber |
| record_format | marc |
| series2 | Alber-Studienbuch |
| spelling | Kutschera, Franz von 1932- Verfasser (DE-588)119436817 aut Einführung in die moderne Logik Franz von Kutschera ; Alfred Breitkopf 7., neu bearb. Aufl. Freiburg im Breisgau ; München Alber 2000 215 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Alber-Studienbuch Literaturverz. 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 Logik (DE-588)4036202-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s Breitkopf, Alfred Verfasser aut SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008644550&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kutschera, Franz von 1932- Breitkopf, Alfred Einführung in die moderne Logik 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 moderne Logik |
| title_auth | Einführung in die moderne Logik |
| title_exact_search | Einführung in die moderne Logik |
| title_full | Einführung in die moderne Logik Franz von Kutschera ; Alfred Breitkopf |
| title_fullStr | Einführung in die moderne Logik Franz von Kutschera ; Alfred Breitkopf |
| title_full_unstemmed | Einführung in die moderne Logik Franz von Kutschera ; Alfred Breitkopf |
| title_short | Einführung in die moderne Logik |
| title_sort | einfuhrung in die moderne 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=008644550&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kutscherafranzvon einfuhrungindiemodernelogik AT breitkopfalfred einfuhrungindiemodernelogik |