This paper examines the consequences that result when model theory, and by implication all of (mathematical) logic, is no longer based on a correspondence theory of truth.The introductory section sets out to show that the programme of removing correspondence thinking is positive for model...