检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:霍书全[1] 张呈 HUO Shuquan;ZHANG Cheng(Philosophy Department,Anhui University,Hefei 230039,China)
出 处:《重庆理工大学学报(社会科学)》2018年第10期14-19,共6页Journal of Chongqing University of Technology(Social Science)
基 金:国家社会科学基金项目"混合时态逻辑及其多模态推广的相关问题研究"(13BZX063)
摘 要:普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如"现在"(now)、"那时"(then)、"以前"(ago)、"当前"(present)等,具有表面上的自我中心性。他认为这种自我中心性是假的,是可以消除的,这为时态逻辑的形式化清理了障碍。从"自我中心的"时间语词和"真的"的比较说明"自我中心性"是虚假的,时间词语也是可以省略的。普莱尔这一观点根源于他一贯的主张:命题真值可以随时间而变化,A时间序列比B时间序列更为根本。这也是他所认为的时态逻辑合法性的基础。Arthur N.Prior,the founder of temporal logic,noticed that some indications of tense in formal tense propositions,such as“now”,“then”,“ago”,“present”,etc.,have apparent egocentric nature.Through analysis,he thought that this kind of egocentricity wasfalse and could be eliminated,which cleared away the obstacles for the formalization of temporal logic.According to the thought of Prior,this paper compares“egocentric”time words with“true”to illustrate that“egocentricity”is false and time words can be omitted.Prior’s idea is based on the philosophical assumption that the truth value of propositions can change with time,and that A time series is more fundamental than B time series.This is also the basis for what he considers the legality of the tense logic.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.223.239.15