more from this thinker | more from this text
Full Idea
I do not subscribe to the thesis that every truth requires a truthmaker. Mathematical truths and truths of logic are compatible with any way the universe could be.
Gist of Idea
Not all truths need truthmakers - mathematics and logic seem to be just true
Source
John Heil (The Universe as We Find It [2012], 01.5)
Book Ref
Heil,John: 'The Universe as We Find It' [OUP 2012], p.10
A Reaction
He makes that sound like a knock-down argument, but I'm not convinced. I see logic and mathematics as growing out of nature, though that is a very unfashionable view. I'm almost ashamed of it. But I'm not giving it up. See Carrie Jenkins.
17282 | Truths need not always have their source in what exists [Fine,K] |
18509 | Not all truths need truthmakers - mathematics and logic seem to be just true [Heil] |
18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
18868 | Surely if some propositions are grounded in existence, they all are? [Cameron] |
18928 | If maximalism is necessary, then that nothing exists has a truthmaker, which it can't have [Cameron] |
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
18333 | Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami] |
18866 | Maybe only 'positive' truths need truth-makers [Tallant] |