当代英美哲学家中的主流哲学家，是否关注数理逻辑、类型论和范畴论等领域的研究成果？
主流指心灵哲学，形而上学，认识论等。
非英美传统的哲学，我倒是知道一个相关例子，始于Lawvere关于黑格尔的工作：Science of Logic
1 Like
逻辑哲学（philosophical logic）有关注你说的内容。你可以google/百度一下
当然了！
尽管我不太了解这个领域，但我知道这个领域里哲学家数学家还有搞理论计算机的，交流很多。比如卡耐基梅隆哲学系就很多做这方面的。Berkeley那边也很多。
逻辑学每年都有好几个summer school，最大的那个忘了叫什么了，应该很容易搜到。每年都是一批来自各个领域的人去讲。
philosophical logic 是哲学逻辑吧？
对，也是philosophy of logic
你指的是NASSLLI? 我印象里NASSLLI应该是两年一次。
嗯。好像欧洲也有一个一样的组织。不知道是不是正好错开开会。
Edit：好像没有错开。比如今年NASSLLI是7月，ESSLLI是8月。
大多数哲学家专注于自己研究的领域和相关周边领域。因此我不觉得主流（大多数）分析哲学家会关注这些前沿的形式研究。如果一个分析哲学家是做老派的语言哲学、认识论、价值理论，我不认为这些形式研究属于他们的相关领域。大多数的哲学内容，实际上只需要基本的自然演绎逻辑系统就可以读懂或者写出。
但是，对于不少科学哲学、形而上学、数学物理哲学这些领域的哲学家来说，范畴论、数理逻辑等形式研究，要么本身就是这些哲学家的研究内容，要么这些形式研究有助于推进他们的研究主题。
对于前者，我们可以易于看到，现在数学哲学领域中，范畴论本身就成为了一个前沿的主题。更不要提专业的logician和philosopher of logic的工作。至于后者，我们可以看到，范畴论、模型论、公理化逻辑系统对于哲学家们理解科学理论的本直一直起着相互推动作用。一种较为晚近的观点就是认为科学理论是范畴。
（详情可以参见Hans Halvorson的Scientific Theories （201X）和the logics of scientific theories（2019））
3 Likes