<p>Clarke-Doane and Ash (<CitationRef CitationID="CR13">2024</CitationRef>) argues that mathematics and philosophy are on a par as a priori disciplines. In particular, each fails to be objective. Should this be so, it is unclear that philosophy can do anything for set theory or that new axioms can ever be rationally justified. Blue (<CitationRef CitationID="CR5">2024</CitationRef>) explicates a methodology for rationally justifying new axioms. I will argue against (Clarke-Doane and Ash <CitationRef CitationID="CR13">2024</CitationRef>) by buttressing (Blue <CitationRef CitationID="CR5">2024</CitationRef>), describing how it accounts for the case for Definable Determinacy and how it might extend to a potential case for Baire category principles. Along the way, I will describe a not-yet-refuted scenario for positively answering Todorčević’s question “In order to have the true structure theory of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\wp (\omega _1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>℘</mi> <mo stretchy="false">(</mo> <msub> <mi>ω</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> do we really need to retreat to an inner model of the universe of sets?” (Todorcevic <CitationRef CitationID="CR60">2024</CitationRef>, Question 4.7).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Can Philosophy do Anything for Set Theory?

  • Douglas Blue

摘要

Clarke-Doane and Ash (2024) argues that mathematics and philosophy are on a par as a priori disciplines. In particular, each fails to be objective. Should this be so, it is unclear that philosophy can do anything for set theory or that new axioms can ever be rationally justified. Blue (2024) explicates a methodology for rationally justifying new axioms. I will argue against (Clarke-Doane and Ash 2024) by buttressing (Blue 2024), describing how it accounts for the case for Definable Determinacy and how it might extend to a potential case for Baire category principles. Along the way, I will describe a not-yet-refuted scenario for positively answering Todorčević’s question “In order to have the true structure theory of \(\wp (\omega _1)\) ( ω 1 ) do we really need to retreat to an inner model of the universe of sets?” (Todorcevic 2024, Question 4.7).