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

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

简论二维记法的概念文字

图形及其逻辑的研究正在吸引越来越多的注意,而现代逻辑自诞生起就以一种二维记法——弗雷格的概念文字出现.同时代的皮尔士也以二维方式建立了一套逻辑图形系统——存在图.为了探讨弗雷格的概念文字和皮尔士的存在图之间的联系,在阐述弗雷格的概念文字的相关内容的基础上,根据已有的研究进展,利用《形式的规律》以及皮尔士存在图的一些思想把弗雷格逻辑图形看成是一种信息处理网络,由此我们可以看到弗雷格蕴涵图与皮尔士推演指号及其内部结构之间的类似之处.     

皮尔士逻辑语义学思想

模型论肇始于20世纪30年代初期，一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等，“成名”于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析，也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C·S·皮尔士的博弈论语义学和可能世界语义学等模型论思想。     

逻辑函数功能的语言描述

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

浅析藏传因明的发展与特点

因明,梵文Hetuvidya的意译,古印度的五明（声明、工巧明、医方明、因明、内明）之一。因,指原因、根据、理由;明,含有知识、智慧、学术等义。因明是佛教从印度古典逻辑中发展出来的逻辑系统,除研究推理、论证等逻辑形式外,也包括探讨认识活动的形式、过程、结果,以及判断知识真伪标准的量论。因明也被分为印度因明和藏传因明以及汉传因明,文章就藏传因明的发展与特点来阐述作者的观点。     

皮尔士的符号心灵观

针对笛卡尔式的心灵观念,皮尔士提供了一种关于心灵的符号学分析,认为所有的心理事件都是依据符号而展开的有效推理。这样一来,思想并非居住在人的头脑里面（笛卡尔的观点）,而是居住在我们用来交流的公共符号结构里,所以在本质上是公共的。皮尔士的这种心灵观完美地体现在其＂思想-符号＂理论之中。     

从“谱系语文学”“发生学”到数字人文的认识论思考

谱系语文学（Stemmatic philology）对于人文学的意义如同古典力学之于自然科学，它早期聚焦于古典抄本的形式化探索，在19世纪随着语言学的发展，受生物学科的影响，简化为注重世系继承关系的谱系法（Genealogy，中文又译“发生学”）。前者注重亲缘关系，可能是一个树状或网状关系图；后者更像一个线形图。福柯为Genealogy更多赋予了发生学及事件性特征，他正是受到语文学家尼采的启发。尼采揭示了古典文本追溯起源时的非本质主义和偶然性。在当代，面对海量的手稿/文本/语言/物种/形式规则系统，谱系学更多与生物学互动，它通过计算机和大数据抓取，又回传给了人文学成为“新谱系学”。明确两个外文词可能出现的同词混译，它是树状的Stemmatology还是线状的Genealogy，不仅是知识侨易的，更是认识论的。     

皮尔士的逻辑人生

皮尔士早年曾受严格的逻辑训练，坚持以逻辑学为学术目标，一生热情地追求逻辑学的改进和应用。他的逻辑思想具有广阔的视野，对于逻辑学的发展作出了杰出贡献。然而，他作为一位伟大逻辑学家，长期不被人理解，只是在近几年才重新得到发现和重视。     

皮尔士真理观的实践意义

C.S.皮尔士是实用主义的鼻祖,其真理观在思想史上别具一格、意义深远,但通常遭遇不少误解。皮尔士的真理观直接源自其作为指号学一部分的逻辑学,皮尔士从实用主义的认知原则出发,得出了真理是信念的确定这一判断,进而将真理视为一种逻辑探究的过程。这种观点启发了波普的证伪论,而皮氏采用的指号学三维分析法突显了社会实践的重要性,也只有在人类实践的历史发展过程中,真理本身存在着的逻辑性、过程性与社会性才会统一起来。     

感知——解读皮尔士符号理论的关键

美国哲学家查尔斯.桑德斯.皮尔士符号学理论的核心内容可以用存在本身、符号表征、意义指示等来概括,连接这三个核心概念的枢纽是感知,这是解读皮尔士符号思想的关键。这从皮尔士符号思想的来源、形成（对符号的界定、符号分类方法、符号意义诠释）及对其他学科发展的影响可得到印证。     

试析黑格尔对形式逻辑的误解

形式逻辑不是思维科学，而是关于推理的形式科学，辩证逻辑与它并无高低之别。其逻辑规律是语言世界中关于推理形式的规律。从现代逻辑观点看，黑格尔所谓“甲是甲”（“ａ＝ａ”）的命题形式包含（陷于）矛盾，是空洞的、抽象的同语反复，违反形式逻辑本身，“一切东西（事物）和它自身同一”等意见，完全是他从逻辑方面或从本体论方面对同一律等三律乃至形式逻辑的误解     

论现代哲学两大基本派别的基本关系

论现代哲学两大基本派别的基本关系商志晓一现代哲学是指在近代哲学（资产阶级哲学的古典形式）终结之后从１９世纪中叶产生和流传的各派哲学，它是资本主义危机的产物，是资本主义衰退和社会主义开始发端之社会发展趋势的反映。现代哲学包括马克思主义哲学、现代西方皙学...     

词项周延性的一阶语言定义

词项周延性的一阶语言定义陈慕泽（中国人民大学哲学系）本文尝试在一阶逻辑中给出词项（一元谓词）周延性的一个形式定义，以克服传统逻辑在这个问题上的含混。什么是“全部外延被断定”，在传统逻辑中缺乏明确的界定，这不可避免地会带来含混词项周延性是传统逻辑的一个...     

有限自动机的状态—反应转移图与准正规算法

找出以状态-反应转移图给定的有限自动机的准正规算法,以此把有限自动机作为准正规算法的一个特殊类。在准正规算法的基础上,形象地比较有限自动机,正规算法及算法逻辑图式。     

阅读古典著作是创新的基础

从古典的概念出发，结合目前外语科研学术界的现状，论述古典作品与时代创新的关系。文章指出，创新来自古典，古典是创新的源泉。离开古典，创新是无本之木，无源之水。目前外语学科研究者有两大弱势：一是基础理论功底薄弱，有关知识结构不完整；二是古典知识后劲不足。没有母语文化的国学基础，经史子集，无一通达，外国语学习中，古典著作阅读甚少。这就造成外语科研难以创新的局面。建议：（1）成立研究古典的学术团体；（2）改变学术期刊厚今薄古的倾向，设法创办讨论古典的期刊；（3）作为一种修养和基础，倡导师生阅读古典著作；（4）呼唤学界对古典的讨论；（5）呼唤现代研究与古典结合。     

当代西方“新贸易理论”评析

随着世界经济全球化、一体化的发展，国际贸易倍受人们的关注，作为反映实践而又指导实践的贸易理论近年来也异常活跃。总体上来说，自由贸易论依然为其主导，但在实践中贸易保护的倾向却非常明显。本文旨在分析贸易理论演变的逻辑，尤其是近年来“新”贸易理论的创新特点。一、西方国际贸易理论的历史演变从经济学说史上看，国际贸易理论可追溯到十五世纪末，十六世纪初的重商主义学说。此后有斯密的“绝对成本说”（1776），李嘉图的“相对成本说”（1817），这些被称为“古典贸易理论”。二十世纪初，瑞典经济学家赫克歇尔（1919）和俄林…     

论辩证矛盾和逻辑矛盾的区别及识别

本文认为辩证矛盾的逻辑公式是（Ａ１，２）［Ａ１，２是（Ａ１○Ａ２）］，逻辑矛盾的逻辑公式则是（Ａ１）［Ａ１是由Ａ１∧Ａ１］，二者存在着７个方面的根本区别。“Ａ是Ａ又不是Ａ”只是一种自然语言形式，而不是逻辑公式，它在不同语境和条件下，可以表达辩证矛盾，也可以表达逻辑矛盾。要想正确识别这一语言形式表达了何种矛盾，就必须对该语句谓词的矛盾语境情况、整个语句的条件限制情况，以及其谓词内部是否存在着个别与一般等辩证关系进行语义分析，并且要正确补充被省略的语句成份。     

哲学逻辑概论

哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。     

单称判断的主项是单独概念还是普遍概念

关于单称判断逻辑形式公式及其解说，在现行的逻辑教材中存有分歧。多数教材给出的逻辑形式公式为：“这个S是P”与“这个S不是P”，并认定单称判断的主项是一个单独概念。少数教材给出的公式为：“（某个）S是P”与“（某个）S不是F”，认为单称判断的主项有两种情况，即有的是单独概念，有的是普遍概念。本文对它们分别作了评析，指出其存在的问题。文章认为，要正确理解单称判断的逻辑形式和准确刻划，关键在于确定单称判断的主项是一个普遍概念。     

潘梓年与逻辑学──潘梓年逻辑思想散论

潘梓年与逻辑学──潘梓年逻辑思想散论沙青，张小燕毛泽东的评语近一个多世纪，西方一直在致力于现代逻辑科学的发展。从亚里士多德和斯多葛派的古典形式逻辑到十九世纪末和本世纪初，随着现代科学的发展，弗雷格和罗素建立了形式科学的数理逻辑。而本世纪三十年代至今，...