亚瑟·普赖尔（五）

他对命题逻辑和纯蕴涵逻辑的经济基础的兴趣最初是由他对皮尔士的研究引起的，后来受到武卡谢维奇的文章《命题蕴涵演算的最短公理》的激发，《形式逻辑》的开篇章节在很大程度上借鉴了武卡谢维奇在《形式逻辑》中的著作。这个区域。

3.7 回到英格兰

1954年，吉尔伯特·赖尔访问新西兰。他向普莱尔发出了访问牛津并发表约翰·洛克讲座的邀请。普赖尔从坎特伯雷安排了 12 个月的休假，并于 1956 年初抵达牛津。很快，他周围就开始形成一个小团体：伊沃·托马斯、约翰·莱蒙、彼得·吉奇。 （他与普赖尔的会面是莱蒙第一次接触模态逻辑。）休斯总结了回到家的消息：“这个疯狂的殖民地男孩刚刚到达牛津，开始聚集对逻辑感兴趣的主要人物在他周围，他开始组织几乎有很多团体都支持严肃的逻辑”。普赖尔在他租来的小公寓里安装了一块玩具店黑板，并举办了开放日活动。在希拉里和三一学院学期期间的每周一，他都会讲授模态逻辑（他的伟大热情）和时态逻辑（他的伟大发明）。这些讲座于次年出版，题为“时间与形式”。

在约翰·洛克讲座结束后的暑假里，普赖尔在牛津组织了一次逻辑研讨会。逻辑在 20 世纪 50 年代的英国已经彻底过时，它的实践者被孤立，而且有些士气低落。正如普赖尔在研讨会结束后不久所写的那样，“英格兰和爱尔兰有逻辑学家；但必须承认，他们有些分散，据我所知，他们从未有过任何集体聚会”（1956b：186）。 Prior 的座谈会汇聚了 Lemmon、Thomas、Geach、M. Kneale、W.C. Kneale、M.W. Dick、Lewy、Smiley、Bennett、Lejewski、Faris、Nidditch、Carew Meredith、David Meredith 等。这一切都取得了巨大的成功，座谈会成为了定期举行的活动。通过他的约翰·洛克讲座、学术讨论会以及他在全国各地的多次访问，普赖尔帮助重振了英国逻辑。他留下的团队发现自己与 1939 年之前华沙存在的紧密的研究团队有相似之处。

毫无疑问，他带着复杂的心情回到了新西兰。经过十二个月的大规模合乎逻辑的陪伴后，坎特伯雷的生活前景一片孤独。他对逻辑充满了热情，再次投入到大量的信件中，但这已经不能满足他了。事先憔悴。当曼彻斯特大学新设立的第二任主席的邀请到来时，他抓住了它。 1958 年 12 月，修道院院长再次离开新西兰。

3.8 宗教

除了普赖尔在半球之间的旅行之外，还有他从宗教信徒到非信徒看似复杂的内心旅程。当他到达曼彻斯特时，内心的旅程并不容易描述，但似乎已经过去了很多年。它可能始于 1941 年，当时普赖尔对宗教信仰起源的精神分析解释越来越感兴趣（这个话题在普赖尔 (1935) 中首次提到）。在他 1942 年 9 月出版的《宗教可以讨论吗？》中，五个人物（分别是巴蒂安新教徒、现代主义新教徒、天主教、逻辑学家和精神分析学家）之间的对话，普赖尔向精神分析学家做了闭幕词，他解释说环境可能会“推动”信徒进入

在这种情感危机中，如果不采取行动，他们就会发疯，然后在痛苦的分析过程中，他们会亲眼看到自己渴望相信的根源。只有这样，才是真正的无神论者。 （1942a 之前：150）

如果这些言论是自传，那么文章中就没有任何暗示。但 Prior 在 1942 年 3 月 25 日未发表的七页手稿中提供了更多信息（Prior 1942b，Jakobsen 2016）。在那里，他明确表示，他不再认为自己是基督徒，用过去时态谈到他的“基督教时代”，并否认他对神学的持续兴趣是“回归基督教”。

在《可以讨论宗教吗？》普赖尔让精神分析学家说“这是不可抗拒的宗教幻觉”，他在1942年的手稿中直言不讳地说“神学是一种幻觉”，并补充道“但它是一种在某种程度上“接近生活”的幻觉”。在这份手稿中，他多次提到弗洛伊德的名字；在一份关于弗洛伊德理论在宗教上的应用的打字稿中，可能也是写于 1941 年或 1942 年（Prior n.d.c., Hasle 1999, 2012），Prior 探讨了“所有宗教崇拜的隐藏的非宗教基础和根源”。他谈到“打破宗教魔咒”和“宗教的潜意识根源”被“暴露”。普赖尔认为，宗教“所指的真正崇拜对象”的“存在”“始终是虚构的”。

那么，普赖尔在这一点上的立场似乎是，宗教话语是虚构话语的一种形式——尽管虚构是“贴近生活”的。他似乎还认为，信徒们利用精神分析学家所说的“诡计”来阻止有关这部小说的潜意识起源的知识进入他们的意识，从而打破宗教魔咒（Prior 1942a：146-7）。

普莱尔很快就放弃了这种向不信的转变。根据他的军事记录，到 1944 年左右，他再次成为一名“长老会教徒”。尽管他源自精神分析的怀疑论有所减弱，但似乎最终被更普通的哲学怀疑论所取代。新西兰哲学家吉姆·桑顿 (Jim Thornton) 在 1949 年至 1953 年期间是普赖尔的学生，他回忆道，“当我还是他的高年级学生时，我的印象是，他认为休谟对宗教信仰的怀疑态度令人印象深刻”。桑顿继续说道，“他喜欢让我们注意休谟在《自然宗教对话》的各个段落中的讽刺，以及《奇迹》文章的最后一段”：

单纯的理性不足以让我们相信它的真实性：无论谁被信仰所感动而同意它，他都会意识到他自己身上不断出现的奇迹，这颠覆了他理解的所有原则，并赋予他相信的决心…… （休谟 1777，10.101）

尽管普莱尔喜欢休谟的怀疑论，但他还是在 1951 年迈出了严肃的一步，成为基督城圣马丁长老会的长老。长老们负责会众的精神监督，他被分配了一个由会众中大约 15 至 20 户家庭组成的“区域”，并被要求定期拜访每一户家庭。无论他的哲学疑虑是什么，普赖尔现在已经成为长老会社区的支柱。 ‘主啊，我相信； “救救我的不信吧！”1942 年，他让自己扮演的巴蒂安新教徒角色这样说道。

1956 年，阿瑟在牛津休假的一年，似乎是一个转折点。也许纯粹的距离有​​助于放松宗教的束缚，不仅对他而且对玛丽也是如此。回到新西兰后，一家人去教堂的频率就大大降低了。谈到这一次，他们的儿子马丁说“我认为玛丽和亚瑟开始失去他们的信仰”。亚瑟继续在圣马丁教堂担任长老，直到 1958 年 12 月离开英国前往曼彻斯特，但从 1958 年 4 月起他不再参加每月的长老会议，而且与惯例相反，他甚至懒得为会议致歉他错过了。

罗伯特·布尔 (Robert Bull) 是阿瑟 1957 年起的学生，他记得阿瑟轻率地履行了教会职责。有一次，亚瑟打断了一场关于逻辑的谈话，调皮地说：“我得去送他妈的圣餐卡了。”玛丽大笑起来，喊道“亚瑟！”。这些卡片是参加圣餐仪式的邀请函，作为长老，他有义务向他所在地区的每个人分发一张卡片。到这个时候，先生的宗教观察可能只是一个不想让船不高兴的问题，也许尤其不是玛丽的父亲弗兰克·威尔金森牧师。

先生一旦先生在曼彻斯特，教堂就成为过去的事。

3.9 过去几年

先前在曼彻斯特呆了七年。 1966年，安东尼·肯尼（Anthony Kenny）推荐他在巴利奥尔（Balliol）获得奖学金。此举将意味着地位和薪水都下降了，更不用说教学的增加了，但先前毫不犹豫。他在牛津的休假是他最幸福的岁月之一。 “这是美好的生活”，一旦他被定居在鲍尔奥利尔，他告诉乔治·休斯。他觉得他只是属于。在以前，很快就以成为牛津最好的老师之一而闻名 - 尽管他的学生有时会惊讶地让十八世纪的道德主义者读书，而不是当前时尚的书籍。

正好在他离开曼彻斯特之前，普里尔告诉来访的新西兰人汤姆·理查兹（Tom Richards），他要执行任务去牛津。 Prior自己的作品是哲学和逻辑的典范融合，他去了牛津，目的是有趣的数学逻辑学家和数学逻辑中的哲学家。时间是正确的。事先在宣讲他的信息时不遗余力：

[F] Ormal逻辑和一般哲学比有时所想象的要多得多。我并不是说这句话是为了低估那些探索象征性微积分属性的人的工作而没有任何担心他们可能用来的意思……我也不是要低估最近的哲学家在探索方面所做的事情固执且复杂的“逻辑”嵌入了共同的话语中，即使它们没有衍生或试图从中得出像微积分一样的东西……但是这些活动是或可以彼此相关的，因为理论和观察是在物理的科学；我必须承认，在建设良好的理论之后，许多当代哲学无法满足。 （1957：vii。）

Prior并没有活着享受他帮助介绍的哲学和逻辑之间的cordiale。他的健康开始让他在Balliol的第二年失望。发现他既有心绞痛又有多符合性风湿病。在1969年秋天，风湿病稳步增长。他当时在奥斯陆大学休假。痛苦使他没有热情的工作。他尽职尽责，每周举办一次研讨会，并在剩下的时间里花了很多时间，因为做诸如穿上外套之类的基本事情是多么痛苦。他的主人让他与开处方可的松的风湿病学家任命。在几天后写的一封信中，在他的心脏失败之前的几天里，他将自己描述为现代医学的奇迹之一。 ‘我一直睡得很好……上下楼梯……我可以站在一条腿上，另一只袜子（第一次持续了几个月）……他们现在已经治愈了我，我很好。’

3.10 新西兰的遗产

1958年12月，他于1958年12月出发前往英格兰后很久，他的想法对新西兰的逻辑发展产生了强烈的影响 - 他安排罗伯特·布尔（Robert Bull）和乔纳森·贝内特（Jonathan Bennett）分享了1959年在坎特伯雷（Canterbury）的高级逻辑课程的教学公牛最近发现了唯一含义的唯一逻辑的完整证明，并将其教给班级（他现在说，天堂帮助我和他们）。

休·蒙哥马利（Hugh Montgomery）是公牛的观众。蒙哥马利（Montgomery）在1940年代曾是坎特伯雷（Canterbury）的数学专业学生，而先前则单枪匹马地将本科逻辑启动。现在，蒙哥马利在克赖斯特彻奇（Christchurch）担任家具制造商的职业生涯后，他的学业恢复了。在阅读Prior的“ Diodoran模式”之后，他发现自己“对时态变得越来越感兴趣”。 1962年，他以助理讲师的身份加入了坎特伯雷哲学部（当时任命了任命两位讲师吉姆·桑顿（Jim Thornton）和鲁迪·齐登斯（Rudi Ziedens）的教授和两位讲师）。

蒙哥马利很快就在模态逻辑上发表了一大批论文。许多人与理查德·鲁特利（Richard Routley）合着，理查德·鲁特利（Richard Routley）毕业于惠灵顿维多利亚大学（Victoria University of Wellington），这是所有人的“维克”（Vic） - 不久之后蒙哥马利（Montgomery）参加了Bull的课程。鲁特利说：“我在先前的阴影中长大。”‘我想他是1950年代后期新西兰哲学中的主要人物。”鲁特利（Routley）承认，还有其他重要的哲学家承认：“但他们没有先验的恐慌，比生活大的人或学说更大”（Sylvan 1996：126）。鲁特利（Routley）移居澳大利亚，继续使用《先驱与对话逻辑》以及环境哲学，在1980年代将他的名字改名为西尔万（他喜欢树木，尤其是新西兰考里）。蒙哥马利（Montgomery）是Prior的有力支持 - 于1969年任命奥克兰大学的副教授，然后于1970年任命奥克兰哲学主席。

与此同时，公牛在1960年英格兰之前曾在英国之前。一年后，马克斯·克雷斯韦尔（Max Cresswell）加入了曼彻斯特。克雷斯韦尔（Cresswell）是维克（Vic）的乔治·休斯（George Hughes）和戴维·隆德（David Londey）的学生，他于1957年在大学图书馆的第一年结束时意外地在大学图书馆遇到了正式逻辑。这一发现兴奋不已，他还吞噬了时间和方式。当他在英国获得研究生学习的联邦奖学金时，克雷斯韦尔（Cresswell）抓住了与Prior合作的机会。 1963年，他凭借命题逻辑上交博士学位，并在先前的有力参考资料上回到了维克（Vic），以迈向隆迪（Londey）的鞋子。 （澳大利亚人隆德（Londey）回到家。）克雷斯韦尔（Cresswell）在接下来的三十年中继续统治新西兰逻辑。公牛完成了博士学位在1962年的Prior逻辑下，在牛津大学就读于Michael Dummett领导的DPHIL。在牛津大学，公牛开始发表一系列重要的论文，开发了先验时态和模态逻辑（包括他的1964年，1965年和1970年，他和克里斯特·塞格伯格（Krister Segerberg）的1984年手册输入“基本模态逻辑”今天仍然很有价值）。公牛掌握了两个博士学位，在伯明翰，然后是利兹工作，然后于1968年底返回坎特伯雷的一座高级讲座。从远处开始，他的士兵们在他的祖国为逻辑而战。

当克雷斯韦尔回来时，惠灵顿正成为新西兰逻辑的焦点。休斯和隆迪（Hughes and Londey）有一群强大的研究生，包括多萝西·格罗弗（Dorothy Grover）和汤姆·理查兹（Tom Richards）。 Londey喜欢使用Hilbert和Ackermann的《战前GrundzügeDerTheoretischen Logik》作为他的高级课程的文本，1965年，他和休斯出版了自己的正式逻辑元素，旨在旨在毕业于本科生，并在此中审查了它。澳大利亚哲学杂志，将其描述为“非常好的买入”，并以希尔伯特和阿克曼的风格广泛地形容为“冯·赖特（Von Wright）的更多内容（1966年）。同样在1965年，休斯和克雷斯韦尔（Hughes and Cresswell）试用了模态逻辑本科课程的想法。这些元素不包含模态逻辑，缺乏任何适合新课程的教科书是一个问题。休斯对克雷斯韦尔开玩笑说：“我们必须写自己的书。”他们著名的关于模态逻辑的介绍出现在1968年，一夜之间转向模态逻辑，只能将专家访问的主题变成几乎每个人都有逻辑的每个人都可以理解的。

逻辑质量正在建设。年轻的澳大利亚人马尔科姆·雷尼（Malcolm Rennie）于1965年加入奥克兰大学（Auckland University），担任讲师（从杰克·斯玛特（Jack Smart）的鼻子下说，他要他上阿德莱德大学）。 Rennie受到Prior的工作的强烈影响，并开始发表有关时态和模态逻辑的论文。他1971年有关Prior Tense System QKT的文章包括悼词：“本文致力于纪念已故的Arthur Prior：与他见面从来都不是我的好运，但我非常感谢他的个人鼓励，并为此表示感谢他的许多肥沃和富有想象力的著作产生了兴趣”（Rennie 1971：107）。 1968年，雷尼（Rennie）在他的奥克兰学生之前就教过一门研究生课程，涵盖了波兰符号的先验时态逻辑。

在世界的另一端，在利物浦大学的亚里士多德社会与思想协会联席会议上，先前参加了彼得·盖奇（Peter Geach）和罗伯特·斯切诺夫（Robert Stoothoff）举行的关于“实际存在的事物？”研讨会。斯托什诺夫（Stoothoff）给他留下了深刻的印象，他在给蒙哥马利的一封信中认真地说，年轻的美国人“为逻辑做了很多斗争”。坎特伯雷（Canterbury）意外地联系了Stoothoff，并提供了较短的主席。他接受了1970年到达基督城的接受。（较短的人正在牛津林肯学院（Lincoln College）的研究金。蒂奇（Tichý）在苏联坦克（Soviet Tanks）于1968年在街道上指挥街道之后不久就逃离了他的祖国布拉格。 ）一旦定居在新西兰蒂奇（Tichý Prior and Von Wright（Tichý1973，1955a：211）。不久，他沉迷于探索先验时间逻辑的国家逻辑消遣。

1970年，克雷斯韦尔（Cresswell）访问了芬兰的塞格伯格（Segerberg）（位于波罗的海沿岸的维拉·沃拉克斯（Villa Wolax），这是塞格伯格（Segerbergs）从冯·赖特（von Wright）家族租用的19世纪夏季屋）。克雷斯韦尔（Cresswell）和塞格伯格（Segerberg）在森林里聚集了蘑菇，并在新西兰谈到了逻辑。这是一次吉祥的会议。当蒙哥马利（Montgomery）去世时，在53岁的惨败中，克雷斯韦尔（Cresswell）提议为奥克兰椅子（Auckland Cairn）提议塞格伯格（Segerberg）。塞格伯格（Segerbergs）记得“半夜”接到新西兰的电话。 Segerberg说，这份工作是在“银盘上”。 1979年短暂访问后，塞格伯格（Segerberg）于1980年移居奥克兰（Ouckland）。他发现新西兰逻辑“处于充满活力的州”。

到1970年左右，新一代的本土逻辑学家已经开始进入后景观。 1971年，罗布·戈德布拉特（Rob Goldblatt）在维克（Vic）担任了数学初级讲座。惠灵顿（Wellington）出生并育种，戈德布拉特（Goldblatt）在第二年的本科生中从克雷斯韦尔（Cresswell）和休斯（Hughes）的演讲中学到了模态逻辑，他完成了博士学位。布尔说，克雷斯韦尔（Cresswell）领导下的论文“模态逻辑的metAmahematics'。很快，戈德布拉特（Goldblatt）发表了有关模态逻辑的大量论文。同样在1974年，弗雷德·克鲁恩（Fred Kroon）以前是雷尼（Rennie）先前在奥克兰（Auckland）课程中的学生之一，被任命为奥克兰哲学系的讲座。约翰·比格洛（John Bigelow）作为坎特伯雷大学的本科生，曾被蒙哥马利（Montgomery）教授“出色的逻辑”，于1973年在维克（Vic）担任哲学讲座。先前的另一位仰慕者，比格洛（Bigelow紧张的逻辑），后来他坚定地捍卫了普拉斯的表现主义。比格洛（Bigelow）于1973年从他的博士学位回到家时。在剑桥的研究中，他发现新西兰已经成为“逻辑上的强国”。