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
- 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
The simple characterization
Our aim here, as in the preceding chapter, is to characterize the negation operator as a special kind of function that can act on all implication structures, general and special.
Let I = 〈S, ⇒〉 be an implication structure. For any A in S, we shall say that N(A) is a negation of A if and only if it satisfies the following two conditions:
N1. A, N(A) ⇒ B for all B in S, and
N2. N(A) is the weakest member of the structure to satisfy the first condition. That is, if T is any member of S such that, A, T ⇒ B for all B in S, then T = ⇒ N(A).
As with the hypothetical, the negation operator on the structure is supposed to sort out, for any A, those elements in the structure that are the negations of A. Strictly speaking, then, the negation operator assigns to each A of S a set of members of S that will satisfy the preceding conditions. That set may be empty, for there is, as we shall see later, no guarantee that negations always exist. However, if there are several members, then they will be equivalent under the implication relation of the structure. Thus, as long as there is only one implication relation that is being studied on a set S, there will not be any confusion if we treat N(A) as if it were an element of S.
- Type
- Chapter
- Information
- A Structuralist Theory of Logic , pp. 91 - 107Publisher: Cambridge University PressPrint publication year: 1992