Abstract: This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably “necessary” (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.
Comment: This text would be best used as secondary reading in an intermediate or an advanced philosophy of logic course. For example, it can be used as a secondary reading in a section on the connection between model-theoretic truth and necessary truth.