Discussion Overview
The discussion revolves around concerns regarding the reception of personal calculations in logic and the intersection of philosophy and mathematics. Participants express fears about the lack of interest in their work and the challenges of publishing proofs that may not be acknowledged or checked by others.
Discussion Character
- Debate/contested
- Meta-discussion
Main Points Raised
- One participant expresses anxiety about whether anyone will care about their invented notation and calculations in logic.
- Another participant emphasizes the importance of being familiar with existing work in the field to gain respect and attention.
- Several participants remind that philosophy is not permitted in the forum, leading to contention regarding the classification of logic and philosophy.
- A participant shares a personal anecdote about a paper critiquing Kant, indicating a negative view of Kant's philosophy.
- There is a discussion about the ambiguous boundary between philosophy and logic, questioning the categorization of works like Principia Mathematica and Frege's Foundations of Arithmetic.
Areas of Agreement / Disagreement
Participants do not reach a consensus, as there are conflicting views on the relevance of philosophy in the discussion and differing opinions on the value of philosophical contributions to mathematics.
Contextual Notes
There are unresolved tensions regarding the acceptance of philosophical discourse within a mathematical context, and the discussion reflects varying interpretations of the relationship between philosophy and logic.