If we take a sequence of predefined operational steps for an algorithm, a truth can be defined (meaning “formulated”) by a series of consecutive logically consistent statements. However, truths have limited validity if not proven in real-life practical activity, empirically, by doing stuff with the help of these truths. They are further limited conditionally: here, now, with this logic, attempting to accomplish that, etc. a truth will hold. Once conditions change, truths fail to serve us as knowledge. And we need to start looking for new truths for new conditions and new practical objectives.
