> On 16 May 2019, at 01:28, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/15/2019 8:20 AM, Bruno Marchal wrote: >> Mathematical logic distinguish well the name of a thing and the thing >> itself. You confuse “0” and 0. >> >> Also, when you say that something does not exist, you might give us your >> metaphysical axioms. Taken literarily, what you say is like saying that the >> equation x - 4 = 0 has no solution. > > That's confusing "Satisfies a predicate." with "exists". Such a definition > of "exists" is only relative to a context. Compare, "There exists a > physician companion of Sherlock Holmes.”
In arithmetic, I use the expression “it exists x P(x)” with the meaning the standard model of arithmetic satisfies “it exists x P(x)”. Which is the logician way to describe the meaning of “it exists x such that x-1=0” in high-school. Since day one, we use the standard model of arithmetic. It is the one everyone understand. The no standard model are sophisticated constructs in the mind of logician, to prove that PA, and all sound machines, have limitation with respect to the standard model, which can be defined online a richer theory. The level of mathematical confidence is high up to ZFC, like in analysis and physics. 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/13f30fc5-3fd9-9b09-17c5-f198c540b5a8%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/B03F1583-24B6-4315-8EF1-A31FAAB1DD4C%40ulb.ac.be.
