  Tarski wonders if it is possible to offer condition (F) as a definition of the relation of logical consequence, that is, if we can take (F) not only as a necessary but also a sufficient condition for an argument to be an instance of logical consequence. His answer is that we cannot. The reason is that condition (F)