对象语言相关论文
<正> 为了实现把数学还原为逻辑这一逻辑主义的基本纲领,弗雷格发明了一种表意文字,并用这种文字建立了一个表达逻辑规律和推理规......
1 预备知识谁都知道汉语、英语等这些自然语言是人们交流思想的工具,它既可以表达精确而深刻的思想;又能表达模棱两可的糊涂观念.......
在普通逻辑教学中,很少有人提及语言层次论。本文打算就什么是语言层次论,语言层次论在普通逻辑教学中的意义和作用,谈些粗浅的看......
一位中学教师在上语文课时,让一名学生用“寂静”一词造句。这名学生一时想不好句子环境,犹豫着不敢站起来。同桌以为他没听见,小......
本文从对表音文字的翻译和翻译规则的角度,对比与分析了中文与日语在翻译英语外来语过程中的不同之处,并且发现了中文与日语存在差......
IIc nen .f.(projetd’arr毢t啨)图标 ,图符英语 :iconIconiserv .t.(在屏幕上 )建立图标英语 :toiconize,tostowImplanterv .t.计算机 (系统 )软件安装英语toimplementImpl啨menterv .t.计
(Projetd’arr 毢 t 啨) Ic......
塔尔斯基是语义学的重要代表人物,他对于悖论的研究与关于真的研究是分不开的。塔尔斯基对悖论的研究继承了罗素的思想,他从真的讨......
目前意义研究依然处于众说纷纭的状态,而这种纷乱归根结底主要是由意义与指称、意义的存在层与现象层、意义之对象语言与元语言的......
教材是学校教育中非常重要的教学资源与学习工具。教材是以语言形式为载体,为教师提供教学指导,为学生提供学习内容。从教材中的语......
如果我们把本族语言((1)毛利语,(2)汉语)和对象语言(即被译成的语言)(英语)进行对比,就可找到一种有益的学习语言的方法,这种方法......
本文在西方语言哲学和语言学对明达语言研究的基础上完成了对明达语言维度的论证,认为明达语言不单是人们用来描述语言的语言或是......
该文讨论了演绎面向对象数据库查询语言中约束的表示及其语义,并以约束求解取代消解合一。......
塔尔斯基以现代逻辑为手段,用逻辑分析和语义分析的方法对唯物主义真理符合论中甚为模糊的内容做出语义学的重新阐述,给“真的”一......
【正】 当我们试图涉足现代西方哲学中的某些领域时,我们不禁为这种哲学的庞杂体系与说法纷纭而感到困难重重。分析哲学给西方传统......
教材是课程内容的载体,教材对课程内容的呈现主要是靠教材语言来实现的。教材语言的模糊不清直接影响到课程内容呈现的不确定性。通......
真的概念在哲学、逻辑学研究中有着十分重要的地位。塔斯基从语义学的角度对真进行了定义:对象语言O中一个闭语句是真的,当且仅当它......
一般认为,所谓新闻语言就是新闻作品所使用的(?)有自身特征的语言,与此相对应的是文学语言、公文(?)言、法律语言、外交语言、科技......
《墨经》中没有应用对象语言来表示的命题形式和推理形式,而只有应用典型的具体推理宋体现的推理方式,但《墨经》中却有不少应用元语......
【正】 形式系统的整体性一般包括公理独立性、一致性和完全性,另外还有层次性的问题。独立性是指各公理间的不可推演性;一致性是......
VisualFoxPro(简称VFP)是一种结构简单、使用方便、易于部署、对硬件系统要求不高的数据库管理系统,对学生来说是一门很好的程序设计......
本文从教材语言的特点来探讨大学语文教材对象语言的选择与教材编写问题。首先,结合教材语言的基础性与功能性特点来分析大学语文......
对象程序设计是一种引人注目的程序设计方法学,其主要特点是支持数据抽象。继承性的引入大大削弱了对象语言的封装优点。本文考察......
(一) “真值”是个表示认识的价值的概念,但它也是逻辑科学所普遍使用的概念之一。形式逻辑是以思维形式及其规律为研究对象的,它......
本文主要讲了两个方面:一是创造最佳的学习状态.其中包括利用音乐给课堂带来生机和活力、营造合适的课堂气氛和建立良好的学习动机......
【正】 改革,朝何处去?逻辑学界的有识之士也在奋力地探寻着。新近出版的由李先焜教授编著的《逻辑基本知识》则呈现出逻辑学教改......
<正> 语义悖论可以说是逻辑史上最令人困惑,却散发着诱人魅力的一个古老问题。早在古希腊,克里特人发现的“说谎者悖论”就以“难......
<正> 逻辑学作为一门科学,从亚里士多德建立的逻辑理论算起,至今已有两千多年的历史了。一般认为,逻辑是一门研究思维的科学,但对......
从理解的角度观察,在一个小说文本中往往会出现三个语义系统:对象语,表达基本意义;元话语,具有释义性;对象语和元话语融合后产生的......
南京师范大学李葆嘉教授承担的国家社科基金项目“面向信息处理的现代汉语元语言系统研究”(02BYY030),近期结项,成果鉴定等级为良好。......
【正】 对哲学问题作逻辑分析的基本工具是数理逻辑即现代逻辑。第一个数理逻辑系统“布尔代数”由英国人布尔发表于1847年,即是马......
<正> 逻辑实证主义通过提出意义标准和实证原则,把一切传统哲学中关于思维与存在、精神与物质之间关系问题排斥于哲学之外。他们......
修辞学是研究提高表达效果的规律的科学,因而对表达效果的认识是一个十分重要的课 题。表达效果有好坏优劣之分,这是历来修辞学专......
<正> 《易经》到底是一部什么性质的书?仁者见仁,智者见智。逻辑学家认为,《易经》事实上是“一部关于推理的书”,“是一部帮助人......
【正】语言的奇妙处之一就是它可以被用来谈论它自己.用来谈论语言的语言叫做元语言(Meta-language),被谈论的语言叫做对象语言(Ob......
波兰逻辑学家A.塔斯基的真理论对形式化理论做出了重大贡献,然而,他关于在自然语言中不可能定义真理的结论却是轻率的。本文通过......
<正> 语义悖论对逻辑学和语义学的发展具有重大作用。本文以语义悖论为中心,论述在解决语义悖论的基础上建立和发展起来的逻辑理......
人们往往对埃舍尔作品中的所谓"矛盾空间"饶有兴趣,因为他在一系列黑白版画中创造了一个"荒诞"的世界。这既是对西方传统绘画透视学规......
当前,数据管理已成为各类计算机应用系统的瓶颈,而良好的数据模型是实现工程数据管理的关键。本文从描述复杂工程设计对象(以IC-CA......
自从去年有人发出文艺要加强感性的“宣言”后,一时间华夏文艺理论界、美学界就文艺作品应崇尚理性还是崇尚感性,展开了激烈的论争。......
【正】 一人们说,现代是美学贫乏的时代。艺术的无政府状态是现代特有的时代背景,当我们从艺术的表现方式上来观察现代艺术时,就会......
<正> 全国第四次形式逻辑讨论会和全国第五次西方逻辑史讨论会,于8月7日至12日,在北京中国人民大学举行。形式逻辑方面主要讨论了......