User blog comment:KthulhuHimself/Norminals Revisited./@comment-1605058-20151130200835/@comment-1605058-20151201132437

If by "tarskian" you mean Tarskian definition of truth, then the answer is no for two reasons:

First, Tarski's definition is only stated for first-order theories. Everything including quantification over predicates is higher-order.

Second, this isn't even what I'm asking about. I speak of defining syntax, while Tarskian definition of truth is defining semantics.