we already have much better proofs demonstrating that true things exist without proof.
Isn’t this a contradiction? These “much better proofs” are proofs - which means that these “true things” are not “without proof”.
Also, I’m not sure what “things” you have in mind here, but I’m fairly certain they don’t “exist” in the same sense math does. Math exists in the same hard sciences do - any mathematical discovery, just like discoveries, is a rule that reality follows. Of course, I’m not implying that the mere formulation of this rule by human researchers is what gives it the power to govern the universe - we are just discovering laws that were already there.
Other things that are derived from human thought (rather than empirical evidence) and do not fall under the wide umbrella of math, don’t exist the same sense. You may claim that justice exists, but it’d be silly to expect the universe to obey to principles of justice. It won’t be silly to expect it to obey to mathematical principles.
Had @NoLifeGaming@lemmy.world brought something like justice as their example, we could have talked about the meaning of existence and what does it mean for God to exist in the same way justice exists. But they didn’t - and I really try to avoid formulating other people’s claims for them, because even if I get it right they may still find (or invent) some nuance I got slightly wrong, leverage that to claim I understand nothing about their philosophy, and derail the entire conversation to revolve around that.
They didn’t mention these other “true things” that “exist without empirical proof”. They mentioned math. And math can be proven empirically using material evidence and the scientific method (of course, you need to make sure you are not trying to prove the parts of math that are crucial for the scientific method itself, because then your proof will be circular…)
Godels proof is quite clear. There are infinitely many assertions that are true but have no proof. Those assertions can be mapped to extant things. This is not an area that requires deliberation. If you are unfamiliar with the incompleteness theorum we can discuss it more. The fantastically great thing about this work is that it was the pursuit of a “complete” purely philosophical logic derivation of mathematical principles (the continuation of the work by Bertrand in the Principia Mathematica).
The thing here is we are arguing two different points… You are arguing that empirical evidence can demonstrate the usefulness of models to explain more empirical evidence… Which is true. I am arguing that philosophy builds models. You aren’t wrong(except that part about not trying to prove the parts that are crucial for the scientific method… You are just wrong about that) and I am not wrong. We are arguing different things.
Godel’s proof is about our inability to prove some theorems mathematically, but that does not mean we cannot prove them scientifically. Such proofs, of course, will suffer from the same problem all scientific proofs have - a certain probability that even though our model is wrong, somehow by pure chance our tests ended up showing otherwise (in technical term - non-zero p values)
except that part about not trying to prove the parts that are crucial for the scientific method… You are just wrong about that
I’m not saying that one must never attempt to prove these foundations. What I’m saying is that if you try to prove them empirically (as oppose to how they are usually proved - mathematically) using the scientific method, you will run into the circular reasoning fallacy:
Isn’t this a contradiction? These “much better proofs” are proofs - which means that these “true things” are not “without proof”.
Also, I’m not sure what “things” you have in mind here, but I’m fairly certain they don’t “exist” in the same sense math does. Math exists in the same hard sciences do - any mathematical discovery, just like discoveries, is a rule that reality follows. Of course, I’m not implying that the mere formulation of this rule by human researchers is what gives it the power to govern the universe - we are just discovering laws that were already there.
Other things that are derived from human thought (rather than empirical evidence) and do not fall under the wide umbrella of math, don’t exist the same sense. You may claim that justice exists, but it’d be silly to expect the universe to obey to principles of justice. It won’t be silly to expect it to obey to mathematical principles.
Had @NoLifeGaming@lemmy.world brought something like justice as their example, we could have talked about the meaning of existence and what does it mean for God to exist in the same way justice exists. But they didn’t - and I really try to avoid formulating other people’s claims for them, because even if I get it right they may still find (or invent) some nuance I got slightly wrong, leverage that to claim I understand nothing about their philosophy, and derail the entire conversation to revolve around that.
They didn’t mention these other “true things” that “exist without empirical proof”. They mentioned math. And math can be proven empirically using material evidence and the scientific method (of course, you need to make sure you are not trying to prove the parts of math that are crucial for the scientific method itself, because then your proof will be circular…)
Godels proof is quite clear. There are infinitely many assertions that are true but have no proof. Those assertions can be mapped to extant things. This is not an area that requires deliberation. If you are unfamiliar with the incompleteness theorum we can discuss it more. The fantastically great thing about this work is that it was the pursuit of a “complete” purely philosophical logic derivation of mathematical principles (the continuation of the work by Bertrand in the Principia Mathematica).
The thing here is we are arguing two different points… You are arguing that empirical evidence can demonstrate the usefulness of models to explain more empirical evidence… Which is true. I am arguing that philosophy builds models. You aren’t wrong(except that part about not trying to prove the parts that are crucial for the scientific method… You are just wrong about that) and I am not wrong. We are arguing different things.
Godel’s proof is about our inability to prove some theorems mathematically, but that does not mean we cannot prove them scientifically. Such proofs, of course, will suffer from the same problem all scientific proofs have - a certain probability that even though our model is wrong, somehow by pure chance our tests ended up showing otherwise (in technical term - non-zero p values)
I’m not saying that one must never attempt to prove these foundations. What I’m saying is that if you try to prove them empirically (as oppose to how they are usually proved - mathematically) using the scientific method, you will run into the circular reasoning fallacy:
-----> foundations >------ / \ proves proves \ / --< scientific method <---