关于一阶逻辑形式系统中概括规则的注记

本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响．     

Winkler汛基上四边固支矩形板的动态响应

针对Ｗｉｎｋｌｅｒ地基上四边固支矩形板的振动问题的复杂性，提出了一种不同于文献「１」的方法，但适于计算机计算的迭加法，作为特例，文中对三种动态问题进行了计算，取得了令人满意的结果。     

二维复常（变）系数线性微分系统的通解公式

此文是文「１」的续篇，先提出一个引理，借助该引理，广义特征方程、变量替换，以及文「１」的结论、具体给出了三类二维复常系数线性微分系统与一类二维复变系数线性微分系统的通解公式。     

正确理解哥德尔不完全性定理

借澄清对哥德尔不完全性定理若干误解的机会，以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容：第一，一个不弱干初等数论的形式系统，如果一致，则不完全；第二，这样的形式系统如果一致，则这种一致性在系统内不可证。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

一种新钕穴合物的合成,表征和电喷雾质谱研究

采用文献「１」合成的穴醚配体Ｈ３Ｌ与Ｎｄ（ＮＯ３）３．６ｈ２Ｏ反应得到了１种新型钕穴合物，并采用多种手段对其进行了表征，对电喷雾质图中各峰族的同位素分布进行了计算归属。     

假设连词‘脱‘是合音词

马中锡《中山狼传》有「脱有祸,固所不辞也」的句子,其中「脱」字一般注本多作「假设」讲。我以为:「脱」字本身并无「假设」义,当是「倘或」的合音词。《说文·肉部》:「脱,消肉臞也。」段玉裁注:「消肉之臞,臞之甚者也。今俗语谓瘦太甚者日脱形,言其形象如解蜕也,此义少有用者。今俗用为分散,遗失之义。」这说明它的本义和假借用法都没有「假设」的意思。看来纯粹是声音关系。「倘或」二字急读就是「脱」。《吴子·励士》:「脱其不胜,取笑于诸侯,失权于天下矣。」《后汉书·李通传》:「事既未然,脱可免祸。」《北堂书钞》七十三引谢承《后汉书》:「袁史则故御史珍之孙,何为苛罚?脱有     

「～～んです」句型的“再认识”机能

「～～んです」句型在日本的研究可谓兴盛,但在中国却极为少见,只有为了初级教育而浅见于各种教科书中的解释说明,且缺乏体系。一般的中国日语教科书,对「～～んです」句型的说明主要着重于"强调"、"说明理由",而且导入时期太晚,造成「～～んです」句型的误用。但是「～～んです」句型本身却有着"需要使用而不使用,总有不妥之感;无须使用而使用,则会造成无礼且不自然印象"的重要性。可以这样说,如若不能系统地领会「～～んです」句型的机能,即使不犯语法范畴的错误,也难以使用正确的日语。笔者在本文之中,将参考文学作品,影视作品以及日本人日常用例,对「～～んです」句型的机能进行再次研究整理。     

宋史岳飞·张宪·牛皐·杨再兴传考辨

一考原一、官史中的岳飞和家传中的岳飞二、「南渡四将传」和「南渡十将传」三、「鄂王行实编年」和「四将传」中岳飞传的源流关系四、「四将传」中的岳飞传和宋史岳飞、张宪、牛皋,杨再兴四传的源流关系     

日语敬语分类法探究——以「謙譲語Ⅱ」为中心

「謙譲語Ⅱ」的性质更接近于「敬体」的性质,应把「謙譲語Ⅱ」和「丁寧語」作为「文体」来考察,当做敬体形式来处理。同时,将「謙譲語Ⅰ」归为「素材敬語」,这样就可以解决「謙譲語Ⅰ」和「謙譲語Ⅱ」难以区分的问题。     

茶道中的哲学意味

在哲学的百花园中,日本茶道是乱世之中诞生的一枝典雅芳香的花朵。村田珠光创立的草庵茶,其茶道精神为「寂び」与「侘び」。「寂び」与「侘び」吸收了禅宗＂空＂＂无＂的哲学成分,是在＂茶禅一味＂思想的影响下形成的。但是长久以来,学界将「侘び」误认为「佗び」且忽视了「寂び」与「侘び」为何并立。千利休提炼出＂和·敬·清·寂＂的茶道精神,充实了茶道哲学的内涵。＂和＂＂敬＂吸收了儒家的中心思想,＂清＂＂寂＂是对「寂び」与「侘び」的继承和发展。     

日语中近义词的分析——「かなしい」和「さびしい」

在日语的学习和研究中,常常会遇到一些近义词,通过分析「かなしい」和「さびしい」不可互换的例句来探究「かなしい」和「さびしい」在意义上的区别。同时,再通过分析「かなしい」和「さびしい」可以互换的例句来研究同一个句子在使用「かなしい」时和使用「さびしい」时其意思上的不同之处。     

认知语义学视域下「打ち～」的语义研究

以认知语义学的核心含义图式论为指导，以复合动词「打ち～」为研究对象，在单纯动词「打つ」的核心含义图式的基础上，通过实例分析，可以构建「打ち～」复合动词的A、B、C、D4类意象图式。当「打ち～」属于A类、B类时，认知焦点为共通要素“对象物的位置、性状变化”，「打ち」具有实际语义。不同之处是A类复合动词的力和对象物的位置、性状都是具象的、物理性的，而B类复合动词的力和对象物的位置、性状都是抽象的、非物理性的。当「打ち～」属于C类时，认知焦点为共通要素“力的施与”，「打ち」起使复合动词的语感更加生动的作用。当「打ち～」属于D类时，认知焦点由“力的施与”转向“某个动作”这一共通要素。此时，「打ち」只是构词成分。认知焦点不同，复合动词「打ち～」中「打ち」的虚实程度也不同。焦点从主体到对象物再到力的变化过程，体现了「打ち」的语义由实到虚的变化过程，具有连续性。     

日语颜色词的「語種」分析

日语词汇按照来源的不同可以分为「和語」、「漢語」、「外来語」和「混種語」四种。颜色词是根据概念意义划分出来的词类,主要用来描写自然界各种事物的色彩。本文对日语颜色词进行「語種」的调查,分析了日语颜色词各「語種」的构成比率和特征。     

「しだ」和「しな」的关系

「しだ」和「しな」这两个词在日语中都有表示时?时候的意思。通过对这两个词的考察和分析,得知「しだ」是日本古代奈良时期使用的词;「しな」是从近世的江户时代开始使用的词。「しだ」是「しな」的古语形式;「しな」是「しだ」的转音。这是由于发生了辅音相通的音韵交替现象,「しだ」才转变成了「しな」。     

日语方言用语粗考

一、日常生活中的一般概念 1.「お国言葉」方言,土语 这是一种能够分辨出说话人是来自日本哪个地区的一种地区性语言,跟 「方言」表示的意义接近.不过「方言」是与「標準語」、「共通語」等同一级别并且意义对立的概念,是只能在特定区域使用的社会价值不高的语言.而与之相对的「お国言葉 」则是没有相对应的意义对立的概念,而且也没有那种社会价值不高的感觉.「お国言葉 」不仅在语音方面,文法、词汇等也包含在内的较全面的概念.所谓「お国言葉」的「国」是日本大名时代的「国家」的意思.另外,「お国言葉 」还在向外国人询问对方本国语言时使用.     

あいだに」和「ぅちに」的差异分析

从共时的角度考察日语中由「あいだに」和「うちに」构成的时间复句的用法.考察结果显示,「あいだに」和「うちに」均表示一定的时间范围,多数情况下可以互换,但二者存在情感色彩上的差异.「あいだに」仅用于客观陈述主句谓语的时间范围;而「うちに」在表达时间关系的同时还可以表示前后项事件之间的因果关系或伴有说话者主观的紧迫感或意外感的语气.「うちに」这些用法来自「うち」所具有的[对立性]这一语义特征.     

朱熹理一分殊的理气论与冯友蘭新理学之对比研究

旨在针对冯友兰建构新理学形上学四项核心概念:「理」、「气」、「道体」与「大全」与朱熹哲学相对应之核心概念,进行对比性之研究。冯先生深受英美实在论的逻辑分析法之影响,认为这是正的形上学方法。他以这种方法对朱熹形上学相对应的概念进行了格义式的诠解,他自谓其新理学形上学不是照着朱子的讲法讲,而是接着讲,企图发展出一套新的中国哲学之形上学。朱熹的理气可分不可离,且富有机性的联系。朱子的「无极而太极」以「无极」来描述最高实有「太极」之形上属性。冯先生的理、气、太极、道体皆为真实(本体)之抽象思辨所得之概念,与朱熹机体宇宙论格格不入。冯先生真际与实际(现象世界)之割裂虽不契于朱熹的理在气中之宇宙观,然而,他引介西方新实在论来重构新理学之尝试和成果,为中国传统哲学之未来可能发展,提供了新视域、新思维法、诠释法,启迪之功不可没。     

論在古代漢語中為不能作語氣詞

在古漠語中,有两大类型句子里的「为」字自清朝以来被許多学者誤認为是語气词:一种是「何以……为」类型句子里的,另一种是「无以……为」类型句子里的。其实这些「为」字都是动詞。为了說明「为」是动詞,我們先列出这两大类型的例句,然后再加以分析、論證。     

浅析日语在中国的传播历程

中日两国是一衣带水的邻邦，两国有着悠久的交流史，而语言必然是交流的工具和先行。任何文化交流包括文字交流必然是双向的，作为日语，其在中国的传播，以及中国人对日语的理解与接受是一个较为复杂的过程，其先后经历了原始「錄音（ろくぉん）」阶段、「寄語（きこ）」阶段（即翻译阶段）、「仮名（カナ）」的「伝来（でんらい）」阶段。