Condition (F) presupposes a fixed inventory of logical constants, but Tarski himself admitted no pri...