亚瑟·普赖尔（六）

一个跨学科的逻辑小组，于1968年围绕休斯和克雷斯韦尔成立，在第一周举行会议，然后每周从1970年开始。惠灵顿逻辑集团“是一个故意结婚数学和哲学的兴趣”，他说。数学基础（Malcolm 1975），后来成为VIC纯数学教授。除了参与惠灵顿集团的人的纯粹逻辑才能外，克雷斯韦尔还将该小组的出色成功归结为这样的事实，即当今的大学中没有很多东西 - 这不是一个托管的创造：它只是“刚刚成长，没有计划”，并且没有计划过”。 。

惠灵顿集团和新西兰逻辑更普遍，是游客的磁铁。 Angelika Kratzer于1974年首次访问该组织，与康斯坦茨大学和德国的逻辑学家建立了联系。来自德国的其他人很快到达，包括Arnim von Stechow和RainerBäuerle。斯坦尼斯瓦夫·苏尔马（StanisławSurma）也于1974年访问，启动了该小组与波兰逻辑学家的联系（后来，塞格伯格（Segerberg）在奥克兰（Ouckland）聘请了苏尔玛（Surma））。迪克·爱泼斯坦（Dick Epstein）于1974年从美国访问了该组织，然后于1975年返回维克（VIC）两年。在那里，他研究了可计算性以及他所谓的“相关性逻辑”，这是一种相关逻辑的形式。来自北美的其他游客包括道格·沃尔顿（Doug Walton）。史蒂夫·托马森（Steve Thomason）于1973年在坎特伯雷（Canterbury）度过一年的时间，在坎特伯雷（Canterbury）访问了该小组，他在模态逻辑中嵌入二阶逻辑，并将类别理论应用于模态逻辑。

Mike Dunn和Nuel Belnap在1975 - 76年期间访问了惠灵顿集团，1977年的唐纳德·戴维森（Donald Davidson），1977年的莱斯齐克·塞克塞巴（Leszek Szczerba）（Tarski的同事），并于1979年短暂地短暂地访问了Segerberg（1971年，该小组在最近的博士学位论文中工作。古典模态逻辑中的文章'（Segerberg 1971））。许多其他人在小组中度过了一段时间。大卫·刘易斯（David Lewis）于1971年首次访问，然后在1976年访问了几个月，此后成为新西兰的常规访客。该小组的另一位成员刘易斯（Lewis）和肯·普莱德（Ken Pledger）分享了对火车时间表的热情，他们热切地交换了这一时间表。 Pledger是维克数学部门的地理表，就像许多人一样，他在休斯和克雷斯韦尔（Cresswell）的1968年书中遇到了模态逻辑。 Pledger在B和S5之间的某个位置进行了S3的扩展和模态系统，后来在华沙大学度过了一个与Szczerba一起度过的休假，另一个地理位数是他获得博士学位的。关于“几何和模态逻辑之间的一些相互关系”。

1976年，惠灵顿集团（Wellington Group）跑了为期一周的逻辑学校，与刘易斯（Lewis）的住宿相吻合。爱泼斯坦做了很多组织。休斯（Hughes）在模态逻辑上和克雷斯韦尔（Cresswell）讲述了自然语言的正式语义 - 他的开创性书籍逻辑和语言在1973年出现。马尔科姆说，这所学校“带来了公开的……各种各样的令人兴奋的工作……实际上在相当长的一段时间里已经建立了。”维克逻辑学家对学校的大量入学人数感到惊讶 - 来自新西兰，澳大利亚及其他地区的学院和学生。这是一个壮观的商店窗口，堆满了新西兰逻辑。马尔科姆后来将学校描述为惠灵顿集团的“成年”。

到那时，新西兰逻辑的创始父亲曾经向加利福尼亚付款的称赞也是他自己的国家。新西兰已成为世界上逻辑上最成熟的地方之一，以研究方式和紧张。