Formale Logik:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Freiburg (Breisgau) ; München
Alber
2002
|
Ausgabe: | 5., unveränderte Auflage, Studienausgabe |
Schriftenreihe: | Alber Studienausgabe. Orbis academicus
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XXII, 645 Seiten Illustrationen 21 cm |
ISBN: | 3495480714 |
Internformat
MARC
LEADER | 00000nam a22000008c 4500 | ||
---|---|---|---|
001 | BV014654024 | ||
003 | DE-604 | ||
005 | 20200225 | ||
007 | t | ||
008 | 020813s2002 gw a||| |||| 00||| ger d | ||
016 | 7 | |a 964617684 |2 DE-101 | |
020 | |a 3495480714 |9 3-495-48071-4 | ||
035 | |a (OCoLC)76348460 | ||
035 | |a (DE-599)BVBBV014654024 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-BW | ||
049 | |a DE-703 |a DE-19 |a DE-12 |a DE-521 | ||
084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 10 |2 sdnb | ||
084 | |a 27 |2 sdnb | ||
084 | |a 6,12 |2 ssgn | ||
100 | 1 | |a Bocheński, Joseph M. |d 1902-1995 |0 (DE-588)119245426 |4 aut | |
245 | 1 | 0 | |a Formale Logik |c Joseph M. Bocheński |
250 | |a 5., unveränderte Auflage, Studienausgabe | ||
264 | 1 | |a Freiburg (Breisgau) ; München |b Alber |c 2002 | |
300 | |a XXII, 645 Seiten |b Illustrationen |c 21 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Alber Studienausgabe. Orbis academicus | |
648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
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 |
650 | 0 | 7 | |a Geschichte |0 (DE-588)4020517-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | 1 | |a Geschichte |0 (DE-588)4020517-4 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 1 | 1 | |a Geschichte |0 (DE-588)4020517-4 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
689 | 2 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 2 | 1 | |a Geschichte |A z |
689 | 2 | |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=009947019&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 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009947019 |
Datensatz im Suchindex
_version_ | 1808136303961702400 |
---|---|
adam_text |
INHALT
ABAELARD
.
XVII
ERSTEH
TEIL
EINLEITUNG
FF
1.
BEGRIFF
DER
FORMALEN
LOGIK
.
3
§
2.
ZUR
GESCHICHTE
DER
GESCHICHTE
DER
LOGIK
.
5
A.
DIE
ANFAENGE
.
5
B.
VORURTEILE
.
6
1.
THOMAS
REID
.
6
2.
KANT
.
8
3.
PRANTL
.
8
4.
NACH
PRANTL
.
10
C.
DIE
FORSCHUNG
IM
20.
JAHRHUNDERT
.
12
$
3.
DIE
ENTWICKLUNG
DER
FORMALEN
LOGIK
.
12
A.
ZUR
GEOGRAPHIE
UND
CHRONOLOGIE
DER
LOGIK
.
13
B.
DIE
FORM
DER
ENTWICKLUNG
DER
LOGIK
.
14
C.
DIE
GESTALTEN
DER
LOGIK
.
15
D.
DIE
EINHEIT
DER
LOGISCHEN
PROBLEMATIK
.
17
E.
DAS
PROBLEM
DES
FORTSCHRITTES
.
19
§
4.
METHODE
UND
PLAN
.
22
A.
PROBLEMGESCHICHTE
UND
DOKUMENTATION
.
22
B.
PLAN
DES
WERKES
.
22
C.
CHARAKTER
DES
INHALTS
.
23
FF
5.
TERMINOLOGIE
.
24
A.
FACHTECHNISCHE
AUSDRUECKE
.
24
B.
UEBER
MATHEMATISCH-LOGISCHE
SYMBOLIK
.
26
C.
DRUCKTECHNISCHE
EINZELHEITEN
.
27
ZWEITER
TEIL
DIE
GRIECHISCHE
GESTALT
DER
LOGIK
FF
6.
EINFUEHRUNG
IN
DIE
GRIECHISCHE
LOGIK
.
31
A.
DIE
ZEITLICHE
FOLGE
DER
DENKER
.
31
B.
PERIODISIERUNG
.
32
C.
STAND
DER
FORSCHUNG
.
33
I.
DIE
VORLAEUFER
FF
1.
DIE
ANFAENGE
.
35
A.
TEXTE
.
35
B.
DEUTUNG
.
37
FF
3.
PLATON
.
39
A.
BEGRIFF
DER
LOGIK
.
39
INHALT
B.
RINGEN
UM
LOGISCHE
FORMELN
.
40
C.
DIE
DIAIRESIS
.
42
II.
ARISTOTELES
§
9.
DAS
WERK
DES
ARISTOTELES
UND
SEINE
LITERARHISTORISCHEN
PROBLEME
.
47
A.
DIE
WERKE
.
47
B.
DIE
PROBLEME
.
47
1.
ECHTHEITSFRAGEN
.
48
2.
NATUR
DER
SCHRIFTEN
.
48
3.
CHRONOLOGIE
.
48
A)
KRITERIEN
DER
CHRONOLOGIE
.
49
B)
AUFSTELLUNG
DER
CHRONOLOGIE
.
50
C.
ZUR
TERMINOLOGIE
.
51
10.
BEGRIFF
DER
LOGIK.
SEMIOTIK
.
53
A.
NAME
UND
ORT
DER
LOGIK
.
53
B.
GEGENSTAND
DER
LOGIK
.
53
C.
SYNTAX
.
55
D.
SEMANTIK
.
57
§11.
DIE
TOPIK
.
58
A.
GEGENSTAND
UND
ZWECK
.
58
B.
PRAEDIKABILIEN
.
61
C.
KATEGORIEN
.
62
D.
SOPHISTIK
.
64
§
12.
THEORIE
DER
GEGENSAETZE;
WIDERSPRUCHSPRINZIP;
PRINZIP
VOM
AUSGE
SCHLOSSENEN
DRITTEN
.
66
A.
THEORIE
DER
GEGENSAETZE
.
66
B.
OBVERSION
.
69
C.
DAS
WIDERSPRUCHSPRINZIP
.
70
D.
DAS
PRINZIP
VOM
AUSGESCHLOSSENEN
DRITTEN
.
73
§
13.
ASSERTORISCHE
SGLLOGISLIK
.
74
A.
TEXT
.
74
B.
DEUTUNG
.
76
C.
STRUKTUR
DES
SYLLOGISMUS
.
80
D.
DIE
FIGUREN
UND
WEITERE
SYLLOGISMEN
.
82
§
14.
AXIOMATISIERUNG
DER
SYLLOGISTIK.
WEITERE
GESETZE
.
84
A.
THEORIE
DES
AXIOMATISCHEN
SYSTEMS
.
84
B.
SYSTEME
DER
SYLLOGISTIK
.
86
C.
DER
DIREKTE
BEWEIS
.
88
D.
DER
INDIREKTE
BEWEIS
.
89
ERSTES
VERFAHREN
.
89
ZWEITES
VERFAHREN
.
90
ANWENDUNGEN
.
91
E.
DICTUM
DE
OMNI
ET
NULLO
.
91
F.
ANSAETZE
FUER
EIN
METALOGISCHES
SYSTEM
.
92
G.
DIE
INVENTIO
MEDII
.
93
§
15.
MODALLOGIK
.
94
A.
DIE
MODALITAETEN
.
94
B.
STRUKTUR
DER
MODALAUSSAGEN
.
96
IX
INHALT
C.
NEGATION
UND
UMKEHRUNG
.
96
D.
DIE
SYLLOGISMEN
.
98
§
16.
NICHT-ANALYTISCHE
GESETZE
UND
REGELN
.
101
A.
ZWEI
ARTEN
VON
SCHLUESSEN
.
102
B.
KLASSEN
UND
PRAEDIKATENLOGISCHE
GESETZE
.
105
C.
THEORIE
DER
IDENTITAET
.
106
D.
SYLLOGISMEN
AUS
HYPOTHESEN
.
YY
.
107
E.
RELATIONENLOGISCHE
GESETZE
.
109
F.
AUSSAGENLOGISCHE
REGELN
UND
GESETZE
.
112
ZUSAMMENFASSUNG
.
113
§
17.
THEOPHRAST
.
114
A.
ENTWICKLUNG
UND
AENDERUNG
VERSCHIEDENER
LEHREN
.
114
B.
MODALLOGIK
.
116
C.
HYPOTHETISCHE
SYLLOGISMEN
.
118
III.
DIE
MEGARISCH-STOISCHE
SCHULE
§
18.
HISTORISCHER
UEBERBLICK
.
121
A.
DIE
DENKER
UND
DIE
SCHULEN
.
121
B.
LITERARHISTORISCHE
PROBLEME
.
123
C.
URSPRUNG
UND
CHARAKTERISTIK
.
124
§19.
BEGRIFF
DER
LOGIK.
SEMIOTIK.
MODALITAETEN
.
125
A.
LOGIK
.
125
B.
LEKTA
.
126
C.
SYNTAX
.
127
D.
KATEGORIENLEHRE
.
130
E.
WAHRHEIT
.
131
F.
MODALITAETEN
.
131
§
20.
AUSSAGENBESTIMMENDE
FUNKLOREN
.
133
A.
NEGATION
.
133
B.
IMPLIKATION
.
133
1.
PHIIONISCHE
IMPLIKATION
.
134
2.
DIODOREISCHE
IMPLIKATION
.
135
3.
YYKONNEXE"
IMPLIKATION
.
136
4.
YYINKLUSIVE"
IMPLIKATION
.
136
C.
DISJUNKTION
.
137
1.
VOLLSTAENDIGE
DISJUNKTION
.
137
2.
UNVOLLSTAENDIGE
DISJUNKTION
.
138
D.
KONJUNKTION
.
139
E.
AEQUIVALENZ
.
139
F.
ANDERE
FUNKTOREN
.
140
§
21.
ARGUMENTE
UND
SCHLUSSSCHEMATA
.
140
A.
SCHLUESSIGE,
WAHRE
UND
BEWEISENDE
ARGUMENTE
.
140
B.
NICHT
SYLLOGISTISCHE
ARGUMENTE
.
142
C.
WEITERE
ARTEN
VON
ARGUMENTEN
.
143
D.
SCHLUSSSCHEMATA
.
144
§
22.
AXIOMATISIERUNG.
ZUSAMMENGESETZTE
ARGUMENTE
.
145
A.
DIE
UNBEWEISBAREN
.
145
B.
METATHEOREME
.
146
C.
ABLEITUNG
DER
ZUSAMMENGESETZTEN
ARGUMENTE
.
148
D.
WEITERE
ABGELEITETE
ARGUMENTE
.
149
X
INHALT
$
23.
DER
LUEGNER
.
150
A.
GESCHICHTE
.
150
B.
DIE
FORMEL
.
151
C.
LOESUNGSVERSUCHE
.
152
IV.
AUSGANG
DER
ANTIKE
§
24.
DIE
PERIODE
DER
KOMMENTARE
UND
HANDBUECHER
.
154
A.
CHARAKTERISTIK
UND
HISTORISCHER
UEBERBLICK
.
154
B.
DER
BAUM
DES
PORPHYR
.
155
C.
AUSBAU
DER
LOGISCHEN
TECHNIK
.
156
1.
ALEXANDER
VON
APHRODISIAS
.
156
2.
BOETHIUS
.
157
D.
NEUE
EINTEILUNG
DER
IMPLIKATION
.
158
E.
DIE
BOETHIANISCHEN
HYPOTHETISCHEN
SYLLOGISMEN
.
160
F.
VERAENDERUNGEN
UND
AUSBAU
DER
KATEGORISCHEN
SYLLOGISTIK
.
.
.
161
G.
DIE
VERMEINTLICHE
VIERTE
FIGUR
.
162
H.
ESELSBRUECKE
.
164
I.
ANTIZIPATION
DER
RELATIONENLOGIK
.
165
ZUSAMMENFASSUNG
.
166
DRITTER
TEIL
DIE
SCHOLASTISCHE
GESTALT
DER
LOGIK
§
25.
EINFUEHRUNG
IN
DIE
SCHOLASTISCHE
LOGIK
.
169
A.
STAND
DER
FORSCHUNG
.
169
B.
PROVISORISCHE
PERIODISIERUNG
.
170
C.
DAS
PROBLEM
DER
QUELLEN
.
171
D.
LOGIK
UND
SCHULSTREITIGKEITEN
.
172
E.
METHODE
.
173
F.
CHARAKTERISTIK
.
173
I.
SEMIOTISCHE
GRUNDLAGEN
§
28.
GEGENSTAND
DER
LOGIK
.
175
A.
SEMIOTISCHE
GRUNDBEGRIFFE
.
175
B.
LOGIK
ALS
THEORIE
DER
ZWEITEN
INTENTIONEN
.
176
C.
FORMALE
LOGIK
ALS
THEORIE
DER
SYNKATEGOREMATISCHEN
AUSDRUECKE
179
D.
DER
INHALT
DER
WERKE
.
183
§
21.
SUPPOSITION
.
186
A.
BEGRIFF
DER
SUPPOSITION
.
186
B.
MATERIALE
UND
FORMALE
SUPPOSITION
.
188
C.
EINFACHE
SUPPOSITION
.
193
D.
PERSONALE
SUPPOSITION
.
197
E.
DEUTUNG
VOM
MODERNEN
STANDPUNKT
AUS
.
199
§
28.
AMPLIATION,
APPELLATION,
ANALOGIE
.
199
A.
AMPLIATION
.200
B.
APPELLATION
.
202
C.
ANALOGIE
.205
§
29.
STRUKTUR
UND
SINN
DER
AUSSAGE
.
208
A.
EINTEILUNG
DER
AUSSAGEN
.
208
B.
ANALYSE
DER
AUSSAGE
.209
C.
ANALYSE
DER
MODALEN
AUSSAGE:
DICTUM
UND
MODUS
.
211
D.
DER
VERBUNDENE
UND
DER
GETRENNTE
SINN
.213
E.
BEDEUTUNG
DER
AUSSAGE
.
217
XI
INHALT
II.
AUSSAGENLOGIK
§
30.
BEGRIFF
AND
EINTEILUNG
DER
KONSEQUENZEN
.219
A.
HISTORISCHE
UEBERSICHT
.
219
B.
DEFINITION
DER
KONSEQUENZ
.220
C.
EINTEILUNG
DER
KONSEQUENZEN
.
222
D.
DER
SINN
DER
IMPLIKATION
.
226
E.
DISJUNKTION
.
226
§
31.
AUSSAGENLOGISCHE
KONSEQUENZEN
.229
A.
HYPOTHETISCHE
AUSSAGEN
.
230
B.
KILWARDBY
.230
C.
ALBERT
VON
SACHSEN
.
231
D.
PAULUS
VENETUS
.
238
E.
REGELN
DER
KONSEQUENZEN
FUER
JETZT
.
241
III.
TERMLOGIK
§
32.
ASSERTORISCHE
SYLLOGISLIK
.
244
A.
FRUEHE
MNEMOTECHNISCHE
AUSDRUECKE
.244
B.
BARBARA
-
CELARENT
.245
C.
BARBARI
-
CELARONT
.
249
D.
DIE
VIERTE
FIGUR
.
250
1.
BEI
DEN
LATEINERN
.
250
2.
BEI
ALBALAG
.
251
E.
KOMBINATORISCHE
METHODE
.
254
F.
INVENTIO
MEDII,
ESELSBRUECKE
.
254
G.
DAS
PROBLEM
DER
LEEREN
KLASSE
.
257
1.
VINZENZ
FERRER
.
257
2.
PAULUS
VENETUS
.
258
3.
JOHANNES
A
SANCTO
THOMA
.
259
§
33.
MODALE
SYLLOGISLIK
.260
A.
ALBERT
DER
GROLLE
.260
B.
PSEUDO-SCOT
.
261
C.
OCKHAM
.
263
D.
LOGIK
DER
AUSSAGEN
IM
PRAETERITUM
UND
FUTUR
.
267
§34.
SONSTIGE
FORMELN
.
268
A.
SYLLOGISMEN
MIT
SINGULAEREN
TERMINI
.
269
B.
ANALYSE
VON
YYJEDER
"
UND
YYEINER
"
.
271
C.
EXPONIBLE
AUSSAGEN
.
272
D.
SYLLOGISMUS
OBLIQUUS
.
275
§
36.
ANTINOMIENLEHRE
.
275
A.
ENTWICKLUNG
.
275
B.
FORMULIERUNG
DER
ANTINOMIEN
.
277
1.
DER
LUEGNER
.
277
2.
ANDERE
ANTINOMIEN
.279
C.
LOESUNGEN
DER
ANTINOMIEN
.280
1.
DIE
ERSTEN
ZWOELF
LOESUNGEN
.
280
2.
DIE
DREIZEHNTE
LOESUNG
.284
3.
DIE
VIERZEHNTE
LOESUNG
.
287
4.
VORAUSSETZUNGEN
DER
LOESUNG
DES
PAULUS
VENETUS
.
288
5.
DIE
LOESUNG
DES
PAULUS
VENETUS:
DEUTUNG
.
291
ZUSAMMENFASSUNG
.
293
XII
INHALT
VIERTER
TEIL
DIE
ZEIT
DES
UEBERGANGES
F
38.
DIE
YYKLASTISCHE
"
LOGIK
.
297
A.
DER
HUMANISMUS
.
297
B.
DER
INHALT
DER
YYKLASSISCHEN
"
LOGIK
.299
C.
DER
PSYCHOLOGISMUS
.
300
D.
LEIBNIZ
.
301
E.
INHALT
UND
AUSDEHNUNG
.
302
F.
DIE
VIERTE
FIGUR
UND
DIE
SUBALTERNEN
MODI
.
303
G.
DIAGRAMMATISCHE
DARSTELLUNGEN
DER
SYLLOGISTIK
.
304
H.
QUANTIFLKATION
DES
PRAEDIKATES
.
306
FUENFTER
TEIL
DIE
MATHEMATISCHE
GESTALT
DER
LOGIK
I.
ALLGEMEINE
GRUNDLAGEN
§
37.
EINFUEHRUNG
IN
DIE
MATHEMATISCHE
LOGIK
.
311
A.
CHARAKTERISTIK
.
311
B.
DIE
ZEITLICHE
FOLGE
DER
DENKER
.
312
C.
FREGE
.
313
D.
PERIODISIERUNG
.
314
E.
STAND
DER
FORSCHUNG
.316
F.
METHODE
.
317
$
38.
DIE
MATHEMATISCH-LOGISCHE
MELHODE
.318
A.
DER
LOGISCHE
KALKUEL
.318
1.
LULLUS
.
318
2.
HOBBES
.
320
3.
LEIBNIZ
.
320
4.
LAMBERT
.
.
.
.
323
5.
GERGONNE
.
323
6.
BOOLE
.324
7.
PEIRCE
.
327
B.
THEORIE
DES
BEWEISES
.
328
1.
BOLZANO
.328
2.
FREGE
.329
C.
METALOGIK
.
332
$
39.
DER
BEGRIFF
DER
LOGIK
.
334
A.
DER
LOGIZISMUS
.
335
1.
FREGE:
SEMANTIK
.
335
2.
FREGE:
LOGIK
UND
MATHEMATIK
.
337
3.
RUSSELL
.
339
4.
FREGE:
DIE
ZAHL
.340
B.
DER
FORMALISMUS
.
341
C.
DER
INTUITIONISMUS
.
342
II.
DIE
ERSTE
PERIODE
S
40.
DER
BOOLESCHE
KALKUEL
.
345
A.
DE
MORGAN
.
345
B.
BOOLE
.
347
XIII
INHALT
1.
SYMBOLIK
UND
GRUNDBEGRIFFE
.
348
2.
ANWENDUNGEN
.
351
C.
DIE
LOGISCHE
SUMME
.
352
D.
DIE
INKLUSION
.354
E.
PEANO
.
357
III.
AUSSAGENLOGIK
G
41.
AUSSAGENLOGIK:
GRUNDBEGRIFFE
UND
SYMBOLIK
.358
A.
BOOLE
.358
B.
MCCOLL
.
360
C.
FREGE
.
362
1.
INHALT
UND
SATZ
.362
2.
IMPLIKATION
.
363
D.
PEIRCE
.
364
E.
ANWENDUNGEN
DER
SYMBOLIK
BEI
FREGE
.366
F.
NEGATION
UND
SUMME
BEI
FREGE
.
367
G.
AUSSAGENLOGISCHE
SYMBOLE
VON
PEANO
.
369
H.
SPAETERE
ENTWICKLUNG
DER
AUSSAGENLOGISCHEN
SYMBOLIK
.
370
§
42.
FUNKTION,
VARIABLE,
WAHRHEITSWERT
.
371
A.
DIE
LOGISCHE
FORM
.
372
B.
BEGRIFF
DER
FUNKTION:
FREGE
.373
C.
AUSSAGEFUNKTION:
RUSSELL
.375
D.
MEHRSTELLIGE
FUNKTIONEN
.
376
E.
DIE
VARIABLE
.
379
1.
FREGE
.
379
2.
RUSSELL
.
379
F.
WAHRHEITSWERT
.
381
G.
WAHRHEITSMATRIZEN
.384
1.
PEIRCE
.384
2.
WITTGENSTEIN
.386
H.
ENTSCHEIDUNGSVERFAHREN
.388
§
43.
SYSTEM
DER
AUSSAGENLOGIK
.
389
A.
MCCOLL
.390
B.
DIE
FREGESCHEN
SCHLUOREGELN
.
392
C.
AUSSAGENLOGISCHE
SAETZE
DER
BEGRIFFSSCHRIFT
.
393
D.
WHITEHEAD
UND
RUSSELL
.395
1.
GRUNDZEICHEN
UND
DEFINITION
.
395
2.
AXIOME
(PRIMITIVE
PROPOSITIONS)
.
395
3.
BEWEISVERFAHREN
.
396
4.
GESETZE
.
397
E.
DER
SHEFFERSCHE
FUNKTOR
.
399
F.
ABLEITUNGSVERFAHREN
VON
LUKASIEWICZ
.
400
IV.
TERMLOGIK
G
44.
PRAEDIKATENLOGIK
.
402
A.
DIE
QUANTOREN
.
403
1.
MITCHELL
.
403
2.
PEIRCE
.
404
3.
PEANO
.
405
4.
FREGE
.
405
XIV
INHALT
B.
SCHEINBARE
VARIABLE
.409
1.
PEANO
.409
2.
WHITEHEAD
UND
RUSSELL
.
409
C.
FORMALE
IMPLIKATION
.
410
D.
EINSTELLIGE
PRAEDIKATENGESETZE
.
411
E.
MEHRSTELLIGE
PRAEDIKATENGESETZE
.
413
F.
IDENTITAET
.
413
§
45.
KLASSENLOGIK
.416
A.
INDIVIDUUM
UND
KLASSE.
BEGRIFF
DES
ELEMENTES
.
417
B.
INHALT
UND
AUSDEHNUNG
.417
C.
DER
PLURALE
ARTIKEL
.420
D.
DEFINITION
DER
KLASSE
DURCH
DIE
FUNKTION
.
421
E.
PRODUKT
UND
INKLUSION
DER
KLASSEN
.
421
§46.
EXISTENZ
.
422
A.
DIE
LEERE
KLASSE
.423
B.
LEERE
KLASSE
UND
ASSERTORISCHE
SYLLOGISTIK
.
424
C.
KENNZEICHNUNG
.
426
1.
DER
BESTIMMTE
ARTIKEL:
FREGE
.
426
2.
DAS
LOGISCHE
SEIN
.427
3.
KENNZEICHNUNG
BEI
RUSSELL
.
429
4.
SYMBOLIK
.
432
A)
PEANO
.
432
B)
PRINCIPIA
.433
V.
SONSTIGE
LEHREN
§47.
RELATIONENLOGIK
.
434
A.
ENTWICKLUNG
DER
GRUNDLAGEN
.434
1.
DE
MORGAN
.434
2.
PEIRCE
.
436
3.
RUSSELL
.
439
4.
PRINCIPIA
.
440
B.
KETTEN
.445
1.
FREGE
.
445
2.
PRINCIPIA
.446
C.
ISOMORPHIE
.
447
§
48.
ANTINOMIENPROBLEM UND
TYPENTHEORIE
.
448
A.
HISTORISCHE
UEBERSICHT
.
448
B.
DIE
ANTINOMIEN
.
450
C.
VORLAEUFER
DER
TYPENTHEORIE
.
452
D.
DIE
VERZWEIGTE
TYPENTHEORIE
.456
E.
DIE
SYSTEMATISCHE
VIELDEUTIGKEIT
.
459
F.
DAS
REDUZIBILITAETSAXIOM
.
461
G.
EINFACHE
TYPENTHEORIE
.
462
1.
CHWISTEK
.
462
2.
RAMSEY
.464
§
49.
EINIGE
NEUERE
LEHREN
.
467
A.
STRIKTE
IMPLIKATION:
LEWIS
.467
B.
MEHRWERTIGE
LOGIK:
LUKASIEWICZ
.
469
C.
DER
GOEDELSCHE
SATZ
.
472
ZUSAMMENFASSUNG
.
476
XV
INHALT
SECHSTER
TEIL
DIE
INDISCHE
GESTALT
DER
LOGIK
§
SO.
EINFUEHRUNG
IN
DIE
INDISCHE
LOGIK
.
481
A.
HISTORISCHE
UEBERSICHT
.
481
B.
ENTWICKLUNG
DER
FORMALEN
LOGIK
.
482
C.
STAND
DER
FORSCHUNG
.
484
D.
DIE
METHODE
.
485
§
51.
DIE
VORLAEUFER
.
486
A.
MILINDA-PANHA
.
486
B.
KATHAEVATTHU
.487
C.
DIE
ZEHNGLIEDRIGE
FORMEL
.
489
§
52.
VAIIEFIKA
UND
NYAEYA-SUETRA
.
491
A.
VAIAEE?IKA-SUETRA
.
491
1.
KATEGORIENLEHRE
.
491
2.
DIE
FOLGERUNG
.
492
B.
NYAEYA-SUETRA
.
493
1.
TEXT
.
493
2.
V&TSYAEYANAS
KOMMENTAR
.495
3.
DEUTUNG
.497
§
53.
DAS
WERDEN
DER
FORMALEN
LOGIK
.
498
A.
DIE
WICHTIGSTEN
ETAPPEN
DER
ENTWICKLUNG
.
498
B.
LOGISCHE
TERMINOLOGIE
.
500
C.
DER
DREIGLIEDRIGE
SYLLOGISMUS
.500
D.
DIE
DREIGLIEDRIGE
REGEL
:
TRAIRUEPYA
.
503
E.
RAD
DER
GRUENDE:
HETU-CAKRA
.
503
F.
,,EVA
"
.505
G.
DER
ALLGEMEINE
ZUSAMMENHANG
.
506
H.
DIE
ENDGUELTIGE
GESTALT
DER
LEHRE
.
507
1.
TEXT
.
507
2.
DEUTUNG
.509
§
55.
EINIGE
WEITERE
LOGISCHE
LEHREN
.
509
A.
DIE
APOHA
.510
B.
DEFINITIONEN
DER
VYAEPTI
.
511
C.
EINIGE
GRUNDBEGRIFFE
.
513
D.
DAS
GESETZ
DER
DOPPELTEN
VERNEINUNG
.514
E.
RELATIONENLOGIK,
DEFINITION
DER
ZAHL
.516
ZUSAMMENFASSUNG
.516
NACHWEISE,
BIBLIOGRAPHIE,
REGISTER
I.
NACHWEISE
.
521
II.
BIBLIOGRAPHIE
.
531
ERGAENZUNGEN
ZUR
BIBLIOGRAPHIE
.
606
III,
REGISTER
.
613
1.
NAMENSVERZEICHNIS
.
613
2.
VERZEICHNIS
DER
KUENSTLICHEN
LOGISCHEN
ZEICHEN
.
622
3.
VERZEICHNIS
DER
MNEMOTECHNISCHEN
AUSDRUECKE
.
625
4,
SACHVERZEICHNIS
.626
XVI |
any_adam_object | 1 |
author | Bocheński, Joseph M. 1902-1995 |
author_GND | (DE-588)119245426 |
author_facet | Bocheński, Joseph M. 1902-1995 |
author_role | aut |
author_sort | Bocheński, Joseph M. 1902-1995 |
author_variant | j m b jm jmb |
building | Verbundindex |
bvnumber | BV014654024 |
classification_rvk | CC 2000 CC 2600 |
ctrlnum | (OCoLC)76348460 (DE-599)BVBBV014654024 |
discipline | Philosophie |
edition | 5., unveränderte Auflage, Studienausgabe |
era | Geschichte gnd |
era_facet | Geschichte |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV014654024</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200225</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020813s2002 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964617684</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3495480714</subfield><subfield code="9">3-495-48071-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76348460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014654024</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-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">6,12</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bocheński, Joseph M.</subfield><subfield code="d">1902-1995</subfield><subfield code="0">(DE-588)119245426</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Logik</subfield><subfield code="c">Joseph M. Bocheński</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5., unveränderte Auflage, Studienausgabe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Freiburg (Breisgau) ; München</subfield><subfield code="b">Alber</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 645 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">21 cm</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 Studienausgabe. Orbis academicus</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-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)4123623-3</subfield><subfield code="a">Lehrbuch</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="1"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-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="1"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="2" 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=009947019&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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009947019</subfield></datafield></record></collection> |
genre | (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV014654024 |
illustrated | Illustrated |
indexdate | 2024-08-23T00:32:33Z |
institution | BVB |
isbn | 3495480714 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009947019 |
oclc_num | 76348460 |
open_access_boolean | |
owner | DE-703 DE-19 DE-BY-UBM DE-12 DE-521 |
owner_facet | DE-703 DE-19 DE-BY-UBM DE-12 DE-521 |
physical | XXII, 645 Seiten Illustrationen 21 cm |
publishDate | 2002 |
publishDateSearch | 2002 |
publishDateSort | 2002 |
publisher | Alber |
record_format | marc |
series2 | Alber Studienausgabe. Orbis academicus |
spelling | Bocheński, Joseph M. 1902-1995 (DE-588)119245426 aut Formale Logik Joseph M. Bocheński 5., unveränderte Auflage, Studienausgabe Freiburg (Breisgau) ; München Alber 2002 XXII, 645 Seiten Illustrationen 21 cm txt rdacontent n rdamedia nc rdacarrier Alber Studienausgabe. Orbis academicus Geschichte gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Geschichte (DE-588)4020517-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s Geschichte (DE-588)4020517-4 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Geschichte z 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=009947019&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 | Bocheński, Joseph M. 1902-1995 Formale Logik Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Geschichte (DE-588)4020517-4 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4020517-4 (DE-588)4123623-3 |
title | Formale Logik |
title_auth | Formale Logik |
title_exact_search | Formale Logik |
title_full | Formale Logik Joseph M. Bocheński |
title_fullStr | Formale Logik Joseph M. Bocheński |
title_full_unstemmed | Formale Logik Joseph M. Bocheński |
title_short | Formale Logik |
title_sort | formale logik |
topic | Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Geschichte (DE-588)4020517-4 gnd |
topic_facet | Mathematische Logik Logik Geschichte Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009947019&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT bochenskijosephm formalelogik |