The domain of logic according to Saint Thomas Aquinas