Combining Texts

Ideas for 'On Being (frags)', 'The Runabout Inference Ticket' 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
Quine quickly dismisses If-thenism [Quine, by Musgrave]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey]
Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine]
Logic isn't conventional, because logic is needed to infer logic from conventions [Quine]
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
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]