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

摘 要 中文摘要 自现代逻辑产生之初，它就与数学及语言有着密不可分的关系，对这两对关系持有 不同观点的逻辑学家，往往也会有非常不同的逻辑观及哲学观。 布劳维尔是20世纪伟大的数学家、哲学家，他提出的直觉主义数学及直觉主义逻 辑继弗雷格和罗素的古典逻辑形式系统之后影响极为广大和深远。在众多的非古典逻辑 中，“直觉主义逻辑拥有一种独一无二的地位：它是迄今建立的唯一正被相当大一群干 练的科学家实际使用着的逻辑。它也是唯一已被推广到命题逻辑的量词逻辑之外而用来 叙述数学的某些部分的逻辑。头一个想出一种不同寻常的逻辑的乌卡谢维奇曾希望有一 大会m几种象菲欧几何那样被人实际使用的逻辑。……看来，直觉主义逻辑是唯一还有 机会实现乌卡谢维奇计划的一个。”1 本文主要介绍了布劳维尔的逻辑思想包括逻辑与数学的关系、对逻辑公理方法的批 评和他对语言及其作用的看法；重点介绍了布劳维尔关于否定、双重否定律和排中律的 观点，以及布劳维尔观点的哲学基础，并在此基础上将布劳维尔与同时代的维特根斯坦 作了一个比较。 国内逻辑学界对布劳维尔的介绍并不多，本文的目的旨在简要介绍布劳维尔的思想 观点，希望能够起到抛砖引玉的作用。 关键词 数学 否定 时问 直觉 建构 语言 1《数学基础研究二十年》P12[波兰]安德热依·莫斯托人斯基著， 郭世铭陈安捷修庆云译， 康 宏逵校， 华中工业学院出版社出版 1983年版 Abstract Modern iS tomathematiCSand Sinceitcsifle relative logiCnearlY 1anguage into havedifferentviewsand being．And logiciansalways logical their 0nnect10ns． viewsintermsof different tothetwo opinions couples’ and Luitzen Brouwerwasa osopher EgbertusJan greatmathematiCian，phi in initiatedintuitionismwhichhas nfluence 109iCian．He veryfar—reaching theacademe．What’SiSthe oneofnon—classicalwhichhas more，it only of ti1lnow． to andiSstillusedalot spreadquantifierlogiC by logiCians 7lhiS demonstratedBrouwer’S the including