Discussion Overview
The discussion revolves around the concept of intuition in the context of logic and definitions. Participants explore the balance between defining terms and relying on intuitive understanding, questioning where to draw the line between the two. The conversation touches on philosophical foundations, particularly referencing Descartes, and considers the implications of assumptions and premises in reasoning.
Discussion Character
- Exploratory
- Debate/contested
- Conceptual clarification
Main Points Raised
- One participant expresses a desire for clarity on where to set an "intuitive level" in logic and what should be defined versus left to intuition.
- Another participant suggests Descartes' work as a starting point for understanding intuition.
- A question is raised about the definition of "intuition," with one participant noting that it could be seen as synonymous with "prejudice."
- Participants discuss the necessity of starting with premises in any argument, which may be based on intuition or assumed truths.
- There is a suggestion that premises can also be grounded in 'self-evident' truths, linking back to Descartes.
- One participant argues that the concept of infinite regress is not a significant issue if the system in question is functional, suggesting that practical outcomes can validate assumptions.
- A counterpoint is made that axiomatic definitions do not require intuition or prior definitions, challenging the notion of a false dichotomy in the discussion.
Areas of Agreement / Disagreement
Participants express differing views on the nature of intuition and its relationship to definitions and premises. There is no consensus on how to approach the balance between intuition and defined terms, nor on the implications of infinite regress in logical reasoning.
Contextual Notes
Some participants highlight the complexity of defining intuition and the potential for circular reasoning in establishing premises. The discussion reflects a range of philosophical perspectives without resolving the underlying questions.