元伦理学的代表人物是摩尔。
摩尔被西方哲学家尊为“现代伦理学之父”,他既是元伦理学的先驱者和创始人,又是直觉主义伦理学的重要代表人物。1903年,摩尔发表了《伦理学原理》一书,把逻辑分析方法引入伦理学,将伦理学分为关于知识的科学元伦理学和关于实践的科学规范伦理学两大类型,标志着现代西方元伦理学的兴起。摩尔的伦理学被称为价值论直觉主义,“直觉”在他的伦理学中占有举足轻重的地位他的直觉主义观点曾一度风靡英国伦理学界,并影响了很多20世纪以来的英美伦理学家。摩尔对伦理学学科性质的深刻反思、在事实与价值、描述性与评价性的必要区分上的独特思考以及首开伦理学概念的逻辑与语言分析之先河,这些都对元伦理学有着不可磨灭的功绩和贡献。
布劳威尔的相关理论
在布劳威尔之前,L.克罗内克(Kronecker)和庞加莱等已经提出了一些零散的直觉主义的意见.但是,布劳威尔认为,庞加莱仅仅强调数学的存在性,这并不能消除逻辑主义者的悖论,只有直觉的构造才能作为数学的基础.
布劳威尔的直觉主义起源于这样的一种哲学:基本的直觉是按时间顺序出现的感觉,把时间进程抽象出来,就产生了数学.
布劳威尔把数学看作是心智的自由创造.它是以自明的原始概念――原初直觉――构造数学对象.数学概念嵌入人们的头脑先于语言、逻辑和经验.决定概念的正确性和可接受性的是直觉,而不是经验和逻辑.像形式逻辑这样构建起来的体系,仅仅可以作为描述规律性的手段而存在,根本不能作为数学的基础.
布劳威尔在博士论文中批判了G.康托尔(Cantor)的集合论以及其他各派数学基础的理论――不容置疑,它们都依赖形式逻辑.他坚持认为,无论怎样用希尔伯特所设想的相容性证明来进行修补,数学的公理基础都必须毫不留情地抛弃.尽管保留希尔伯特的有限性纲领作为前提,也不能证明算术的相容性.他指出,逻辑隶属于语言,逻辑法则的用处是导出更多的陈述.然而,逻辑绝不是揭露真理的可靠工具.用其他办法不能得到的真理,用逻辑也照样不能推导出来.布劳威尔有一个著名的论断:是逻辑依赖数学,而不是数学依赖逻辑.于是,布劳威尔顺理成章地解决了悖论危机:逻辑并不是先验的和不可违反的,根本不存在从公理出发的数学.所以,悖论的出现是无所谓的.他还指出:公理化的办法,形式主义的办法,当然都会避免矛盾.但是,用这种办法不会得到有数学价值的东西.一个错误的理论,即使没有因矛盾而告终,也仍然是错误的. 布劳威尔最值得称道的成就是否定排中律的有效性.他在“论逻辑原则的不可靠性”(De onbetrouwbaarheid der logischeprincipes)中对排中律提出了怀疑.他指出,排中律――间接证明方法的基石――在历史上起源于推理在有穷集合的子集中的应用.但后来却被认为是一条独立的先验原则,并毫无根据地应用于无穷集合上.所以,它是极不可靠的.
从1923年起,布劳威尔在一系列论文中论述排中律在数学中的作用及其可靠程度,使数学家们服了气:必须在有效的证明手段中抛弃排中律.
布劳威尔依据直觉主义原理重新构建数学体系.开始,他没有什么进展.原因在于缺乏符合要求的构造性连续统的概念.1914年,他终于得到了这样一个概念.这是他在一篇对A.舍恩弗利斯(Schoenflis)和H.哈恩(Hahn)关于集合论进展报告的评论中提出的.次年,他审查集合论的构造性基础问题,彻底弄清了排中律的作用.1918年,他发表了以这个概念为基础的集合论.1919年,他作出了测度的构造性理论.1923年,他给出了构造性函数论.
与公理集合论相比,纠缠着构造性集合论的困难是:集合概念不能是本原概念,而是必须解释和说明的概念.布劳威尔在论述中,引入了“自由选择串”来完成这个任务.这就是,从一堆对象(例如自然数)中无限制地进行一连串的选择.所有的选择由一个法则确定.而且,在每次选择之后,接踵而来的可能选择就增添了限制.他把选择所遵循的法则称为“展延法则”,而允许进行的永无结束的自由选择串称为展延法则的“元”.如果展延法则只允许在有限个可能情形中进行选择,则称其为“有界展延”.作为特殊情形,直觉连续统就可以看成是由有界展延所给出.布劳威尔指出,语句“一个展延的全部元具有性质p”意味着,“我拥有一个构造手段,它能够让我判定,在选择串α的有限次选择之后,选出的元具有性质p.”根据这一解释,根据对这样的构造手段的本性的理解,布劳威尔得到他那称之为有界展延基本定理的定理――扇形定理.这个定理宣称,定义在一个有界展延S上的整值函数f是这样计算的:对于某个自然数n,如果S中任意两个自由选择串α和β,它们的前n个选择重合,那么,就有f(α)=f(β). 1924年,布劳威尔证明了,在单位闭区间上处处有定义的函数是一致连续的.在这一证明过程中,他第一次采用了扇形定理.
扇形定理这个直觉主义数学的基本定理的证明始终不能顺利地被人们接受.不过,它使布劳威尔获得了成果,这些成果与人们熟知的原来的数学知识大相径庭,诸如:直觉连续统的不可分解性,实函数的一致连续性有一定限度,等等.
应用扇形定理,布劳威尔从根本上动摇了排中律,特别是动摇了它的无矛盾性原理――┐┐(A∨┐A).他成功地显示了,所谓排中律这个普遍原则本身就存在矛盾.也就是说,存在这样的性质,对于有界展延的全部元来说,如果硬使它要么持有这种性质要么不持有这种性质,
1920年以后,逻辑学家的注意力都被吸引到了布劳威尔逻辑.人们研究它与经典逻辑的关系.由于K.哥德尔(Gdel)决定性的工作,希尔伯特的基础纲领被冲开了缺口.第二次世界大战后,由于S.克林尼(Kleene)开拓性的研究,由于递归函数论的兴起和计算机的广泛使用,使得直觉主义的基础复活了,它被更多的数学家所接受.