Bruno Marchal wrote:
> Le 21-août-06, à 21:12, 1Z a écrit :
>
> > If Everythingism is the combination of rationalsim (all truths are
> > necessary apriori truths) and Mathematical Monism (mathematical objects
> > exist, and are
> > all that exist), it may be self-defeating , in that the second claim,
> > ie Mathematical Monism, is not a necessary truth.
>
>
> Because somewhere you say I am a "rationalist" (which I appreciate), I
> must say that I do not believe all truth are necessary apriori truth at
> all.
> Indeed, everything intelligible, sensible, observable, are build from
> modal logics of necessity and possibility, themselves build from
> incompleteness in arithmetic (which entails that notion of possibility
> makes sense in the world of numbers and machines).
There are many interpretations of the box and diamond.
Incompleteness introduces ideas if necessity and possibility based
on provability (or provability within a system). But there are,
and always were, ideas of necessity based on truth rather than
provability.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Wed Aug 23 2006 - 07:34:10 PDT