“…Like all orthodoxy this view has been disputed [44]. However, it is strongly theoretically supported [28,32,34,33] and recent formal work seeks to justify it in light of Skyrms's treatment [5,47]. To repeat, the traditional view that natural signs do not have correctness conditions is supported by 16 the teleosemantic approach to intentionality, on which having a function is necessary for having a correctness condition.…”