《数学哲学》第1讲.docVIP

《数学哲学》2010秋：数学哲学的基本问题（1） 目的：介绍数学哲学的基本问题，介绍对这些问题的朴素的回答，说明朴素的回答的不足之处 阅读材料： Benacerraf and Putnam (1983), Introduction Shapiro (2005), Chapter 1: Philosophy of Mathematics and Its Logic: Introduction 叶峰：《二十世纪数学哲学》，第1章 问题1：本体论问题 问题的表述 几个基本概念 具体对象与抽象对象，共相与抽象数学对象 独立于思想的客观存在，作为所有思想的共性的客观性，及作为思想的创造物的存在 抽象对象“存在”是什么意思？ 如果否认抽象对象存在，也许不必说明抽象对象“存在”是什么意思 承认抽象对象存在，则应该有所说明 关于数学对象的本体论问题：数、函数、集合等等数学对象是否真实存在？是否独立于我们的思维而存在？ 朴素的回答之一：朴素的数学实在论 论点：抽象数学对象客观存在，数学定理是关于这些对象的真理 认识论难题 抽象数学世界是既独立于物质世界、又独立于我们的思想的 抽象数学对象不存在于时空之中 （以某种方式内在于时空之中？） 我们从不曾而且似乎以后也不会很确定地认识到时空中的无穷，但数学中似乎一直很确定地断言有无穷，因此数学对象在本质上不同于时空中的物体 人类是时空中的生物（有