[FOM] About Paradox Theory
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.
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
More information about the FOM