理想信息流逻辑的树图系统

发布时间：2017-06-23 18:05

  本文关键词：理想信息流逻辑的树图系统，，由笔耕文化传播整理发布。

【摘要】：依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理。针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性。
【作者单位】： 南开大学哲学院;青岛大学师范学院;
【关键词】： 信息流 理想信息流逻辑 树图系统
【分类号】：B813
【正文快照】： 一、理想信息流逻辑的理论背景现代信息流思想起源于申侬(C.E.Shan-non)的通信理论。上世纪80年代初哲学家德雷斯克(F.I.Dretske)从语义角度对通信理论中的信息流思想进行发展,提出一个信息内容理论。受德雷斯克思想的影响,逻辑学家巴维斯(J.Barwise)和语言哲学家佩利(J.Perry

【共引文献】

中国期刊全文数据库 前10条

1 沈跃春;;金岳霖的悖论观及其启示[J];安徽大学学报;2006年01期

2 钱广荣;;道德悖论研究需要拓展三个认知路向[J];安徽师范大学学报(人文社会科学版);2007年05期

3 张存建;;教育逻辑学研究对象的选择[J];重庆工学院学报(社会科学版);2008年02期

4 马赛;胡红;;管窥充分条件假言命题[J];重庆工学院学报(社会科学版);2009年03期

5 王习胜;;“悖论”概念的几个层面[J];安徽师范大学学报(人文社会科学版);2009年04期

6 梅祥;;再谈逻辑真理的可错性问题——与马佩老师商榷[J];长白学刊;2009年05期

7 陈晓华;;不同形式假言易位之差异[J];重庆工学院学报(社会科学版);2009年09期

8 李娜;娄永强;;信息流逻辑研究述评[J];贵州社会科学;2009年08期

9 孙显元;;关于“追光悖论”的思考[J];安徽电气工程职业技术学院学报;2009年04期

10 吴坚;;真值函项理论与怪论[J];重庆理工大学学报(社会科学);2010年06期

中国博士学位论文全文数据库 前7条

1 胡兴华;软件技术的哲学探究[D];复旦大学;2008年

2 娄永强;信息流理论的逻辑研究[D];南开大学;2009年

3 刘杰;论数学真理困境及其实在论出路[D];山西大学;2009年

4 余达祥;条件推理机制的心理学研究[D];江西师范大学;2008年

5 龙小平;可能世界中的名称和同一性[D];西南大学;2007年

6 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

7 张立娜;个体词的逻辑语义[D];清华大学;2007年

中国硕士学位论文全文数据库 前10条

1 李田田;马克思的中介理论及其当代意义[D];山东师范大学;2010年

2 刘帅;外延、刺激与经验[D];浙江师范大学;2010年

3 马赛;客体说形式逻辑语用学浅析[D];贵州大学;2009年

4 王加良;拉姆齐检验初探[D];云南师范大学;2009年

5 张娟;塔斯基真之语义理论述评[D];中国政法大学;2009年

6 符佳;克里普克专名指称理论述评[D];西南大学;2009年

7 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年

8 代利;情境语义学解悖方案探析[D];河南大学;2009年

9 秦楠;古代逻辑中的悖论思想[D];燕山大学;2010年

10 曾兰平;浅析塔尔斯基的语义真理论[D];西南大学;2010年

【相似文献】

中国期刊全文数据库 前10条

1 胡金贤;;新的技术革命对管理心理的影响[J];心理学探新;1985年03期

2 胡文静;管理系统的开发及其实现[J];云梦学刊;1995年03期

3 彭飞,韩杰;广电网网络管理模型[J];中国有线电视;1999年04期

4 李鑫;博物馆人急需加强公关意识[J];文物春秋;2000年04期

5 何友全,袁磊;面向对象的模型与设计及其最新软件实现[J];襄樊学院学报;2000年02期

6 马蔼乃;遥感信息模型与地理数学[J];北京大学学报(自然科学版);2001年04期

7 毛卫国;从地方志的属性看我省方志的信息化取向[J];江苏地方志;2001年05期

8 马蔼乃;钱学森论地理科学[J];中国工程科学;2002年01期

9 赵剑英;交往形态的新变化与当代社会的新特征[J];哲学研究;2003年11期

10 王晓华;;WebService接口描述语言WSDL[J];中文信息;2003年10期

中国重要会议论文全文数据库 前10条

1 李之杰;杨建起;曾嵘;汪玲;;多媒体管理信息系统设计开发中的信息模型和信息单元组合方法[A];发展的信息技术对管理的挑战——99’管理科学学术会议专辑（上）[C];1999年

2 陈雨思;;论自然科学期刊的信息域[A];四川高校学报编辑文集[C];1989年

3 徐忠祥;吴国平;;蚀变岩型金矿物探异常灰色模式识别法[A];1992年中国地球物理学会第八届学术年会论文集[C];1992年

4 许桂芝;翟秉仁;陈丕富;杨倩;李亚兴;;计算机管理信息系统的设计方法研究[A];1996中国控制与决策学术年会论文集[C];1996年

5 庞哈利;王庆;许宝栋;;大型钢铁联合企业管理信息系统分析设计[A];1998中国控制与决策学术年会论文集[C];1998年

6 吴海;卢朝霞;;CIMS环境下一种从功能模型到信息模型的转换方法[A];1994中国控制与决策学术年会论文集[C];1994年

7 陈秋双;赵道致;;CIMS环境下市场营销管理与决策信息系统(MMDIS)研究[A];面向复杂系统的管理理论与信息系统技术学术会议专辑[C];2000年

8 王先逵;赵彤;吴丹;刘成颖;郄胜强;李多多;;卷绕成形加工工艺及其应用[A];第一届国际机械工程学术会议论文集[C];2000年

9 谭同德;童秉枢;李春雨;;基于原型的产品结构设计和信息模型[A];第一届国际机械工程学术会议论文集[C];2000年

10 陈虎;韩至骏;;数控系统开放化的趋势与对策[A];第一届国际机械工程学术会议论文集[C];2000年

中国重要报纸全文数据库 前10条

1 王虎成 曹爱华;军事视角看数字地球[N];中国国防报;2000年

2 通讯员 朱彤 记者 孙小和;交换机房无人或少人值守成现实[N];人民邮电;2000年

3 ;IBM公司推出新型数据挖掘技术[N];中国高新技术产业导报;2001年

4 谢金崇 熊光楞;并行工程的产品信息集成[N];计算机世界;2001年

5 ;网络化传感器的接口标准[N];中国电子报;2002年

6 徐少春;信息孤岛是一道坎[N];计算机世界;2002年

7 ;轻松玩转专业理财[N];网络世界;2002年

8 周波 李兰欣;IEC61850：变电站自动化通信新模式“破壳而出”[N];中国电力报;2003年

9 信息产业部电信研究院泰尔实验室 吴京文;解构3G网络管理体系[N];通信产业报;2003年

10 孟学;3G网管的基础：TMN网络管理体系结构[N];通信产业报;2003年

中国博士学位论文全文数据库 前10条

1 窦万峰;并行工程环境下的多域特征映射研究[D];西安电子科技大学;1998年

2 刘军;面向并行工程的CAPP关键技术的研究与实现[D];南京航空航天大学;2001年

3 周彩章;网络管理信息模型、结构及MIB研究[D];西安电子科技大学;2001年

4 徐东平;实时动态交互视景仿真[D];武汉理工大学;2002年

5 刘雪梅;产品全生命周期信息建模理论、方法及应用研究[D];重庆大学;2002年

6 蔡波;虚拟企业基于知识的产品概念设计研究[D];西北工业大学;2002年

7 邢建国;定制生产下工艺可重用理论、方法及关键技术研究与应用[D];浙江大学;2002年

8 薛善良;面向敏捷制造的PDM关键技术研究[D];南京航空航天大学;2002年

9 刘久富;面向大规模定制产品设计关键技术研究[D];南京航空航天大学;2002年

10 江吉彬;绿色机电产品集成化开发系统建模技术与应用研究[D];合肥工业大学;2003年

中国硕士学位论文全文数据库 前10条

1 郭毅;大批量定制生产模式及关键支撑技术研究[D];大连理工大学;2000年

2 魏浩;网管代理系统构成及实现[D];西安电子科技大学;2001年

3 任正彦;网络管理中MOC编辑器的实现研究[D];西安电子科技大学;2001年

4 乐万德;基于STEP的CAID信息模型的研究与应用[D];西北工业大学;2001年

5 束庆斌;冷冲模CAD系统中装配模板的设计与复合算法研究[D];合肥工业大学;2001年

6 孙宝兰;CAPP信息建模与工艺决策的研究[D];燕山大学;2001年

7 杨宏安;多语言业务管理系统的研究与实现[D];西北工业大学;2001年

8 范通让;综合通信网网络管理系统数据库的设计与实现[D];西安电子科技大学;2001年

9 张西义;石炼厂设备管理信息系统总体规划[D];大连理工大学;2001年

10 叶霞;产品数据管理系统设计与开发[D];南京理工大学;2002年

  本文关键词：理想信息流逻辑的树图系统，由笔耕文化传播整理发布。

本文编号：475838