It's definitely math, or specifically logic. The writing style in the article leans heavily on logical statements. Perhaps an interesting aside: I always thou

It's definitely math, or specifically logic. The writing style in the article leans heavily on logical statements. Perhaps an interesting aside: I always thought that mathematical logic, or at least the parts we typically learn to describe CS concepts, is pretty hardcore in terms of the abstract thinking we have to perform. Until I saw what philosophers have to learn... They are taught much richer and complex concepts that can describe how logic bleeds into written/spoken language and how you extract this logic from text. Logic is used, recognized and analyzed in pretty much _everything_ they do. In contrast, we get by with the kindergarten version of logic for most things.