Combining Texts
Ideas for
'works', 'Existence and Quantification' and 'reports'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
7. Existence / A. Nature of Existence / 3. Being / b. Being and existence
16966
|
Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine]
|
7. Existence / A. Nature of Existence / 6. Criterion for Existence
16965
|
All we have of general existence is what existential quantifiers express [Quine]
|
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]
|
7. Existence / E. Categories / 1. Categories
16961
|
In formal terms, a category is the range of some style of variables [Quine]
|