A formalization of one of the main claims of “‘Dunbar’s number’ deconstructed” by Lindenfors et al. 2021

Lindenfors et al. claimed in previous work that the cortex size of humans does not relate to their social group size. We present here a formalization of that claim, stating that all things of class “relative neocortex size” that are in the context of a thing of class “social group” never have a relation of type “affects” to a thing of class “social group size” in the same context.