I've been doing some thinking on self-referencing statements and the problems they imply. For example:(adsbygoogle = window.adsbygoogle || []).push({});

THIS=TRUE is both true and false

THIS=FALSE is neither true nor false

THIS>TRUE is both true and false

THIS>FALSE is neither true nor false

THIS > X implies itself and x (using the fact that THIS = (THIS > X))

etc...

I was wondering if the people here could shoot down this idea:

A self referential statement is true if and only if it implies itself.

THAT(written) = (THAT(value) > THAT(written))

Given this, we would get:

(THIS=TRUE) = (THAT > THAT=TRUE) = TRUE > TRUE = TRUE

(THIS=FALSE) = (THAT > THAT=FALSE) = FALSE

and we wouldn't be able to imply X using (THIS > X) because once we get THIS = (THIS > X) we have change it to THAT = (THAT > (THAT = (THAT > THAT))) before we can evaluate it.

I suppose what I'm looking for here are interesting statements that break this rule. I know it doesn't handle indirect self-reference.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Self-Referential statements

Loading...

Similar Threads for Self Referential statements | Date |
---|---|

I Equivalence of quantified statements | Feb 22, 2018 |

A Axiom of Choice not self evident? | Sep 10, 2017 |

Is Game Theory a Self-Contained Subject? | Feb 18, 2016 |

Winter break math study | Dec 7, 2014 |

Excluded middle and self-reference | Apr 27, 2013 |

**Physics Forums - The Fusion of Science and Community**