(逻辑学专业论文)用概念文字透析含义与指称.pdf_第1页
(逻辑学专业论文)用概念文字透析含义与指称.pdf_第2页
(逻辑学专业论文)用概念文字透析含义与指称.pdf_第3页
(逻辑学专业论文)用概念文字透析含义与指称.pdf_第4页
(逻辑学专业论文)用概念文字透析含义与指称.pdf_第5页
已阅读5页,还剩53页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

摘要 捅要 概念文字是弗雷格从数学到逻辑的形式化研究的起点,他的许多思想 都是基于概念文字思想而产生的,尤其是含义与指称理论,从它最初建立 到最终阐述都深受概念文字思想的影响,因此概念文字思想是含义与指称 理论的起源,也是推动含义与指称理论发展的动力。本文以概念文字为工 具,挖掘、探索了含义与指称理论的真正意义 首先,概念文字思想所涉及的内容较多,但这里仅针对概念文字中的 形式语言对含义与指称的影响方面来进行研究。 其次,用概念文字透析含义与指称,其研究的角度是从概念文字出发, 通过对概念文字的建立构想与思维原则的解析,来探究含义与指称理论, 赋含义与指称以相对统一的界定,并研究字母符号的含义与指称、专名的 含义与指称、句子及从句的含义与指称、概念词的含义与指称,把对含义 与指称的理解融入含义与指称在语言符号的应用中。文中,多处运用了比 较和分析的方法,并以表格和图例的形式对各种问题进行了表述,以便清 晰的把问题剖析开来,使人们能够更加清楚、明白。 最后,在掌握概念文字同含义与指称的基础上,用概念文字的思想去 透析含义与指称,并得出概念文字对含义与指称的内容、性质、思维导向 都有巨大影响的结论 追根溯源,要真正解析含义与指称理论就有必要从研究概念文字思想 开始,所以此篇论文把概念文字思想作为透析含义与指称理论的角度和方 法 关键词t 概念文字;含义;指称;形式语言;语言符号 燕山大学哲学硕士学位论文 a b s t r a c t c o n c e p t i v e a l p h a n u m e r i c i s f r o g e sb a s i so ff o r m a lr e s e a r c hf r o m m a t h e m a t i c st ol o g i c h eh a sm a n yi d e a l sa l lc o m ef r o mh i sc o n c e p t i v e a l p h a n u m e r i ci d e a l s ,e s p e c i a l l yf r o mt h eb u i l d u pt ot h ee x p l a n a t i o no ft h e t h e o r yo fs e n s ea n dr e f e r e n c e c o n c e p t i v ea l p h a n u m e r i ci s t h eb a s i sa n d d y n a m i c so fs e n s ea n dr e f e r e n c e ,s ow es h o u l dr e s e a r c hs e n s ea n dr e f e r e n c e t h r o u g ht h ea n a l y s i st oc o n c e p t i v ea l p h a n u m e r i ci d e a l s t h i sa r t i c l ew i l l r e g a r dc o n c e p t i v ea l p h a n u m e r i ci d e a la st o o lt or e s e a r c ha n da n a l y z es e n s e a n dr e f e r e n c ea n dd e v e l o pt h et h e o r yo fs e n s ea n dr e f e r e n c ei nf u t u r e f i r s t ,c o n c e p t i v ea l p h a n u m e r i ci d e a lc o n t a i n sm a n ya s p e c t s t h i n g s ,w e o n l y r e s e a r c ht h ea f f e c t i o n so ft h ef o r m a l l a n g u a g e o f c o n c e p t i v e a l p h a n u m e r i c t os e n s ea n dr e f e r e n c er a t h e rt h a no t h e ra s p e c t s r e s e a r c h s e c o n d ,c o n c e p t i v ea l p h a n u m e r i ci d e a l i st h er e s e a r c hv i e wo ft h e a n a l y s i st os e n s ea n dr e f e r e n c e 、:l ,i t hc o n c e p t i v ea l p h a n u m e r i c t h r o u g ho u r r e s e a r c h ,w ew i l lt a l ka b o u tt h et h e o r yo fs e n s ea n dr e f e r e n c ea n dg i v et h e i d e n t i c a le x p l a n a t i o nt os e n s ea n dr e f e r e n c ea n dr e s e a r c ht h es e n s ea n d r e f e r e n c eo fs o m el a n g u a g es y m b o l sa c c o r d i n gt oa n a l y z et h eb u i l d u pi d e a l s a n di d e a l sr u l e so fc o n c e p t i v ea l p h a n u m e r i c a tt h es a m et i m e ,w ew i l le x p l a i n s e n s ea n dr e f e r e n c et h o u g ht o g e t h e ri tw i t ht h er e p l yo fs o m el a n g u a g e s y m b o l s i nn e e do fr e s e a r c h i n g ,w et a k et h em e t h o d so fc o m p a r a t i v ea n d a n a l y s i s a n di no r d e rt oe x p l a i nq u e s t i o n sc l e a r l ym a k ep e o p l eu n d e r s t a n d w e l l ,w er e p l ys o m et a b l e sa n cc h a r t st oa n a l y z ea l lk i n d so fq u e s t i o n s l a s t o nt h eb a s i so fu n d e r s t a n d i n gc o n c e p t i v ea l p h a n u m e r i ci d e a l sa n d t h et h e o r yo fc o n c e p t i v ea l p h a n u m e r i c ,w ed r a wac o n c l u s i o nt h a tc o n c e p t i v e a l p h a n u m e r i ch a dh u g e o u si n f l u e n c e s o nt h ec o n t e n tq u a l i t ya n dt h o u g h t o r i e n t a t i o no fs e n s ea n dr e f e r e n c e i t sn e c e s s a r yt or e s e a r c hc o n c e p t i v ea l p h a n u m e r i ci f w a n tt ou n d e r s t a n d s e n s ea n dr e f e r e n c et r u l y , t h e r e f o r ew eh a v ec o n c e p t i v ea l p h a n u m e r i ca st h e t i a b s t r a c t v i e wa n dm e t h o dt oa n a l y z es e n s ea n dr e f e r e n c e k e y w o r d sc o n c e p t i v ea l p h a n u m e r i c ;s e n s e ;r e f e r e n c e ;f o r m a ll a n g u a g e ; l a n g u a g es y m b o l i l l 燕山大学硕士学位论文原创性声明 本人郑重声明:此处所提交的硕士学位论文用概念文字透析含义与指 称,是本人在导师指导下,在燕山大学攻读硕士学位期间独立进行研究工 作所取得的成果据本人所知,论文中除已注明部分外不包含他人已发表或 撰写过的研究成果。对本文的研究工作做出重要贡献的个人和集体,均已在 文中以明确方式注明。本声明的法律结果将完全由本人承担。 作者签字脐靛彬 日期:a 棚箨肛月6 日 燕山大学硕士学位论文使用授权书 用概念文字透析含义与指称系本人在燕山大学攻读硕士学位期间在 导师指导下完成的硕士学位论文。本论文的研究成果归燕山大学所有,本人 如需发表将署名燕山大学为第一完成单位及相关人员本人完全了解燕山大 学关于保存、使用学位论文的规定,同意学校保留并向有关部门送交论文的 复印件和电子版本,允许论文被查阅和借阅。本人授权燕山大学,可以采用 影印、缩印或其他复制手段保存论文,可以公布论文的全部或部分内容。 本学位论文属于 保密口,在年解密后适用本授权书。 不保密6 只 ( 请在以上相应方框内打“”) 作者签名。轿欠靶 导师签名:1 饫磐义 日期:具硝年月6 日 日期:驯年p 刖日 导言 导言 逻辑哲学是随着数理逻辑与分析哲学的发展而成长起来的,因而它是 现代逻辑与现代哲学相互渗透、相互作用的产物,既具有哲学思辨的味道, 又具有数理严谨的特性。弗雷格是逻辑哲学的创始人,含义与指称理论是 弗雷格逻辑哲学中较为成熟和比较重要的一个部分,并且与他的意义理论 有着密切联系,对含义与指称的正确认识也是理解语言符号的基础,只有 先明确含义与指称的本质,明确语言符号的含义与指称,才能进一步理解 各种语言现象,拓展知识,达到真理,同时这对提高人们的思维素质和思 维水平也大有裨益。含义与指称是逻辑哲学中一个重要的问题,对它进行 探索可以为今后的研究开辟新空间,具有一定的理论价值与现实意义 、 对含义与指称理论进行研究就应该从对概念文字思想的解析开始,因 为含义与指称理论发源于概念文字思想,只有从根源上认识问题,才能为 解决问题打下坚实的基础,同时用概念文字透析含义与指称也是用弗雷格 自己的思想来解析、论证自己的理论,这对正确认识含义与指称理论有极 大的指导作用,所以要用概念文字来透析含义与指称,可以说“用概念文 字透析含义与指称”这既是一个题目,也是一个角度,还是一个研究方法, 论文以此为主题,就是想把研究的角度定位于概念文字,从概念文字的形 式语言出发,探讨它对含义与指称理论在建构、发展和完善等方面的作用, 同时也想体现出论文由此及彼、追根溯源的研究方法与研究思路,从概念 文字中挖掘含义与指称的真意所在,由此过渡到对含义与指称理论的迸一 步发展和完善,这种研究方法不仅对逻辑哲学,甚至对其它学科,都有着 一定的借鉴意义若要用概念文字透析含义与指称,则首先要对概念文字 的思想进行解析,进而对含义与指称理论进行探究,在把握二者的基础上, 从概念文字中挖掘含义与指称理论产生的历史根源,以及概念文字思想中 形式语言对含义与指称的启示与种种影响,这是正确认识含义与指称理论 的需要,也是进一步发展和完善含义与指称理论的需要 在以往对含义与指称理论的研究中,人们通常只是对这一理论具体细 节问题进行各种阐释,或是把它放入弗雷格的逻辑哲学整体中去论述,而 燕山大学哲学硕士学位论文 并未过多的把概念文字思想同含义与指称理论联系起来一并研究,因而用 概念文字透析含义与指称具有较大的理论研究空间,与此同时,前人对概 念文字,含义与指称及弗雷格逻辑哲学其它问题的单项研究成果,也为论 文的写作提供了坚实的理论基础和丰富的论据支持,尤其是对弗雷格哲学 著作的整体研究,为我的论文提供了大量而系统的资料,这些资料的系统 性同时也展现了弗雷格逻辑哲学研究的系统性,更展现了含义与指称理论 的发展脉络,如此种种都使得“用概念文字透析含义与指称”的研究论题 具有实际上的可操作性和理论上的可行性 国外对含义与指称的研究首先从弗雷格开始,在他的概念文字中 初显了含义与指称问题的思想萌芽,并在以后的研究中陆续对这一问题展 开了详细的探讨。继弗雷格之后,罗素、塞尔、普特南、达米特、克里普 克、斯特劳森等人也都对含义与指称的相关问题进行了研究,虽然这些学 者对弗雷格的观点并非完全赞同,但分歧与差异也往往是推动理论前进的 动力此外也有一些关于含义与指称理论的重要论著和观点,如弗雷格的 概念文字、概念和对象、含义和指称、思想等,再如罗素的指 称理论和摹状词理论,达米特的意义理论和弗雷格的语言哲学,斯特 劳森的指称论等,这些人的著作和观点都批判继承地丰富和发展了弗雷格 的含义与指称理论,但他们的研究内容又各有侧重,这是多种主客观因素 的结果,王路在其 弗雷格思想研究中说:“英美学者往往更注重问题 本身的讨论,而不太注重弗雷格本人的思想考证。德国学者则更注重弗雷 格思想本身的讨论,很少进行太多的引申和扩展的讨论。”这也是导致以 上结果的因素之一。同时,国外对含义与指称的研究往往是和意义理论相 联系的,因为二者之间有着密切关系,作为语言哲学核心的意义理论在某 种程度上也涵盖了含义与指称理论,因为要理解语言的意义首先就应该明 确语言符号的含义与指称。 国内学者对含义与指称理论的关注首先从相关书籍的译介开始,张申 府早在1 9 1 6 1 9 4 6 年间就写作和翻译了意谓的意谓、言语与意谓, 这是含义与指称思想在国内的早期传播。其后,随着逻辑哲学思想在国内 的发展,含义与指称理论也有了较快的发展,尤其是1 9 8 0 年至今,译介 2 导言 了大批逻辑哲学方面的书籍,如语言:真理与逻辑、从逻辑的观点看、 命名与必然和弗雷格的许多著作,这些都涉及到了含义与指称理论。 在国内,当数王路的研究最为集中,他翻译了弗雷格哲学论著选辑, 并著述了弗雷格思想研究和世纪转折处的哲学巨匠:弗雷格,这 些书中都谈到了含义与指称理论,同时他还发表了一些此方面的论文,为 含义与指称在中国的研究提供了参考资料。另外,+ 国内对含义与指称理论 的研究主要表现为两种形式:一种是对含义与指称理论进行整体性的研 究,如王路以其专著弗雷格思想研究和论文涵义与意谓理解弗 雷格等,对弗雷格的含义与指称理论进行了全面的研究,这就使得含义 与指称理论既具有纵向的历史环境又具有横向的研究空间;另一种是对含 义与指称理论进行细节性的研究,如冯棉的名称的涵义与指称,胡泽 洪的关于专名的涵义与指称,陈晓平的符号的涵义与指称、句子 的指称与谓词的定义域,张燕京的弗雷格与达米特意义理论的特征差 异及其根源以及其他一些人的相关著作和论文,他们都是从某一知识点 出发对含义与指称问题进行细节性的研究。 另外,从逻辑学领域上看,弗雷格是现代逻辑的创始人,他的概念 文字的问世标志着现代逻辑的创立,把数学的思想和方法运用到逻辑中, 力图建立一种模仿算术语言的纯思维的形式语言;从哲学领域上看,弗雷 格又是现代分析哲学的创始人,是语言哲学之父,把逻辑分析的方法引入 哲学和语言学中,而他的许多思想,包括含义与指称思想都发源于概念 文字。因此,用概念文字的思想去透析含义与指称,不仅对研究含义与 指称有十分重要的意义i 而且对弗雷格的其它思想,甚至对逻辑学科与哲 学学科的研究也是十分有意义的。同时,这也既有助于人们正确理解弗雷 格含义与指称的真正思想,又对含义与指称在今后的研究有巨大的推动作 用。 总之,这篇论文力图通过“用概念文字透析含义与指称”,来实现对 含义与指称理论最原始、最真实的思想把握,从这种原始与真实的思想出 发,重新审视含义与指称理论,并给出自己对这一理论的新探索与新阐释。 燕山大学哲学硕士学位论文 第1 章弗雷格概念文字思想的解析 弗雷格的概念文字思想是其含义与指称理论建立的基础,对概念文字 思想的解析是正确理解含义与指称理论的根源所在。正如对任何- 1 7 学科 的了解都应该从源头着手一样,要对含义与指称理论有深刻的认识也应该 从解析概念文字思想开始。 1 1 概念文字的建立构想及其思维原则 1 1 1 概念文字的建立构想 概念文字是弗雷格的一个构想,是借鉴于算术语言而构造的一种纯思 维的形式语言,后来这种构想经过整理和扩充成为他的经典代表作概念 文字。弗雷格对概念文字的建立构想,也是他对概念文字“为何建立” 以及“遵循什么样的形式建立”的描述,因此在此节中,为了最大程度上 保证概念文字的建立构想符合弗雷格的本意,文中将尽量引用弗雷格的原 话来诠释他对概念文字的种种想法 弗雷格在概念文字中说:“我把仅在我看来是唯一重要的东西称 作概念内容。如果要想正确理解我的形式语言的本质,从现在起就必须时 刻记住这一说明由此也产生概念文字这个名字。由于我暂时限于那 些与事物的特殊性质无关的关系的表达,因此我也可以用纯粹思维的形 式语言这一表达法。” 1 1 而他所构想的概念文字也设有许多规定与要求, 其中有“它必须有逻辑关系的简单表达方式,这些表达方式限制在必要的 数量之内,必须能够被人们简便而可靠地掌握。这些形式必须适合于与内 容最密切地结合在一起,同时必须力求简明,以便能够充分利用书写平面 的二维广延达到描述的清晰。有内容意义的符号非常少。一旦出现普遍的 形式,就能够很容易根据需要制造这种符号。如果看上去不能或者不必把 一个概念分解为其最小组成部分,那就可以满足于暂时使用的符号。” 2 1 d i 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :2 【2 】 德 弗雷格译者序弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :4 4 第l 章弗雷格概念文字思想的解析 弗雷格力图通过建立概念文字来构造一套形式语言,从逻辑推出全部 数学,因此概念文字作为一种纯思维的形式语言,它是逻辑分析的有效工 具,同时也是哲学研究的重要工具+ 弗雷格说:“如果说哲学的任务是通 过揭示有关由于语言的用法常常几乎是不可避免地形成的概念关系的假 象,通过使思想摆脱只是语言表达工具的性质才使它具有的那些东西,打 破语词对人类精神的统治的话,那么我的概念文字经过为实现这个目的而 做的进一步改进,将能够成为哲学家们的一种有用工具。”【l 】可见弗雷格 概念文字的建立有着深厚的背景,他在论概念文字的科学根据一文中, 也曾开篇便说:“在科学的较抽象部分,人们一再感到缺少一种既可以避 免别人的曲解又可以避免自己思想中的错误的工具。这两个问题的原因都 在于语言的不完整性。,因为我们正是用有意义的符号表达思想的。”【2 】 在日常语言的应用中,或许人们不会对由语言的不完善性而产生的障 碍有很深刻的感触,但是在进入科学研究的领域后,语言的不完整性、歧 义性、模糊性的弊端就将大大的突显出来,并影响到科学与社会发展的进 程,对此弗雷格专门给了“显微镜对眼睛的关系”的例子,他明确的说: “如果我把我的概念文字对日常语言的关系比作显微镜对眼睛的关系,我 相信我就能十分清楚地说明这种关系眼睛在其可应用的范围方面,在其 可用于各种不同情况的灵活性方面,都比显微镜优越得多。如果把眼睛看 作一种光学仪器,它当然显示出许多缺陷,只不过由于它与精神生活有内 在的联系,这些缺陷一般不被注意罢了但是一旦为了科学的目的,人们 提出精确的分辨这种更高的要求,眼睛的不足就显示出来了。而显微镜却 恰恰完全适合这种目的,但是正因为这一点,它在所有其他方面是不能应 用的。”例可见进入需要精确知识的领域,我们也应该有一种精确的语言 工具与之相对应,弗雷格的概念文字种模仿算术语言构造的纯思维 的形式语言,就正是为了构建这样一种精确的、严谨的科学语言而诞生的 弗雷格的概念文字是一种纯思维的形式语言,这种形式语言也同其它 1 1 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :4 嘲 德 弗雷格论概念文字的科学依据弗雷格哲学论著选辑王路北京:商务印书馆。1 9 9 4 :3 7 3 1 德 弗雷格概念文字弗雷格哲学论著选辑王路j b 京:商务印书馆,1 9 9 4 :2 3 5 燕山大学哲学硕士学位论文 形式语言一样包括初始符号与形成规则。弗雷格在构造形式语言的过程 中,把数学中的思想与方法引入其中,建立了一套以单个符号为原子的、 以数理形式的推导程序为核心的形式系统。这里我主要从概念文字的“形 式语言”而非“形式系统”的层面来透析含义与指称,因为形式语言由初 始符号与形成规则组成,但形式系统则不仅包括形式语言,还包括建立于 形式语言基础之上的演绎规则。由于作为论文研究核心的含义与指称同形 式语言有更密切的关系,所以我主要从“形式语言”而非“形式系统”的 层面来透析含义与指称。为了使研究更具有针对性,文中所涉及的内容, 也仅仅是弗雷格概念文字思想中与其含义与指称理论有重要联系的内容, 而不是他概念文字思想的全部内容。总之,这篇论文研究的主要意图,是 想通过弗雷格概念文字中形式语言的设想与构造,去探析和挖掘他的含义 与指称理论。 众所周知,在数理逻辑中一个形式系统包括形式语言和演算规则两大 部分,而形式语言又分为初始符号与形成规则,演绎规则是由公理和由公 理推导而出的各种定理构成,见表l - l : 表1 - 1 形式系统 t 。t a b l e l 1f o r m a ls y s t e m, 形式系统 , 形式语言 演算规则 初始符号i 形成规则公理定理 对含义与指称的正确把握,是形式语言中形式符号能够在人们中共同 理解和共同使用的两个最基本的因素,它们应该是被预先知道的东西,是 一种具有共识性的东西,这相当于在一个形式系统的初始部分形式语 言中,只有先对单个的形式符号的含义与指称有所界定,在统一界定的基 础上,才能进而对形式语言整体进行研究。由此可见,充分理解和把握含 义与指称理论是构造一种形式语言的重要前提之一,若是具备了这个前 提,那么就能够有效的进行深层次的语言研究与逻辑研究,也即人们只有 知道语言符号的具体含义与指称,才能在此前提下继续研究。在概念文字 6 第1 章弗雷格概念文字思想的解析 思想中,逻辑演算系统初始符号的构想与形式语言结构模式的建构,则是 理解含义与指称的重要因素和关键所在。、 一 、 ,在弗雷格的概念文字中,主要介绍了以下几种初始符号:l ( 判 断杠) 、( 内容杠) 、l ( 条件杠) 、i ( 否定杠) 以及a ,a ,x 等单个字 母。这几种初始符号的不同组合,又构成了概念文字中最基本的表达思想 的四种符号标记:同一“兰”( a - b ,即a 与b 的思想内容同一) 、断定 “卜”( + 卜a ,即断定a 的思想内容) 、否定卟t - ”( 卜广a ,即否定a 的思 想内容) 、条件“一”( r ,即a 和b 之间具有条件关系) 。在这四种最 基本的表达思想的符号标记中,断定是条件与否定建立的基础,否定是对 一个可判断的思想a ( i - a ) 进行否定,。即卜广a ;条件是对两个或多个可 判断的思想之间的关系进行表述;而同- n 表述两个或多个可判断的思想 具有相同的内容,彼此可以相互替换,同一也是形式语言具有可替代性的 前提总体而言,断定是基础,同一、否定、条件是建立于断定之上的, 同时否定与条件又具有完全性,其它各种关系可由二者经过组合或变形直 接或间接的演绎推导出来。当然,这些初始符号与符号表达式并不是构成 概念文字的全部符号,但却是概念文字中对含义与指称理论有着重要影响 的符号。 _ 1 1 2 概念文字的三项重要思维原则 这里之所以要重点阐述概念文字的普遍性原则、函数性原则、可替代 性原则,是因为这三项思维原则对弗雷格的含义与指称理论有重要的影 响。含义与指称理论的一些性质与特征,是由以上三项思维原则在含义与 指称研究与应用过程中渗透而形成的,同时这三项原则之间也并非是相互 独立毫无关联的,相反它们本身有着紧密的联系。概念文字作为一种纯思 维的形式语言,其产生的目的之一就是为了克服日常语言的各种弊端对语 言研究造成的困难,所以形式语言力求避免个体性、特殊性,而使其自身 具有普遍性,普遍性的特征也正说明形式语言的普遍适用是建立于一种可 填充的框架之中。对于形式语言的框架性,弗雷格更多的是用函数性来阐 释的,函数的不完整性、不满足性使得框架需要给予补充,对于同一个函 7 燕山大学哲学硕士学位论文 数,可以用不同的自变元来填充,在这个填充的过程中可替代性原则又成 为一个不容忽视的问题。因此以上三项思维原则之间是紧密相关的,某种 程度上也呈出一种衍生的迹象与趋势。 首先就普遍性原则来说,弗雷格概念文字的普遍性原则主要体现在两 个方面:一是用来构造概念文字的材料形式符号,具有普遍性;二是 用具有普遍代表性的形式符号所建立的概念文字的框架,具有普遍性。 弗雷格在建立概念文字时,尤其注重的就是使概念文字框架具有普遍 的适用性,为了实现这个构想,他在建立概念文字时力求所采用的形式符 号也都是具有普遍代表性的符号对此弗雷格解释说:“我将我使用的所 有符号分为可以意谓不同事物的符号和有完全确定意义的符号,”【l 】并且 弗雷格把“可以意谓不同事物的符号”称为字母符号,同时他又把这些字 母形式的符号解释为:“这些字母要么代表一个不确定的数,要么代表一 个不确定的函数。这种不确定性使人们能够用字母表达句子的普遍有效 性,譬如在( a + b ) c = a c + b c 中。”1 2 对于这些字母形式的符号,他还解释 说:“它们应该主要用来表达普遍性。但由于它们完全不确定,因此必须 坚持一点,即一个字母在相同的情境中保持它曾被指定的意谓。”1 3 】而对 于非字母形式的符号,弗雷格则简单解释为“有自己的专门指称”的符号, 可见弗雷格更注重的是对具有普遍性的字母符号的深入研究,通过这种研 究思路,他给概念文字赋予了普遍性的特征 以上弗雷格的陈述包含了两个很重要的思想:一是构成形式语言的形 式符号必须是具有普遍代表性的符号;二是同一符号在同一语境中的引用 必须保持前后一致性。这两点是为了保证形式符号在概念文字运用中的普 遍适用性和无矛盾性,如果一个形式符号自身具有特殊的意义,或者是它 的使用需要有太多的预设前提,那么采用这样的形式符号建立起来的概念 文字框架就失去了范例的作用,也偏离了弗雷格的最初设想和最终目的。 由此可见,普遍性原则既是弗雷格始终贯穿于其概念文字思想的一项原 【l 】 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :6 【2 】 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :6 啪 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :6 8 第l 章弗雷格概念文字思想的解析 则,又是弗雷格建立概念文字时力求实现的一个目的。4 其次对于函数性原则而言,它是弗雷格概念文字思想中一个十分重要 的思维原则弗雷格把函数性原则表述为“如果在一个其内容不必是可判 断的表达式中在一个或多个位置上出现一个简单的或复合构成的符号,并 且我们认为在所有位置上或几个位置上可以用其他符号、但是只能到处用 相同符号替代它,那么我们就称这里表达式所表现出的不变部分为函数, 称可替代的部分为其自变元:”【l 】弗雷格把他的概念文字称为,一种模仿 算术语言构造的纯思维的形式语言”,所以概念文字所构造的基础是算术 思想与算术语言然而在概念文字中,弗雷格试图建立的并不完全是等同 于数学性质的语言,它是一种借鉴数学却又超越数学的形式语言,数学领 域中的思想与推导方法仅仅是这种形式语言出发的起点。正如他所说的那 样:“算术曾经是引导我形成概念文字这种思想过程的出发点。”【2 1 弗雷格所要建立的是一种真正具有普遍性意义的框架结构,而算术 的、几何的、物理的、化学的,以及其他领域中的各种符号只是在这个框 架中的应用与实现为了实现这个构想,弗雷格最初把传统逻辑的自然语 言与算术的形式语言同时运用于概念文字的构建中。但是不久他就发现, 传统逻辑中存在的一些问题令概念文字的普遍性受到了极大的限制,尤其 是在用传统逻辑的方法对一个命题进行主词与谓词形式的分析时,使得概 念文字的建构增加了更多的前提和预设条件,并且过多的受到了日常语言 和语法意义的影响。因而弗雷格开始逐渐有意识的摆脱传统自然语言的束 缚,走向纯思维的形式语言的使用。 , 弗雷格说:“我把仅在我看来是唯一重要的东西称为概念内容”,可见 他对概念性内容是高度重视的,为此弗雷格引用数学中的函数与自变元这 两个概念来分析语言符号。他认为,一个概念就是一个函数,函数具有不 完全性和不满足性,因而概念词同样也具有不完全性和不满足性i 函数需 要用自变元的填充来实现命题的完整性,那么概念要表述一个完整的思想 也需要用相当于自变元的个体名称或个体东西来填充 1 1 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :2 1 - 2 2 2 1 德 弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆。1 9 9 4 :5 9 燕山大学哲学硕士学位论文 数学中函数性思想在概念文字中的引入,渗透到了弗雷格概念文字框 架的各处。从符号、专名、句子到概念词,都体现了函数性思想的影响。 在符号表达式“mc a ) ”中,弗雷格用“m ( ) ”来表示函数式,用“a ” 来表示自变元,自变元可以是一个也可以是多个,而当自变元“a ”的思 想内容发生变化时,函数“mc a ) ”的思想内容也会随之发生相应变化。 对于一个专名,弗雷格也给出了类似的解释。按照弗雷格的观点,像“柏 拉图的学生”这样的专名,也可以分析为一个函数“x 的学生”和一个自 变元“柏拉图”的形式。如果我们已经预先知道这个专名的指称是“亚里 士多德”,那么表达式“柏拉图的学生”表述的就是一个真思想,而若把 自变元“柏拉图”替换为“亚历山大”,那么指称专名“亚里士多德”的 表达式“亚历山大的学生”,所表达的思想就是一个假思想。 同样,对句子更是如此,弗雷格函数性思想的初衷便是对句子的结构 进行分析。他认为,一个句子可以看成一个函数表达式“c a ) ”,这个 表达式的谓述部分就是该函数式“m ( ) ”,并且弗雷格还明确指出,专名 作为自变元只能充当句子的主词,同时概念词也可以做自变元具有主词的 作用。由此可见,函数性思想对概念文字的语言符号有着深远的影响,尤 其是在概念文字的初建时,弗雷格就给出了函数“mc a ) ”的表达式,这 是函数性思想原则在语言符号分析中的最基本的范式。, : 最后让我们来看可替代性原则,它从某种意义上可以看作是概念文字 中形式符号内容同一性的引申。弗雷格说:。符号一般只是其内容的代表 者,因而有它们在其中出现的各种组合仅表达它们的一种内容关系,而一 旦它们由同一符号联结在一起,它们就突然将它们自己表现出来;因为由 此表达了两个名字具有相同的内容这一情况。因此,引入一个内容同一符 号必然产生所有符号意谓方面的分歧,因为相同的符号有时表示它们的内 容,有时表示它们自己。”【l 】这段论述涉及到符号的“意谓”也就是我所 说的“指称”方面的问题,因此可替代性成为一个必须的、值得深入考虑 的问题。 【l 】 德】弗雷格概念文字弗雷格哲学论著选辑王路北京:商务印书馆,1 9 9 4 :1 9 1 0 第1 章弗雷格概念文字思想的解析 如果我们知道“a - - 晨星”并且“b :暮星”,又“卜_ ( a 三b ) ”,那么就是 说a 与b 指称同一事物,并且它们具有相同的概念内容。在涉及到a 处的 语句中,我们都可以用b 替代,同样在涉及到b 处的语句,我们也可以用 a 替代。由于a 与b 表示同一概念内容,所以,做这样的替代涉及到a 的 语句或涉及到b 的语句的真值不会发生变化,但语句所表达的思想却可能 发生变化。举例来说,语句“晨星是一个被太阳照亮的物体”和语句“暮 星是一个被太阳照亮的物体”,它们的真值都是真,即它们都表述一个真 思想、一个事实,但其所表达的语句思想的角度和侧重点却是不相同的。 而这个不同的思想倾向有时却又是十分重要的,就像我们通常会说,! 晨 星与暮星是同一星体”之所以是天文学上最伟大的发现之一,某种程度上 便在于晨星与暮星相互替代虽然不影响语句思想的真值,但晨星与暮星各 自所表述的思想角度和侧重点却是不同的。 在真值与思想的重要性问题上,弗雷格也曾在论含义与指称一文 中说:“总的说句子的真值是重要的但也并非总是如此。例如,欣赏一 首古诗,除了语言本身的优美音调之外,句子的思想与因此唤起的想象和 情感也深深吸引感动着我们。如果只询问真这一问题,我们就会离开艺术 享受j 而转向科学的思索。”【i 】 其实,当弗雷格在引用函数性思想和追求概念文字的普遍性思想时, 可替代性就成为一个不可回避且重要的问题。函数表达式具有不完整性与 不满足性,它需要用自变元来填充,而自变元既可以是具有相同内容的形 式符号,也可以是具有不同内容的形式符号,既可以是简单的形式符号, 也可以是复杂的形式符号。在替代的过程中,自变元既可以用具有相同内 容的形式符号相互替代,也可以用具有不同内容的形式符号相互替代,所 以概念文字的重要意图就是要实现这种普遍的适用性。因此对概念文字框 架的填充也涉及到形式符号的可替代性问题。由此看来,既然涉及到如此 之多的替代情况,那么可替代性就很有必要上升到一个独立特性的高度, 并且应该被给予深入的思考。 【1 j hw m o o r e m e a n i n ga n dr e f e r e n c e o x f o r du n i v e r s i t yp r e s s , 1 9 9 3 :2 9 1 1 燕山大学哲学硕士学位论文 1 2 概念文字思想对数理逻辑与逻辑哲学的影响 弗雷格的概念文字可以说是数理逻辑建立的思想基础,而逻辑哲学在 西方的兴起最初也源于传统逻辑的新变化数理逻辑的创立。数理逻辑 与逻辑哲学的这种渊源,使得含义与指称和概念文字的关系更加紧密,因 为含义与指称本质上就是一个逻辑哲学的问题,它从哲学以及语言哲学的 角度来界定各种语言符号自身表达方式和对象的思考,而为这种思考所做 的解答则既有哲学层面上的反思也有现代逻辑方法的运用。从另一个方面 说,语言符号的含义与指称也是逻辑哲学的问题,逻辑哲学的产生则是由 于数理逻辑与分析哲学的结合,所以数理逻辑与语言有着密切的关系,“要 说明什么是数理逻辑,得先从语言说起”。 1 1 以亚里士多德词项逻辑和麦加拉斯多葛学派命题逻辑为主要内 容的传统逻辑,自产生以来数世纪一直处于不可动摇的强势地位之上,然 而随着逻辑与数学的发展,人们在研究中发现逻辑与数学有着不解之缘, 甚至提出把全部数学都归结于逻辑的思想,试图通过数学的方式来解决逻 辑问题、思维问题,使逻辑思维错误成为数学计算上的错误因此一些逻 辑主义者开始致力于建立一种能够进行思维演算的逻辑系统,把自然语言 符号化把自然语言系统形式化,通过形式系统演算来论证思维的有效性。 这种思想最初体现于莱布尼兹对“通用语言”的追求,其后“通用语 言”的思想对许多数学家和逻辑学家都产生了重要的影响。继莱布尼兹之 后,布尔又建立了“布尔代数”,彻底加速了数理逻辑的建立。到十九世 纪初期,弗雷格正式拉开了数理逻辑的帷幕,在他的概念文字中,初 步建立了一个自足的逻辑演算系统,这是历史上第一个比较严格的逻辑演 算系统。这里所讲的逻辑演算系统,也就是我们现在所说的一阶逻辑演算 系统,一阶逻辑系统包括命题逻辑演算系统p 和谓词逻辑演算系统q 。命 题演算系统p 主要是由两大部分构成的: ( 1 ) 形式语言:乱初始符号b 形成规则 ( 2 ) 演算规则:a 公理b 推导规则 1 1 陈慕泽数理逻辑教程上海:上海人民出版社,2 0 0 1 :4 1 2 第l 章弗雷格概念文字思想的解析 谓词逻辑q 系统不同于命题逻辑p 系统的主要之处就在于:q 系统 中,命题的组成部分直接被分析到个体词( 个体常项、个体变项) i 谓词 ( 一阶、二阶等) 、量词( 全称、特称) 的层次,其形式系统和演算规则 部分也均得到了相应的扩充,或者更准确的应该称之为细化i 上面之所以 要简单介绍一阶逻辑p 、q 系统;是因为逻辑哲学之所以不同于其它的哲 学,便在于它是以数理逻辑为基础的哲学分支学科,要想了解逻辑哲学领 域的知识,就必须要掌握现代数理逻辑的基础知识。 在一阶逻辑的基础之上,现代数理逻辑从此登上了历史舞台,“自弗 雷格的概念文字问世以来,现代符号逻辑经过一个多世纪的发展,取 得了举世瞩目的巨大进步,这种状况与传统形式逻辑二千多年来一直停滞 不前的局面形成了鲜明对照。现代逻辑在高度形式化的同时,注意到了与 自然语言的关系,各种非标准的逻辑体系,如内涵逻辑、相关逻辑、时态 逻辑、多值逻辑、模糊逻辑等,像雨后春笋一样,纷纷破土而出。各种各 样的哲学问题也就随之冒出来了:什么是逻辑? 到底有多少种逻辑? 逻辑 与自然语言的关系是什么? 等等。对这些问题的讨论和解答就构成了一门 崭新的哲学学科逻辑哲学。”【l 】 、 : 罗素受弗雷格思想的影响,在他的基础上对数理逻辑做了进一步的研 究,使得数理逻辑成为逻辑的新亮点而倍受关注。作为逻辑哲学基础的数 理逻辑的建立,客观上推动了逻辑哲学学科的正式建立。, 。 讨论逻辑哲学当代在西方的发展,就不能不谈到经典逻辑的新发展, 因为以经典逻辑为基础的现代数理逻辑是逻辑哲学的基础,数理逻辑的发 展必然会引起逻辑哲学在某些方面的变化,同时模态逻辑的发展,尤其是 模态逻辑关于可能世界语义学的发展:对逻辑哲学中的某些观点和思想产 生了巨大的影响。以一阶命题逻辑和一阶谓词逻辑为核心的经典逻辑,又 称为二值逻辑,因为它是以“真”、“假”二值为基本原则的。真值原则是 经典逻辑中最为重要的原则之一,而在含义与指称理论中旬子的含义与指 称也是弗雷格研究的重点之处。关于句子的含义,弗雷格把它解释为“思 l l 】 英 苏珊哈克译者前言逻辑哲学罗毅北京:商务印书馆,2 0 0 3 :1 1 3 ” 燕山大学哲学硕士学位论文 想”,而句子的指称,弗雷格则把它解释为句子的“真值”,可见这些经典 逻辑中的重要原则,同时也是含义与指称研究中尤为重要的内容,它们都 与概念文字思想有着千丝万缕的关系。 除此之外,经典逻辑又假定了个体域非空和外延原则等一些预设前 提,经典逻辑便是在此基础上建构的,但随着数理逻辑研究的日渐深入, 并且遇到了许多经典逻辑解决不了的问题,所以面对新情况、新问题,一 些逻辑学家对经典逻辑在不同程度上做了扩充或变异。所谓经典逻辑的扩 充是指在经典逻辑的基础之上,通过在系统内增加不同的逻辑算子,而使 原来的逻辑系统得到了扩张,像模态逻辑系统k 、d 、t 、s 4 、s 5 等都是 在经典逻辑上的不同程度的扩充。同样,时态逻辑也是在经典逻辑中加入 了时间算子而令经典逻辑系统得以扩充。所谓经典逻辑的变异是指,因为 否定或放弃经典逻辑中的一条或几条基本原则或假定前提,而建立起来的 逻辑系统,像多值逻辑就是放弃了“0 ”和“1 ”的二值原则,而建立起来 的逻辑系统,在多值逻辑系统中,除了“0 ”和“1 ”之外,在“0 ”和“1 ” 之间还存在着0 1 、o 2 、等一系列真值。变异的逻辑系统中还有模糊逻辑、 自由逻辑、弗协调逻辑等多种逻辑系统。 在经典逻辑向非经典逻辑扩充的过程中,逻辑哲学也正面临着一系列 的新问题与此同时,在经典逻辑的变异过程中,逻辑哲学也产生了相应 的变化,原来基于经典逻辑基础上的实质蕴涵受到了严峻的挑战,出现了 “假命题蕴涵一切命题”、“真命题被一切命题所蕴涵”的矛盾状况,实质 蕴涵因此受到了人们的种种质疑,并且严格蕴涵、相干蕴涵等一些有关逻 辑哲学的新思考也应运而生。 在经典逻辑的扩充中,面对逻辑哲学问题的新思考,人们也有一些新 的解释,最典型的就是可能世界语义学的发展对逻辑哲学相关问题所做出 的解释。在原有一阶逻辑的基础上,我们可以相对直接地断定事物的“真”、 “假”或“有意义”、“无意义”。但可能世界语义学使得逻辑哲学中的一 些问题不能轻易的得出结论,因为对于一个命题而言,考虑它的“假”或 “无意义”的情况,就必须要考虑它在包括现实世界在内的各种可能世界 中的情况。可能世界有无数多个,现实世界仅仅是众多可能世界中的一个。 1 4 第1 章弗雷格概念文字思想的解析 用可能世界来解决逻辑哲学的相关问题,就必须建构一个包括所有可能世 界的集合w 、可及关系r 和赋值v 的三元组 的模型。利用框 架 和赋值v 来解释逻辑哲学中的命题的理论、逻辑真理论、存在 理论、摹状词问题以及逻辑悖论问题和其他一些问题,这是逻辑哲学中一 个非常有用且必须要十分重视的方法和工具。所以说在当代,逻辑哲学所 面临的挑战是巨大的,但其可获得的发展契机也是巨大的。逻辑哲学在解 决数理逻辑中一些哲学背景问题的同时,数理逻辑也在以其自身的发展不 断地丰富着逻辑哲学的知识框架,使逻辑哲学在当代的发展更加突显科学 化、严谨化和形式化的趋势。 1 3 本章小结 本章主要从概念文字的建立构想、三项重要思维原则,以及它对数理 逻辑和逻辑哲学的影响这三方面对概念文字思想进行了解析。通过研究可 以看出,+ 含义与指称最初发源于概念文

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论