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.
|
6004
|
The cardinal virtues are theoretical (based on knowledge), and others are 'non-theoretical' [Hecato, by Dorandi]
|
|
Full Idea:
Hecato defined the cardinal virtues as 'theoretical', that is, based on knowledge, and to these he opposed those that are 'non-theoretical', for example, health, beauty, strength of spirit, and courage.
|
|
From:
report of Hecato (fragments/reports [c.70 BCE]) by Tiziano Dorandi - Hecato of Rhodes
|
|
A reaction:
Mostly these are Aristotle's external and non-external virtues, except that courage is here included among the former, implying, presumably, that it is more of a natural gift than an intellectual achievement.
|