On Tue, May 14, 2019 at 7:29 PM 'Brent Meeker' via Everything List < [email protected]> wrote:
> > > On 5/14/2019 9:49 AM, Jason Resch wrote: > > What is truth? (Pontus Pilate). Arithmetical statements are true if they >> are theorems derived from the axioms. >> > > This is false. In every consistent system of axioms there are statements > that are true but cannot be derived from the axioms. > > > That's not true. There are axiomatic systems that are complete. > You are right, but in the above context we were speaking of arithmetical statements, for which my statement is correct. > > In other words truth =/= proof, truth is always greater that what can be > proved. > > > That's because you have recourse to an idea of "true" that is outside of > logical inference...such as "empirically true". > Even entirely within the system there's such statements that you know are true but not provable. Jason > > 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/b6356661-df48-36eb-2ac6-70430b5b4a5f%40verizon.net > <https://groups.google.com/d/msgid/everything-list/b6356661-df48-36eb-2ac6-70430b5b4a5f%40verizon.net?utm_medium=email&utm_source=footer> > . > -- 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%2BBCJUgJ-sWbRoZWerZHdakwzs_AXFDodPzEQPuZAowTfSNQ6w%40mail.gmail.com.
