Editing Alfred Tarski (section)

===Logical consequence===
In 1936, Tarski published Polish and German versions of a lecture, “On the Concept of Following Logically",<ref name="Tarski2002">{{cite journal 
|last1=Tarski 
|first1=Alfred 
|title=On the Concept of Following Logically
|date=2002 
|volume=23 
|pages=155–196 
|doi=10.1080/0144534021000036683
|journal = History and Philosophy of Logic|issue=3 
|s2cid=120956516 
}}</ref>
he had given the preceding year at the International Congress of Scientific Philosophy in Paris. <!-- (First appearance in English?) --> A new English translation of this paper, Tarski (2002), highlights the many differences between the German and Polish versions of the paper and corrects a number of mistranslations in Tarski (1983).<ref name="Tarski2002" />

This publication set out the modern [[model theory|model-theoretic]] definition of (semantic) logical consequence, or at least the basis for it. Whether Tarski's notion was entirely the modern one turns on whether he intended to admit models with varying domains (and in particular, models with domains of different [[cardinal number|cardinalities]]).{{citation needed|date=July 2023}} This question is a matter of some debate in the philosophical literature. [[John Etchemendy]] stimulated much of the discussion about Tarski's treatment of varying domains.<ref>{{cite book|last=Etchemendy|first=John|title=The Concept of Logical Consequence|publisher=Stanford CA: CSLI Publications|year=1999|isbn=978-1-57586-194-4}}</ref>

Tarski ends by pointing out that his definition of logical consequence depends upon a division of terms into the logical and the extra-logical and he expresses some skepticism that any such objective division will be forthcoming. "What are Logical Notions?" can thus be viewed as continuing "On the Concept of Logical Consequence".{{citation needed|date=July 2023}}