more on this theme     |     more from this thinker


Single Idea 22431

[filed under theme 2. Reason / B. Laws of Thought / 6. Ockham's Razor ]

Full Idea

The power and simplicity of an algorithm, or indeed of any theory, depend on there being many occurrences of few elements rather than few occurrences of many.

Gist of Idea

Good algorithms and theories need many occurrences of just a few elements

Source

Willard Quine (Mr Strawson on Logical Theory [1953], III)

Book Ref

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


A Reaction

Not sure how this applies to a software function. One which produces a good result from a large number of input variables sounds particularly impressive to me. Many occurrences of a single variable sounds rather inefficient.


The 10 ideas from 'Mr Strawson on Logical Theory'

Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider]
If we understand a statement, we know the circumstances of its truth [Quine]
Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine]
Good algorithms and theories need many occurrences of just a few elements [Quine]
It is important that the quantification over temporal entities is timeless [Quine]
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine]
The logician's '→' does not mean the English if-then [Quine]
Philosophy is largely concerned with finding the minimum that science could get by with [Quine]
Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine]