Discussion Overview
The discussion revolves around the definitions of various mathematical terms, including proposition, lemma, corollary, theorem, principle, law, and rule. Participants express a desire for clear definitions and sources, while also noting the subjective and contentious nature of these definitions in existing literature.
Discussion Character
- Conceptual clarification
- Debate/contested
Main Points Raised
- One participant seeks specific mathematical definitions for terms related to mathematical logic and theory, expressing frustration with vague explanations.
- Another participant provides links to Wikipedia articles for each term, suggesting these as potential sources for definitions.
- A later reply notes that many definitions depend on the understanding of a proposition, highlighting the contention surrounding its definition.
- Further, a participant references a specific viewpoint from the "proposition" article, mentioning that Strawson advocated for using "statement" instead of "proposition" in mathematical logic.
Areas of Agreement / Disagreement
Participants do not reach a consensus on the definitions, as there is acknowledgment of contention and subjectivity in the existing definitions, particularly regarding the term "proposition."
Contextual Notes
The discussion highlights limitations in the definitions provided, including dependence on the interpretation of foundational terms like "proposition" and the subjective nature of definitions in mathematical literature.