Einführung in die moderne Logik:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Freiburg (Breisgau) ; München
Alber
1992
|
Ausgabe: | 6. Aufl., unveränd. Nachdr. der 4. erw. Aufl. |
Schriftenreihe: | Kolleg Philosophie
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturverz. S. 188 - 190 |
Beschreibung: | 193 S. |
ISBN: | 3495472096 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV004675667 | ||
003 | DE-604 | ||
005 | 20030825 | ||
007 | t| | ||
008 | 911125s1992 gw |||| 00||| ger d | ||
016 | 7 | |a 911494979 |2 DE-101 | |
020 | |a 3495472096 |9 3-495-47209-6 | ||
035 | |a (OCoLC)165667425 | ||
035 | |a (DE-599)BVBBV004675667 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BW | ||
049 | |a DE-29 |a DE-70 |a DE-19 |a DE-12 |a DE-521 |a DE-11 | ||
050 | 0 | |a BC114.K87 | |
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a MAT 030f |2 stub | ||
084 | |a 10 |2 sdnb | ||
084 | |a 27 |2 sdnb | ||
084 | |a PHI 350f |2 stub | ||
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 6. Aufl., unveränd. Nachdr. der 4. erw. Aufl. | ||
264 | 1 | |a Freiburg (Breisgau) ; München |b Alber |c 1992 | |
300 | |a 193 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Kolleg Philosophie | |
500 | |a Literaturverz. S. 188 - 190 | ||
650 | 4 | |a Logic | |
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 DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002871890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002871890 |
Datensatz im Suchindex
_version_ | 1817318934843490304 |
---|---|
adam_text |
INHALT
1. GEGENSTAND UND BEDEUTUNG DER LOGIK 9
1.1 DER GEGENSTAND DER LOGIK 9
1.2 DIE BEDEUTUNG DER LOGIK 12
2. SAETZE UND SATZVERBINDUNGEN 17
2.1 SAETZE 17
2.2 NEGATION 19
2.3 KONJUNKTION 21
2.4 ADJUNKTION 25
3. SATZOPERATOREN 29
3.1 DER BEGRIIF DES SATZOPERATORS 29
3.2 IMPLIKATION 30
3.3 AEQUIVALENZ 32
3.4 VOLLSTAENDIGE SYSTEME 33
4. AUSSAGENLOGISCHE SCHLUESSE 40
4.1 AUSSAGCNLOGISCHC GUELTIGKEIT 40
4.2 EIN ENTSCHEIDUNGSVERFAHREN FUER DIE AUSSAGENLOGIK
5. SYNTAX UND SEMANTIK DER AUSSAGENLOGIK 49
5.1 SYNTAX 49
5.2 SEMANTIK 51
HTTP://D-NB.INFO/911494979
6. EINE AXIOMATISCHE THEORIE DER AUSSAGENLOGIK 56
6.1 DER KALKUEL K 58
6.2 BEWEISE 59
6.3 ABLEITUNGEN 60
6.4 METATHEOREME 61
7. WIDERSPRUCHSFREIHEIT UND VOLLSTAENDIGKEIT 66
7.1 WIDERSPRUCHSFREIHEIT 66
* 7.2 VOLLSTAENDIGKEIT 67
8. NAMEN, PRAEDIKATE UND QUANTOREN 71
8.1 DIE STRUKTUR EINFACHER SAETZE 71
8.2 DER ALLOPERATOR 75
8.3 DER EXISTENZOPERATOR 76
8.4 MEHRFACHES QUANTIFIZIEREN 78
9. SYNTAX UND SEMANTIK DER PRAEDIKATENLOGIK 83
9.1 SYNTAX 83
9.2 SEMANTIK 86
9.3 PRAEDIKATENLOGISCHE WAHRHEIT UND GUELTIGKEIT 90
* 9.4 GRUNDLEGENDE SEMANTISCHE THEOREME 91
10. EINE AXIOMATISCHE THEORIE DER PRAEDIKATENLOGIK 96
11. WIDERSPRUCHSFREIHEIT UND VOLLSTAENDIGKEIT
DER AXIOMATISCHEN THEORIE L 103
11.1 WIDERSPRUCHSFREIHEIT 103
*11.2 VOLLSTAENDIGKEIT 104
6
12. DER KALKUEL DER SEMANTISCHEN TAFELN 108
12.1 SEMANTISCHE TAFELN 109
12.2 DIE REGELN DES KALKUELS DER SEMANTISCHEN TAFELN
12.3 RESTRIKTIONEN FUER DIE ANWENDUNG
VON ENTWICKLUNGSREGELN 122
13. ERWEITERUNGEN DER PRAEDIKATENLOGIK 129
13.1 IDENTITAET 129
13.2 KENNZEICHNUNG 132
13.3 FUNKTIONEN 135
14. DEFINITIONEN 139
14.1 DIE TRADITIONELLE DEFINITIONSLEHRE 139
14.2 BEGRIFFSANALYSE UND EXPLIKATION 143
14.3 DEFINITIONSFORMEN 145
15. MENGENLEHRE 150
15.1 DIE NAIVE MENGENLEHRE 150
15.2 ELEMENTARE MENGENALGEBRA 152
15.3 LOGIZISMUS 158
15.4 ANTINOMIEN 160
LOESUNG DER AUFGABEN 162
BEWEISE 176
LISTE EINFACHER LOGISCHER GESETZE 185
BIBLIOGRAPHIE 188
SYMBOLVERZEICHNIS 191
SACHREGISTER 192 |
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 | BV004675667 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC114 |
callnumber-raw | BC114.K87 |
callnumber-search | BC114.K87 |
callnumber-sort | BC 3114 K87 |
callnumber-subject | BC - Logic |
classification_rvk | CC 2400 |
classification_tum | MAT 030f PHI 350f |
ctrlnum | (OCoLC)165667425 (DE-599)BVBBV004675667 |
discipline | Mathematik Philosophie / Ethik Philosophie |
edition | 6. Aufl., unveränd. Nachdr. der 4. erw. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004675667</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030825</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">911125s1992 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">911494979</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3495472096</subfield><subfield code="9">3-495-47209-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)165667425</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004675667</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-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC114.K87</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">MAT 030f</subfield><subfield code="2">stub</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">PHI 350f</subfield><subfield code="2">stub</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">6. Aufl., unveränd. Nachdr. der 4. erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Freiburg (Breisgau) ; München</subfield><subfield code="b">Alber</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">193 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="0" ind2=" "><subfield code="a">Kolleg Philosophie</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 188 - 190</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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">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=002871890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002871890</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV004675667 |
illustrated | Not Illustrated |
indexdate | 2024-12-02T09:06:32Z |
institution | BVB |
isbn | 3495472096 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002871890 |
oclc_num | 165667425 |
open_access_boolean | |
owner | DE-29 DE-70 DE-19 DE-BY-UBM DE-12 DE-521 DE-11 |
owner_facet | DE-29 DE-70 DE-19 DE-BY-UBM DE-12 DE-521 DE-11 |
physical | 193 S. |
publishDate | 1992 |
publishDateSearch | 1992 |
publishDateSort | 1992 |
publisher | Alber |
record_format | marc |
series2 | Kolleg Philosophie |
spelling | Kutschera, Franz von 1932- Verfasser (DE-588)119436817 aut Einführung in die moderne Logik Franz von Kutschera ; Alfred Breitkopf 6. Aufl., unveränd. Nachdr. der 4. erw. Aufl. Freiburg (Breisgau) ; München Alber 1992 193 S. txt rdacontent n rdamedia nc rdacarrier Kolleg Philosophie Literaturverz. S. 188 - 190 Logic 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 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002871890&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 Logic 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 | Logic Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Logic Mathematische Logik Logik Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002871890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT kutscherafranzvon einfuhrungindiemodernelogik AT breitkopfalfred einfuhrungindiemodernelogik |