Combining Texts

All the ideas for 'fragments/reports', 'Mr Strawson on Logical Theory' and 'Nominalism and Substitutional Quantifiers'

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


25 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Philosophy is largely concerned with finding the minimum that science could get by with [Quine]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Good algorithms and theories need many occurrences of just a few elements [Quine]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
The logician's '→' does not mean the English if-then [Quine]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
It is important that the quantification over temporal entities is timeless [Quine]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 1. Quantification
Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Is being just referent of the verb 'to be'? [Marcus (Barcan)]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
9. Objects / A. Existence of Objects / 3. Objects in Thought
If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
9. Objects / F. Identity among Objects / 2. Defining Identity
Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
If we understand a statement, we know the circumstances of its truth [Quine]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / D. Time / 2. Passage of Time / f. Tenseless (B) series
Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]