在对非元语言性谓词主义的近期辩护中,法拉诉诸两种称谓概念的区分,以期避免元语言谓词主义所遭遇的克里普克式的贫乏性诘难。本文试图表明,法拉的核心论证并不成立,因为其本身也面临某种令人意想不到的恶性循环。为了避免克里普克式的贫乏性诘难,法拉将面临某种不一致性;而反过来为了避免不一致性,法拉很可能被迫落入贫乏性陷阱。
在汉语语法研究传统中,谓词的界定标准大致经历了意义、形态、语法功能标准等不同阶段。尽管到目前为止,能做谓语等句法功能已经被基本接受为界定谓词的标准,但是对于什么是谓语,却没有一个明确的标准。这样的话,不但循环定义的问题不可避免,也不利于谓词和其他词类的区分。针对上述问题,本文重新界定了谓语,并在此基础上,否定了谓语与谓词的直接构成关系,指出谓语只能由谓词短语构成,谓词短语则是由谓词和限定成分构成。因此,只要...
作者:Ronald; W.; Langacker 期刊:《外国语》 2008年第01期
This paper explores the conceptual basis of finite complementation in English. It first considers the distinguishing property of a finite clause,namely grounding,effected by tense and the modals. Notions crucial for clausal grounding—including a reality conception and the striving for control at the effective and epistemic levels—also figure in the semantic import of complementation. An essent...
学界一般根据"题元指派一致性假设"用题元等级安排论元的句法实现,但问题是各家在题元等级的设置上并不一致.而且,论元实现时还会出现数目的增减与题元的倒置.为了解决论元的句法实现问题,"功能范畴假设"可能是一种思路."功能范畴假设"认为功能范畴决定着移位与合并,包括论元的选择与题元的指派.这样一来,论元的增减与题元的倒置可以归因于扩展谓词的功能范畴,各家的题元等级其实也只是句法衍生过程的不同阶段的题元的线性次序.
作者:许慈惠; 朴仙灵 期刊:《外国语》 2017年第06期
日语格助词在"名词+格助词+谓词"的结构中表示名词与谓词之间的语法关系,天生具有不依赖句法语境的、抽象的本质义,在名词与谓词的语义特征及相互作用下会产生多义,而这些多义之间既非孤立,也并非是源于原型义的派生,它们只不过是本质义在不同句法语境中的化身而已。本文假设格助词カラ的本质义为"移动起点+为移动继续(发展或变化)留下矢量"。而在基于语义特征的句法语境中产生的多义各自所对应的正是始终如一的、抽象的...
调核是提示信息焦点的一种重要手段。然而,调核提示的成分在以下三种情况下落在预设命题之中。1)叙实性谓词的补足部分是预设的事实,此时接受调核不是由预设命题所指的预设状态所决定的,而是由于调核成分所指处在焦点范畴之内,与整个大命题之间有着焦点关系;2)从属从句表达的内容通常为话语理解提供背景信息,是为听话者所知道的信息,一般无须接受调核。但有时调核却落在从属从句中是由于其所指虽可及但未激活的事实决定的;...
作者:刘瑛 期刊:《洛阳师范学院学报》 2005年第01期
正反问反问句是一种比较特殊的反问句, 它主要运用于口语语体中, 在抒情议论文体中很少见到. 一方面, 出现于这种反问句中的谓词呈形容词渐增的趋势, 另一方面这种句式也处于发展中, 这与社会生活的进步和发展密切相关.
作者:文翰; 胡诗国 期刊:《佛山科学技术学院学报·自然科学版》 2005年第02期
综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后,给出了"联系_选择"及其拓展"联系_选择_投影"两个重要的复合操作的优化算法,提高了查询的执行效率.
彝语功能范畴D(su33)的EPP特征较强,逼迫着其补足语移到其指示语位置,占据D指示语位置的成分,实际上就是其补足语.补足语反映着谓词论元的句法实现,由于彝语谓词在后,所以形容词、动词位于(su33)的补足语的末尾;由于领属短语中存在抽象谓词,所以作为抽象谓词外部论元的领有者前于作为内部论元的领有物,构成"名词或代词+中心语"构式.
作者:王向前; 洪一; 郑启龙 期刊:《计算机应用研究》 2018年第01期
谓词执行是在控制流存在的条件下可以有效挖掘指令级并行性的硬件机制,而在分簇结构上实现谓词机制,可以提高分簇结构上条件的执行效率。针对分簇结构展开谓词体系结构的研究,提出了分簇结构部分谓词的高效实现方法,以及基于循环展开的分簇结构部分谓词支持框架。实验表明,提出的分簇结构部分谓词及编译框架可以很好地提高条件执行程序的执行效率,部分典型算法核心的加速比可以达到350%~500%。
作者:王向前; 郑启龙; 张仁高; 韩东科 期刊:《中国科学技术大学学报》 2019年第01期
谓词执行是有效挖掘控制流程序指令级并行性的一种机制.经典的谓词实现一般局部地逐个进行谓词计算而不能进行多谓词控制,有谓词计算路径过长等问题.针对经典谓词存在的问题,提出一种先进的扁平化谓词的实现方法,这种扁平化谓词可以全局地进行谓词计算,可以自然地进行多谓词控制.在此基础上,研究扁平化谓词的编译优化方法,给出了扁平化谓词编译优化框架.实验表明,本文提出的扁平化谓词及编译优化框架可以很好地提高多条件控制程序...
作者:方欢; 吴哲辉; 崔焕庆 期刊:《系统仿真学报》 2005年第Z1期
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.
在《范畴篇》中,亚里士多德根据能否述谓某一主词和是否存在于某一主体之中把事物分为普遍实体、个别偶性、普遍偶性和个别实体四种,再把由非复合的词语所表示的事物分为实体、数量、性质、关系等十个范畴,其中实体范畴又分为第一性实体和第二性实体。将这两种分类对应起来,普遍实体就是第二性实体,个别实体就是第一性实体,其他九个范畴就是普遍偶性,唯有个别偶性在十范畴中没有对应者。亚里士多德之所以把事物分为个别实体...
作者:徐长福 期刊:《马克思主义与现实》 2018年第04期
"《资本论》的逻辑"是列宁在比较马克思的逻辑和黑格尔的逻辑时所使用的一个术语,指《资本论》中唯物主义的逻辑、辩证法和认识论合一的理论内容。据此,学界把黑格尔逻辑和《资本论》逻辑强调为内容的逻辑,而忽略了其形式方面。实际上,《资本论》的逻辑并非没有自己的形式。逻辑形式的基础部分是句法形式,即主词与谓词的结构方式。《资本论》第1章的句法形式有:个别词(主词)+类词(谓词)、小类词(主词)+大类词(谓词)、...
读懂诗歌,其实就是要弄清作者写了什么人或什么物,这个人或物“是什么”“做什么”或“怎么样”了.而“识谓词”“辨主语”是操作性很强的方法,通过识别谓词和分辨主语,逐-解读诗题和诗句,即可读懂诗歌.
作者:贾晓琳; 覃征; 何坚; 虞凡 期刊:《西安交通大学学报》 2005年第04期
针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr...
作者:乔健; 陈彤兵; 汪卫; 施伯乐 期刊:《计算机科学》 2005年第10期
XML文档采用了树型的数据模型,对其查询通常是用带有选择谓词的模式树在XML数据中进行匹配.因此,找出XML文档中所有符合模式树结构的元素集,是XML查询处理的核心操作.本文提出了结构索引JoinGuide,并在此基础上提出了一种新的XML模式匹配方法.它使用JoinGuide来对模式树进行预匹配,这样在XML文档上查询时可以利用索引上的匹配结果来忽略部分连接谓词和不必要的候选XML元素序列.本文还提出了三种具体算法来利用索引匹配结果进行进一...
作者:张轶; 林惠民 期刊:《计算机研究与发展》 2004年第11期
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.
1.从表面上看,“很”既可以放在谓词或谓词性短语前构成“很X”,也可以放在“得”后构成“X得很”,都是表示程度的:
在语言逻辑中,实体只能作为主词,其他事物只能作为谓词述谓主词,语言逻辑赋予实体以始源性地位,实体主义把由主词和谓词所构成的语句结构转化为世界结构,由此形成了一种形而上学的错误。形而上学注重理性概念的推演,仅仅在概念之间来回摸索,它作为一种完全孤立的、思辨的理性知识凌驾于人的感性经验之上,实质是一个“人学空场”。尽管形而上学存在种种弊病,但形而上学作为一种人类探究自身本质的哲学思维方式是不能消除的...