Focuses on A. Tarski's model that set theoretical analysis of logical truth presupposing a reduction principle. Essence of Tarski's quantificational semantics; Reduction principle for Tarski's quantificational criterion; John Etchemendy's rejection of the reduction principle; Meinongian object theory as the proper application of Tarskian quantificational semantics.