more on this theme     |     more from this thinker

Single Idea 18482

[filed under theme 3. Truth / B. Truthmakers / 8. Making General Truths ]

Full Idea

Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default.

Clarification

¬∃x¬Fx → ∀xFx

Gist of Idea

Optimalists say that negative and universal are true 'by default' from the positive truths

Source

Fraser MacBride (Truthmakers [2013], 2.2)

Book Ref

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.18

A Reaction

The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008.

The 20 ideas from 'Truthmakers'

18466 If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride]
18471 Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride]
18472 Which has priority - 'grounding' or 'truth-making'? [MacBride]
18473 'Maximalism' says every truth has an actual truthmaker [MacBride]
18474 Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride]
18475 Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride]
18476 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride]
18478 Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride]
18479 There are different types of truthmakers for different types of negative truth [MacBride]
18477 There aren't enough positive states out there to support all the negative truths [MacBride]
18480 Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride]
18482 Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride]
18481 Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride]
18483 The main idea of truth-making is that what a proposition is about is what matters [MacBride]
18484 Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride]
18485 Even idealists could accept truthmakers, as mind-dependent [MacBride]
18486 We might define truth as arising from the truth-maker relation [MacBride]
18490 Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride]
18489 Connectives link sentences without linking their meanings [MacBride]
18493 Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride]