Define truth in mathematics. Define truth in logic.

>>8918918
truth=t^2*r*u*h

>>8918918
A true statement is a statement that is not false

truth is an empty concept

provability is the best we can do

Define truth in science.

We can prove that certain statements are true in particular mathematical universes,a set of objects with constants, relations, and functions. Truth in math is dependent on what you're working with and your frame of reference

>>8918918
>mathematics
depends what you're working within

>logic
depends what you're working within

>>8918918
Truth is a property of statements whose propositional content corresponds to facts.

>>8918918
>Define truth in mathematics.

Whatever corresponds with your axioms.

>Logic

Whatever corresponds with your axioms.

>>8920089

No, facts aren't "true", they're facts. Two completely different types of knowledge.

>>8920094
Truth is a property of statements. When have I said that facts are true?

File: 1495088412238.jpg (164KB, 630x504px) Image search: [Google]

164KB, 630x504px

>>8918918
Easy. Consistency.

>>8920093
that's provability, dingus

File: Kurt_gödel.png (50KB, 212x270px) Image search: [Google]

50KB, 212x270px

>>8918918

>>8918918
it was proven mathematically that this couldnt be done

https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem

obviously that's an exaggeration

>>8920659
that's for logic, what about maths and science?

A statement tautologically equivalent to the value true

>>8918957
Maybe in science but not in math

>a symbol-based construct whose origin, lifeblood, and only possible result is tautology will tell you the truth

It's too easy to make of STEMlords.

>>8920795
what do you propose? it is the way of the stemfags or the sky daddy believers

so wtf is truth? why do we not have a definition of truth in 2017?

>>8918918
Aa if the definition of truth is only a problem for math and logic. Its a problem for everyone

bunp

>>8920708
math is based on logic.

OP didnt ask about science. thats a whole other can of worms