 In this regard, it is important to bear in mind that his seminal work on truth (1935) is very much of a piece with other works in mathematical logic, such as his (1931), and as much as anything this work lays the ground-work for the modern subject of model theory – a branch of mathematical logic, not the metaphysics of truth. In this respect, Tarski’s work provides a set of highly useful tools that may be employed in a wide range of philosophical projects. (See Patterson (2012) for more on Tarski’s work in its historical context.)