逻辑图:从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。     

逻辑图：从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。     

概念文字的数学背景及哲学意味

概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具.它为求真而创立,适用于科学研究,对于人们日常所用并不适用.概念文字经过进一步改进,“将能够成为哲学家们的一种有用工具”.这种运用首先是一种逻辑分析方法,而不是形式化方法.弗雷格明确地区分了未加判断的“纯表象组合”与判断,也区分了语句与语句所要表达的“概念内容”；他使用自变元和函数取代语法结构中的主词和谓词.以上二方面基本上奠定了概念文字逻辑分析方法的核心.概念文字中并没有严格清晰的语法与语义概念.     

弗雷格的普遍主义的逻辑概念

弗雷格认为逻辑是一门科学。逻辑原理不是模式的,而是被充分解释的真正真理。这标志着弗雷格的逻辑概念与当代流行的概念有重大的差异,也与他最重要的先驱康德和最重要的继承者维特根斯坦的概念有重大的不同。二者均不认为逻辑构成一门知识体系。逻辑只是辅助于科学而不是科学本身。维特根斯坦认为逻辑的＂真＂是空洞的,康德则认为逻辑只是一种形式的限制,符合逻辑只是达到真理的一个必要条件。弗雷格还认为逻辑形式化处理的目的并不是满足一种元逻辑研究的需要,而在20世纪这被看作是逻辑形式化的主要的目之一。弗雷格认为形式化的目的在于推理的严格性,＂概念文字＂是一个工具而不是逻辑研究的对象。逻辑是普遍的,任何论题,任何话语都归属于逻辑以及它所提供的思想的普遍框架的范围之内。     

弗雷格的逻辑主义之路

本文意在较为详细地考察弗雷格把算术还原为逻辑的工作.首先,我们指出<概念文字>中的逻辑本质上是完整的二阶逻辑,并介绍弗雷格对数学归纳法的处理;其次,我们简单地讨论<算术的基本定律>中的逻辑;最后,仿照Burgess与Heck的著作,我们给出一个大致符合弗雷格想法的逻辑,在此基础上讨论弗雷格如何发展算术、罗素悖论的产生、...     

对弗雷格《概念文字》的解读

弗雷格的《概念文字 :一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。然而这本书很难理解。本文旨在揭示弗雷格构造人工语言的思路 ,并把他的符号系统与现在流行的逻辑符号相比较 ,希望它多少能起到通往这部逻辑经典的梯子的作用。     

弗雷格的“普遍性”思想——基于句子图式的视角

“普遍性”是弗雷格概念文字的初始符号。弗雷格有关“普遍性”的探讨其实是关于全称量词的探讨,他基于“普遍性”符号,从现代逻辑的视角对全称量词进行了说明。在这样的说明下,全称量词是表达思想的普遍性的语言标志,全称量词的涵义是思想的一部分,全称量词的意谓是二阶概念,它通过对个体域的限定,从而对(一阶)概念加以限制。运用概念文字,弗雷格揭示了自然语言中表达普遍性思想的句子的逻辑形式。借助于王路教授提出的句子图式,可以从语言、涵义和意谓三个层面分析弗雷格关于“普遍性”的思想。弗雷格的“普遍性”思想对现代逻辑和语言哲学都具有重要的理论意义。     

逻辑函数功能的语言描述

逻辑电路的功能就是电路所代表的逻辑函数的功能,通常用函数表达式、真值表、卡诺图、逻辑图来表示,作者在此文中提出了逻辑函数一种新的表示方法——语言描述。     

论“真”之概念主导下的语言分析之路——重释弗雷格的“指称”理论

在弗雷格将逻辑概念"真"引入语言的分析后,语言意义的逻辑结构及其呈现的方式和过程便发生了全新的变换;"真"对于语言存在的世界而言集中体现为语言意义的判定标准,并奠基于语言句子与世界中"事实"的关系;在凸显语言句子与事实之关系的弗雷格概念里,"指称"无疑成为了语言哲学研究的最重要的概念之一。文章立足于弗雷格本意的"指称",探究"指称"过程中所实现的语言与世界的存在关系、语言与世界的确立关系,以及句子之真值结果的获取条件;重释弗雷格的语言分析就在于回到弗雷格语言思想自身,并力求确立形式化语言研究在弗雷格那里的"实在论"基础。     

弗雷格逻辑概念前后期的变化

弗雷格早期的逻辑概念深受康德逻辑概念的影响,但后来他逐渐放弃了与康德逻辑概念的紧密联系。弗雷格脱离康德逻辑观点的主要理由固然与确立逻辑主义还原公理系统逻辑性要求有关,但弗雷格日益增强的反心理主义是他拒绝康德逻辑观的更深和更重要的理由。     

陆九渊"六经注我"的生命实践诠释学

陆九渊提出:“六经注我,我注六经。”又说:“学苟知道,六经皆我注脚。”在他看来,六经乃圣人的“写心之书”。圣人之心与我之本心不异,如能照自己的本心天德去做,便是真能发挥六经者。堂堂正正地做人,是人生第一等的学问。因此人应致力于道德实践,成就完美人格。果能如此,六经便成为自己的注脚。陆九渊无一部经学注疏之作,他以生命实践为经典诠释的形式,相比之下,儒者注经成了等而次之的学问了。     

关于孟子思想之新诠释--以政治思想为中心

孟子的“仁义论”是综合原始儒家的“仁”论与前期墨家“义”论而形成,但是孟子将“仁义”概念结合于他的“心性”概念,从而创造出新的涵义。由此,孟子政治哲学确立了超阶级的普遍性与道德对于世俗权利的优越性。我们将具备此含义的孟子之政治思想称为仁义的政治思想。我们将从以下三个方面进行探讨:仁义政治思想的基本内涵;构成仁义政治思想的思维方式;以及其思维方式所蕴涵的意义与问题。     

中世纪记谱法研究

记谱法就是记录乐曲的方法。无论是在中国还是西方或是其它地方，记谱法在音乐发展史上占有不容忽视的重要位置。中世纪这个阶段的记谱法，对音乐只是大概的、模糊的记录。即使当时的记谱法还处于模糊记谱阶段，但这些记谱法的出现和发展，有力地促进了当时音乐的传播和交流，也促进了不同地区、不同民族音乐文化的发展。     

基于括号表示法的一阶逻辑系统

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。     

中国传统音乐记谱法的社会学释读

传统记谱法的生成与运用有其独特的背景,在以文人音乐为主导的独立记写符号体系内,减字谱、工尺谱等谱式形成强化了其外在本体特征与文化特征.在商品经济主导的美学理念主宰下,以各种记谱法为重要而内在的物化符号载体,应当得到技术保护与文化加固.对抗畸形的"经济康采恩"模式的文化理念,这种保护与加固,是传统文化在当前生态下积极的保护策略与传承措施.     

古汉语注音方法及古韵书

汉字语音随着时代的发展而改变.古人使用过许多注音方法,其中最有影响的是反切注音法.韵书是在注音的基础上产生的,并根据一定的社会需求走上不同的发展道路.     

竹添光鸿《左氏会笺》义例浅释

《左氏会笺》是一部汇释《左传》的重要著作,其注释体例很有特点,笔者已撰文作过些讨论,文章拟继续归纳出以下几条：观文为说、未闻阙疑、辨析考索、经史结合,加以阐扬,旨在明其注述之方,通其治《左传》之门径。     

《尔雅郑注》的音注体例

郑樵《尔雅注》有一些较具特色的注音体例，挖掘这些材料能够促进汉语语音史研究的进一步完善，也能够补益方言史研究的某些问题。文章把这些注音体例列举出来，主要是体例描写，同时还对郑樵在不同文献中分别使用“某某反”和“某某切”截然不同的问题、多字并排直音注音的问题作了一定的语言学解释。     

《尔雅郑注》的音注体例

郑樵《尔雅注》有一些较具特色的注音体例,挖掘这些材料能够促进汉语语音史研究的进一步完善,也能够补益方言史研究的某些问题。文章把这些注音体例列举出来,主要是体例描写,同时还对郑樵在不同文献中分别使用"某某反"和"某某切"截然不同的问题、多字并排直音注音的问题作了一定的语言学解释。     

《黄帝内经太素》杨上善音注校议

杨上善为《黄帝内太素》所作音注有一特殊情况 ,有的是俗体字所为 ,有的是传写所讹 ,有的系形近而误 ,有的由音理乖逆 ,有的是破读、训读等原因所致。辨识之 ,便于看清杨上善音注的特点 ,也有益于研究俗体字、校勘等方面的内容。