more on this theme     |     more from this thinker


Single Idea 10064

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism ]

Full Idea

Quine quickly dismisses If-thenism.

Gist of Idea

Quine quickly dismisses If-thenism

Source

report of Willard Quine (Truth by Convention [1935], p.327) by Alan Musgrave - Logicism Revisited §5

Book Ref

-: 'British Soc for the Philosophy of Science' [-], p.121


A Reaction

[Musgrave quotes a long chunk of Quine which is hard to compress!] Effectively, he says If-thenism is cheating, or begs the question, by eliminating whole sections of perfectly good mathematics, because they cannot be derived from axioms.


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]