more on this theme
|
more from this thinker
Single Idea 18350
[filed under theme 4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
]
Full Idea
There are good reasons for the truth-maker theorist to reject the converse Barcan formula.
Gist of Idea
Truth-maker theorists should probably reject the converse Barcan formula
Source
Adolph Rami (Introduction: Truth and Truth-Making [2009], note 16)
Book Ref
'Truth and Truth-Making', ed/tr. Lowe,E.J./Rami,A. [Acumen 2009], p.15
A Reaction
In the text (p.15) Rami cites the inference from 'necessarily everything exists' to 'everything exists necessarily'. [See Williamson 1999]
The
15 ideas
from 'Introduction: Truth and Truth-Making'
18333
|
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths
[Rami]
|
18335
|
There are five problems which the truth-maker theory might solve
[Rami]
|
18334
|
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal
[Rami]
|
18339
|
The truth-making relation can be one-to-one, or many-to-many
[Rami]
|
18340
|
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events
[Rami]
|
18338
|
Truth-making is usually internalist, but the correspondence theory is externalist
[Rami]
|
18337
|
Correspondence theories assume that truth is a representation relation
[Rami]
|
18336
|
Internal relations depend either on the existence of the relata, or on their properties
[Rami]
|
18341
|
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties
[Rami]
|
18342
|
Most theorists say that truth-makers necessitate their truths
[Rami]
|
18343
|
Maybe a truth-maker also works for the entailments of the given truth
[Rami]
|
18346
|
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths
[Rami]
|
18345
|
'Truth supervenes on being' avoids entities as truth-makers for negative truths
[Rami]
|
18347
|
Deflationist truth is an infinitely disjunctive property
[Rami]
|
18350
|
Truth-maker theorists should probably reject the converse Barcan formula
[Rami]
|