Truth as Transcendental: Ontological Foundations
soundcloud.com
soundcloud.com
In the analytic tradition, I think you’ll find no better explanation for truth than Quine’s explanation of Tarski’s “Convention T” for the semantic theory of truth. Quine’s short book “The Pursuit of Truth” is a somewhat technical, but richly insightful explanation of how truth works, explained by one of the 20th century’s most important logicians. It’s small, but it’s a slow read, and probably fits well to the kind of formal logic that programmers could enjoy.
Maybe he's still setting it up after the halfway point? I don't disagree with him about the necessary conditions for transcendental truth, but the form of his argument seems to leave that thread to be tugged on.
An ontology, on the other hand, is the study of what is or in sum what reality is, when understood from the viewpoint of the author. That's its raison d'être.
Perhaps this is relevant? I stopped reading these articles because I'm too rusty.