浅论布劳维尔的逻辑与哲学思想——兼与维特根斯坦比较.docxVIP

Y／71322学枝代码：10246 Y／71322 学枝代码：10246 学 号：022016029 後旦大擎 硕士学位论文 浅论布劳维尔的逻辑与哲学思想 一一兼与维特根斯坦比较 院 系： 哲学系 专 业： 逻辑学 姓 名： 勾金华 指导老师： 昂扬 副教授 完成日期： 2005年5月18日 摘 要 摘 要 中文摘要 自现代逻辑产生之初，它就与数学及语言有着密不可分的关系，对这两对关系持有 不同观点的逻辑学家，往往也会有非常不同的逻辑观及哲学观。 布劳维尔是20世纪伟大的数学家、哲学家，他提出的直觉主义数学及直觉主义逻 辑继弗雷格和罗素的古典逻辑形式系统之后影响极为广大和深远。在众多的非古典逻辑 中，“直觉主义逻辑拥有一种独一无二的地位：它是迄今建立的唯一正被相当大一群干 练的科学家实际使用着的逻辑。它也是唯一已被推广到命题逻辑的量词逻辑之外而用来 叙述数学的某些部分的逻辑。头一个想出一种不同寻常的逻辑的乌卡谢维奇曾希望有一 大会m几种象菲欧几何那样被人实际使用的逻辑。 看来，直觉主义逻辑是唯一还有 机会实现乌卡谢维奇计划的一个。”1 本文主要介绍了布劳维尔的逻辑思想包括逻辑与数学的关系、对逻辑公理方法的批 评和他对语言及其作用的看法；重点介绍了布劳维尔关于否定、双重否定律和排中律的 观点，以及布劳维尔观点的哲学基础，并在此基础上将布劳维尔与同时代的维特根斯坦 作了一个比较。 国内逻辑学界对布劳维尔的介绍并不多，本文的目的旨在简要介绍布劳维尔的思想 观点，希望能够起到抛砖引玉的作用。 关键词 数学 否定 时问 直觉 建构 语言 1《数学基础研究二十年》P12 [波兰]安德热依·莫斯托人斯基著， 郭世铭陈安捷修庆云译， 康 宏逵校， 华中工业学院出版社出版 1983年版 AbstractModern Abstract Modern logiC iS nearlY relative to mathematiCS and 1anguage Since it csifle into being．And logicians always have different logical views and philosophiC views in terms of their different opinions to the two couples’ 0nnect 1 0ns． Luitzen Egbertus Jan Brouwer was a great mathematiCian，phi osopher and 109iCian．He initiated intuitionism which has very far—reaching nfluence in the academe．What’S more，it iS the only one of non—classical which has already spread to quantifier logiC and iS still used by a lot of logiCians ti 1l now． 7lhiS paper demonstrated Brouwer’S iogical opinions including the relations between logic and mathematiCS，the criticisms to formuli sm and hiS standpoints about language．Moreover，the emphases are hiS viewpoints of negation and the refutation of PEM．Besides．there iS a compare between Brouwer and Wittgenstein to show that Brouwer has influenced Wittgenstein to a certain extent． As there are not SO many introduction about Brouwer the purpose of thi S paper j S to arose more diSCUSSion about intuitionism． Key words MathematicS Negation Time Intui Ljon Construct Language 月lJ 吾 月lJ 吾 现代逻辑