Jean-Yves Girard 的《The Blind Spot: Lectures On Logic》。补充点背景，Girard 是一位数理逻辑学家、哲学家，也是类型系统 System F（Haskell、ML 等）的共同提出者。这本书是一部关于证明……
The Blind Spot: Lectures On Logic by Jean Yves-Girard For context, Girard is a mathematical logician, philosopher, and co-discoverer of the type system System F (Haskell, ML, etc.). The book is a monograph on proof…
……忍受“20 世纪逻辑学”的枯燥乏味。如果你喜欢用一种充满活力的方式来重构哲学概念（尤其是逻辑哲学），我强烈推荐读读 Girard 的著作。《The Blind Spot: Lectures on Logic》是对逻辑学一次系统性的梳理，从希尔伯特的形式主义讲起，一直延伸到 Geometry of Interaction 的算子代数。一路读下来，Girard 那极具攻击性、主观色彩浓烈的……
…with the dryness of "logic of the 20th century". If you like the idea of an energetic approach to reconceptualize philosophy, in particular the philosophy of logic, I recommend reading Girard's work. The Blind Spot: Lectures on Logic is an organized survey of logic starting with Hilbert's formalism and ending up in the operator algebras of Geometry of Interaction. Along the way, Girard's combative, highly opinionated…
…[7] https://ncatlab.org/nlab/show/groupoid+cardinality Alternately alternately alternately, foundational madness of the best kind. [8] http://www.forkinganddividing.com/ [9] https://www.amazon.com/Blind-Spot-Lectures-Logic/dp/30371908...
…found in the work of Jean-Yves Girard. In particular, the opposition of syntax/semantics is criticized. Girard prefers to treat proofs as mathematical objects in of themselves, i.e. realizability. See The Blind Spot [2] and if you read French, [3] is a non-technical explanation of his post-classical logical ideas. [1] https://www.urbanomic.com/book/synthetic-philosophy-of-conte... [2] https://www.maa.org/press/maa-reviews/the-blind-spot-lecture...…
Jean-Yves Girard 的《The Blind Spot: Lectures On Logic》。补充点背景，Girard 是一位数理逻辑学家、哲学家，也是类型系统 System F（Haskell、ML 等）的共同提出者。这本书是一部关于证明……
The Blind Spot: Lectures On Logic by Jean Yves-Girard For context, Girard is a mathematical logician, philosopher, and co-discoverer of the type system System F (Haskell, ML, etc.). The book is a monograph on proof…
如果有人觉得这篇评论有点玄乎（woo），那让-伊夫·吉拉尔的《The Blind Spot》（2011）读起来可能会更好一点。
Jean-Yves Girard's The Blind Spot (2011) may be a better read for those who find this review a bit woo.
……忍受“20 世纪逻辑学”的枯燥乏味。如果你喜欢用一种充满活力的方式来重构哲学概念（尤其是逻辑哲学），我强烈推荐读读 Girard 的著作。《The Blind Spot: Lectures on Logic》是对逻辑学一次系统性的梳理，从希尔伯特的形式主义讲起，一直延伸到 Geometry of Interaction 的算子代数。一路读下来，Girard 那极具攻击性、主观色彩浓烈的……
…with the dryness of "logic of the 20th century". If you like the idea of an energetic approach to reconceptualize philosophy, in particular the philosophy of logic, I recommend reading Girard's work. The Blind Spot: Lectures on Logic is an organized survey of logic starting with Hilbert's formalism and ending up in the operator algebras of Geometry of Interaction. Along the way, Girard's combative, highly opinionated…
Jean-Yves Girard 的《The Blind Spot: Lectures on Logic》
"The Blind Spot: Lectures on Logic" by Jean-Yves Girard
……[7] https://ncatlab.org/nlab/show/groupoid+cardinality 或者退一万步讲，这属于最棒的那种基础领域的癫狂。[8] http://www.forkinganddividing.com/ [9] https://www.amazon.com/Blind-Spot-Lectures-Logic/dp/30371908...
…[7] https://ncatlab.org/nlab/show/groupoid+cardinality Alternately alternately alternately, foundational madness of the best kind. [8] http://www.forkinganddividing.com/ [9] https://www.amazon.com/Blind-Spot-Lectures-Logic/dp/30371908...
……体现在 Jean-Yves Girard 的工作中。尤其是他对语法/语义（syntax/semantics）的对立提出了批评。Girard 更倾向于将证明本身视作数学对象，即 realizability。参见《The Blind Spot》[2]；如果你懂法语的话，[3] 则是对他后经典逻辑思想的通俗解读。[1] https://www.urbanomic.com/book/synthetic-philosophy-of-conte... [2] https://www.maa.org/press/maa-reviews/the-blind-spot-lecture...…
…found in the work of Jean-Yves Girard. In particular, the opposition of syntax/semantics is criticized. Girard prefers to treat proofs as mathematical objects in of themselves, i.e. realizability. See The Blind Spot [2] and if you read French, [3] is a non-technical explanation of his post-classical logical ideas. [1] https://www.urbanomic.com/book/synthetic-philosophy-of-conte... [2] https://www.maa.org/press/maa-reviews/the-blind-spot-lecture...…