指称,本质与认知

指称理论,因其与意义理论和真理论的密切相关性,在语言哲学乃至分析哲学中占据着相当重要的地位。众多著名学者都试图给出完整可靠的指称理论,其中比较著名的一派就是罗素、塞尔等人所发展起来的摹状词以及之后的簇摹状词理论;相应的另一派则是以克里普克以及普特南为代表的直接指称理论。本文指出两种流派各自有值得商榷的地方,二者都不能够达到最严格精密意义上的指称。通过研究分析,本文认为克里普克所做的相关研究工作,并不是对罗素理论的否定,而是另一种形式的继承和发展。     

相干逻辑关系语义的推理解释

关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。     

人生的作业簿

<正>"妈妈,才刚开学没几天,我们的数学老师就出了一份超难的作业!大家压力都好大,好累啊!"记得小女儿加加刚升上九年级的时候,有一天才刚放学回家,就垮着脸跑来向我诉苦。我一边安慰,一边聆听女儿转述这位老师的一段亲身经历,让我颇能体会在这份作业背后的用心良苦。不同态度不同境遇这位老师有个双胞胎哥哥,而他们兄弟俩都有一个共同的缺     

庄子:灵魂的巢

我们在尘世飞翔,有时疲惫不堪。这时我们是一只小小鸟,渴望有一个栖息的巢。在纷扰的尘世间,有这样一棵大树。这是一棵无用的大树,其木材不能用来制造恢宏的宫殿,也不能用来制造舟车、棺椁、户枢。这是一棵无用的大树,但是枝繁叶茂,浓荫匝地,其广阔的阴凉甚至可以遮蔽数千头牛。在这样一棵无用的大树上,有一个温暖而干燥的巢,对于那些疲倦的灵魂来说,这是一个美丽的家。我们都是尘世间奔波不息     

让爱不再两难

"不好意思,我身上的钱不够,可不可以给我零钱坐公交车?"这天,我带着两个女儿和母亲一起出门,在等公交车的时候,有个陌生女子走上前来开口询问,母亲便掏出几枚零钱递给对方。表达爱心各有其法"外婆,您怎么知道她真的没钱?说不定她是骗您的,为什么您还要给她呢?"小女儿加加在旁问道。母亲微笑着说:"因为我也曾遇过需要别人伸出援手的时     

主内交通两则

以问号结束的经卷 《约拿书》是全部圣经中唯一以问号结束的经卷,没有记载回答,似乎没有结尾。它真的就这样结束了吗?读完此书令人感到意犹未尽,百思不得其解,约拿最后究竟怎么样呢?     

慈悲的温暖

记得一位大德说过：“可怜人、同情人、原谅人、关怀人等都可以算是慈悲精神的表现。慈悲的主要目的是心中无敌。无敌是心中没有敌人,没有过去的宿仇,也没有现在的怨家,更不制造未来的对头。所以不是仗权势而称无敌,也不是凭财力而称无敌,更不是靠武力打败一切人而称无敌,乃是以慈悲心照顾、原谅一切人。”     

资本逻辑与现代性——马克思哲学视野中的现代性批判

资本逻辑作为现代世界里支配一切的最高原则和体系,实际上体现的正是现代性的本质和逻辑,但这一本质和逻辑却具有“解放”和“奴役”并存的内在矛盾和困境.在超越资本逻辑、拯救现代性危机的回到“前现代性”之路、走向“后现代性”之路等不同道路中,马克思的“超现代性”——“通过现代性而扬弃现代性”之路是一条最为可行的选择.     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。