display all the ideas for this combination of texts
2 ideas
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
Full Idea: For sentential or first-order logic, the logical truths are represented by valid formulas; in higher-order logics, by sentences formulated in purely logical terms. | |
From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 3) |
9968 | 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. |