Essay on the principles of logic: a defense of logical monism
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
De Gruyter
[2023]
|
| Schlagworte: | |
| Online-Zugang: | https://www.degruyter.com/isbn/9783110784862 Inhaltsverzeichnis |
| Beschreibung: | XXI, 396 Seiten Diagramme 23 cm x 15.5 cm |
| ISBN: | 9783110784862 3110784866 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV049036482 | ||
| 003 | DE-604 | ||
| 005 | 20230830 | ||
| 007 | t | ||
| 008 | 230705s2023 gw |||| |||| 00||| eng d | ||
| 015 | |a 22,N51 |2 dnb | ||
| 016 | 7 | |a 1275630383 |2 DE-101 | |
| 020 | |a 9783110784862 |c : EUR 139.95 (DE) (freier Preis), EUR 139.95 (AT) (freier Preis) |9 978-3-11-078486-2 | ||
| 020 | |a 3110784866 |9 3-11-078486-6 | ||
| 024 | 3 | |a 9783110784862 | |
| 035 | |a (OCoLC)1392151992 | ||
| 035 | |a (DE-599)DNB1275630383 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 100 | 1 | |a Wolff, Michael |d 1942- |e Verfasser |0 (DE-588)131523120 |4 aut | |
| 240 | 1 | 0 | |a Abhandlung über die Prinzipien der Logik |
| 245 | 1 | 0 | |a Essay on the principles of logic |b a defense of logical monism |c Michael Wolff ; translated by W. Clark Wolf |
| 264 | 1 | |a Berlin |b De Gruyter |c [2023] | |
| 300 | |a XXI, 396 Seiten |b Diagramme |c 23 cm x 15.5 cm | ||
| 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 |
| 653 | |a Bivalenzprinzip | ||
| 653 | |a Parakonsistenz | ||
| 653 | |a existenzielle Bedeutung | ||
| 653 | |a Quadrat der Widersprüche | ||
| 653 | |a bivalence principle | ||
| 653 | |a paraconsistency | ||
| 653 | |a existential import | ||
| 653 | |a square of oppositions | ||
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wolf, W. Clark |4 trl | |
| 710 | 2 | |a Walter de Gruyter GmbH & Co. KG |0 (DE-588)10095502-2 |4 pbl | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, EPUB |z 978-3-11-078510-4 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, PDF |z 978-3-11-078493-0 |
| 856 | 4 | 2 | |m X:MVB |u https://www.degruyter.com/isbn/9783110784862 |
| 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=034299104&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034299104 | ||
Datensatz im Suchindex
| _version_ | 1804185326037499904 |
|---|---|
| adam_text | CONTENTS
PREFACE
TO
THE
ENGLISH
EDITION
-
V
INTRODUCTION
-
XIX
I
ANALYTICAL
PART:
ANALYSIS
OF
LOGICAL
LANGUAGES
SECTION
ONE
THE
LANGUAGE
OF
THE
SYLLOGISTIC
-
3
1
THE
LANGUAGE
OF
THE
ASSERTORIC
SYLLOGISTIC
-
3
§
1
SYLLOGISTIC
PROPOSITIONAL
SCHEMATA
-
3
§
2
IN
SEARCH
OF
A
UNIVERSAL
LANGUAGE
OF
DEDUCTIVE
LOGIC
-
5
§
3
THE
LOGICAL
VOCABULARY
OF
THE
ASSERTORIC
SYLLOGISTIC
-
6
§
4
ADDITIONS
TO
THE
LOGICAL
VOCABULARY
OF
THE
ASSERTORIC
SYLLOGISTIC
-
8
§
5
CATEGORICAL
FORM
----
12
2
THE
LANGUAGE
OF
THE
MODAL
SYLLOGISTIC
-
15
§
6
THE
LOGICAL
VOCABULARY
OF
THE
MODAL
SYLLOGISTIC
-
15
§
7
THE
INDISPENSABILITY
OF
THE
LOGICAL
VOCABULARY
OF
THE
MODAL
SYLLOGISTIC
-
22
3
ANALYSIS
OF
EXPRESSIONS
OF
NEGATION
-
24
§
8
THE
BIVALENCE
PRINCIPLE
----
24
§
9
THE
PRINCIPLE
OF
EXCLUDED
MIDDLE
----
25
§
10
TRUTH-FUNCTIONAL
AND
NON-TRUTH-FUNCTIONAL
NEGATION
----
27
§
11
THE
STRONG
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
-
31
§
12
THE
WEAK
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
-
33
§
13
THE
LOGICAL
SQUARE
OF
MODAL
OPPOSITION
-
34
4
SYMBOLIC
ABBREVIATIONS
----
36
§
14
SYLLOGISTIC
AND
NON-SYLLOGISTIC
MODAL
EXPRESSIONS
----
36
§
15
OTHER
EXPRESSIONS
IN
THE
LANGUAGE
OF
ELEMENTARY
SYLLOGISTIC
-----
38
SECTION
TWO
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
41
1
A
TRANSLATION
PROGRAM
----
41
§
16
THE
VOCABULARY
OF
THE
CALCULUS
OF
CLASSES
-
41
§
17
THE
STRONG
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
43
XIV
-
CONTENTS
2
THE
PROBLEM
OF
IMPLICIT
EXISTENCE
ASSUMPTIONS
-
46
§
18
THE
PROBLEM
OF
THE
EMPTY
CLASS
-
46
§
19
ALTERNATIVE
THEORIES
-
47
3
LIMITS
OF
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
50
§
20
GROUNDS
FOR
A
MODIFICATION
OF
THE
TRANSLATION
PROGRAM
-
50
§
21
THE
NULL
CLASS
AND
EMPTY
CONCEPTUAL
SCOPES
----
54
§
22
TRANSLATION
OF
CLASS-LOGICAL
PROPOSITIONAL
SCHEMATA
INTO
THE
LANGUAGE
OF
THE
SYLLOGISTIC
-
58
§
23
REDUCTION
OF
CLASS-LOGICAL
MODES
OF
INFERENCE
TO
SYLLOGISTIC
MODES
OF
INFERENCE
-
63
§
24
ADVANTAGES
OF
A
TRANSFORMATION
OF
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
INTO
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
65
SECTION
THREE
THE
LANGUAGE
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
72
1
A
TRANSLATION
PROGRAM
----
72
§
25
THE
REPRESENTATION
OF
CONCEPT
EXPRESSIONS
WITH
FUNCTIONAL
EXPRESSIONS
-----
72
§
26
THE
FUNCTION
THEORY
OF
CONCEPTS
-
74
§
27
GRAMMATICAL
AND
LOGICAL
PREDICATES
-
78
§
28
REMARKS
ON
THE
FUNCTION
THEORY
OF
CONCEPTS
-
84
2
EXAMINATION
OF
THE
TRANSLATION
PROGRAM
-
90
§
29
SUBORDINATION
OF
CONCEPTS
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
90
§
30
TRUTH
FUNCTIONS
AND
THEIR
REDUCTION
TO
NON-TRUTH-FUNCTIONAL
FORMS
92
§
31
AN
EXTENSION
OF
THE
LANGUAGE
OF
THE
SYLLOGISTIC
----
102
§
32
THE
CATEGORICAL
FORM
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
105
§
33
THE
LOGICAL
FORM
OF
SINGULAR
PROPOSITIONS
-
110
§
34
QUANTIFIER
RULES
AND
THE
WEAK
LOGICAL
SQUARE
-
115
§
35
THE
ASSUMPTION
OF
NON-EMPTY
DOMAINS
----
118
3
LIMITS
OF
THE
LANGUAGE
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
125
§
36
A
FORMAL
LANGUAGE
OF
NON-PURE
THINKING
-
125
§
37
REFERENCE
TO
INTUITION
AND
SYMBOLIC
CONSTRUCTION
-
129
§
38
THE
PROBLEM
OF
SYNTHETIC
PROPOSITIONS
A
PRIORI
IN
ARITHMETIC
-
133
CONTENTS
-
XV
4
THE
VOCABULARY
OF
THE
UNIVERSAL
LANGUAGE
OF
DEDUCTIVE
LOGIC
-
135
§
39
NON-SYLLOGISTIC
BASIC
RULES
IN
THE
LANGUAGE
OF
SYLLOGISTIC
-
135
§
40
THE
DISPENSABILITY
OF
AN
EXPRESSION
FOR
LOGICAL
CONJUNCTION
IN
THE
ELEMENTARY
LANGUAGE
OF
SYLLOGISTIC
-
139
II
SYNTHETIC
PART:
CONSTRUCTION
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
FROM
THE
ELEMENTS
OF
THE
SYLLOGISTIC
§
41
GENERAL
PRELIMINARY
REMARK
-
145
SECTION
ONE
RULES
FOR
DERIVING
RULES
-
149
1
PRINCIPLES
-
149
§
42
NOTATION
----
149
§
43
DEFINITIONS
----
150
§
44
BASIC
RULES
----
153
2
DERIVED
RULES
-
154
§
45
RULES
DERIVED
FROM
THE
BASIC
RULES
-
154
SECTION
TWO
HYPOTHETICAL
AND
DISJUNCTIVE
SYLLOGISTIC
-
158
1
PRELIMINARY
REMARK
-
158
2
PRINCIPLES
-
159
§
46
NOTATION
-
159
§
47
DEFINITIONS
----
160
§
48
BASIC
RULES
----
164
3
DERIVATION
OF
FORMULAS
OF
THE
HYPOTHETICAL
AND
DISJUNCTIVE
SYLLOGISTIC
-
165
§
49
DERIVED
RULES
-
165
§
50
CONDITIONALIZATION
-
174
SECTION
THREE
CATEGORICAL
SYLLOGISTIC
-
178
1
PRELIMINARY
REMARK
-
178
2
PRINCIPLES
-----
178
§51
NOTATION
----
178
§
52
DEFINITIONS
-----
178
§
53
BASIC
RULES
----
182
3
DERIVED
RULES
-
184
XVI
-
CONTENTS
§
54
RULES
OF
THE
STRONG
AND
WEAK
LOGICAL
SQUARES
-----184
§
55
CONVERSION
RULES
----
187
§
56
CATEGORICAL
SYLLOGISMS
----
189
§
57
UNIVERSALLY
VALID
PROPOSITIONAL
SCHEMATA
----
201
SECTION
FOUR
MODAL
SYLLOGISTIC
-----203
1
2
PRELIMINARY
REMARK
-----203
PRINCIPLES
----
204
§
58
NOTATION
----
204
§
59
DEFINITIONS
----
204
§
60
BASIC
RULES
----
210
3
DERIVED
RULES
----
212
§
61
MODAL
CONSEQUENCE
RULES
----
212
§
62
MODAL
CONVERSION
RULES
----
219
§
63
MODAL
SYLLOGISMS
----
225
SECTION
FIVE
CONTENTFUL
SYLLOGISTIC
INFERENCE
-
261
§
64
NOTATION
----
261
§
65
COMMENTS
ON
THE
NOTATION
-----263
§
66
EXAMPLES
OF
CONTENTFUL
SYLLOGISTIC
INFERENCE
-
264
§
67
ABBREVIATION
RULES
-----267
§
68
EXAMPLES
OF
CONTENTFUL
SYLLOGISTIC
INFERENCE
(CONTINUED)
-
268
§
69
FURTHER
ABBREVIATION
RULES
----
270
SECTION
SIX
DERIVATION
OF
FORMULAS
WITHIN
THE
FRAMEWORK
OF
A
SYSTEM
EXTENDED
BEYOND
THE
LIMITS
OF
ELEMENTARY
DEDUCTIVE
LOGIC
-
271
1
PRINCIPLES
AND
METALOGICAL
RULES
-
271
§
70
NOTATION
----
271
§
71
DEFINITIONS
----
271
§
72
POSTULATES
----
272
§
73
METALOGICAL
RULES
----
275
2
DERIVED
FORMULAS
-
277
§
74
DERIVATION
OF
TRUTH-FUNCTIONAL
RULES
----
277
§
75
DERIVATION
OF
TRUTH-FUNCTIONAL
LAWS
----
281
§
76
CONTENTFUL
INFERENCE
----
286
CONTENTS
-
XVII
SECTION
SEVEN
PROVABILITY
AND
DERIVABILITY
WITHIN
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
293
§
77
NOTATION
-----293
§
78
AN
AXIOMATIC
SYSTEM
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
294
§
79
DEFINITIONS
----
296
§
80
THEOREMS
OF
THE
CALCULUS
OF
FUNCTIONS
----
297
§
81
SOUNDNESS
AND
COMPLETENESS
-
301
CONCLUSION
-
306
§
82
PRINCIPLES
AND
RULES
ON
WHICH
THE
COMPLETE
SYSTEM
OF
THE
CALCULUS
OF
FUNCTIONS
DEPENDS
-
306
§
83
LOGICAL
FORM:
A
REVIEW
OF
THE
RESULTS
ATTAINED
-
308
§
84
STAGES
IN
THE
HISTORY
OF
LOGIC
----
310
APPENDIX
1
ON
THE
COMPLETENESS
OF
A
SYLLOGISTIC
WITHOUT
LOGICAL
CONJUNCTION
-
315
APPENDIX
2
MATHEMATICAL
INDUCTION
WITHOUT
HIGHER-LEVEL
PREDICATE
LOGIC
-
321
APPENDIX
3
REDUCTION
OF
TRUTH-FUNCTIONAL
EXPRESSIONS
TO
NON-TRUTH-FUNCTIONAL
EXPRESSIONS
-----329
APPENDIX
4
COMPATIBILITY
AND
INCOMPATIBILITY
-
333
APPENDIX
5
MODERN
NON-SYLLOGISTIC
SYSTEMS
OF
MODAL
LOGIC
IN
THEIR
RELATIONSHIP
TO
MODAL
SYLLOGISTIC
337
APPENDIX
6
NON-CLASSICAL
SYSTEMS
OF
LOGIC
IN
THEIR
RELATIONSHIP
TO
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
351
APPENDIX
7
THE
BARCAN
FORMULA
-
357
APPENDIX
8
ON
BIVALENCE
-----359
XVIII
-
CONTENTS
APPENDIX
9
ABSOLUTE
LOGICAL
CONSTANTS
-
365
INDEX
OF
SYMBOLS
USED
-
369
OUTLINE
OF
THE
RULES
USED
MAINLY
IN
THE
PROOFS
OF
PART
II
-
371
INDEX
OF
METALOGICAL
RULES
USED
IN
THE
PROOFS
OF
PART
II
-
373
INDEX
OF
SYLLOGISTIC
RULES
USED
DIRECTLY
IN
THE
VALIDITY
PROOFS
OF
ASSERTORIC
SYLLOGISMS
(IN
§
56)
-
375
INDEX
OF
MODAL-SYLLOGISTIC
RULES
USED
DIRECTLY
IN
THE
VALIDITY
PROOFS
OF
MODAL
SYLLOGISMS
(IN
§
63)
-
377
INDEX
OF
LOGICAL
RULES
USED
DIRECTLY
FOR
THE
DERIVATION
OF
TRUTH-FUNCTIONAL
RULES
AND
LAWS
(IN
§
74
AND
§
75)
-
379
BIBLIOGRAPHY
-
381
SUBJECT
INDEX
-
387
NAME
INDEX
-
395
|
| adam_txt |
CONTENTS
PREFACE
TO
THE
ENGLISH
EDITION
-
V
INTRODUCTION
-
XIX
I
ANALYTICAL
PART:
ANALYSIS
OF
LOGICAL
LANGUAGES
SECTION
ONE
THE
LANGUAGE
OF
THE
SYLLOGISTIC
-
3
1
THE
LANGUAGE
OF
THE
ASSERTORIC
SYLLOGISTIC
-
3
§
1
SYLLOGISTIC
PROPOSITIONAL
SCHEMATA
-
3
§
2
IN
SEARCH
OF
A
UNIVERSAL
LANGUAGE
OF
DEDUCTIVE
LOGIC
-
5
§
3
THE
LOGICAL
VOCABULARY
OF
THE
ASSERTORIC
SYLLOGISTIC
-
6
§
4
ADDITIONS
TO
THE
LOGICAL
VOCABULARY
OF
THE
ASSERTORIC
SYLLOGISTIC
-
8
§
5
CATEGORICAL
FORM
----
12
2
THE
LANGUAGE
OF
THE
MODAL
SYLLOGISTIC
-
15
§
6
THE
LOGICAL
VOCABULARY
OF
THE
MODAL
SYLLOGISTIC
-
15
§
7
THE
INDISPENSABILITY
OF
THE
LOGICAL
VOCABULARY
OF
THE
MODAL
SYLLOGISTIC
-
22
3
ANALYSIS
OF
EXPRESSIONS
OF
NEGATION
-
24
§
8
THE
BIVALENCE
PRINCIPLE
----
24
§
9
THE
PRINCIPLE
OF
EXCLUDED
MIDDLE
----
25
§
10
TRUTH-FUNCTIONAL
AND
NON-TRUTH-FUNCTIONAL
NEGATION
----
27
§
11
THE
STRONG
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
-
31
§
12
THE
WEAK
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
-
33
§
13
THE
LOGICAL
SQUARE
OF
MODAL
OPPOSITION
-
34
4
SYMBOLIC
ABBREVIATIONS
----
36
§
14
SYLLOGISTIC
AND
NON-SYLLOGISTIC
MODAL
EXPRESSIONS
----
36
§
15
OTHER
EXPRESSIONS
IN
THE
LANGUAGE
OF
ELEMENTARY
SYLLOGISTIC
-----
38
SECTION
TWO
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
41
1
A
TRANSLATION
PROGRAM
----
41
§
16
THE
VOCABULARY
OF
THE
CALCULUS
OF
CLASSES
-
41
§
17
THE
STRONG
LOGICAL
SQUARE
OF
ASSERTORIC
OPPOSITION
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
43
XIV
-
CONTENTS
2
THE
PROBLEM
OF
IMPLICIT
EXISTENCE
ASSUMPTIONS
-
46
§
18
THE
PROBLEM
OF
THE
EMPTY
CLASS
-
46
§
19
ALTERNATIVE
THEORIES
-
47
3
LIMITS
OF
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
-
50
§
20
GROUNDS
FOR
A
MODIFICATION
OF
THE
TRANSLATION
PROGRAM
-
50
§
21
THE
NULL
CLASS
AND
EMPTY
CONCEPTUAL
SCOPES
----
54
§
22
TRANSLATION
OF
CLASS-LOGICAL
PROPOSITIONAL
SCHEMATA
INTO
THE
LANGUAGE
OF
THE
SYLLOGISTIC
-
58
§
23
REDUCTION
OF
CLASS-LOGICAL
MODES
OF
INFERENCE
TO
SYLLOGISTIC
MODES
OF
INFERENCE
-
63
§
24
ADVANTAGES
OF
A
TRANSFORMATION
OF
THE
LANGUAGE
OF
THE
CALCULUS
OF
CLASSES
INTO
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
65
SECTION
THREE
THE
LANGUAGE
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
72
1
A
TRANSLATION
PROGRAM
----
72
§
25
THE
REPRESENTATION
OF
CONCEPT
EXPRESSIONS
WITH
FUNCTIONAL
EXPRESSIONS
-----
72
§
26
THE
FUNCTION
THEORY
OF
CONCEPTS
-
74
§
27
GRAMMATICAL
AND
LOGICAL
PREDICATES
-
78
§
28
REMARKS
ON
THE
FUNCTION
THEORY
OF
CONCEPTS
-
84
2
EXAMINATION
OF
THE
TRANSLATION
PROGRAM
-
90
§
29
SUBORDINATION
OF
CONCEPTS
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
90
§
30
TRUTH
FUNCTIONS
AND
THEIR
REDUCTION
TO
NON-TRUTH-FUNCTIONAL
FORMS
92
§
31
AN
EXTENSION
OF
THE
LANGUAGE
OF
THE
SYLLOGISTIC
----
102
§
32
THE
CATEGORICAL
FORM
IN
THE
LANGUAGE
OF
THE
CALCULUS
OF
FUNCTIONS
-----
105
§
33
THE
LOGICAL
FORM
OF
SINGULAR
PROPOSITIONS
-
110
§
34
QUANTIFIER
RULES
AND
THE
WEAK
LOGICAL
SQUARE
-
115
§
35
THE
ASSUMPTION
OF
NON-EMPTY
DOMAINS
----
118
3
LIMITS
OF
THE
LANGUAGE
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
125
§
36
A
FORMAL
LANGUAGE
OF
NON-PURE
THINKING
-
125
§
37
REFERENCE
TO
INTUITION
AND
SYMBOLIC
CONSTRUCTION
-
129
§
38
THE
PROBLEM
OF
SYNTHETIC
PROPOSITIONS
A
PRIORI
IN
ARITHMETIC
-
133
CONTENTS
-
XV
4
THE
VOCABULARY
OF
THE
UNIVERSAL
LANGUAGE
OF
DEDUCTIVE
LOGIC
-
135
§
39
NON-SYLLOGISTIC
BASIC
RULES
IN
THE
LANGUAGE
OF
SYLLOGISTIC
-
135
§
40
THE
DISPENSABILITY
OF
AN
EXPRESSION
FOR
LOGICAL
CONJUNCTION
IN
THE
ELEMENTARY
LANGUAGE
OF
SYLLOGISTIC
-
139
II
SYNTHETIC
PART:
CONSTRUCTION
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
FROM
THE
ELEMENTS
OF
THE
SYLLOGISTIC
§
41
GENERAL
PRELIMINARY
REMARK
-
145
SECTION
ONE
RULES
FOR
DERIVING
RULES
-
149
1
PRINCIPLES
-
149
§
42
NOTATION
----
149
§
43
DEFINITIONS
----
150
§
44
BASIC
RULES
----
153
2
DERIVED
RULES
-
154
§
45
RULES
DERIVED
FROM
THE
BASIC
RULES
-
154
SECTION
TWO
HYPOTHETICAL
AND
DISJUNCTIVE
SYLLOGISTIC
-
158
1
PRELIMINARY
REMARK
-
158
2
PRINCIPLES
-
159
§
46
NOTATION
-
159
§
47
DEFINITIONS
----
160
§
48
BASIC
RULES
----
164
3
DERIVATION
OF
FORMULAS
OF
THE
HYPOTHETICAL
AND
DISJUNCTIVE
SYLLOGISTIC
-
165
§
49
DERIVED
RULES
-
165
§
50
CONDITIONALIZATION
-
174
SECTION
THREE
CATEGORICAL
SYLLOGISTIC
-
178
1
PRELIMINARY
REMARK
-
178
2
PRINCIPLES
-----
178
§51
NOTATION
----
178
§
52
DEFINITIONS
-----
178
§
53
BASIC
RULES
----
182
3
DERIVED
RULES
-
184
XVI
-
CONTENTS
§
54
RULES
OF
THE
STRONG
AND
WEAK
LOGICAL
SQUARES
-----184
§
55
CONVERSION
RULES
----
187
§
56
CATEGORICAL
SYLLOGISMS
----
189
§
57
UNIVERSALLY
VALID
PROPOSITIONAL
SCHEMATA
----
201
SECTION
FOUR
MODAL
SYLLOGISTIC
-----203
1
2
PRELIMINARY
REMARK
-----203
PRINCIPLES
----
204
§
58
NOTATION
----
204
§
59
DEFINITIONS
----
204
§
60
BASIC
RULES
----
210
3
DERIVED
RULES
----
212
§
61
MODAL
CONSEQUENCE
RULES
----
212
§
62
MODAL
CONVERSION
RULES
----
219
§
63
MODAL
SYLLOGISMS
----
225
SECTION
FIVE
CONTENTFUL
SYLLOGISTIC
INFERENCE
-
261
§
64
NOTATION
----
261
§
65
COMMENTS
ON
THE
NOTATION
-----263
§
66
EXAMPLES
OF
CONTENTFUL
SYLLOGISTIC
INFERENCE
-
264
§
67
ABBREVIATION
RULES
-----267
§
68
EXAMPLES
OF
CONTENTFUL
SYLLOGISTIC
INFERENCE
(CONTINUED)
-
268
§
69
FURTHER
ABBREVIATION
RULES
----
270
SECTION
SIX
DERIVATION
OF
FORMULAS
WITHIN
THE
FRAMEWORK
OF
A
SYSTEM
EXTENDED
BEYOND
THE
LIMITS
OF
ELEMENTARY
DEDUCTIVE
LOGIC
-
271
1
PRINCIPLES
AND
METALOGICAL
RULES
-
271
§
70
NOTATION
----
271
§
71
DEFINITIONS
----
271
§
72
POSTULATES
----
272
§
73
METALOGICAL
RULES
----
275
2
DERIVED
FORMULAS
-
277
§
74
DERIVATION
OF
TRUTH-FUNCTIONAL
RULES
----
277
§
75
DERIVATION
OF
TRUTH-FUNCTIONAL
LAWS
----
281
§
76
CONTENTFUL
INFERENCE
----
286
CONTENTS
-
XVII
SECTION
SEVEN
PROVABILITY
AND
DERIVABILITY
WITHIN
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
293
§
77
NOTATION
-----293
§
78
AN
AXIOMATIC
SYSTEM
OF
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
-
294
§
79
DEFINITIONS
----
296
§
80
THEOREMS
OF
THE
CALCULUS
OF
FUNCTIONS
----
297
§
81
SOUNDNESS
AND
COMPLETENESS
-
301
CONCLUSION
-
306
§
82
PRINCIPLES
AND
RULES
ON
WHICH
THE
COMPLETE
SYSTEM
OF
THE
CALCULUS
OF
FUNCTIONS
DEPENDS
-
306
§
83
LOGICAL
FORM:
A
REVIEW
OF
THE
RESULTS
ATTAINED
-
308
§
84
STAGES
IN
THE
HISTORY
OF
LOGIC
----
310
APPENDIX
1
ON
THE
COMPLETENESS
OF
A
SYLLOGISTIC
WITHOUT
LOGICAL
CONJUNCTION
-
315
APPENDIX
2
MATHEMATICAL
INDUCTION
WITHOUT
HIGHER-LEVEL
PREDICATE
LOGIC
-
321
APPENDIX
3
REDUCTION
OF
TRUTH-FUNCTIONAL
EXPRESSIONS
TO
NON-TRUTH-FUNCTIONAL
EXPRESSIONS
-----329
APPENDIX
4
COMPATIBILITY
AND
INCOMPATIBILITY
-
333
APPENDIX
5
MODERN
NON-SYLLOGISTIC
SYSTEMS
OF
MODAL
LOGIC
IN
THEIR
RELATIONSHIP
TO
MODAL
SYLLOGISTIC
337
APPENDIX
6
NON-CLASSICAL
SYSTEMS
OF
LOGIC
IN
THEIR
RELATIONSHIP
TO
THE
LOGICAL
CALCULUS
OF
FUNCTIONS
351
APPENDIX
7
THE
BARCAN
FORMULA
-
357
APPENDIX
8
ON
BIVALENCE
-----359
XVIII
-
CONTENTS
APPENDIX
9
ABSOLUTE
LOGICAL
CONSTANTS
-
365
INDEX
OF
SYMBOLS
USED
-
369
OUTLINE
OF
THE
RULES
USED
MAINLY
IN
THE
PROOFS
OF
PART
II
-
371
INDEX
OF
METALOGICAL
RULES
USED
IN
THE
PROOFS
OF
PART
II
-
373
INDEX
OF
SYLLOGISTIC
RULES
USED
DIRECTLY
IN
THE
VALIDITY
PROOFS
OF
ASSERTORIC
SYLLOGISMS
(IN
§
56)
-
375
INDEX
OF
MODAL-SYLLOGISTIC
RULES
USED
DIRECTLY
IN
THE
VALIDITY
PROOFS
OF
MODAL
SYLLOGISMS
(IN
§
63)
-
377
INDEX
OF
LOGICAL
RULES
USED
DIRECTLY
FOR
THE
DERIVATION
OF
TRUTH-FUNCTIONAL
RULES
AND
LAWS
(IN
§
74
AND
§
75)
-
379
BIBLIOGRAPHY
-
381
SUBJECT
INDEX
-
387
NAME
INDEX
-
395 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Wolff, Michael 1942- |
| author2 | Wolf, W. Clark |
| author2_role | trl |
| author2_variant | w c w wc wcw |
| author_GND | (DE-588)131523120 |
| author_facet | Wolff, Michael 1942- Wolf, W. Clark |
| author_role | aut |
| author_sort | Wolff, Michael 1942- |
| author_variant | m w mw |
| building | Verbundindex |
| bvnumber | BV049036482 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)1392151992 (DE-599)DNB1275630383 |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02147nam a22005418c 4500</leader><controlfield tag="001">BV049036482</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230830 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230705s2023 gw |||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">22,N51</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1275630383</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110784862</subfield><subfield code="c">: EUR 139.95 (DE) (freier Preis), EUR 139.95 (AT) (freier Preis)</subfield><subfield code="9">978-3-11-078486-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110784866</subfield><subfield code="9">3-11-078486-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783110784862</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1392151992</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1275630383</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</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="100" ind1="1" ind2=" "><subfield code="a">Wolff, Michael</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131523120</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Abhandlung über die Prinzipien der Logik</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essay on the principles of logic</subfield><subfield code="b">a defense of logical monism</subfield><subfield code="c">Michael Wolff ; translated by W. Clark Wolf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 396 Seiten</subfield><subfield code="b">Diagramme</subfield><subfield code="c">23 cm x 15.5 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="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="653" ind1=" " ind2=" "><subfield code="a">Bivalenzprinzip</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parakonsistenz</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">existenzielle Bedeutung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Quadrat der Widersprüche</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">bivalence principle</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">paraconsistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">existential import</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">square of oppositions</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="700" ind1="1" ind2=" "><subfield code="a">Wolf, W. Clark</subfield><subfield code="4">trl</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Walter de Gruyter GmbH & Co. KG</subfield><subfield code="0">(DE-588)10095502-2</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, EPUB</subfield><subfield code="z">978-3-11-078510-4</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, PDF</subfield><subfield code="z">978-3-11-078493-0</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="u">https://www.degruyter.com/isbn/9783110784862</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=034299104&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-034299104</subfield></datafield></record></collection> |
| id | DE-604.BV049036482 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T22:17:49Z |
| indexdate | 2024-07-10T09:53:27Z |
| institution | BVB |
| institution_GND | (DE-588)10095502-2 |
| isbn | 9783110784862 3110784866 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034299104 |
| oclc_num | 1392151992 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XXI, 396 Seiten Diagramme 23 cm x 15.5 cm |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | De Gruyter |
| record_format | marc |
| spelling | Wolff, Michael 1942- Verfasser (DE-588)131523120 aut Abhandlung über die Prinzipien der Logik Essay on the principles of logic a defense of logical monism Michael Wolff ; translated by W. Clark Wolf Berlin De Gruyter [2023] XXI, 396 Seiten Diagramme 23 cm x 15.5 cm txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Bivalenzprinzip Parakonsistenz existenzielle Bedeutung Quadrat der Widersprüche bivalence principle paraconsistency existential import square of oppositions Mathematische Logik (DE-588)4037951-6 s DE-604 Wolf, W. Clark trl Walter de Gruyter GmbH & Co. KG (DE-588)10095502-2 pbl Erscheint auch als Online-Ausgabe, EPUB 978-3-11-078510-4 Erscheint auch als Online-Ausgabe, PDF 978-3-11-078493-0 X:MVB https://www.degruyter.com/isbn/9783110784862 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034299104&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wolff, Michael 1942- Essay on the principles of logic a defense of logical monism Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Essay on the principles of logic a defense of logical monism |
| title_alt | Abhandlung über die Prinzipien der Logik |
| title_auth | Essay on the principles of logic a defense of logical monism |
| title_exact_search | Essay on the principles of logic a defense of logical monism |
| title_exact_search_txtP | Essay on the principles of logic a defense of logical monism |
| title_full | Essay on the principles of logic a defense of logical monism Michael Wolff ; translated by W. Clark Wolf |
| title_fullStr | Essay on the principles of logic a defense of logical monism Michael Wolff ; translated by W. Clark Wolf |
| title_full_unstemmed | Essay on the principles of logic a defense of logical monism Michael Wolff ; translated by W. Clark Wolf |
| title_short | Essay on the principles of logic |
| title_sort | essay on the principles of logic a defense of logical monism |
| title_sub | a defense of logical monism |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik |
| url | https://www.degruyter.com/isbn/9783110784862 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034299104&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wolffmichael abhandlunguberdieprinzipienderlogik AT wolfwclark abhandlunguberdieprinzipienderlogik AT walterdegruytergmbhcokg abhandlunguberdieprinzipienderlogik AT wolffmichael essayontheprinciplesoflogicadefenseoflogicalmonism AT wolfwclark essayontheprinciplesoflogicadefenseoflogicalmonism AT walterdegruytergmbhcokg essayontheprinciplesoflogicadefenseoflogicalmonism |