[FOM] Understanding universal quantification

[Neil Tennant]

On Sat, 22 Feb 2003, Giuseppina Ronzitti wrote:

> The proof-theoretic approach to the understanding of the meaning of
> quantification rests thus on not constructive tools and therefore does
> not seem  a viable means to eliminate ontological commitments.

Could you please explain your use of the word "thus" in this passage?

Neil Tennant