Results 1-20 of 981
 | 
会议论文
徐春; 刘文静
1998
[ABSTRACT] 杰里米·里夫金在《熵:一种新的世界观》一书中写道:“人类文化与自然之间的人为分离是牛顿时代的特征,在未来的太阳能时代里,这两者将重新融合。‘自然中的人’将取代‘对抗自然的
[KEYWORDS] 生态文明; 杰里米; 人的现代化; 里夫; 人与自然; 人类文化; 生态危机; 生态伦理学; 和谐发展; 现代化建设
会议论文
杨辛; 章启群
1994
[ABSTRACT] 一经过两千多年沧海桑田的历史变迁,长城作为战争防御工具的实用性功能已经消退,而它的审美特性却在历史的演进中不断积淀、增长。从审美的角度看,长城完全可以被视为一件伟大的艺术作品,成为我们民族精神、审美理想的象征。长城的实用性功能消退和审美功能增长的双向历史演进,可以说是世界各国许多古代文物的普遍...
[KEYWORDS] 古代文物; 美学问题; 普遍性特征; 古代艺术; 艺术作品; 古代文化; 关城; 民族精神; 审美特性; 阳刚之美
会议论文
Fulltext
李瑞峰
1994
[ABSTRACT] 知道逻辑是二十世纪五十年代以后发展起来的哲学逻辑分支。狭义上的认知逻辑即指知道逻辑。如今,由于与人工智能、心理学和认识论等相互交叉渗透,使得对知道逻辑的研究多方向、多角度化,推动了知道逻辑的发展。本论文主要是从数理逻辑角度,把知道逻辑看成是一种广义模态逻辑,对之做出新的、尝试性的探讨:在语法上...
[KEYWORDS] 邻域语义学; 模态命题; 认知主体; 五十年代; 语法系统; 极大一致集; 形成规则; 相互交叉; 矛盾式; 上真
会议论文
Fulltext
孙卫民
1994
[ABSTRACT] 本文为同名硕士论文的摘要。因篇幅所限,不能交待所需预备知识,但也只需读者对模态逻辑有最基本的了解。如知晓Hughs和Cresswell[1968]第一部分或类似读物。文中所用符号、术语均为标准用法且多附以括号内解释。
[KEYWORDS] 模态逻辑; 代数语义学; 硕士论文; 实质蕴涵; 完全性; 可能世界; 命题变元; 关系语义; 有穷; 文中
会议论文
Fulltext
毛翊
1994
[ABSTRACT] 模态逻辑自C.I.Lewis形式化地提出五个模态系统以后,W.T.Parry为了区别S1-S5, 证明公理的独立性,运用了模态矩阵这一切实有效的工具。J.C.C.Mckinsey和A.Trarski在研究带算子的布尔代数的基础上,把模态矩阵限制在模态代数的范围内,从而发展出了代数语义学。五十年...
[KEYWORDS] 邻域语义学; 代数语义学; 模态逻辑; 关系语义; 模态矩阵; 布尔代数; 逻辑学界; 代数的; 五十年代; 关系框架
会议论文
Fulltext
周北海
1994
[ABSTRACT] 嫁接框架是由模态框架和相干框架组合而成的一种新型框架。本文首先设计了这一框架,然后用其证明了S1的完全性,最后根据这些结果对S1的性质等有关问题作了一些直观的分析与说明。
[KEYWORDS] S1; 完全性; 模态逻辑; 相干逻辑; 元逻辑; 命题变元; 模型类; 可通达关系; 极大一致集; 可能世界
会议论文
Fulltext
陈波
1993
[ABSTRACT] 蒯因(W.V.O.Quine,1908),当代著名的美国逻辑学家和哲学家。他承认,自已在逻辑方面的大多数著述是因教学的需要而写的,其主要目的是向学生传输一种对于逻辑的健全的哲学态度。(《W.V.蒯因哲学》,L.D.哈恩和P.A.希尔鲁编,英文版,PP.644-645)尽管蒯因对他所谓的“经验论...
[KEYWORDS] 逻辑哲学; 蒯因; 逻辑学家; 真值函项; 逻辑地; 命题态度; 本体论承诺; 约束变元; 清晰性; 个体变元
会议论文
Fulltext
郭世铭
1996
[ABSTRACT] 在传统逻辑中一直把形如“如果p那么q”的命题称作充分条件的假言命题,认为它是陈述“p是q的充分条件”的。而在数理逻辑中由于将联结词“如果……那么……”解释成一种真值
[KEYWORDS] 逻辑学家; 条件关系; 经典逻辑; 联结词; 逻辑研究; 本体论意义; 归约; 证明方法; 定积分; 学习成绩
会议论文
Fulltext
周北海
1996
[ABSTRACT] 研究推理,找出推理的规律是逻辑学的主要任务之一,但我们今天仍然缺乏对于推理的足够认识。现在发展起来的逻辑语义学只是一种真值语义。从真值语义来看,各种逻辑在推理方面的意义并不明显。本文根据推理的基本要素提出了推理的规则集、前提集和结论集等概念,并以此构造了推理模型,提出了与真值
[KEYWORDS] 推理模型; 相干逻辑; 规则集; 推理方面; 可能世界; 逻辑规律; 实质蕴涵; 推理形式; 公式集; 逻辑学研究
会议论文
Fulltext
彭锋
1996
[ABSTRACT] 一、当代美学之转型Aesthetica的准确翻译应该是"审美学",由此,美学研究的对象便不是美而是审美活动。这里不存在什么同语反复,因为审美活动是人类生存活动中一种客观存在的现象,一种事实。从这一事实中能否提升出抽象的"美"是值得怀疑的,但我们无法怀疑事...
[KEYWORDS] 当代美学; 美学问题; 审美活动; 人类生存活动; 审美学; 李泽厚; 叶秀山; 美的本质; 主体性; 叶朗
[ABSTRACT] 本文的标题将空概念、零公式与实质蕴涵并提,并不是要说三者之间有什么内在联系,而是因为冯棉先生在《逻辑研究中有待澄清的若干问题》(以下简称《问题》,载《传统逻辑与现代逻辑》,上海市逻辑学会编,开明出版社,1994)一文中同时对上述三个方面作了“澄清”,而笔者却不赞同《问题》所做的澄清,
[KEYWORDS] 实质蕴涵; 逻辑研究; 现代逻辑; 逻辑学家; 可能世界; 下反对关系; 相干逻辑; 合取范式; 命题变元; 不完全性定理
会议论文
Fulltext
刘壮虎
1995
[ABSTRACT] 作者根据Montague、Scott等人的想法。在Segerberg、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学。本文讨论在这种语义学中相干逻辑的刻画框架和完全性。一、相干逻辑的邻域语义学相干逻辑的形式语包括命题变项p1,…,pn,…和命题联结词:...
[KEYWORDS] 邻域语义学; 相干逻辑; 命题变项; 语义学研究; 模态逻辑; 命题联结词; 命题逻辑; 可能世界; 相干蕴涵; 封闭集
会议论文
Fulltext
刘壮虎
1993
[ABSTRACT] 从形式上看,说慌者悖论(“这句话是假的”)和通常命题的区别有两点:述说命题的真假和自我指称。可以将这两点从形式上刻画出来,从而研究说慌者悖论的逻辑性质。当p为真时,“p真”也为真,当p为假时,“p真”也为假。所以户和“p真”的真值相同,同理-p和“p假”的真值也相同。因此可以直接用p表示“p真...
[KEYWORDS] 自我指称; 范式定理; 重言式; 当且仅当; 命题变项; 矛盾式; 等值公理; 三段论规则; 双重否定律; 公理系统
会议论文
Fulltext
陈波; 李建华
1996
[ABSTRACT] 在现代逻辑中,蕴涵因为与推理的密切关联而倍受关注。众所周知,任何一个推理最终都可以化归为一个“前提蕴涵结论”的蕴涵式,推理的有效性被归结为相应蕴涵式的永真性。人们已
[KEYWORDS] 实质蕴涵; 现代逻辑; 相干逻辑; 真值联结词; 化归; 逻辑学家; 肯定前件式; 后件; 先行事件; 日常思维
会议论文
Fulltext
周北海
1996
[ABSTRACT] 衍推系统Efde由Anderson和Belnap1962年提出(见[1]),原本是为了消除实质蕴涵悖论,更自然地刻画日常推理而建立的系统。但是长期以来,除了有代数语义学的解释或称代数模型等其他一些解释外,Efde一直没有相应的推理意义下的解释,这与当初建立该系统的目的不相适应。本文通过提出推理...
[KEYWORDS] 代数语义学; 实质蕴涵; 推理模型; fde; 范式定理; 推式; 命题变元; 推理形式; 公式集; 代数模型
会议论文
Fulltext
邢滔滔
1996
[ABSTRACT] 有一种观点认为,数学研究的对象首先是概念,它研究概念间的某种关系和概念系统的某种性质。这不单是一些所谓概念论者的看法,部分实在论者也同意这一说法。用王浩的话来讲,
[KEYWORDS] 幂集公理; 恶性循环原则; 概念系统; 数学研究; 歌德尔; 分支类型论; 形式系统; 普特南; 约束变元; 公理系统
会议论文
Fulltext
刘壮虎
1996
[ABSTRACT] 蕴涵是逻辑的最基本的概念之一,它不同于推出关系又和推出关系密切相关。不同的逻辑最主要的区别就在于它们使用不同的蕴涵。为比较不同的蕴涵,本文使用一种统一的语义学——邻域语义学。本文通过对蕴涵的最重要的性质——保真性的分析,
[KEYWORDS] 邻域语义学; 逻辑系统; 可能世界; 实质蕴涵; 保真性; 模态命题; 命题逻辑; 命题变项; 复合命题; 重言式
[ABSTRACT] 一王浩在他晚期讨论数学哲学的著作中,提出了一种广泛的柏拉图主义的主张。他认为刻画数学的自然的第一个步骤,是把它看作我们共有的概念模式的一部分。这样的一步把数学带入了某种哲学概念论之中。然而这种概念论采取了与众不同的开放
[KEYWORDS] 柏拉图主义; 恶性循环原则; 融合方案; 哥德尔; 归纳定义; 可数集; 可定义性; 分支类型论; 有穷; 约束变元
会议论文
Fulltext
周北海
1997
[ABSTRACT] 一、名的运算名的运算指的是名字和名表达式之间的运算。通过这些运算,由一些简单或相对简单的名形成了复杂的名。名和名表达式的语言形式即词或词组。从语言学的语法学上看,名的运算应该是构成词组的语法规则。不同的自然语言有不同的构成词组的
[KEYWORDS] 数学模型; 命名空间; 空间的; 语法规则; 述补结构; 子空间; 一阶语言; 当且仅当; 逻辑语法; 自由变元
会议论文
Fulltext
彭锋
1995
[ABSTRACT] "神"是中国古典美学中十分重要的范畴。这一概念早在《系辞传》中就得到了广泛的运用和讨论。对《系辞传》中"神"这一概念的基本内涵进行必要的梳理,显示其中的美学内蕴,这对我们理解作为美学范畴的"神"乃至整个中国艺术精神或许会有某些有益的启...
[KEYWORDS] 系辞传; 宇宙万物; 运动变化过程; 中国艺术精神; 美学范畴; 美学内涵; 生命精神; 时间意识; 中国古典美学; 卦象
Results 1-20 of 981