The Free Thinking Argument formal syllogism: (1) no libertarian freedom → no rational inference; (2) humans DO rationally infer; (3) therefore humans have libertarian freedom. Stratton calls it deductive and potentially debate-ending.

The simple version: P1: If humans don't have libertarian freedom, they can't rationally infer and affirm knowledge claims. P2: Humans DO rationally infer and affirm knowledge claims. C: Therefore humans have libertarian freedom. This is a structurally valid deductive syllogism. Stratton: "If this argument stands, and I believe it does, then the centuries-long debate is finally over." He first formulated it at Biola University in 2012 and has refined the wording over years.