Questions about ludics

Use this page to post any questions (broad or specific) you have about ludics.


 * "Only the location matters"...why are loci so essential? What is the difference between localized desseins and having explicit proof terms for ordinary formulas?  E.g., loci let you treat intersection types, but we can also do that using explicit proof terms.  Is it a technical difference, or a philosophical one?
 * The ban on weakening is lifted in ludics, and indeed weakening seems essential. Why is there still a ban on contraction?
 * What is truth?
 * Is Girard really serious?