搜索结果: 1-15 共查到“语言逻辑 逻辑”相关记录18条 . 查询时间(0.176 秒)
2020年12月17-20日,由清华大学-阿姆斯特丹大学逻辑联合研究中心(以下简称“逻辑学中心”)组织的第二届“清华逻辑,语言和意义—语言和逻辑中的单调性”国际研讨会在线召开。来自美国、瑞典、荷兰、新加坡、韩国以及中国台湾等国家和地区的专家学者,以及中国社科院、北京大学、复旦大学等兄弟院校的师生百余人跨越不同的时区和地区共同参与了为期四天的线上会议。
“智慧化时代背景下的逻辑与论证”研讨会在杭州举行(图)
智慧化时代背景 的逻辑与论证 研讨会 杭州
2019/9/10
2019然后9月7-8日,“智慧化时代背景下的逻辑与论证”学术研讨会在浙江大学西溪校区召开,来自全国高校和科研院所的六十余位学者参加了会议。会议由中国逻辑学会语言逻辑专业委员会主办、浙江省逻辑学会协办、浙江大学语言与认知研究中心承办。会议开幕式由浙江大学哲学系金立教授主持,浙江大学语言与认知研究中心主任黄华新教授出席并致开幕词。
2018年语言逻辑学会年会暨第四届语言与逻辑交叉学科研讨会
语言 逻辑
2018/3/22
由语言逻辑专业委员会主办、北京语言大学外国语学部英语学院承办的“2018年语言逻辑学会年会——暨第四届语言与逻辑交叉学科研讨会”将于2018年4月13-15日在北京召开。本次会议将邀请语言学及逻辑学界国内外专家学者做大会主题发言【名单见附件1】,就其所关注的语言与逻辑问题展开多方位的交流与讨论。
“第三届东亚逻辑、语言和计算暑期学校”在清华大学举办
第三届 东亚逻辑、语言和计算暑期学校 清华大学
2014/7/10
2014年7月3日-8日,由清华大学--阿姆斯特丹大学逻辑学联合研究中心主办的“第三届东亚逻辑学、语言和计算暑期学校”(EASLLC 2014)在清华举行。清华大学交叉信息研究院教授姚期智、牛津大学教授阿布拉姆斯基(S.Abramsky)担任本次暑期学校的程序委员会主席(PC Chairs),人文学院哲学系教授刘奋荣担任组委会主席。
模态逻辑·形式语义·文本符号
模态逻辑 形式语义 文本符号
2009/7/23
在外延逻辑中(1)(2)两句的意义由两个不相干的客观事件决定,p, q为真的条件是在句子外确实客观地存在着比如说手里举着棍子和骨头的驯狗师之类人物和正要射箭的弓箭手等,符号表达式为:
面向信息处理的自然语言逻辑研究——邹崇理《逻辑、语言和信息》评介
信息处理 自然语言逻辑
2009/7/7
逻辑学在20世纪获得蓬勃发展,提出了构造形式系统和语义模型的技术手段。而自然语言本身就是一种特定的符号形式系统,能够接受语义模型的解释,因而从某种意义上说,自然语言的内在基础就是逻辑。另一方面,高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。在机器的自动句法分析、以逻辑公式为中介语的机器翻译以及计算机的自然语言理解等领域,逻辑方法都发挥着巨大的作用。所以,近30年来,逻辑的应用...
符号、由符号构成的某类表达式及其语义是语言哲学和符号哲学研究的一个重要方面,逻辑符号、由逻辑符号构成的某类表达式及其逻辑语义则是逻辑哲学研究的一个重要方面。
中国逻辑学会语言逻辑和符号学专业委员会2009年学术会议通知
中国逻辑学会 语言逻辑和符号学专业委员会 2009年 学术会议 通知
2009/12/18
模态逻辑是关于必然性和可能性的逻辑,或者说,是关于“一定是”和“可能是”的逻辑。当然,必然性和可能性有不同的解释。真势模态逻辑把必然解释为必然真;道义逻辑(见第8章)则把必然解释为道义必然性或规范必然性。必然也可以指知道或相信为真,这是认知逻辑(见第9章)的解释;如果指总是为真或从此总是为真,则是时态逻辑(见第10章)的解释。另外也可以把“必然p”解释为“p是可证的”。本章以真势模态逻辑为重点概述...
摹略万物之然,论求群言之比——模态逻辑新观念述评
模态逻辑 新观念
2009/1/15
模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是,把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结构的一种简单但富于表达力的语言”、“模态语言为关系结构提供一种内部的、局部的视角”、“模态语言不是孤立的形式系统”,这就是关于模态逻辑的新观点(这种观点有时称为“阿姆斯特丹观点”)。新观点不再把...
周礼全自然语言逻辑思想综述
周礼全 自然语言逻辑思想
2009/1/15
周礼全先生是我国传播现代逻辑的主要逻辑学家之一, 他不仅从事现代逻辑的基础理论
研究, 而且一直关注和思考现代逻辑的应用问题, 提出形式逻辑要结合自然语言, 是我国自
然语言逻辑研究的开创者。
《自然语言逻辑研究》
自然语言逻辑研究 邹崇理
2009/1/15
该专著分为三编七章,共375千字左右。第一编介绍自然语言逻辑的基础──形式语义学,分为四章:第一章论述形式语义学的现代逻辑方法特点;第二章介绍自然语言逻辑的开端──蒙太格语法;第三章评述话语表现理论;第四章说明类型-逻辑语法。第二编论述与自然语言逻辑有关的形式演绎系统,分为两章:第五章讲解蒙太格语法的内涵逻辑公理系统;第六章论述话语表现理论的自然演绎系统。第三编的第七章展开汉语时间系统的自...
内蒙古师范大学法政学院普通逻辑学课件第四讲 谓词逻辑
内蒙古师范大学法政学院 普通逻辑学 课件 谓词逻辑
2009/1/15
内蒙古师范大学法政学院普通逻辑学课件第四讲 谓词逻辑。