Introduction

In this article, I'm going to present a formalization using the first-order logic for the argument in favor of the absolute truth.

For this formalization, I'm using the reference [1].

Formalization

$$\begin{align} \neg \exists x \text{A} x \\ \text{A} p \end{align}$$

Interpretation

1. There's no proposition x that expresses an absolute truth.
2. Proposition p, which in this case is the first argument in this formalization, expresses an absolute truth.

Conclusion

A contradiction, an absurdity.

Therefore, to have a consistent system the only option is to accept that there are absolute truths, and we have access to some of them.

References

• [1] - Mortari, A. C. Introdução à lógica. 2nd ed., Editora Unesp, 2017. Amazon link.