Deine Einwände sind nicht ganz von der Hand zu weisen. Die im angesprochenen Abschnitt angeführte Unterscheidung zwischen ontologischer, logischer und ontischer Wahrheit kommt so natürlich nicht von Thomas von Aquin. Sie stammt von Emerich Coreth, der den Ansatz von Thomas weitergeführt hat und in dessen Denken auch die Philosophie Heideggers eingegangen ist. Das von dir angesprochene Kapitel typisiert den korrespondenztheoretischen Wahrheitsbegriff und ist nicht als philologisch exakte Darstellung des Wahrheitsbegriffs von Thomas von Aquin zu verstehen. Auf die drei Elemente dieses Ansatzes wird unter Probleme der Korrespondenztheorie noch einmal eingegangen.