Provability, Computability and Reflection (eBook)

Front Cover 1
Toward a Systematic Pragmatics 4
Copyright Page 5
Contents 10
Introduction 12
CHAPTER I. THE NATURE OF PRAGMATICS 18
A. Carnap’s Conception of Pragmatics 18
B. Extensionality 22
C. Pragmatics and Pragmatism 23
D. Different Levels of Pragmatics 25
E. Some Fundamental Relations 27
CHAPTER II. TYPE-THEORETICAL SYSTEMS AND SEMANTICAL SUBSTRUCTURE 31
A. Primitive Framework 31
B. Abstracts 34
C. Rules 35
D. Relations and Ordered Couples 37
E. Syntax 39
F. Designation 46
G. Truth 48
CHAPTER III. A PRAGMATICAL META-LANGUAGE 50
A. Acceptance 50
B. Rules 52
C. Classification of Users of T 56
D. Quasi-Intensions 61
E. Co-Intensiveness 67
F. Quasi-Propositions 70
G. Total Acceptance Classes 74
CHAPTER IV. SOME FURTHER NOTIONS OF PRAGMATICS 78
A. On Understanding 78
B. Some Philosophical Users of T 80
C. Other Object-Languages 81
D. Inscriptional Pragmatics 82
E. Non-Translational Pragmatics 83
F. Pragmatics Based only on Syntax 85
G. Utterance and Assertion 86
H. Performance 88
CHAPTER V. ANALYTIC TRUTH AND ABSOLUTE INTENSIONS 93
A. Analytic Truth 93
B. L-Equivalence and Allied Notions 96
C. Absolute Quasi-Intensions 100
D. Pragmatical and Absolute Quasi-Intensions 103
E. Some Alternative Definitions 105
F. Some Concluding Comments 106
APPENDIX: On Goodman’s Theory of Projectible Predicates 112
INDEX 121
SPECIAL SYMBOLS 123