Can Anything Truly Be Proven?

  • Thread starter Thread starter Gale
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the nature of proof, truth, and the foundational axioms in logic and mathematics. Participants explore whether anything can truly be proven, the implications of axioms, and the subjective nature of proof. The conversation touches on philosophical aspects, logical reasoning, and the limitations of language and definitions.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Exploratory

Main Points Raised

  • Some participants suggest that proofs rely on axioms, which themselves cannot be proven and must be assumed.
  • Others express discomfort with the idea that foundational truths cannot be proven, questioning the validity of logic itself.
  • A participant humorously claims that superior beings can provide ultimate knowledge, reflecting a more subjective or experiential approach to understanding truth.
  • There is a discussion about the difficulty of finding a good set of axioms, with references to historical figures like Euclid and ongoing challenges in axiomatizing complex fields like quantum mechanics.
  • Some argue that proof is inherently personal, emphasizing the need for individual verification of concepts like basic arithmetic.
  • One participant posits that the very concept of proof is predicated on the existence of truth, which cannot be logically established.
  • Another points out that all proofs depend on shared definitions and language, which can lead to misunderstandings and limitations in knowledge.
  • A lengthy contribution discusses the relationship between logic and faith, suggesting that logic is often at odds with religious beliefs and emphasizing the importance of logical reasoning in scientific progress.

Areas of Agreement / Disagreement

Participants express a range of views, with no clear consensus on the nature of proof or the validity of axioms. Some agree on the foundational role of axioms, while others question their reliability and the concept of truth itself.

Contextual Notes

The discussion highlights limitations in understanding due to differing interpretations of language and concepts, as well as the unresolved nature of many philosophical questions related to proof and truth.

  • #31
Originally posted by Gale17
HeavensWarFire, it'd be greatly appreciated if you could refrain from posting in this thread.
Don't worry, he'll refrain.

- Warren
 
Physics news on Phys.org
  • #32
Originally posted by Gale17
OOOOOOK...

Well HeavensWarFire... I guess you can say its because I'm a kid... though really i think its irrelevant. My "ill developed" mind is just unable to comprehend logic...

Right... so, i wasn't refuting logic, or denying it or anything like that. I just wanted to make some more sense of it. Again, i don't doubt logic at all... it works. But it just seems like... i dunno... shakey. I wasn't implying anything about religions at all... Though, now that i think of it... there's an interesting angle there. Would say, an omnipotent being have logic? or use logic or whatever?

But basically my only issue with like "proving things true" or what have you... is maybe actually the nature of axioms... It seems like so... human..? i don't know what I'm trying to say actually... but assure you it has nothing to do with my being some underdeveloped immature kid.

Gale, Perhaps this is something you've already understood, but I get the feeling you are uncomfortable with the need for the axiomatic, in logic.

It doesn't seem to make sense, at least to those of us that do not rely on faith, to accept something such as an axiom, as true.

The reason axioms are required by logic is that logic always starts at the known and proceeds, thru reasoning, to a conclusion. The problem is, no matter what you take as the starting point, it is required to be shown or proven, then what was used as the starting point of that reasoning has to be proven, ad-infinitum.

To avoid the absurdity of such an infinite recurse, an axiom or axioms have to be chosen.

Mentat,
You being 15 is quite a surprise. I'm know there are those two and three times your age, on this forum, that do not have the clarity of thought or maturity you do. You have a good head on your shoulders. Perhaps there is hope for the future [as I wave my cain from my front porch rocking chair].
 
Last edited:
  • #33
Originally posted by radagast
Mentat,
You being 15 is quite a surprise. I'm know there are those two and three times your age, on this forum, that do not have the clarity of thought or maturity you do.
I agree entirely! Mentat, I suppose you're around on pf as much as you are because you get a lot of intellectual stimulation here that you don't get elsewhere? So maybe we here at pf are all helping to mold you into a terrible monst... er... a well-rounded intellectual. I'm curious, as a mentor and educator -- how much do you think you've gained from pf? Either way, remember us little people when you walk across that stage in Stockholm.

p.s. I remember Mentat's parents punished him once by limiting his access to pf! :smile:

- Warren
 
  • #34
Originally posted by chroot
Some people hold that there are exactly three irrefutable statements:

1) I exist.
2) I am conscious.
3) Whatever exists has the characteristics that it has.

To refute any of these three statements, you'd first have to assume them true. If you say "I do not exist", who is speaking? If you say "I am not conscious", how can you speak? (Of anything?) If you say that a thing is not itself, then what are you speaking of?

- Warren
Thats pretty cool - hadn't seen them before.
p.s. I remember Mentat's parents punished him once by limiting his access to pf! :smile:
So... we're like TV and soda?
 
Last edited:
  • #35
Originally posted by Gale17
OOOk... well...


Mentat... you do bring up quantum phyics and its nature to contradict things we thought we knew. Like that tv exaple. And i guess, that's sort of what I've been considering... Logic says there's a tv in our room... but there still may not be...

Well, quantum physics wouldn't deny that it is there, it just denies that it isn't there. IOW, the TV isn't either there or not, it's both. This doesn't really contradict logic, but it does contradict common sense, and requires an open-mind (and even then, it's rather inconceivable).

and with godel... So, logic can't justify itself? so, would that make this whole thread obsolete? i suppose i feel i need a little justification... but how else can i get that without logic? sooo, i dunno...

Godel showed (IIRC) that no logical system could be used to justify itself. But, to use some simple reasoning, instead of Godel, one can still see that using mathematics (for example) to justify that mathematics is complete is non-sensical since you must first assume that mathematics is right before using it to "prove" something.
 
  • #36
Originally posted by chroot
I agree entirely! Mentat, I suppose you're around on pf as much as you are because you get a lot of intellectual stimulation here that you don't get elsewhere? So maybe we here at pf are all helping to mold you into a terrible monst... er... a well-rounded intellectual. I'm curious, as a mentor and educator -- how much do you think you've gained from pf?

I've gained tremendously, IMO. Not only does this site provide intellectual stimulation, and lots of education on very difficult topics, it also provides lots of external resources so that I know what to read to learn more about what I'm interested in.

p.s. I remember Mentat's parents punished him once by limiting his access to pf! :smile:

- Warren

Yeah, now they know that this is the worst punishment they can possibly give me (except, perhaps, taking away reading altogether )...well, I've been a good kid at home ever since :wink:.
 
  • #37
Originally posted by russ_watters
So... we're like TV and soda?

I don't drink soda and rarely watch TV...but, yeah, I guess you're right...this is my recreation, my fun.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 64 ·
3
Replies
64
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 73 ·
3
Replies
73
Views
9K
  • · Replies 33 ·
2
Replies
33
Views
11K
  • · Replies 2 ·
Replies
2
Views
2K