Combining Texts

All the ideas for 'To be is to be the value of a variable..', 'Ontological Relativity' and 'Quodlibeta'

expand these ideas     |    start again     |     specify just one area for these texts


22 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Does a bowl of Cheerios contain all its sets and subsets? [Boolos]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro]
Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo]
Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
If quantification is all substitutional, there is no ontology [Quine]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro]
Plural forms have no more ontological commitment than to first-order objects [Boolos]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Boolos invented plural quantification [Boolos, by Benardete,JA]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Absolute ontological questions are meaningless, because the answers are circular definitions [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
First- and second-order quantifiers are two ways of referring to the same things [Boolos]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Ontology is relative to both a background theory and a translation manual [Quine]
8. Modes of Existence / B. Properties / 8. Properties as Modes
Whiteness does not exist, but by it something can exist-as-white [Aquinas]
9. Objects / F. Identity among Objects / 1. Concept of Identity
We know what things are by distinguishing them, so identity is part of ontology [Quine]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Senses grasp external properties, but the understanding grasps the essential natures of things [Aquinas]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / a. Innate knowledge
Initial universal truths are present within us as potential, to be drawn out by reason [Aquinas]
12. Knowledge Sources / B. Perception / 3. Representation
Minds take in a likeness of things, which activates an awaiting potential [Aquinas]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
Two things are relative - the background theory, and translating the object theory into the background theory [Quine]
19. Language / B. Reference / 1. Reference theories
Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine]