> On 29 Oct 2018, at 01:18, Tomas Pales <[email protected]> wrote: > > > > On Monday, October 29, 2018 at 12:33:23 AM UTC+1, Brent wrote: > > There is no logical inconsistency in a flying pink elephant existing right > now in my den beside me. But don't see one. > > First, it is not clear whether the existence of a flying pink elephant in > your den is consistent with the rest of this universe. Many things may seem > consistent while they are actually inconsistent. Before the 20th century it > seemed consistent with the laws of our universe that there was no speed limit > or that the energy of a particle could vary continuously. Now we know that > these phenomena are inconsistent in our universe and that's why they don't > exist here.
If it is dreamable, it is consistent. Consistency is very cheap. Even the Auster arithmetical theories are all consistent with the assumption that they are inconsistent. <>t -> <>[]f (if I am consistent, then it is consistent that I am inconsistent). Bruno > > Second, it might be that both the existence and the non-existence of a flying > pink elephant in your den are consistent with the rest of this universe. In > that case the elephant both exists and doesn't exist but in different > universes, because it would be inconsistent for it to both exist and not > exist in the same universe. And you happen to live in the universe where the > elephant doesn't exist. > > > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
