Discussion Overview
The discussion revolves around the question of how to prove that a set of propositional connectives is not adequate, specifically focusing on the set {and, or}. Participants explore the implications of lacking certain connectives, such as "NOT," in generating all necessary logical relationships.
Discussion Character
- Exploratory, Technical explanation, Debate/contested, Homework-related
Main Points Raised
- One participant seeks clarification on how to demonstrate the inadequacy of a set of connectives, specifically asking for methods to prove that {and, or} cannot generate all connectives.
- Another participant provides a link to a resource that may assist in understanding the concept of adequacy in propositional logic.
- A participant notes that the absence of the "NOT" operator in the set {and, or} is a key reason it is not adequate, as it is necessary for forming implications.
- There is a mention of a distinction between propositional logic and philosophical logic, suggesting that this difference may affect how such questions are approached.
Areas of Agreement / Disagreement
Participants appear to agree on the necessity of the "NOT" operator for completeness, but there is no consensus on the methods for proving inadequacy or the implications of the distinction between propositional and philosophical logic.
Contextual Notes
Limitations include the lack of detailed proofs or specific methodologies for demonstrating inadequacy, as well as the dependence on definitions of adequacy and completeness in propositional logic.