Combining Texts
Ideas for
'Saundaranandakavya', 'Existence and Quantification' and 'The Tarskian Turn'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
|
15338
|
We may believe in atomic facts, but surely not complex disjunctive ones? [Horsten]
|
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
|
15363
|
In the supervaluationist account, disjunctions are not determined by their disjuncts [Horsten]
|
|
15362
|
If 'Italy is large' lacks truth, so must 'Italy is not large'; but classical logic says it's large or it isn't [Horsten]
|
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
|
16963
|
Existence is implied by the quantifiers, not by the constants [Quine]
|
7. Existence / D. Theories of Reality / 11. Ontological Commitment / c. Commitment of predicates
|
16964
|
Theories are committed to objects of which some of its predicates must be true [Quine]
|
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
|
4216
|
Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe]
|
|
18966
|
Ontological commitment of theories only arise if they are classically quantified [Quine]
|
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
|
14490
|
You can be implicitly committed to something without quantifying over it [Thomasson on Quine]
|