Philosophers, mathematicians and computer scientists have come up with a new understanding of logic dubbed “inferentialism”