15927
|
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]
|
|
Full Idea:
For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain.
|
|
From:
report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3
|
|
A reaction:
Lavine summarises this as 'first-order logic with parameters'.
|
7401
|
Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck]
|
|
Full Idea:
Galileo argued that there is no such thing as heat (and hence also as colour) in the external world, so there is no reason to conclude from colour-blindness that we cannot know the truth about the world.
|
|
From:
report of Galileo Galilei (Il Saggiatore ('The Assayer') [1623]) by Richard Tuck - Hobbes Ch.1
|
|
A reaction:
This key idea, taken up by Gassendi, Descartes and Locke, seems to me to be one of the most important (and, in retrospect, rather obvious) facts ever worked out by the human mind. Why does anyone still doubt it?
|
5454
|
Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo]
|
|
Full Idea:
I think tastes, odours, colours, and so on are mere names as far as the objects are concerned, and only reside in consciousness. Hence if the living creature were removed, all these qualities would be wiped away and annihilated.
|
|
From:
Galileo Galilei (Il Saggiatore ('The Assayer') [1623]), quoted by Brian Ellis - The Philosophy of Nature: new essentialism Ch.3
|
|
A reaction:
A nice bold assertion of the primary/secondary distinction from the first great scientist. I agree, and to disagree (and hence side with Berkeley and Hume) is to head for metaphsical and epistemological confusion.
|
16560
|
Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver]
|
|
Full Idea:
The modern idea of explaining with mechanisms became current in the 17th century when Galileo articulated a geometrico-mechanical form of explanation based on Archimedes' simple machines. This became the 'mechanical philosophy'.
|
|
From:
report of Galileo Galilei (Il Saggiatore ('The Assayer') [1623]) by Machamer,P/Darden,L/Craver,C - Thinking About Mechanisms 5.2
|
|
A reaction:
So is Archimedes the source? I would say that mechanical explanation is just commonsense, and is predominant in all human thinking, even in tiny infants.
|