Moderne Logik: Abriss d. formalen Logik
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
VEB Dt. Verl. d. Wissenschaften
1965
|
| Ausgabe: | 2., bericht. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 452 S. |
Internformat
MARC
| LEADER | 00000nam a22000002c 4500 | ||
|---|---|---|---|
| 001 | BV025594328 | ||
| 003 | DE-604 | ||
| 005 | 20180530 | ||
| 007 | t | ||
| 008 | 100417s1965 gw |||| 00||| ger d | ||
| 016 | 7 | |a 452433495 |2 DE-101 | |
| 035 | |a (OCoLC)73499213 | ||
| 035 | |a (DE-599)BVBBV025594328 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-11 |a DE-188 |a DE-B1550 |a DE-19 |a DE-B486 | ||
| 084 | |a BF 8400 |0 (DE-625)11172: |2 rvk | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 100 | 1 | |a Klaus, Georg |d 1912-1974 |e Verfasser |0 (DE-588)118562770 |4 aut | |
| 245 | 1 | 0 | |a Moderne Logik |b Abriss d. formalen Logik |c Georg Klaus |
| 250 | |a 2., bericht. Aufl. | ||
| 264 | 1 | |a Berlin |b VEB Dt. Verl. d. Wissenschaften |c 1965 | |
| 300 | |a XII, 452 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 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=020190451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 940 | 1 | |q HUB-ZB011201001 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020190451 | |
Datensatz im Suchindex
| _version_ | 1807409678329577472 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
VORWORT
.
IX
I.
GEGENSTAND
UND
AUFGABEN
DER
FORMALEN
LOGIK
§
1
GEGENSTAND
DER
LOGIK
.
1
§
2
DIE
MATERIALISTISCHE
AUFFASSUNG
DER
LOGIK
.
9
§
3
FORMALE
LOGIK
UND
SPRACHE
.
15
§
4
DIE
BEDEUTUNG
DER
LOGIK
.
17
§
5
ZUR
GESCHICHTE
DER
LOGIK
.
21
II.
DIE
AUSSAGE
§
1
DIE
AUSSAGE
ALS
GRUNDFORM
DES
MENSCHLICHEN
DENKENS
.
29
§
2
DAS
WESEN
DER
AUSSAGE
.
30
§
3
DER
SEMIOTISCHE
ASPEKT
DER
AUSSAGE
.
36
III.
UEBER
DIE
AUSSAGENVERBINDUNGEN
§
1
KONSTANTE
UND
VARIABLE
IN
DER
AUSSAGENLOGIK
.
41
§
2
DIE
LOGISCHE
NEGATION
.
46
§
3
DIE
LOGISCHE
KONJUNKTION
.
48
§
4
DER
SATZ
VOM
AUSGESCHLOSSENEN
WIDERSPRUCH
.
50
§
5
DIE
LOGISCHE
ALTERNATIVE
.
57
§
6
DER
SATZ
VOM
AUSGESCHLOSSENEN
DRITTEN
.
63
§
7
DIE
LOGISCHE
IMPLIKATION
.
70
§
8
BEMERKUNGEN
UEBER
DIE
SOGENANNTE
STRENGE
IMPLIKATION
.
77
§
9
DER
SOGENANNTE
SATZ
VOM
ZUREICHENDEN
GRUND
.
79
§
10
DIE
LOGISCHE
AEQUIVALENZ
.
81
IV.
AUSGEWAEHLTE
PROBLEME
DER
AUSSAGENLOGIK
§
1
AUSSAGENLOGISCHES
SCHLIESSEN
.
84
§
2
WEITERE
AUSSAGENVERBINDUNGEN
UND
DIE
REDUKTION
VON
AUSSAGEN
VERBINDUNGEN
AUF
ANDERE
.
91
§
3
WICHTIGE
GESETZE
DER
AUSSAGENLOGIK
.
99
§
4
DAS
ENTSCHEIDUNGSPROBLEM
.
101
§
5
DIE
SYSTEMATISCHE
ABLEITUNG
VON
FOLGERUNGEN
.
109
§
6
UEBER
DIE
SOGENANNTE
FORMALE
WAHRHEIT
VON
AUSSAGEN
.
115
§
7
DIE
EXTENSIONALITAETSTHESE
DER
AUSSAGENLOGIK
UND
BEMERKUNGEN
UEBER
DIALEKTISCHE
LOGIK
.
120
V.
ANWENDUNGEN
DER
AUSSAGENLOGIK
§
1
AUSSAGENLOGIK
UND
NERVENNETZE
.
129
§
2
ANWENDUNGEN
DER
AUSSAGENLOGIK
IN
DER
TECHNIK
.
138
VT.
BEGRIFFE
§
1
UEBER
DIE
NOTWENDIGKEIT
DER
ERWEITERUNG
DER
AUSSAGENLOGIK
.
152
§
2
DIE
BESTANDTEILE
DER
AUSSAGE
.
154
§
3
UEBER
UNIVERSAL
UND
EXISTENTIALAUSSAGEN
.
157
§
4
KANTS
TAFEL
DER
URTEILE
.
160
§
5
DAS
WESEN
DES
BEGRIFFS
.
165
§
6
EXTENSION
UND
INTENSION
VON
BEGRIFFEN
.
175
§
7
ARTEN
VON
BEGRIFFEN
.
179
§
8
BEZIEHUNGEN
ZWISCHEN
BEGRIFFEN
.
182
§
9
EXKURS
UEBER
DIALEKTISCHE
LOGIK
.
191
§
10
DIE
BEGRIFFSBESTIMMUNG
.
200
A)
DEFINITION
.
201
A)
DIE
DEFINITION
ALS
BESTIMMUNG
DES
INHALTS
EINES
BEGRIFFES
.
204
SS)
DEFINITION
ALS
FESTSTELLUNG
DER
VERWENDUNG,
DIE
EIN
BEGRIFF
FINDET
207
B)
KLASSIFIKATION
.
209
C)
BEGRIFFSGLIEDERUNG
.
210
VII.
DIE
TRADITIONELLE
LEHRE
VOM
LOGISCHEN
SCHLUSS
§
1
DIE
TRADITIONELLEN
GRUNDLAGEN
DER
PRAEDIKATENLOGIK
.
212
§
2
DIE
UNMITTELBAREN
SCHLUESSE
.
214
A)
DIE
SCHLUESSE
DER
SUBALTEMATION
.
214
B)
DIE
SCHLUESSE
DER
OPPOSITION
.
215
C)
DIE
SCHLUESSE
DER
KONVERSION
UND
KONTRAPOSITION
.
216
§
3
DIE
SYLLOGISTIK
.
217
§
4
UEBER
DAS
VERHAELTNIS
VON
AUSSAGENLOGIK
UND
KLASSENLOGIK
.
220
§
5
UEBER
DIE
ALLGEMEINGUELTIGEN
AUSSAGENVERBINDUNGEN
DER
KLASSENLOGIK
.
223
§
6
ANWENDUNG
DER
KLASSENLOGIK
AUF
DIE
LEHRE
VON
DEN
SYLLOGISMEN
.
226
§
7
DAS
HAUBERSCHE
THEOREM
.
233
VIII.
MODERNE
PRAEDIKATENLOGIK
§
1
UEBER
DAS
VERHAELTNIS
VON
KLASSENLOGIK
UND
PRAEDIKATENLOGIK
.
236
§
2
EINIGE
GESETZE
DER
PRAEDIKATENLOGIK
.
239
§
3
TRADITIONELLE
SCHLUESSE
IN
DER
PRAEDIKATENLOGIK
.
247
§
4
BEMERKUNGEN
ZUM
ENTSCHEIDUNGSPROBLEM
DER
EINSTELLIGEN
PRAEDIKATEN
LOGIK
.
254
§
5
UEBERGANG
ZUR
MEHRSTELLIGEN
PRAEDIKATENLOGIK
.
258
§
6
RELATIONSSCHLUESSE
UND
DAS
ENTSCHEIDUNGSPROBLEM
.
264
§
7
UEBER
DIE
DEFINITION
DURCH
ABSTRAKTION
.
279
IX.
PRAEDIKATENLOGIK
HOEHERER
STUFEN
§
1
ERWEITERUNGEN
DER
PRAEDIKATENLOGIK
UND
LOGISCHE
ANTINOMIEN
.
282
§
2
ISOMORPHIE
UND
HOMOMORPHIE
UND
IHRE
ERKENNTNISTHEORETISCHE
BEDEU
TUNG
.
288
§
3
ABBILDUNG
UND
ERBLICHKEIT
.
291
§
4
DER
SATZ
DER
IDENTITAET
IN
DER
PRAEDIKATENLOGIK
HOEHERER
STUFEN
.
293
§
5
UEBER
DEN
ALGORITHMENBEGRIFF
.
302
X.
DIE
DEDUKTIVE
METHODE
§
1
UEBER
DAS
VERHAELTNIS
VON
LOGIK
UND
ALLGEMEINER
METHODOLOGIE
.
308
§
2
UEBER
DIE
METHODE
DER
FORMALEN
LOGIK
.
312
VI
§
3
DIE
AUSSAGENLOGIK
ALS
DEDUKTIVE
DISZIPLIN
.
317
§
4
AXIOMENSYSTEME
ANDERER
GEBIETE
DER
LOGIK
.
329
§
5
MODELLE
DEDUKTIVER
THEORIEN
.
330
§
6
DIE
FUNDAMENTALEN
BEGRIFFE
DER
AXIOMATIK
.
340
§
7
ZUM
VERHAELTNIS
VON
WAHRHEIT
UND
BEWEISBARKEIT
.
347
XI.
UEBER
DIE
DEFINITION
§
1
BEMERKUNGEN
ZUR
STRUKTURELLEN
CHARAKTERISIERUNG
DER
DEFINITION
.
358
§
2
DIE
IMPLIZITE
DEFINITION
DURCH
MONOMORPHE
AXIOMENSYSTEME
.
359
§
3
DIE
EXPLIZITE
DEFINITION
DURCH
MONOMORPHE
AXIOMENSYSTEME
.
362
§
4
DIE
EXPLIZITE
DEFINITION
.
364
A)
ALLGEMEINE
CHARAKTERISIERUNG
.
364
B)
SPEZIELLE
ERSCHEINUNGSFORMEN
.
367
A)
BEMERKUNGEN
ZUR
DEFINITION
IN
DER
TRADITIONELLEN
LOGIK
.
368
SS)
DIE
GENETISCHE
DEFINITION
.
374
§
5
DIE
KONTEXTDEFINITION
.
375
§
6
REKURSIVE
UND
ZUORDNUNGSDEFINITION
.
376
A)
REKURSIVE
DEFINITION
.
376
B)
ZUORDNUNGSDEFINITION
.
377
XII.
DIE
REDUKTIVEN
METHODEN
§
1
UNTERSCHIED
VON
DEDUKTIVER
UND
REDUKTIVER
METHODE
.
378
§
2
UEBER
DIE
FORMEN
DER
HYPOTHESE
.
388
§
3
INDUKTION
.
396
A)
VOLLSTAENDIGE
INDUKTION
.
397
B)
UNVOLLSTAENDIGE
INDUKTION
.
399
§
4
DIE
MILLSCHEN
METHODEN
DER
INDUKTION
.
403
A)
DIE
METHODE
DER
UEBEREINSTIMMUNG
.
404
B)
DIE
METHODE
DES
UNTERSCHIEDS
.
405
C)
DIE
KOMBINIERTE
METHODE
DER
UEBEREINSTIMMUNG
UND
DES
UNTERSCHIEDS
406
D)
DIE
METHODE
DER
RESTERSCHEINUNG
.
406
E)
DIE
METHODE
DER
BEGLEITENDEN
VERAENDERUNGEN
.
408
§
5
DAS
PRINZIP
DER
EINFACHHEIT
.
412
§
6
DER
ANALOGIESCHLUSS
.
415
§
7
SYSTEM
UND
STRUKTUR
.
422
§
8
WAHRSCHEINLICHKEIT
UND
STATISTIK
.
425
NOCHMALS
UEBER
DEN
GEGENSTAND
DER
FORMALEN
LOGIK
.
432
NAMENREGISTER
.
442
SACHREGISTER
.
444
LITERATUR
.
452
VII |
| any_adam_object | 1 |
| author | Klaus, Georg 1912-1974 |
| author_GND | (DE-588)118562770 |
| author_facet | Klaus, Georg 1912-1974 |
| author_role | aut |
| author_sort | Klaus, Georg 1912-1974 |
| author_variant | g k gk |
| building | Verbundindex |
| bvnumber | BV025594328 |
| classification_rvk | BF 8400 CC 2400 |
| ctrlnum | (OCoLC)73499213 (DE-599)BVBBV025594328 |
| discipline | Philosophie Theologie / Religionswissenschaften |
| edition | 2., bericht. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000002c 4500</leader><controlfield tag="001">BV025594328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180530</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s1965 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">452433495</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)73499213</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025594328</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">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B1550</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-B486</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BF 8400</subfield><subfield code="0">(DE-625)11172:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Klaus, Georg</subfield><subfield code="d">1912-1974</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118562770</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Moderne Logik</subfield><subfield code="b">Abriss d. formalen Logik</subfield><subfield code="c">Georg Klaus</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., bericht. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">VEB Dt. Verl. d. Wissenschaften</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 452 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="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="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</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=020190451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011201001</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020190451</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV025594328 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-15T00:03:09Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020190451 |
| oclc_num | 73499213 |
| open_access_boolean | |
| owner | DE-11 DE-188 DE-B1550 DE-19 DE-BY-UBM DE-B486 |
| owner_facet | DE-11 DE-188 DE-B1550 DE-19 DE-BY-UBM DE-B486 |
| physical | XII, 452 S. |
| psigel | HUB-ZB011201001 |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | VEB Dt. Verl. d. Wissenschaften |
| record_format | marc |
| spelling | Klaus, Georg 1912-1974 Verfasser (DE-588)118562770 aut Moderne Logik Abriss d. formalen Logik Georg Klaus 2., bericht. Aufl. Berlin VEB Dt. Verl. d. Wissenschaften 1965 XII, 452 S. txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020190451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Klaus, Georg 1912-1974 Moderne Logik Abriss d. formalen 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 | Moderne Logik Abriss d. formalen Logik |
| title_auth | Moderne Logik Abriss d. formalen Logik |
| title_exact_search | Moderne Logik Abriss d. formalen Logik |
| title_full | Moderne Logik Abriss d. formalen Logik Georg Klaus |
| title_fullStr | Moderne Logik Abriss d. formalen Logik Georg Klaus |
| title_full_unstemmed | Moderne Logik Abriss d. formalen Logik Georg Klaus |
| title_short | Moderne Logik |
| title_sort | moderne logik abriss d formalen logik |
| title_sub | Abriss d. formalen 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=020190451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT klausgeorg modernelogikabrissdformalenlogik |