简介：

简介：对于一个数学实在论者来说,一个特别急迫的任务是回答数学证明是如何建立起关于数学对象的真理性问题.本文批判性考察由Resnik所提出的认知解答,指出了其中不成立的前提.并且在此基础上提出我们自己的解答,它是基于由Oliver.G所提倡的方面(aspects)概念而来的社会-论辩方案.

简介：通过被称为法氏例子的思想实验，法兰克福否定了自由意志是道德责任的必要条件，这意味着决定论与道德责任相容。法兰克福的论证对不相容论者造成了巨大的挑战。魏德克以及其他一些不相容论者发展出一种主要的反驳策略，但未能切中肯綮。本文区分了本体论上的可取舍的可能性与经验上的可取舍的可能性。法氏例子实际上只涉及经验上的可取舍的可能性，而自由意志陈述的却是本体论上的可取舍的可能性。由于没有做出这样的区分，法兰克福在概念层次间做了不恰当的跨越，将由法氏例子得出的结论看作是对本体论层次上的可取舍的可能性原则的否定。因此法兰克福并未能通过法氏例子否定自由意志是道德责任的必要条件，法氏例子也不能表明决定论与道德责任相容。

简介：数学素质教育(MathematicalEclueation)现在已成为一项独立的社会活动，理论上则成为一门独立的学科。进行数学素质教育就不能不涉及人的认知，不能不涉及认知理论。实际上，数学素质教育过程也就是受教育者在教育者“教育”下的一种认知过程。所以，数学素质教育与认知理论有密切的关系。

简介：在《算术基础》中,弗雷格追溯了数学表达式之不变的逻辑基础的同时,清理了带有主观性和相对性的心理主义。但心理主义并没有因此销声匿迹,反而在蒯因那里得到复兴,而且蒯因还基于自然主义的心理主义,否定了弗雷格对数学基础的探寻。本文试图借由解读弗雷格和蒯因的文本,展示数学哲学中的基础主义与心理主义之争,并借由弗雷格的文本对蒯因的心理主义做出回应。