Can Anything Truly Be Proven?

  • Thread starter Thread starter Gale
  • Start date Start date
Click For Summary
The discussion centers around the nature of proof, logic, and the validity of axioms. Participants express skepticism about the ability to prove anything definitively, noting that axioms, which serve as the foundation for proofs, cannot themselves be proven. This leads to a broader contemplation of truth and belief, with some asserting that logic is essential for progress and understanding, while others question its universality and applicability in various contexts, including religion.The conversation also touches on the relationship between logic and faith, with some arguing that faith is inherently irrational and that logical reasoning is often at odds with religious beliefs. The difficulty of establishing a common understanding of terms and concepts is highlighted, suggesting that communication and interpretation can complicate logical discourse. Additionally, the limitations of human understanding and the unresolved nature of many philosophical questions are acknowledged, indicating a recognition of the complexities involved in discussions about proof and truth. Overall, the thread reflects a deep exploration of epistemology, the philosophy of logic, and the interplay between reason and belief.
  • #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 2 ·
Replies
2
Views
341
Replies
16
Views
1K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 3 ·
Replies
3
Views
968
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 72 ·
3
Replies
72
Views
8K
  • · Replies 36 ·
2
Replies
36
Views
2K