more on this theme | more from this thinker
Full Idea
The logician does not even need to paraphrase the vernacular into his logical notation, for he has learned to think directly in his logical notation, or even (which is the beauty of the thing) to let it think for him.
Gist of Idea
Logicians don't paraphrase logic into language, because they think in the symbolic language
Source
Willard Quine (Mr Strawson on Logical Theory [1953], V)
Book Ref
Quine,Willard: 'Ways of Paradox and other essays' [Harvard 1976], p.150
A Reaction
See Williamson's love of logic (and his book on modal metaphysics). This idea embodies the dream of hardcore Frege-Russellian analytic philosophers. I wish someone had told me when I studied logic that the target was to actually think symbolically.
Related Ideas
Idea 22465 We see a moral distinction between doing and allowing to happen [Foot]
Idea 6858 Formal logic struck me as exactly the language I wanted to think in [Williamson]
| 13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |
| 22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
| 22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
| 22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
| 22433 | It is important that the quantification over temporal entities is timeless [Quine] |
| 22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
| 22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
| 22435 | The logician's '→' does not mean the English if-then [Quine] |
| 22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
| 22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |