Formalization of logic

Title ......Page 3
Copyright ......Page 4
Preface ......Page 5
Contents ......Page 15
1. Introduction: The Problem of a Full Formalization of Logic ......Page 19
2. The Calculus PC1 ......Page 23
3. Prepositional Connectionsc in PC ......Page 26
4. Forms of PC ......Page 32
5 Elementary Theorems Concerning PC ......Page 35
6 Extensible Rules ......Page 38
7. General Theorems Concerning Disjunction ......Page 43
8. General Theorems Concerning Negationc ......Page 46
9. General Theorems Concerning Other Connectionsc ......Page 49
10. The Normal Truth-Tables (NTT) ......Page 52
11. The Connections in NTT ......Page 57
12. Extensionality ......Page 68
13. Theorems Concerning Particular Connections ......Page 78
14. NTT as an L-true Interpretation for PC ......Page 85
15. Non-Normal Interpretations of Signs of Negationc and Disjunctionc ......Page 89
16. Non-Normal Interpretations in General ......Page 97
17. Examples of Non-Normal Interpretations ......Page 105
18. PC is not a Full Formalization of Prepositional Logic ......Page 110
19. Syntactical Concepts of a New Kind are Required ......Page 113
20. C-Falsity ......Page 117
21. Junctives in Semantics ......Page 120
22. Application of L-Concepts to Junctives ......Page 124
23. Junctives in Syntax ......Page 129
24. Rules of Deduction for Junctives ......Page 138
25. Junctives in Propositional Logic ......Page 143
26. The Calculus PC* ......Page 144
27. PC* is a Full Formalization of Propositional Logic ......Page 146
28. The Functional Calculus (FC) ......Page 151
29. Transfinite Junctives ......Page 158
30. The Calculus FC* ......Page 160
31. FC*1 is a Full Formalization of Functional Logic ......Page 164
32. Involution ......Page 167
BIBLIOGRAPHY ......Page 171
INDEX ......Page 173