[FOM] About Paradox Theory

Vaughan Pratt pratt at cs.stanford.edu
Sun Sep 18 18:12:07 EDT 2011


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?


More information about the FOM mailing list