直觉主义

此条目需要扩充。 (2018年5月27日) 请协助改善这篇条目，更进一步的信息可能会在讨论页或扩充请求中找到。请在扩充条目后将此模板移除

我只是突然注意到这个专栏好像没有人介绍，更别说捍卫这种许多人都多少抱持的道德直觉。如果有篇文章可以谈论一下会很有趣。 想到傅柯的外边思维其中的一句话；我正在说谎

在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑

第5页 我认为我们可以细分后现代主义的理论大厦。首先，视后现代主义为受浪漫主义影响，是曾经向逻辑归纳主义提出挑战的数学家们的思想的复兴，或用稍为有些不同的术语来说，一种再发明；其次，视后现代主义为对浪漫主义式的人文主义的极端背离，这种背离的根源在部分上可以追溯到数学，其后现代主义的版本变成了一种相当极端的****。 ////——塔西奇的视角是非常独特的