  Initially, Lynch’s brand of functionalism attempted to implicitly define the denotation of ‘truth’ using the quasi-formal technique of Ramsification. The technique commences by treating ‘true’ as the theoretical term \(\tau\) issued by the theory \(T\) and targeted for implicit definition. Firstly, the platitudes and principles of the theory are amassed \((T: p_1 , \ldots ,p_n)\) so that the \(F\)-role can be specified holistically. Secondly, a certain subset \(A\) of essential platitudes \((p_i , \ldots ,p_k)\) must be extracted from \(T\), and are then conjoined. Thirdly, following David Lewis, \(T\) is rewritten as