The paper presents a comparison of the theories of truth, and the solutions of the liar paradox, proposed by Thomas Bradwardine , Jean Buridan , and Alfred Tarski.

This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.