more on this theme     |     more from this thinker


Single Idea 8998

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention ]

Full Idea

If logic and mathematics being true by convention says the primitives can be conventionally described, that works for anything, and is empty; if the conventions are only for those fields, that's uninteresting; if a general practice, that is false.

Gist of Idea

Claims that logic and mathematics are conventional are either empty, uninteresting, or false

Source

Willard Quine (Truth by Convention [1935], p.102)

Book Ref

Quine,Willard: 'Ways of Paradox and other essays' [Harvard 1976], p.102


A Reaction

This is Quine's famous denial of the traditional platonist view, and the new Wittgensteinian conventional view, preparing the ground for a more naturalistic and empirical view. I feel more sympathy with Quine than with the other two.


The 10 ideas from 'Truth 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]
Quine quickly dismisses If-thenism [Quine, by Musgrave]
If mathematics follows from definitions, then it is conventional, and part of logic [Quine]
If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine]
Definition by words is determinate but relative; fixing contexts could make it absolute [Quine]
If if time is money then if time is not money then time is money then if if if time is not money... [Quine]
There are four different possible conventional accounts of geometry [Quine]