Single Idea 9968

[catalogued under 5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models]

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.

Gist of Idea

A model is 'fundamental' if it contains only concrete entities

Source

Michael Jubien (Ontology and Mathematical Truth [1977], p.117)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], 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.