On 19 Aug 2009, at 18:41, ronaldheld wrote:

>
> Bruno:
> the Plotinus paper is the first one on your list of publications on
> your website?

Yes.
It is also the "pdf" on my home page, at the right of
A Purely Arithmetical, yet Empirically Falsifiable, Interpretation of  
Plotinus’ Theory of Matter

Or this:

http://iridia.ulb.ac.be/~marchal/publications/CiE2007/SIENA.pdf

It has been published since, I should decide to update my web page.

You may have some idea of the idea, but this is really AUDA and the  
math part presupposes some mathematical logic. It was a congress in  
logic and computer science.

Bruno



>                Ronald
>
> On Aug 18, 10:46 am, Bruno Marchal <marc...@ulb.ac.be> wrote:
>> Ronald,
>>
>> On 18 Aug 2009, at 14:14, ronaldheld wrote:
>>
>>
>>
>>> I have heard of Octonians but have not used them.
>>> I do not know anything about intelligible hypostases
>>
>> Have you heard about Gödel's provability (beweisbar) predicate  
>> bew(x)?
>>
>> If you have, define con(x) by ~bew ('~x')  (carefully taking into
>> account the Gödel numbering). Con is for contingent, or consistent.
>>
>> Then the logic of the intelligible matter hypostases are given by the
>> predicate Bew(x) & Con(x)
>>
>> (The sensible, non intelligible, hypostases, cannot be defined by a
>> predicate, and some detour in Modal logic is necessary, but for each
>> arithmetical propositions p, you can define them by Bp & Dp & p.  (Dp
>> is ~B ~p, Bp is bew('p'))
>> Note that Bp & Dp & p is "obviously" equivalent to p, for any correct
>> machine, but no correct machine can see that equivalence, and this is
>> a consequence of incompleteness).
>>
>> You can read my Plotinus paper for more, if interested.
>>
>> You can also read Plotinus II, 4: "On Matter". Plotinus took  
>> Aristotle
>> not quite Platonist theory of matter, and recasted it in
>> "his" (neo)Platonist doctrine.
>>
>> Basically, matter, for Aristotle---Plotinus is what is indeterminate.
>> If fits well with comp where matter is the indeterminate computations
>> which exist below the comp substitution level (by step 7).
>>
>> I have not really the time to say much more for now, and this is in
>> AUDA, and it is better to get UDA straight before. I think.
>>
>> Bruno
>>
>> http://iridia.ulb.ac.be/~marchal/
> >

http://iridia.ulb.ac.be/~marchal/




--~--~---------~--~----~------------~-------~--~----~
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@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to