拔出
发表于 2025-3-28 17:47:15
Introduction,e realist, who holds that mathematics is about discovering and describing properties of entities which exist independently of our knowledge, is opposed by the anti-realist who does not share his conviction.
etiquette
发表于 2025-3-28 18:44:56
Aristotle’s Problemd their thoughts, language, and practices. This paper has two goals. First, to show that this definition fails to distinguish platonism from various forms of . in the philosophy of mathematics, according to which mathematical objects depend for their existence and properties on non-mathematical ones
骨
发表于 2025-3-28 23:29:49
Hofweber’s Nominalist Naturalismuzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ulti
DAFT
发表于 2025-3-29 05:37:35
Exploring Mathematical Objects from Custom-Tailored Mathematical Universesnate toposes in which mathematics plays out slightly differently. For instance, there are toposes in which the axiom of choice and the intermediate value theorem from undergraduate calculus fail. The purpose of this contribution is to give a glimpse of the toposophic landscape, presenting several sp
补角
发表于 2025-3-29 10:24:02
http://reply.papertrans.cn/71/7003/700245/700245_45.png
最小
发表于 2025-3-29 13:32:18
Structural Relativity and Informal Rigour. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance
斜谷
发表于 2025-3-29 18:22:00
Ontological Dependence and Grounding for a Weak Mathematical Structuralismc Structural Realism (OSR). On that view, quantum particles . for their identity on quantum entanglement structures but are defined as not entirely structural .. A similar approach can be applied to mathematical structuralism, where Weak Mathematical Structuralism (WMS) provides a novel, more modera
草率女
发表于 2025-3-29 22:06:18
http://reply.papertrans.cn/71/7003/700245/700245_48.png
商品
发表于 2025-3-30 03:43:00
Predicativity and Constructive Mathematicsgeneralised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above
consolidate
发表于 2025-3-30 06:55:42
http://reply.papertrans.cn/71/7003/700245/700245_50.png