INFERENTIALISM AND STRUCTURALISM: A TALE OF TWO THEORIES

被引:1
|
作者
Nefdt, Ryan M. [1 ]
机构
[1] Univ Western Cape, Cape Town, South Africa
关键词
philosophy of language; philosophy of mathematics; structuralism; inferentialism; proof theory; MATHEMATICS; PATTERNS; IDENTITY; SCIENCE;
D O I
10.2143/LEA.244.0.3285352
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
This paper aims to unite two seemingly disparate themes in the philosophy of mathematics and language (and logic) respectively, namely ante rem structuralism and inferentialism. My analysis begins with describing both frameworks in accordance with their genesis in the work of Hilbert. I then draw comparisons between these philosophical views in terms of their similar motivations and similar objections to the referential orthodoxy. I specifically home in on two points of comparison, namely the role of norms and the relation of ontological dependence in both accounts. Lastly, I show that insights from this purported connection can address certain objections to both theories respectively.
引用
收藏
页码:489 / 512
页数:24
相关论文
共 50 条