Can truth be understood as math?

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
PeteOlcott
Posts: 730
Joined: Mon Jul 25, 2016 6:55 pm

Can truth be understood as math?

Post by PeteOlcott » Mon May 27, 2019 4:54 am

Could Truth be understood as the theorems of human knowledge where basic facts are its axioms?

∃Facts ⊆ Human_Knowledge ∃x ∈ Language(Human_Knowledge) (True(Facts, x) ↔ (Facts ⊢ x))

User avatar
HexHammer
Posts: 3265
Joined: Sat May 14, 2011 8:19 pm
Location: Denmark

Re: Can truth be understood as math?

Post by HexHammer » Mon May 27, 2019 9:19 am

PeteOlcott wrote:
Mon May 27, 2019 4:54 am
Could Truth be understood as the theorems of human knowledge where basic facts are its axioms?

∃Facts ⊆ Human_Knowledge ∃x ∈ Language(Human_Knowledge) (True(Facts, x) ↔ (Facts ⊢ x))
No, then we wouldn't need humans for jobs, but could hire 100% robots which would do things faster, they could have high IQ conversations.

User avatar
Speakpigeon
Posts: 963
Joined: Sat Nov 11, 2017 3:20 pm
Location: Paris, France, EU

Re: Can truth be understood as math?

Post by Speakpigeon » Mon May 27, 2019 12:35 pm

PeteOlcott wrote:
Mon May 27, 2019 4:54 am
Could Truth be understood as the theorems of human knowledge where basic facts are its axioms?
∃Facts ⊆ Human_Knowledge ∃x ∈ Language(Human_Knowledge) (True(Facts, x) ↔ (Facts ⊢ x))
We know a few facts.
Facts are meaningful assertions we happen to know are true.
Sometimes we have the necessary vocabulary to talk about what we know: I can talk truthfully of the fact that I am in pain whenever I am in pain. However, most of the time, we talk about things which aren't facts we know and we do it as if they were facts we knew. The Moon is orbiting the Earth... Oh, well, how the Hell do I know that?!
Still, we know some facts so the notion of fact and truth are not in vain. A fact is true, by definition, and we happen to know some facts. So, we can at least make some assertions that are indeed true.
Now, a sentence x is true if it describes a fact. The sentence "I'm in pain" is true whenever I happen to be in pain.
Indeed, the fact that I am in pain implies that the sentence "I'm in pain" is true at this time. So, sometimes, some fact f implies some sentence x is true: fact ⊢ x. And then, of course, if one fact implies that sentence x is true, then all the facts together imply that x is true of some fact. And then, of course, you can make that your definition of truth. That in itself doesn't tell you which sentences are true and which are false, though.
EB

Post Reply

Who is online

Users browsing this forum: No registered users and 3 guests