"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.

《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。

youdao

Between 2003 and May 2010 the number of formal jobs in construction alone increased from 1.5m to 2.5m.

在2003年和2010年5月间，单单建筑行业的正式工作从150万个增长到250万。

youdao

You might choose to treat your models as formal architectural drawings that are to be strictly followed during construction.

您可能选择将您的模型视为在构建阶段要严格遵守的正式的架构图。

youdao

Subject to Government Office North West formal approval, construction work is set to start in the autumn.

BBC: Lancashire's Old Trafford redevelopment plans approved

First, the premium for skilled workers has been falling: a surge in secondary education has increased the supply of literate, reasonably well-schooled workers, and years of steady growth have raised relative demand for the less skilled in the formal workforce, whether as construction workers or cleaners.

ECONOMIST: An unequal continent is becoming less so