Combining Texts

Ideas for '', 'Truth by Convention' and 'A Note on the entscheidungsproblem'

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 / A. Overview of Logic / 1. Overview of Logic

11211

If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]

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 / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

11212

The sense of a connective comes from primitively obvious rules of inference [Rumfitt]

11210

Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]