期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
12
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
陈述语气中第二人称主语与动词谓语的选择性研究
被引量:
3
1
作者
朱敏
《南京师大学报(社会科学版)》
CSSCI
北大核心
2007年第4期144-148,共5页
第二人称主语是陈述句的有标记主语。各类动词谓语与该主语共现时表现出不同的选择性:或整个类别受到高度限制,如自主动词等;或类别倾向于受限制,如状态动词等;或类别内部不同个体受限制情况不同,如变化动词等;或同一动词在不同语境中...
第二人称主语是陈述句的有标记主语。各类动词谓语与该主语共现时表现出不同的选择性:或整个类别受到高度限制,如自主动词等;或类别倾向于受限制,如状态动词等;或类别内部不同个体受限制情况不同,如变化动词等;或同一动词在不同语境中受限制情况不同,如某些关系动词。限制原因主要来自两个方面:违反陈述语气的语用要求或者组合构成其它语气。
展开更多
关键词
陈述语气
第二人称
动词
谓语
选择性
下载PDF
职称材料
开发等式比较SQL查询语句的一种模型推理方法
被引量:
1
2
作者
杨波
薛锦云
《计算机工程与应用》
CSCD
北大核心
2007年第22期99-102,164,共5页
尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓...
尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。
展开更多
关键词
等式比较
SQL查询语句
模型推理
一阶谓词逻辑
下载PDF
职称材料
统计样本请求条件语句谓词表达式的应用研究
3
作者
丁志刚
柯莉珍
苏厚勤
《计算机应用与软件》
CSCD
北大核心
2007年第10期90-93,共4页
在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架...
在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架构中客户端填充式条件语句的获取、优化及自动生成可解析执行的谓词表达式的关键技术。
展开更多
关键词
三层计算架构
数据集市
统计样本
条件语句
谓词表达式
联机分析处理
下载PDF
职称材料
NP+VP+AP主谓谓语句的韵律句法分析
4
作者
常海星
《现代语文》
2019年第4期46-50,共5页
谓词性小主语主谓谓语句指的是由名词性成分充当大主语,由谓词性成分充当小主语,大小主语之间为陈述关系的主谓谓语句。这类主谓谓语句在整个主谓谓语句系统中产生得比较晚,它的形成过程与词汇复音化等韵律句法学现象有密切的关系。首先...
谓词性小主语主谓谓语句指的是由名词性成分充当大主语,由谓词性成分充当小主语,大小主语之间为陈述关系的主谓谓语句。这类主谓谓语句在整个主谓谓语句系统中产生得比较晚,它的形成过程与词汇复音化等韵律句法学现象有密切的关系。首先,词汇复音化使得谓词性成分的名化程度加深,从而使谓词性成分可以更加合理地出现在小主语位置上;其次,复音化引起汉语句子韵律结构的变化,使得有些句子的韵律结构和句法结构不一致,从而增加了句子重新分析的可能;再次,汉以后话题标记“之”的衰落,使得无标记的主谓结构作主语的句子大量增加,这也增加了这类主语从句向主谓谓语句转化的概率。
展开更多
关键词
谓词性小主语主谓谓语句
韵律句法
动词复音化
指称性
类推
下载PDF
职称材料
基于谓词动态切片技术的AOP测试用例生成方法研究
5
作者
王波
柴玉梅
王黎明
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1321-1327,共7页
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素....
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.
展开更多
关键词
面向方面程序设计
语句控制流图
谓词动态切片
分支函数
下载PDF
职称材料
从指称-陈述与典型性看单复句及其接口
被引量:
3
6
作者
史有为
《语言科学》
CSSCI
北大核心
2022年第4期350-364,共15页
“指称—陈述”是一对汉语特有的基础范畴,属于语用平面。语用范畴是汉语语法的重要部分。典型性是语言研究的基本原则。汉语单句(含分句)的话题是体词性或指称性的;汉语复句以分句作为话题,但却是陈述性的。这是单复句的基本区别,也是...
“指称—陈述”是一对汉语特有的基础范畴,属于语用平面。语用范畴是汉语语法的重要部分。典型性是语言研究的基本原则。汉语单句(含分句)的话题是体词性或指称性的;汉语复句以分句作为话题,但却是陈述性的。这是单复句的基本区别,也是两种不同的典型性。某些句子既可以做单句理解,也可以做复句理解,形成了单复句间的接口。接口的存在并不能否认单句与复句的典型性区别。在摆脱印欧语眼光的研究中,应该充分肯定传统研究的成果。
展开更多
关键词
指称—陈述
单句—复句
主语—谓语
话题—说明
典型性
接口
语用范畴
下载PDF
职称材料
基于语料库的汉语“相信”谓词句研究
7
作者
陈丽娜
《黑河学院学报》
2023年第1期143-145,共3页
“相信”是典型的命题态度谓词,包含“相信”的语句能够表达主体的主观态度和认知意向。运用俄罗斯语义学的元语言分析和语义语用预设理论,以北京语言大学BCC语料库收录的“相信”谓词句为语料,对其进行多维度分析,以期为汉语谓词句的...
“相信”是典型的命题态度谓词,包含“相信”的语句能够表达主体的主观态度和认知意向。运用俄罗斯语义学的元语言分析和语义语用预设理论,以北京语言大学BCC语料库收录的“相信”谓词句为语料,对其进行多维度分析,以期为汉语谓词句的研究提供新的视角。
展开更多
关键词
“相信”谓词句
语义
语用
句法行为解释
下载PDF
职称材料
话语标记“我相信”的形成及其意义或功能
被引量:
1
8
作者
豁娟
《韶关学院学报》
2020年第1期91-95,共5页
现代汉语中,“我相信”是句法成分,同时也处在向话语标记发展的过渡期,暂且称之为话语标记。在句法上,“我相信”经历了主谓短语→话语标记的转变;语义上,“我相信”也经历了判断→强调→话语标记的转变。“我相信”具有话语组织、元语...
现代汉语中,“我相信”是句法成分,同时也处在向话语标记发展的过渡期,暂且称之为话语标记。在句法上,“我相信”经历了主谓短语→话语标记的转变;语义上,“我相信”也经历了判断→强调→话语标记的转变。“我相信”具有话语组织、元语言和主观推测功能。词汇化是话语标记“我相信”形成的关键;内在的“语用推理”是促使“我相信”语法化的主要动因;“重新分析”是机制;主谓结构是其成为话语标记的基础;词汇化、语法化和主观化共同作用最终形成了话语标记“我相信”。
展开更多
关键词
我相信
主谓结构
词汇化
语法化
主观化
话语标记
下载PDF
职称材料
从弗雷格理论探讨汉语谓词成分的陈述与指称
9
作者
蔡远顺
《四川教育学院学报》
2012年第7期74-78,共5页
弗雷格的"涵义"和"指称"理论对汉语谓词性成分的"陈述"和"指称"研究具有重大且根本的影响。借鉴此理论基础并基于前人研究成果,文章总结了汉语谓词性成分(包括谓词性主语和宾语)的陈述和指称功...
弗雷格的"涵义"和"指称"理论对汉语谓词性成分的"陈述"和"指称"研究具有重大且根本的影响。借鉴此理论基础并基于前人研究成果,文章总结了汉语谓词性成分(包括谓词性主语和宾语)的陈述和指称功能,指出了谓词性主语在容器语句中的指称作用尤其突出,以及谓词性宾语的指称作用与谓词的叙实性之间的关系。
展开更多
关键词
弗雷格
涵义
指称
陈述
汉语
谓词性成分
下载PDF
职称材料
英语with并列结构的句法语义解读
被引量:
3
10
作者
于秀金
贾中恒
《外语教学》
CSSCI
北大核心
2012年第6期35-39,共5页
对于Kayne在分析两个英语句子时将介词with处理成等同于and的并列连接词情况,本文认为该句法运算操作既违反了格指派理论,也与最简方案的句法运算简约性追求相悖,提出在底层结构中将with并列结构处理成小句的方案,并在命题逻辑、谓词逻...
对于Kayne在分析两个英语句子时将介词with处理成等同于and的并列连接词情况,本文认为该句法运算操作既违反了格指派理论,也与最简方案的句法运算简约性追求相悖,提出在底层结构中将with并列结构处理成小句的方案,并在命题逻辑、谓词逻辑以及内涵模型的框架下对相关句式进行了形式语义解读。本文还指出,Kayne的处理方案为英汉有关介词的语法化研究提供了启示。
展开更多
关键词
小句
命题逻辑
谓词逻辑
内涵模型
语法化
原文传递
关于古汉语“名而动”的一点思考
被引量:
6
11
作者
傅书灵
《中国语文》
CSSCI
北大核心
2010年第5期461-468,共8页
古汉语"名而动"是"话题性主语+名+而+动"结构省去话题性主语之后,"名"向"动"贴近而形成的一种结构形式。起初"名而动"中的"名"主要是指人名词,随后扩展到专有名词、指物...
古汉语"名而动"是"话题性主语+名+而+动"结构省去话题性主语之后,"名"向"动"贴近而形成的一种结构形式。起初"名而动"中的"名"主要是指人名词,随后扩展到专有名词、指物名词以及代词。"名而动"结构定型以后,人们可以在一般主谓结构中插入"而"构成"名而动",就像在主谓结构中插入"则"、"之"构成"名则动"、"名之动"一样。"名而动"是简单的主谓陈述,是古汉语特有的一种逆情陈述结构。
展开更多
关键词
名而动
主谓结构
逆情陈述
原文传递
“存在问题”再探
被引量:
2
12
作者
冯艳
《湖南科技大学学报(社会科学版)》
CSSCI
北大核心
2021年第2期37-43,共7页
在自由逻辑系统PFL和NFL中既包含一阶存在谓词,也包含存在量词。通过对普遍存在句和单称存在句的分析,可以看出弗雷格、罗素的存在观与自由逻辑存在观的相同与相异之处。普遍存在句中"存在"是量词,而单称存在句中"存在&q...
在自由逻辑系统PFL和NFL中既包含一阶存在谓词,也包含存在量词。通过对普遍存在句和单称存在句的分析,可以看出弗雷格、罗素的存在观与自由逻辑存在观的相同与相异之处。普遍存在句中"存在"是量词,而单称存在句中"存在"是一阶谓词。通过修改PFL和NFL的语义,进而消除其空单称词项,可以得到与经典谓词逻辑等价但包含"存在"谓词的逻辑系统,其中可以将经典谓词逻辑"个体域中对象具有存在性质"这一假定直接表述出来,并能揭示出经典量词与存在谓词之间的联系。
展开更多
关键词
存在谓词
存在量词
普遍存在句
单称存在句
原文传递
题名
陈述语气中第二人称主语与动词谓语的选择性研究
被引量:
3
1
作者
朱敏
机构
南京师范大学国际文化教育学院
出处
《南京师大学报(社会科学版)》
CSSCI
北大核心
2007年第4期144-148,共5页
文摘
第二人称主语是陈述句的有标记主语。各类动词谓语与该主语共现时表现出不同的选择性:或整个类别受到高度限制,如自主动词等;或类别倾向于受限制,如状态动词等;或类别内部不同个体受限制情况不同,如变化动词等;或同一动词在不同语境中受限制情况不同,如某些关系动词。限制原因主要来自两个方面:违反陈述语气的语用要求或者组合构成其它语气。
关键词
陈述语气
第二人称
动词
谓语
选择性
Keywords
statement
modality
second person
verbs
predicate
selectiveness
分类号
H146 [语言文字—汉语]
下载PDF
职称材料
题名
开发等式比较SQL查询语句的一种模型推理方法
被引量:
1
2
作者
杨波
薛锦云
机构
中国科学院软件研究所
出处
《计算机工程与应用》
CSCD
北大核心
2007年第22期99-102,164,共5页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092)。
文摘
尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。
关键词
等式比较
SQL查询语句
模型推理
一阶谓词逻辑
Keywords
equality comparison
SQL query
statements
model reasoning
an order
predicate
logic
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
统计样本请求条件语句谓词表达式的应用研究
3
作者
丁志刚
柯莉珍
苏厚勤
机构
上海计算机软件技术开发中心
东华大学计算机科学与技术学院
出处
《计算机应用与软件》
CSCD
北大核心
2007年第10期90-93,共4页
基金
科技部技术创新基金(03C26213100895)。
文摘
在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架构中客户端填充式条件语句的获取、优化及自动生成可解析执行的谓词表达式的关键技术。
关键词
三层计算架构
数据集市
统计样本
条件语句
谓词表达式
联机分析处理
Keywords
Three-tier computing architecture Data mart Statistical sample Condition
statement
predic
ation expression OLAP
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
NP+VP+AP主谓谓语句的韵律句法分析
4
作者
常海星
机构
贵州师范学院文学院
出处
《现代语文》
2019年第4期46-50,共5页
基金
贵州师范学院2018年博士项目“《譬喻经》话题句研究”(2011BS011)
文摘
谓词性小主语主谓谓语句指的是由名词性成分充当大主语,由谓词性成分充当小主语,大小主语之间为陈述关系的主谓谓语句。这类主谓谓语句在整个主谓谓语句系统中产生得比较晚,它的形成过程与词汇复音化等韵律句法学现象有密切的关系。首先,词汇复音化使得谓词性成分的名化程度加深,从而使谓词性成分可以更加合理地出现在小主语位置上;其次,复音化引起汉语句子韵律结构的变化,使得有些句子的韵律结构和句法结构不一致,从而增加了句子重新分析的可能;再次,汉以后话题标记“之”的衰落,使得无标记的主谓结构作主语的句子大量增加,这也增加了这类主语从句向主谓谓语句转化的概率。
关键词
谓词性小主语主谓谓语句
韵律句法
动词复音化
指称性
类推
Keywords
subject-
predicate
statement
rhythm and syntax analysis
polyphony
proportionality
analogy
分类号
H14 [语言文字—汉语]
下载PDF
职称材料
题名
基于谓词动态切片技术的AOP测试用例生成方法研究
5
作者
王波
柴玉梅
王黎明
机构
郑州大学信息工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1321-1327,共7页
文摘
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.
关键词
面向方面程序设计
语句控制流图
谓词动态切片
分支函数
Keywords
aspect-oriented programming
statement
control-flow graph
predicate
dynamic slicing
branched function
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
从指称-陈述与典型性看单复句及其接口
被引量:
3
6
作者
史有为
机构
明海大学
出处
《语言科学》
CSSCI
北大核心
2022年第4期350-364,共15页
文摘
“指称—陈述”是一对汉语特有的基础范畴,属于语用平面。语用范畴是汉语语法的重要部分。典型性是语言研究的基本原则。汉语单句(含分句)的话题是体词性或指称性的;汉语复句以分句作为话题,但却是陈述性的。这是单复句的基本区别,也是两种不同的典型性。某些句子既可以做单句理解,也可以做复句理解,形成了单复句间的接口。接口的存在并不能否认单句与复句的典型性区别。在摆脱印欧语眼光的研究中,应该充分肯定传统研究的成果。
关键词
指称—陈述
单句—复句
主语—谓语
话题—说明
典型性
接口
语用范畴
Keywords
reference-
statement
single-complex sentence
subject-
predicate
topic-comment
typicality
interface
pragmatic category
分类号
H63 [语言文字]
下载PDF
职称材料
题名
基于语料库的汉语“相信”谓词句研究
7
作者
陈丽娜
机构
黑龙江大学
出处
《黑河学院学报》
2023年第1期143-145,共3页
基金
2022年黑龙江大学校级研究生创新科研项目“基于俄语国家语料库的构式理论与实践”(YJSCX2022—020HLJU)。
文摘
“相信”是典型的命题态度谓词,包含“相信”的语句能够表达主体的主观态度和认知意向。运用俄罗斯语义学的元语言分析和语义语用预设理论,以北京语言大学BCC语料库收录的“相信”谓词句为语料,对其进行多维度分析,以期为汉语谓词句的研究提供新的视角。
关键词
“相信”谓词句
语义
语用
句法行为解释
Keywords
predicate statements regarding“believe”
semantic
pragmatic
analysis interpretation of syntactic behaviors
分类号
H31 [语言文字—英语]
下载PDF
职称材料
题名
话语标记“我相信”的形成及其意义或功能
被引量:
1
8
作者
豁娟
机构
重庆师范大学文学院
出处
《韶关学院学报》
2020年第1期91-95,共5页
文摘
现代汉语中,“我相信”是句法成分,同时也处在向话语标记发展的过渡期,暂且称之为话语标记。在句法上,“我相信”经历了主谓短语→话语标记的转变;语义上,“我相信”也经历了判断→强调→话语标记的转变。“我相信”具有话语组织、元语言和主观推测功能。词汇化是话语标记“我相信”形成的关键;内在的“语用推理”是促使“我相信”语法化的主要动因;“重新分析”是机制;主谓结构是其成为话语标记的基础;词汇化、语法化和主观化共同作用最终形成了话语标记“我相信”。
关键词
我相信
主谓结构
词汇化
语法化
主观化
话语标记
Keywords
I
believe
subject-
predicate
structure
lexicalization
grammaticalization
subjectivization
discourse markers
分类号
H146.3 [语言文字—汉语]
下载PDF
职称材料
题名
从弗雷格理论探讨汉语谓词成分的陈述与指称
9
作者
蔡远顺
机构
广东外语外贸大学
出处
《四川教育学院学报》
2012年第7期74-78,共5页
文摘
弗雷格的"涵义"和"指称"理论对汉语谓词性成分的"陈述"和"指称"研究具有重大且根本的影响。借鉴此理论基础并基于前人研究成果,文章总结了汉语谓词性成分(包括谓词性主语和宾语)的陈述和指称功能,指出了谓词性主语在容器语句中的指称作用尤其突出,以及谓词性宾语的指称作用与谓词的叙实性之间的关系。
关键词
弗雷格
涵义
指称
陈述
汉语
谓词性成分
Keywords
Frege
sense
reference
statement
Chinese
predic
ative component
分类号
H14 [语言文字—汉语]
下载PDF
职称材料
题名
英语with并列结构的句法语义解读
被引量:
3
10
作者
于秀金
贾中恒
机构
上海外国语大学语言研究院
同济大学外国语学院
出处
《外语教学》
CSSCI
北大核心
2012年第6期35-39,共5页
文摘
对于Kayne在分析两个英语句子时将介词with处理成等同于and的并列连接词情况,本文认为该句法运算操作既违反了格指派理论,也与最简方案的句法运算简约性追求相悖,提出在底层结构中将with并列结构处理成小句的方案,并在命题逻辑、谓词逻辑以及内涵模型的框架下对相关句式进行了形式语义解读。本文还指出,Kayne的处理方案为英汉有关介词的语法化研究提供了启示。
关键词
小句
命题逻辑
谓词逻辑
内涵模型
语法化
Keywords
small clause
statement
logic
predicate
logic
intensional model
grammaticalization
分类号
H030 [语言文字—语言学]
原文传递
题名
关于古汉语“名而动”的一点思考
被引量:
6
11
作者
傅书灵
机构
河南大学文学院
河南大学语言科学与语言规划研究所
出处
《中国语文》
CSSCI
北大核心
2010年第5期461-468,共8页
文摘
古汉语"名而动"是"话题性主语+名+而+动"结构省去话题性主语之后,"名"向"动"贴近而形成的一种结构形式。起初"名而动"中的"名"主要是指人名词,随后扩展到专有名词、指物名词以及代词。"名而动"结构定型以后,人们可以在一般主谓结构中插入"而"构成"名而动",就像在主谓结构中插入"则"、"之"构成"名则动"、"名之动"一样。"名而动"是简单的主谓陈述,是古汉语特有的一种逆情陈述结构。
关键词
名而动
主谓结构
逆情陈述
Keywords
'NP er VP'construction,subject-
predicate
construction,
statement
against common reason or personal feelings
分类号
H141 [语言文字—汉语]
原文传递
题名
“存在问题”再探
被引量:
2
12
作者
冯艳
机构
首都师范大学文学院
出处
《湖南科技大学学报(社会科学版)》
CSSCI
北大核心
2021年第2期37-43,共7页
基金
国家社会科学基金重大项目(18ZDA031)
国家社会科学基金重大项目(17ZDA024)
国家社会科学基金一般项目(20BZX109)。
文摘
在自由逻辑系统PFL和NFL中既包含一阶存在谓词,也包含存在量词。通过对普遍存在句和单称存在句的分析,可以看出弗雷格、罗素的存在观与自由逻辑存在观的相同与相异之处。普遍存在句中"存在"是量词,而单称存在句中"存在"是一阶谓词。通过修改PFL和NFL的语义,进而消除其空单称词项,可以得到与经典谓词逻辑等价但包含"存在"谓词的逻辑系统,其中可以将经典谓词逻辑"个体域中对象具有存在性质"这一假定直接表述出来,并能揭示出经典量词与存在谓词之间的联系。
关键词
存在谓词
存在量词
普遍存在句
单称存在句
Keywords
"exists"as a first-order
predicate
existential quantifier
general existential
statement
singular existential
statement
分类号
B81-0 [哲学宗教—逻辑学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
陈述语气中第二人称主语与动词谓语的选择性研究
朱敏
《南京师大学报(社会科学版)》
CSSCI
北大核心
2007
3
下载PDF
职称材料
2
开发等式比较SQL查询语句的一种模型推理方法
杨波
薛锦云
《计算机工程与应用》
CSCD
北大核心
2007
1
下载PDF
职称材料
3
统计样本请求条件语句谓词表达式的应用研究
丁志刚
柯莉珍
苏厚勤
《计算机应用与软件》
CSCD
北大核心
2007
0
下载PDF
职称材料
4
NP+VP+AP主谓谓语句的韵律句法分析
常海星
《现代语文》
2019
0
下载PDF
职称材料
5
基于谓词动态切片技术的AOP测试用例生成方法研究
王波
柴玉梅
王黎明
《小型微型计算机系统》
CSCD
北大核心
2013
0
下载PDF
职称材料
6
从指称-陈述与典型性看单复句及其接口
史有为
《语言科学》
CSSCI
北大核心
2022
3
下载PDF
职称材料
7
基于语料库的汉语“相信”谓词句研究
陈丽娜
《黑河学院学报》
2023
0
下载PDF
职称材料
8
话语标记“我相信”的形成及其意义或功能
豁娟
《韶关学院学报》
2020
1
下载PDF
职称材料
9
从弗雷格理论探讨汉语谓词成分的陈述与指称
蔡远顺
《四川教育学院学报》
2012
0
下载PDF
职称材料
10
英语with并列结构的句法语义解读
于秀金
贾中恒
《外语教学》
CSSCI
北大核心
2012
3
原文传递
11
关于古汉语“名而动”的一点思考
傅书灵
《中国语文》
CSSCI
北大核心
2010
6
原文传递
12
“存在问题”再探
冯艳
《湖南科技大学学报(社会科学版)》
CSSCI
北大核心
2021
2
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部