8460
|
Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian]
|
|
Full Idea:
Successful explications (giving a precise sense to a term) have been found for the concepts of deduction, probability and computability, to name just three.
|
|
From:
W Quine / J Ullian (The Web of Belief [1970], 65), quoted by Alex Orenstein - W.V. Quine Ch.3
|
|
A reaction:
Quine also cites the concept of an 'ordered pair'. Orenstein adds Tarski's definition of truth, Russell's definite descriptions, and the explication of existence in terms of quantifications. Cf. Idea 2958.
|
18884
|
Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]
|
|
Full Idea:
Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use.
|
|
From:
Peter Simons (Modes of Extension: comment on Fine [2008], p.21)
|
|
A reaction:
Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better.
|