Einführung in die formale Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Ost
Dt. Verl. d. Wiss.
1959
|
| Ausgabe: | 2., unveränd. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 403 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005233172 | ||
| 003 | DE-604 | ||
| 005 | 20230421 | ||
| 007 | t | ||
| 008 | 920527s1959 |||| 00||| ger d | ||
| 035 | |a (OCoLC)250950489 | ||
| 035 | |a (DE-599)BVBBV005233172 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-473 |a DE-19 |a DE-706 |a DE-521 |a DE-83 |a DE-11 |a DE-20 |a DE-188 |a DE-B1550 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |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 Einführung in die formale Logik |c Georg Klaus |
| 250 | |a 2., unveränd. Aufl. | ||
| 264 | 1 | |a Berlin, Ost |b Dt. Verl. d. Wiss. |c 1959 | |
| 300 | |a XII, 403 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 |
| 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 | |
| 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=003249654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003249654 | ||
Datensatz im Suchindex
| _version_ | 1804119408328572928 |
|---|---|
| adam_text | INHALTSVERZEICHNIS
VORWORT...................................................................
V
VORBEMERKUNG..............................................................
1
I.
GEGENSTAND
UND
AUFGABEN
DER
FORMALEN
LOGIK
§
1
GEGENSTAND
DER
LOGIK..............................................
4
§
2
DIE
MATERIALISTISCHE
AUFFASSUNG
DER
LOGIK...........................
10
§
3
DIE
BEDEUTUNG
DER
LOGIK...........................................
14
§
4
ZUR
GESCHICHTE
DER
LOGIK...........................................
18
II.
URTEILE
UND
IHRE
STRUKTUR
§
1
BEGRIFF
UND
URTEIL..................................................
26
§
2
DAS
WESEN
DES
URTEILS
.............................................
28
§
3
DIE
BESTANDTEILE
DES
URTEILS........................................
36
§
4
UEBER
UNIVERSAL-
UND
EXISTENTIALSAETZE
...............................
37
§
6
UEBER
DIE
BEDEUTUNG
VON
VARIABLEN
IN
DEN
WISSENSCHAFTEN...........
41
III.
UEBER
DIE
VERBINDUNGEN
ZWISCHEN
URTEILEN
§
1
KONSTANTE
UND
VERAENDERLICHE
DER
EINZELWISSENSCHAFTEN
UND
DER
LOGIK..............................................................
43
§
2
DIE
LOGISCHE
NEGATION..............................................
46
§
3
DIE
LOGISCHE
KONJUNKTION..........................................
47
§
4
UEBER
DIE
PHILOSOPHISCHE
BEDEUTUNG
DES
SATZES
VOM
AUSGESCHLOSSENEN
WIDERSPRUCH.......................................................
49
§
6
DIE
LOGISCHE
DISJUNKTION
...........................................
57
§
6
DER
SATZ
VOM
AUSGESCHLOSSENEN
DRITTEN.............................
63
§
7
DIE
LOGISCHE
IMPLIKATION...........................................
70
§
8
BEMERKUNGEN
UEBER
DIE
SOGENANNTE
*STRENGE
IMPLIKATION*............
76
§
9
UEBER
DEN
SOGENANNTEN
SATZ
VOM
ZUREICHENDEN
GRUND................
78
§
10
UEBER
DEN
GEBRAUCH
DER
IMPLIKATION
BEIM
LOGISCHEN
SCHLIESSEN........
80
§
11
UEBER
DIE
AEQUIVALENZ
VON
AUSSAGEN
.................................
84
EXKURS
UEBER
EXTENSIONALITAET
.......................................
86
§
12
WEITERE
AUSSAGENVERBINDUNGEN.....................................
91
ERSTER
EXKURS
UEBER
DIALEKTISCHE
LOGIK
..............................
96
§
13
REDUKTION
VON
URTEILSVERBINDUNGEN
AUF
ANDERE
URTEILSVERBINDUNGEN..
100
§
14
DIE
AUSSAGENLOGIK
UND
KANTS
TAFEL
DER
URTEILE......................
103
§
15
DIE
WICHTIGSTEN
GESETZE
DER
AUSSAGENLOGIK..........................
108
§
16
DAS
ENTSCHEIDUNGSPROBLEM.........................................
110
§17
DIE
ANWENDUNG
DER
AUSSAGENLOGIK
AUF
DAS
LOGISCHE
SCHLIESSEN
UND
IHRE
VERBINDUNG
MIT
EINIGEN
FRAGEN
DER
TRADITIONELLEN
LOGIK.........
118
X
§18
UEBER
DIE
SOGENANNTE
FORMALE
WAHRHEIT
VON
URTEILEN...............
127
§
19
UEBER
PRAKTISCHE
ANWENDUNGEN
DER
AUSSAGENLOGIK
.................
132
IV.
BEGRIFFE
§
1
UEBER
DAS
VERHAELTNIS
VON
BEGRIFF
UND
URTEIL
IM
LOGISCHEN
SCHLIESSEN
..
137
§
2
BEGRIFF
UND
ERKENNTNIS...........................................
139
§
3
UMFANG
UND
INHALT
VON
BEGRIFFEN................................
147
§
4
DAS
SOGENANNTE
REZIPROZITAETSGESETZ
VON
INHALT
UND
UMFANG
DER
BEGRIFFE..........................................................
160
§5
ZWEITER
EXKURS
UEBER
DIALEKTISCHE
LOGIK...........................
164
V.
UEBER
DEFINITION
UND
DEFINITIONSARTIGE
METHODEN
§
1
UEBER
DIE
ARTEN
DER
DEFINITION
....................................
173
§
2
DIE
SACHDEFINITION
..................
174
§
3
REGELN
DER
KLASSISCHEN
BEGRIFFSDEFINITION
..........................
178
§
4
DIE
GENETISCHE
DEFINITION..........................
183
§
6
DEFINITION
ALS
BESTIMMUNG
DES
INHALTS
EINES
BEGRIFFES..............
184
§
6
DEFINITION
ALS
FESTSTELLUNG
DER
VERWENDUNG,
DIE
EIN
BEGRIFF
FINDET...
187
§
7
DEFINITION
ALS
FESTSETZUNG
DER
VERWENDUNG,
DIE
EIN
NEU
EINZU
FUEHRENDER
TERMINUS
FINDEN
SOLL,
BZW.
DER
BEDEUTUNG,
DIE
MAN
IHM
ZUSCHREIBEN
WILL
..................................................
189
A)
ZUORDNUNGSDEFINITION..........................................
191
B)
REKURSIVE
DEFINITION
..........................................
192
§
8
DEFINITIONSAEHNLICHE
VERFAHREN
DER
BEGRIFFSBESTIMMUNG.............
193
A)
KLASSIFIKATION
.................................................
194
B)
BEGRIFFSGLIEDERUNG
.............................................
196
VI.
DIE
TRADITIONELLE
LEHRE
VOM
LOGISCHEN
SCHLUSS
UND
IHRE
FORTENTWICKLUNG
§
1
DIE
KLASSISCHEN
GRUNDLAGEN
DER
PRAEDIKATENLOGIK...................
198
§
2
DIE
UNMITTELBAREN
SCHLUESSE.......................................
200
A)
DIE
SCHLUESSE
DER
SUBALTERNATION................................
200
B)
DIE
SCHLUESSE
DER
OPPOSITION
...................................
201
C)
DIE
SCHLUESSE
DER
KONVERSION
UND
DER
KONTRAPOSITION
...........
201
§
3
DIE
SYLLOGISTIK
...................................................
202
§
4
UEBER
DAS
VERHAELTNIS
VON
AUSSAGENLOGIK
UND
KLASSENKALKUEL.........
206
§
5
UEBER
DIE
IMMER
RICHTIGEN
AUSSAGEN
VERBINDUNGEN
DES
KLASSENKALKUELS
210
§
6
ANWENDUNG
DES
KLASSENKALKUELS
AUF
DIE
LEHRE
VON
DEN
SYLLOGISMEN
212
§
7
DAS
HAUBERSCHE
THEOREM
........................................
220
§
8
QUALIFIKATION
UND
TRADITIONELLE
SCHLUESSE
.........................
222
§
9
BEMERKUNGEN
ZUM
ENTSCHEIDUNGSPROBLEM
DES
EINSTELLIGEN
PRAEDIKATEN-
KALKUELS...........................................................
238
§
10
UEBER
EINSTELLIGE
UND
MEHRSTELLIGE
PRAEDIKATE
..........
242
§
11
UEBER
DIE
BEDEUTUNG
DER
RELATIONSLOGIK
...........................
248
§
12
WICHTIGE
BEGRIFFSBILDUNGEN
UND
GESETZE
DER
RELATIONSLOGIK
UND
IHRE
ANWENDUNG
......................................................
252
§
13
RELATIONEN
MIT
BESONDEREN
EIGENSCHAFTEN
.........................
262
§
14
UEBER
DIE
DEFINITION
DURCH
ABSTRAKTION
...........................
265
§
15
UEBER
DIE
WEITERENTWICKLUNG
DER
PRAEDIKATENLOGIK
..................
269
EXKURS
UEBER
ISOMORPHIE
..........................................
273
EXKURS
UEBER
ABBILDUNG
UND
ERBLICHKEIT
...........................
276
§
16
DIE
DARSTELLUNG
DES
SATZES
DER
IDENTITAET
IM
ERWEITERTEN
PRAEDIKATEN
-
KALKUEL
................................................
278
XI
VII.
DIE
DEDUKTIVE
METHODE
§
1
UEBER
DIE
METHODE
DER
LOGIK......................................
290
§
2
DIE
AUSSAGENLOGIK
ALS
DEDUKTIVE
DISZIPLIN.........................
295
§
3
AXIOMENSYSTEME
ANDERER
GEBIETE
DER
LOGIK.......................
306
§
4
MODELL
EINER
DEDUKTIVEN
THEORIE..................................
308
§
5
DIE
FUNDAMENTALEN
BEGRIFFE
DER
AXIOMATIK........................
319
§
6
NOCHMALS
UEBER
DEN
GEGENSTAND
DER
FORMALEN
LOGIK
.........
326
VIII.
DIE
REDUKTIVEN
METHODEN
§
1
UNTERSCHIED
VON
DEDUKTIVER
UND
REDUKTIVER
METHODE..............
331
§
2
UEBER
DIE
FORMEN
DER
HYPOTHESE..................................
340
§
3
INDUKTION.............
348
A)
VOLLSTAENDIGE
INDUKTION.........................................
349
B)
UNVOLLSTAENDIGE
INDUKTION......................................
351
§
4
DIE
MILLSCHEN
METHODEN
DER
INDUKTION............................ 364
A)
DIE
METHODE
DER
UEBEREINSTIMMUNG.............................
355
B)
DIE
METHODE
DES
UNTERSCHIEDS
.................................
356
C)
DIE
KOMBINIERTE
METHODE
DER
UEBEREINSTIMMUNG
UND
DES
UNTER
SCHIEDS
........................................................
357
D)
DIE
METHODE
DER
RESTERSCHEINUNG
..............................
367
E)
DIE
METHODE
DER
BEGLEITENDEN
VERAENDERUNGEN...................
369
§
5
DAS
PRINZIP
DER
EINFACHHEIT
......................................
363
§
6
DER
ANALOGIESCHLUSS
..............................................
366
§
7
SYSTEM
UND
STRUKTUR
.............................................
375
§
8
WAHRSCHEINLICHKEIT
UND
STATISTIK
.................................
378
IX.
SCHLUSSBEMERKUNG
....................................................
385
NACHWORT
..................................................................
391
PERSONENREGISTER............................................................
397
SACHREGISTER................................................................
398
BENUTZTE
LITERATUR
.........................................................
403
XII
|
| 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 | BV005233172 |
| classification_rvk | SK 130 CC 2400 |
| ctrlnum | (OCoLC)250950489 (DE-599)BVBBV005233172 |
| discipline | Mathematik Philosophie |
| edition | 2., unveränd. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01349nam a2200349 c 4500</leader><controlfield tag="001">BV005233172</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230421 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920527s1959 |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)250950489</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005233172</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B1550</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">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">Einführung in die formale Logik</subfield><subfield code="c">Georg Klaus</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., unveränd. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Ost</subfield><subfield code="b">Dt. Verl. d. Wiss.</subfield><subfield code="c">1959</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 403 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="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="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=003249654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003249654</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV005233172 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:25:43Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003249654 |
| oclc_num | 250950489 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-521 DE-83 DE-11 DE-20 DE-188 DE-B1550 |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-521 DE-83 DE-11 DE-20 DE-188 DE-B1550 |
| physical | XII, 403 S. |
| psigel | TUB-nveb |
| publishDate | 1959 |
| publishDateSearch | 1959 |
| publishDateSort | 1959 |
| publisher | Dt. Verl. d. Wiss. |
| record_format | marc |
| spelling | Klaus, Georg 1912-1974 Verfasser (DE-588)118562770 aut Einführung in die formale Logik Georg Klaus 2., unveränd. Aufl. Berlin, Ost Dt. Verl. d. Wiss. 1959 XII, 403 S. txt rdacontent n rdamedia nc rdacarrier 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 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003249654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Klaus, Georg 1912-1974 Einführung in die formale Logik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Einführung in die formale Logik |
| title_auth | Einführung in die formale Logik |
| title_exact_search | Einführung in die formale Logik |
| title_full | Einführung in die formale Logik Georg Klaus |
| title_fullStr | Einführung in die formale Logik Georg Klaus |
| title_full_unstemmed | Einführung in die formale Logik Georg Klaus |
| title_short | Einführung in die formale Logik |
| title_sort | einfuhrung in die formale logik |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003249654&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT klausgeorg einfuhrungindieformalelogik |