[FOM] About Paradox Theory

[Vaughan Pratt]

Think of "transitive closure" as a taboo term in the language of FOL. 
Just because a term is taboo doesn't mean you can't work with it.  This 
is true of various terms arising not just in logic but personal 
relationships, divinity, etc.

Vaughan Pratt

On 9/17/2011 10:38 AM, David Auerbach wrote:
 > Might it be that it is full generalization of the paradox (to chains
 > of any length) that isn't first-orderizable, even though there's a
 > first-order version for each length? And that that's what T. Forster
 > meant?