17896
|
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
|
|
Full Idea:
For Prior, so the moral goes, we must first have a notion of what 'and' means, independently of the role it plays as premise and as conclusion.
|
|
From:
report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.132
|
|
A reaction:
The meaning would be given by the truth tables (the truth-conditions), whereas the role would be given by the natural deduction introduction and elimination rules. This seems to be the basic debate about logical connectives.
|
17898
|
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
|
|
Full Idea:
Prior's definition of 'tonk' is inconsistent. It gives us an extension of our original characterisation of deducibility which is not conservative, since in the extension (but not the original) we have, for arbitrary A and B, A |- B.
|
|
From:
comment on Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.135
|
|
A reaction:
Belnap's idea is that connectives don't just rest on their rules, but also on the going concern of normal deduction.
|
15201
|
That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN]
|
|
Full Idea:
The fact that Queen Anne has been dead for some years is not, in the strict sense of 'about', a fact about Queen Anne; it is not a fact about anyone or anything - it is a general fact.
|
|
From:
Arthur N. Prior (Changes in Events and Changes in Things [1968], p.13), quoted by Robin Le Poidevin - Past, Present and Future of Debate about Tense 1 b
|
|
A reaction:
He distinguishes 'general facts' (states of affairs, I think) from 'individual facts', involving some specific object. General facts seem to be what are expressed by negative existential truths, such as 'there is no Loch Ness Monster'. Useful.
|
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.
|
20239
|
Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche]
|
|
Full Idea:
Hesiod reckons envy among the effects of the good and benevolent Eris, and there was nothing offensive in according envy to the gods. ...Likewise the Greeks were different from us in their evaluation of hope: one felt it to be blind and malicious.
|
|
From:
report of Hesiod (works [c.700 BCE]) by Friedrich Nietzsche - Dawn (Daybreak) 038
|
|
A reaction:
Presumably this would be understandable envy, and unreasonable hope. Ridiculous envy can't possibly be good, and modest and sensible hope can't possibly be bad. I suspect he wants to exaggerate the relativism.
|
19673
|
Galileo mathematised movement, and revealed its invariable component - acceleration [Galileo, by Meillassoux]
|
|
Full Idea:
Galileo conceives of movement in mathematical terms. ...In doing so, he uncovered, beyond the variations of position and speed, the mathematical invariant of movement - that is to say, acceleration.
|
|
From:
report of Galileo Galilei (Two Chief World Systems [1632]) by Quentin Meillassoux - After Finitude; the necessity of contingency 5
|
|
A reaction:
That is a very nice advert for the mathematical physics which replaced the Aristotelian substantial forms. ...And yet, is acceleration some deep fact about nature, or a concept which is only needed if you insist on being mathematical?
|
22899
|
'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN]
|
|
Full Idea:
One says 'thank goodness that is over', ..and it says something which it is impossible which any use of any tenseless copula with a date should convey. It certainly doesn't mean the same as 'thank goodness that occured on Friday June 15th 1954'.
|
|
From:
Arthur N. Prior (Changes in Events and Changes in Things [1968]), quoted by Adrian Bardon - Brief History of the Philosophy of Time 4 'Pervasive'
|
|
A reaction:
[Ref uncertain] This seems to be appealing to ordinary usage, in which tenses have huge significance. If we take time (with its past, present and future) as primitive, then tenses can have full weight. Did tenses mean anything at all to Einstein?
|