> On 31 May 2019, at 21:12, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/31/2019 2:51 AM, Bruno Marchal wrote: >>> I suppose for those who think that matter doesn't exist, >> >> Nobody says that matter does not exist. That would be denying simple facts. >> The point is that matter has phenomenological existence. >> >> I thing we should never use the term ‘exist” without making precise if we >> talk about ontological existence, or phenomenological existence. > > Right. And that of course also applies to "non-existence". And ontologies > are theory dependent. To often the theory is assumed implicitly and "exist" > is use equivocally. > >> With mechanism there are eight important different notion of >> phenomenological existence, and one simple notion of ontological existence >> valid only for numbers. >> > And that "ontological existence" is in the context of the theory of countable > things, i.e. the natural numbers.
OK. And with mechanism, the point is that we cannot assume more than the natural numbers in the ontology. The non countable things will comes in the first person perspective through the non recursively countable, and limits. I am just illustrating this to my student, by showing that “simple” arithmetical relation can only be proved by doing a transfinite induction up to epsilon-zero, and unavoidable by even a theory as rich as PA. I use Goodstein's sequences. May be I can say more on this one day, but people should study a bit of mathematical logic. Bruno > > Brent > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/2070fcb6-6a80-852f-2f14-a7211be945da%40verizon.net. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/63DC8B60-589E-46F5-91DD-1E3470CEDBFD%40ulb.ac.be.
