Combining Texts

Ideas for 'A World of States of Affairs', 'Ontology and Mathematical Truth' and 'Life of Theseus'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A model is 'fundamental' if it contains only concrete entities [Jubien]
     Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117)
     A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world.