A new spin on formal logic