Combining Texts
Ideas for
'Set Theory', 'works' and 'Truth by Convention'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
9 ideas
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
|
10064
|
Quine quickly dismisses If-thenism [Quine, by Musgrave]
|
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
|
20296
|
Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey]
|
|
8998
|
Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine]
|
|
8999
|
Logic isn't conventional, because logic is needed to infer logic from conventions [Quine]
|
|
9000
|
If a convention cannot be communicated until after its adoption, what is its role? [Quine]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
|
8453
|
If we had to name objects to make existence claims, we couldn't discuss all the real numbers [Quine]
|
5. Theory of Logic / G. Quantification / 1. Quantification
|
10311
|
No sense can be made of quantification into opaque contexts [Quine, by Hale]
|
|
10538
|
Finite quantification can be eliminated in favour of disjunction and conjunction [Quine, by Dummett]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
|
10793
|
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)]
|