8728
|
Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer]
|
|
Full Idea:
Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths.
|
|
From:
Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2
|
|
A reaction:
Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time!
|
22363
|
You have only begun to do real science when you can express it in numbers [Kelvin]
|
|
Full Idea:
When you cannot express it in numbers, your knowledge is of a meagre and unsatisfactory kind; it may be the beginning of knowledge, but you have scarcely, in your thoughts, advanced to the stage of science, whatever the matter may be.
|
|
From:
Lord Kelvin (Wm Thomson) (works [1881]), quoted by Reiss,J/Spreger,J - Scientific Objectivity 4.1
|
|
A reaction:
[Popular Lectures 1 p.73] Clearly the writer is a physicist! Astronomers discover objects, geologists discover structures, biologists reveal mechanisms.
|
11214
|
We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]
|
|
Full Idea:
The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A.
|
|
From:
Ian Rumfitt ("Yes" and "No" [2000], IV)
|
|
A reaction:
[compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role).
|
20644
|
Energy has progressed from a mere formula, to a principle pervading all nature [Kelvin]
|
|
Full Idea:
The name 'energy', first used by Thomas Young, has come into use after it was raised from a mere formula of mathematical dynamics to become a principle pervading all nature, and guiding every field of science.
|
|
From:
Lord Kelvin (Wm Thomson) (works [1881]), quoted by Peter Watson - Convergence 01 'Principle'
|
|
A reaction:
[bit compressed] As far as I can see energy behaves exactly as if it were a substance, like water conserved in rainfalls, and yet it isn't a stuff, and seems to result from a process of abstraction. I take it to be one of the biggest mysteries in physics.
|