检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

普莱尔基于时态逻辑的未来偶然性问题研究

普莱尔基于时态逻辑的未来偶然性问题研究

作者：刘欢河北大学

学位级别：硕士

普莱尔是时态逻辑的创始人,他最重要的成就是创立和发展了时态逻辑系统。他运用时态逻辑阐明了对未来偶然命题真值问题的观点,并且对自由选择和非决定论进行了强有力的辩护。普莱尔创立了六个完整的时态逻辑系统。系统与系统之间可以从... 详细信息

普莱尔是时态逻辑的创始人,他最重要的成就是创立和发展了时态逻辑系统。他运用时态逻辑阐明了对未来偶然命题真值问题的观点,并且对自由选择和非决定论进行了强有力的辩护。普莱尔创立了六个完整的时态逻辑系统。系统与系统之间可以从时间间隔变量的取值和对必然算子的定义进行分类。其中,奥卡姆主义系统是基于分支时间模型的时态模态逻辑系统,与其余五个系统最大的区别是将过去和未来之间的不对称性纳入符号逻辑系统中。这种不对称性是处理未来偶然性问题的关键。对于未来偶然性问题,普莱尔通过定义时态算子,将时态与模态联系在一起,把含有时态词的命题形式化,从不同的角度对时态模态系统语义进行赋值。普莱尔通过对第奥多鲁主论证的重构和卢卡西维茨三值逻辑的批判性继承,分析得出两种未来偶然性问题的处理方案:奥卡姆主义处理方案和皮尔士主义处理方案。其中,奥卡姆主义处理方案是由奥卡姆主义系统衍生出来的,拒绝过去时态命题所蕴涵的必然性,强调区分与未来偶然命题等值的过去时态命题。而皮尔士主义处理方案则是由奥卡姆主义系统的片段——皮尔士主义系统推出的,核心在于拒绝接受未来排中律,认为未来偶然命题在当下没有真值,对尚未存在的未来,赋予多种可能性。普莱尔基于时态逻辑对未来偶然性问题的研究,可以为自然语言中时态句的真值问题研究提供强有力的逻辑方法和理论基础。

关键词：普莱尔未来偶然性问题奥卡姆主义处理方案皮尔士主义处理方案

试析普莱尔基于混合时态逻辑对其时间观的辩护

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

逻辑学研究 2018年第4期11卷 83-93页

作者：郭美云西南大学逻辑与智能研究中心

普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中"过去、现在和将来"等概念比B-理论中的"在先、在后和同时"等概念更为基本,并且不承认时间点的本体论地位。普莱尔... 详细信息

普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中"过去、现在和将来"等概念比B-理论中的"在先、在后和同时"等概念更为基本,并且不承认时间点的本体论地位。普莱尔从这种时间观出发,在致力于将无时态的一阶逻辑归约到时态逻辑的过程中,提出了混合时态逻辑,从而对自己的时间观进行辩护。本文在对普莱尔的辩护过程进行详细分析的基础上,从现代模态逻辑对应理论的角度指出,普莱尔的辩护并不成功,同时讨论了普莱尔的方法论给我们带来的启示。

关键词：普莱尔混合时态逻辑时间观辩护

在线全文

学校读者我要写书评

暂无评论

普莱尔论时态词的自我中心性及其思想根源

重庆理工大学学报（社会科学） 2018年第10期32卷 14-19页

作者：霍书全张呈安徽大学哲学系安徽合肥230039

普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如"现在"(now)、"那时"(then)、"以前"(ago)、"当前"(present)等,具有表面上的自我中心性。他认为这种自我中心性是假的,是可以消除的,这为时态逻辑的形式化清理了障碍。... 详细信息

普莱尔是时态逻辑的创始人,在形式化时态命题时注意到一些时态词,如"现在"(now)、"那时"(then)、"以前"(ago)、"当前"(present)等,具有表面上的自我中心性。他认为这种自我中心性是假的,是可以消除的,这为时态逻辑的形式化清理了障碍。从"自我中心的"时间语词和"真的"的比较说明"自我中心性"是虚假的,时间词语也是可以省略的。普莱尔这一观点根源于他一贯的主张:命题真值可以随时间而变化,A时间序列比B时间序列更为根本。这也是他所认为的时态逻辑合法性的基础。

关键词：普莱尔自我中心性时态逻辑真理论

在线全文

学校读者我要写书评

暂无评论

普莱尔混合时态逻辑的思想基础

逻辑学研究 2016年第2期9卷 45-60页

作者：霍书全安徽大学哲学系

普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中... 详细信息

普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中有着重要的应用,但它又引起了进一步的牵涉,普莱尔对此没有给出充分的说明,本文将追寻普莱尔提出混合时态逻辑的过程并对其合理性进行论述。笔者认为逻辑牵涉是形式化方法必然会带来的问题,但是多半是可以化解的。

关键词：普莱尔混合时态逻辑模态逻辑蒯因

在线全文

学校读者我要写书评

暂无评论

普莱尔早期的时态逻辑思想

重庆理工大学学报（社会科学） 2014年第7期28卷 22-27页

作者：霍书全安徽大学哲学系合肥230039

普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处... 详细信息

普莱尔是时态逻辑的创始人,他认为原子命题和带有时态算子的命题都是同样的命题,原子命题只有现在时态,命题的真值随时间的不同而变化。他否定永恒的个体存在,主张充当命题逻辑主语的专名只能指称现存的对象。普莱尔用模态逻辑的方法处理时态命题,比经典逻辑更好地刻画了自然语言表达和日常推理。但是普莱尔的方法也带来了一些问题,比如说它不能命名不再存在的个体似乎有违自然语言的习惯,如何确定时间的单位也成为有争议的话题。尽管如此,时态逻辑仍然发展成内容丰富的逻辑学分支,在许多领域都有着巨大的应用价值。

关键词：普莱尔时态逻辑真值巴坎公式

在线全文

学校读者我要写书评

暂无评论

普莱尔在北京人艺培训演员

戏剧报 1986年第5期 65-66页

作者：翟录

应北京人民艺术剧院导演林兆华的邀请,西德柏林艺术大学教授普莱尔先生于1986年2月来华,为北京人艺培训演员。普莱尔教授的训练方法包括以下内容。字母表训练开始,普莱尔教授并没有教大家怎样演戏,怎样体会角色,而是依次教给大家三十几... 详细信息

应北京人民艺术剧院导演林兆华的邀请,西德柏林艺术大学教授普莱尔先生于1986年2月来华,为北京人艺培训演员。普莱尔教授的训练方法包括以下内容。字母表训练开始,普莱尔教授并没有教大家怎样演戏,怎样体会角色,而是依次教给大家三十几个固定的形体动作,动作的名称有:拽气球、转臂、把杆、肩立等。当这三十几个动作熟练掌握后,她要求学员们在训练场上把这些动作都做出来,可以不分先后,但每

关键词：普莱尔大家字母表台词话剧表演演员

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

尼克劳斯，帕尔默和普莱尔的时代记录

世界高尔夫 2006年第Z1期 56-61页

杰克·尼克劳斯、阿诺德·帕尔默和加利·普莱尔在球迷眼中早已不是一名高尔夫大师那么简单。他们是现代高尔夫的标志性人物,他们推动了高尔夫的发展,他们使高尔夫真正成为富有对抗性和可看性的项目,他们的精彩演绎创造了世界高尔夫的... 详细信息

杰克·尼克劳斯、阿诺德·帕尔默和加利·普莱尔在球迷眼中早已不是一名高尔夫大师那么简单。他们是现代高尔夫的标志性人物,他们推动了高尔夫的发展,他们使高尔夫真正成为富有对抗性和可看性的项目,他们的精彩演绎创造了世界高尔夫的经典神话,他们的偶像效应吸引着无数孩子拿起高尔夫球杆,他们打造了一个辉煌的时代……

关键词：帕尔默高尔夫球杆普莱尔劳斯尼克

在线全文

学校读者我要写书评

暂无评论

浅析《门里的眼睛》中普莱尔的人格分裂

英语广场（学术研究） 2011年第Z2期 21-23页

作者：郑观文邓小红武汉大学外国语学院华中农业大学外国语学院

帕特·巴克是英国当代一位重要的作家,她凭借《再生》三部曲享誉世界。其中,第二部作品《门里的眼睛》获《卫报》小说奖,学者们普遍认为它不管作为一部历史小说,还是作为战争小说的续篇,都堪称成功。本文深入剖析普莱尔这一典型的战争... 详细信息

帕特·巴克是英国当代一位重要的作家,她凭借《再生》三部曲享誉世界。其中,第二部作品《门里的眼睛》获《卫报》小说奖,学者们普遍认为它不管作为一部历史小说,还是作为战争小说的续篇,都堪称成功。本文深入剖析普莱尔这一典型的战争受害者。他是一位虚构的中尉,患有严重的精神分裂症。本文从行为主义理论S-O-R模型入手,阐述普莱尔的人格分裂在不同时期不同程度的表现,并深入分析其原因,文章最后总结出一个结论:作者想通过普莱尔这位典型的战争受害者表明,战争对社会个体而言是毁灭性的伤害。

关键词：普莱尔行为主义 S-O-R模型人格分裂原因毁灭性

在线全文

学校读者我要写书评

暂无评论

德国世界图景公司宣告倒闭

德国世界图景公司宣告倒闭