Jean-Yves Girard has recently put online his two papers on Transcendental Syntax. As of early march 2015, part I is now said to be in final state while part II is still a blueprint (“This part is so new, the notions are so fresh, that can hardly be more than a blueprint; I am not yet familiar with the notions introduced, which may account for the sloppiness of notations. Hence the inclusion of this section in annex. I beg for the leniency of the reader in view of the absolute novelty of the ideas.“)
The aim is apprently a “fully independent approach to logic: no syntax, no semantics, i.e., no prejudice.”
As usual with Girard, the papers introduce new terminology that probably requires a fair amount of time to grasp, but at the same time are written in appealing semi-discursive style, with motivations fully apparent.