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.

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".

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.

Reply via email to