9224
|
Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
|
|
Full Idea:
My Proceduralism offers axiom-free foundations for mathematics. Axioms give way to the stipulation of procedures. We obtain a form of logicism, but with a procedural twist, and with a logic which is ontologically neutral, and no assumption of objects.
|
|
From:
Kit Fine (Our Knowledge of Mathematical Objects [2005], 1)
|
|
A reaction:
[See Ideas 9222 and 9223 for his Proceduralism] Sounds like philosophical heaven. We get to take charge of mathematics, without the embarrassment of declaring ourselves to be platonists. Someone, not me, should evaluate this.
|
9223
|
My Proceduralism has one simple rule, and four complex rules [Fine,K]
|
|
Full Idea:
My Proceduralism has one simple rule (introduce an object), and four complex rules: Composition (combining two procedures), Conditionality (if A, do B), Universality (do a procedure for every x), and Iteration (rule to keep doing B).
|
|
From:
Kit Fine (Our Knowledge of Mathematical Objects [2005], 1)
|
|
A reaction:
It sounds like a highly artificial and private game which Fine has invented, but he claims that this is the sort of thing that practising mathematicians have always done.
|
7669
|
We cannot attain all the ideals of every culture, so there cannot be a perfect life [Herder, by Berlin]
|
|
Full Idea:
For Herder, we cannot attain to the highest ideals of all the centuries and all the places at once, and since we cannot do that, the whole notion of the perfect life collapses.
|
|
From:
report of Johann Gottfried Herder (works [1784]) by Isaiah Berlin - The Roots of Romanticism Ch.3
|
|
A reaction:
Herder seems to be the father of modern cultural relativism. The idea is hard to challenge, but the ideals of some cultures should be ignored, if they diminish rather than enhance the good life for all.
|
7668
|
Herder invented the idea of being rooted in (or cut off from) a home or a group [Herder, by Berlin]
|
|
Full Idea:
The whole notion of being at home, or being cut off from one's natural roots, the whole idea of roots, the whole idea of belonging to a group, a sect, a movement, was largely invented by Herder.
|
|
From:
report of Johann Gottfried Herder (works [1784], Ch.3) by Isaiah Berlin - The Roots of Romanticism
|
|
A reaction:
Hm. Broad generalisations are an awful temptation in the history of ideas. As a corrective to this, trying reading the two Anglo-Saxon poems 'The Wanderer' and 'The Seafarer'. Very Germanic, I suppose. Interesting, though. Leads to Hegel's politics.
|