philosophy and model theory