切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
时间逻辑学的创立、历史及其研究意义
时间逻辑学的创立、历史及其研究意义
来源 :华北水利水电学院学报(社科版) | 被引量 : 0次 | 上传用户:abcd494895936
【摘 要】
:
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在
【作 者】
:
冯彦波
陈河山
【机 构】
:
南开大学哲学系,河南大学
【出 处】
:
华北水利水电学院学报(社科版)
【发表日期】
:
2007年04期
【关键词】
:
时间逻辑
传统逻辑
普赖尔
奎因
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。
其他文献
酒石酸托特罗定治疗女性尿道综合征疗效分析
患者,女,34岁,4个月前患者无明显诱因出现尿频、尿急、夜尿增多和尿失禁,自我诊断为“慢性尿路感染”,自服“诺氟沙星”“呋喃硝胺”等药2个月未见效.当地卫生院医生诊断为“
期刊
女性尿道综合征
酒石酸托特罗定
疗效分析
治疗
慢性尿路感染
自我诊断
夜尿增多
呋喃硝胺
《案例》:广州市李坑生活垃圾焚烧发电厂
本文介绍了广州市第一个垃圾焚烧发电厂—李坑项目的筹建过程。李坑生活垃圾焚烧发电厂是大型市政环保项目,由广州市政府投资并部分使用了国外政府贷款。从93年底立项开始至今
学位
项目管理
垃圾发电
焚烧
层次分析
7-14岁学生HOMA-IR指数分布及与代谢综合征和炎症因子的关系
目的探讨7~14岁学生稳态胰岛素评估模型胰岛素抵抗(HOMA—IR)指数的分布及与代谢综合征和炎症因子的关系。方法采集366名7-14岁学生(男生163名,女生203名)的人体测量指标(体质量、身
期刊
胰岛素抵抗
HOMA—IR指数
炎症因子
儿童青少年
insulin resistance HOMA-IR index inflammatory cytokin
用视频传输编解码器构成多媒体远程监视系统
用视频传输编解码器构成多媒体远程监视系统江西省邮电学校郭少白在许多远程视频监控系统的设计方案中,经常会遇到的问题是如何远距离传送现场的模拟视频监视信号。使用同轴电
期刊
多媒体
远程监视系统
视频传输
编码器
解码器
时距估计干扰效应的研究与思考
已有的研究从不同作业类型下的干扰效应和相关的理论解释两个方面对时距估计干扰效应进行了剖析 ,未来的研究应以分段 /综合模型为基础进行探讨 ,时距加工的认知神经研究促进
期刊
时距估计
干扰效应
双向干扰
加工资源
分段/综合模型
针灸配合穴位注射治疗遗尿32例小结
针灸配合穴位注射治疗遗尿32例小结霍国荣甘肃省兰州市第二人民医院(730046)主题词遗尿/针灸疗法选穴穴位疗法遗尿是指3周岁以上睡眠中不能控制排尿而自遗的症状。中医认为“虚则遗溺”,临
期刊
遗尿
针灸疗法
选穴
穴位疗法
卒中院前急救,准确、规范、合理
卒中是世界范围内的主要死亡原因之一,发病后中枢神经系统受到不同程度的损伤,严重影响患者的健康和生活质量,甚至威胁生命。“时间就是大脑”,急性缺血性卒中(AIS)在发病4~5小时内
期刊
急性缺血性卒中
院前急救
美国心脏病协会
再灌注时间
主要死亡原因
中枢神经系统
急救指挥中心
溶栓治疗
正圆形圆洞标记法测量口腔不规则藻酸盐印模形变的实验研究
目的探讨添加正圆形圆洞标记点测量口腔不规则藻酸盐印模形变的可行性。方法模拟临床固定修复基牙牙备体制作金属母模,表面有互成三角形的凸出圆形钢针,分别用两种藻酸盐印模
期刊
口腔印模
正圆形
圆洞标记法
印模形变
dental impression; round shape; pin-hole marker; impression
张氏理冲汤加减治疗闭经38例
1991年1月~1995年12月,笔者用张锡纯理冲汤加减治疗闭经38例,疗效满意,现报告如下。1临床资料本组38例患者均为门诊病人,年龄18~44岁,平均为28岁。病程3~12个月。原发性闭经20例,继发性闭经18例。中医辨证分型:痰湿阻
期刊
闭经
张氏理冲汤
中医药疗法
《上海交通大学学报(医学版)》第七届编辑委员会第三次会议纪要
《上海交通大学学报(医学版)》第七届编辑委员会第三次会议于2010年12月30日上午在上海交通大学医学院召开。会议由执行主编、上海交通大学医学院副院长陈红专教授主持。副主
期刊
与本文相关的学术论文