ABSTRACT
The aim of this chapter is to cover three topics: features of language that are relevant to logic, the aim of ‘formal languages’ with respect to modern logic, and the idea of rivalry among logical theories. Subsequent chapters, following the brief ‘set-theoretic toolbox’ in Chapter 4, look at different logical theories and phenomena that motivate them. This chapter, like its predecessors, remains abstract; its aim is simply to lay out some big-picture ideas that will be useful for subsequent discussion.
