[FOM] 510: More Undefinable Elements 2

[Alasdair Urquhart]

The first exercise in Hodges's 'Model Theory' is concerned with
the Trinity.

On Sun, 2 Dec 2012, T.Forster at dpmms.cam.ac.uk wrote:

> Harvey, Do you know Wilfrid Hodges' model-theoretic analysis of Aquinas' 
> theory of the Trinity? All three members of the Trinity realise the same 
> 1-type, but they realise distinct 2-types. There is a binary relation of 
> `procedes from'. I don't think he ever published it, but it might be worth 
> chasing up in the present context. It might further soften the hearts of the 
> Templeton people towards logic!