Can two different lattices of theories be related?

Yes, since lattices of theories are based at first order languages, two different lattices of theories can be related through an interpretation between their underlying languages. The notion of a first order interpretation was discussed as example 4.11 on page 74 of the book by Jon Barwise and Jerry Seligman op. Cit.. First order language interpretations, which generalize first order language morphisms, are axiomatized in the IFF Type Language Namespace.

An interpretation from one language to a second language maps the relations of the first language to the expressions (formulas) of the second language. Each first order interpretation defines a truth infomorphism between the associated truth classifications (see Barwise and Seligman op. Cit.).

In turn, this truth infomorphism defines a truth concept morphism between the associated truth concept lattices, which maps between formal truth concepts (representing object level ontologies) in a very semantic way. More.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.

Related Questions