Book contents
- Frontmatter
- Contents
- Preface
- Part I Background
- Part II Implication relations
- Part III The logical operators
- 11 Hypotheticals
- 12 Negations
- 13 Conjunctions
- 14 The disjunction operator
- 15 The logical operators parameterized
- 16 Further features of the operators
- 17 The dual of negation: Classical and nonclassical implication structures
- 18 The distinctness and relative power of the logical operators
- 19 Extensionality
- 20 Quantification
- 21 Identity
- 22 Special structures I: Logical operators on individuals: Mereology reconstituted
- 23 Special structures II: Interrogatives and implication relations
- 24 Completeness
- Part IV The modal operators
- Appendix A An implication relation for the integers in the programming language BASIC
- Appendix B Symmetric sequents as products of implication relations and their duals
- Appendix C Component-style logical operators and relevance
- Notes
- Bibliography
- Index
15 - The logical operators parameterized
Published online by Cambridge University Press: 05 May 2010
- Frontmatter
- Contents
- Preface
- Part I Background
- Part II Implication relations
- Part III The logical operators
- 11 Hypotheticals
- 12 Negations
- 13 Conjunctions
- 14 The disjunction operator
- 15 The logical operators parameterized
- 16 Further features of the operators
- 17 The dual of negation: Classical and nonclassical implication structures
- 18 The distinctness and relative power of the logical operators
- 19 Extensionality
- 20 Quantification
- 21 Identity
- 22 Special structures I: Logical operators on individuals: Mereology reconstituted
- 23 Special structures II: Interrogatives and implication relations
- 24 Completeness
- Part IV The modal operators
- Appendix A An implication relation for the integers in the programming language BASIC
- Appendix B Symmetric sequents as products of implication relations and their duals
- Appendix C Component-style logical operators and relevance
- Notes
- Bibliography
- Index
Summary
Parametric conditions for the operators
The preceding chapters describe the various logical operators, each without reference to any of the others. The descriptions are uniform in format: the weakest to satisfy a certain condition that is characteristic for the operator under discussion. We now wish to supplement that account with an additional requirement, a “parametric” requirement. The description of each operator still will be independent of the others, and the uniform format will be preserved. However, without the additional condition, the system would be weaker than the system studied thus far; without parameterization, some of the logical operators would fail to have some of the familiar features we normally expect them to have. The need for the additional condition needs a bit of explanation.
When we described the conjunction operator, we required that C(A, B) imply A as well as B and that it be the weakest member of the structure to imply A as well as B. It certainly seems as if that is the entire story to be told about conjunctions. Yet, surprisingly enough, that description will not guarantee that in all implication structures, A together with B implies their conjunction.
Let I = 〈S, ⇒〉 be an implication structure.
- Type
- Chapter
- Information
- A Structuralist Theory of Logic , pp. 127 - 133Publisher: Cambridge University PressPrint publication year: 1992