On Mon, May 13, 2019 at 4:46 PM 'Brent Meeker' via Everything List < [email protected]> wrote:
> > > On 5/13/2019 8:50 AM, Jason Resch wrote: > > But then what is arithmetical truth? We have no label for it. It > > cannot be derived from or defined by labels. > > And it depends on the model. Saying truth depends on the model is like saying facts about something depend on what you are talking about. When I said arithmetical truth, it should be clear the model is arithmetic, and so arithmetical truth are the facts concerning arithmetic. > Which is why it's undefinable within the > system. Could you clarify this point? > And also why it's not the same as the "true" in "It is true > that snow is white." > > How is it different? Jason -- 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/CA%2BBCJUgQZz3nO%2BOKaiWZrtmbVivC8E_0BtwfjhW7hm9PjRoZ_Q%40mail.gmail.com.
