排序方式: 共有44条查询结果,搜索用时 31 毫秒
31.
《广西师范学院学报(哲学社会科学版)》2015,(1):158
《广西师范学院学报》(哲学社会科学版)是广西师范学院主办的综合性学术理论刊物,国内外公开发行。是首届中国百强社科学报、第四届全国优秀社科学报、全国高校优秀社科期刊、广西优秀社会科学期刊,获广西高校文科学报一等奖。"非物质文化遗产研究"栏目是全国高校社科期刊特色栏目。本刊欢迎校内外作者投稿。尤其欢迎非物质文化遗产研究、马克思主义与民族地区发展研究、北部湾发展研究等方面的稿件。 相似文献
32.
陈慕泽 《湖南科技大学学报(社会科学版)》2012,15(1):24-26
事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A 相似文献
33.
34.
王汉清 《南京理工大学学报(社会科学版)》2003,16(6):14-17
有些逻辑理论认为,一个全称命题是真的,并未断定其主项的对象是存在的,这就给有关直言命题推理带来了困难。为使推理成立,就必须假设全称命题主项的对象是存在的。但本文认为,当谈论全称命题的真假时,其主项对象的存在就已经被设定,因此无须再进行假设。同时要对“存在”作广义的理解,而不能仅仅局限于现实世界的范围之内。这样,不仅能有效地解决直言命题有关推理问题,而且也能有效地利用文恩图来判定推理的有效性。 相似文献
35.
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对干通常的语义解释是否具有强可靠性。对必然化规则和模态逻辑系统来说有类似的结果。 相似文献
36.
余俊伟 《湖南科技大学学报(社会科学版)》2005,8(1):25-29
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。对必然化规则和模态逻辑系统来说有类似的结果。 相似文献
37.
赵楠楠 《重庆大学学报(社会科学版)》2015,21(5):160-164
乔恩·埃尔斯特利用模态逻辑来研究合成谬误,将传统合成谬误界定为谓词的不可全称量化性,进而将模态合成谬误与博弈理论相结合,提出了新型社会矛盾理论.埃尔斯特将社会矛盾界定在意向主体的社会选择层面上,从方法论个体主义出发,刻画认知主体的心智行动和实践行动,提出反终极和次优态两个模型,为逻辑方法应用于社会科学研究做出了开拓性工作.遵循埃尔斯特开辟的分析性进路,可为行动之中的类悖论困境建模,从而揭示社会竞争与矛盾的内在机制,为避免恶性竞争和消解社会矛盾探究可能的路径. 相似文献
38.
《论语》《孟子》《老子》《庄子》四书中有16个全称量限表达形式,2个特称形式。其中量限表达的特点:状语占优势;定语初步发育;特称尚无定语量项。全称表达常过度夸大。四书量项的状语和定语总词次的比是279:54。将其与《人民日报》《光明日报》相同字数的语料对比,可以把汉语量项的发展分为状语优势和定语优势两个阶段。语言中的谓语及其修饰语先发展,于是先有状语优势阶段。渐渐地量项由主谓双管过渡到专管主语,是认识的精细化。汉语今天已处于定语优势阶段,而造成的这种转变的时间和机制还有待研究。从四书和儿童语言的情况看,全称、特称和单称命题的起源顺序应是单称→全称→特称。 相似文献
39.
《青春岁月:学术版》2013,(15)
尽管法语跟汉语属于不同的语系,但是都存在量化现象。前人,如刘丹青,李思旭等,都对汉语的量化现象做了分析,但是目前很少有人涉及到法语和汉语量化的对比分析。文章通过对汉语和法语两种语言的量化词进行梳理和比较,以期能使学习者对法汉量化有一个比较清晰的了解。 相似文献
40.
分别对汉语中以句首“有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。在最后部分对汉语歧义量化句在Prolog语言的环境下做了个案的语义自动分析的实现。 相似文献