Combining Texts

Ideas for 'Sweet Dreams', 'Ontology and Mathematical Truth' and 'The Metaphysics of Causation'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

10373	Logical form can't dictate metaphysics, as it may propose an undesirable property [Schaffer,J]
	Full Idea: Logical form should not have the last word in metaphysics, since it might predicate a property that we have theoretical reason to reject.
	From: Jonathan Schaffer (The Metaphysics of Causation [2007], 1.3.1)
	A reaction: These kind of warnings need to be sounded all the time, to prevent logicians and language experts from pitching their tents in the middle of metaphysics. They are welcome guests only,

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

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.