An examination of the foundations of contemporary theoretical economics. Applying concepts from model theory - formal semantics - and standard tools in foundations research the author aims three targets, namely, a characterization of the notion 'empirical economic theory', the d…