Logic is Metaphysics (2011) [pdf]
A philosophical discussion of logic in this decade should at least be aware of the Curry-Howard isomorphism and Linear Logic. This paper makes a passing mention of this by treating the law of excluded middle. I would say that denying that law has led to the most fruitful developments of logic in the last century.<p>Philosophy without technical input is sophistry, technical developments without philosophy end up answering questions of no interest. Girard is an entertaining source of both philosophical and technical insight: <i>On the meaning of logical rules I : syntax vs.
semantics</i> <a href="http:&#x2F;&#x2F;girard.perso.math.cnrs.fr&#x2F;meaning1.pdf" rel="nofollow">http:&#x2F;&#x2F;girard.perso.math.cnrs.fr&#x2F;meaning1.pdf</a><p>Per-Martin Lof&#x27;s ideas are also important: <i>ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS</i>  <a href="https:&#x2F;&#x2F;uberty.org&#x2F;wp-content&#x2F;uploads&#x2F;2017&#x2F;06&#x2F;Martin-Lof83.pdf" rel="nofollow">https:&#x2F;&#x2F;uberty.org&#x2F;wp-content&#x2F;uploads&#x2F;2017&#x2F;06&#x2F;Martin-Lof83.p...</a><p>This only scratches the surface.