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.
|
14292
|
Dispositions seem more ethereal than behaviour; a non-occult account of them would be nice [Goodman]
|
|
Full Idea:
Dispositions of a thing are as important to us as overt behaviour, but they strike us by comparison as rather ethereal. So we are moved to enquire whether we can bring them down to earth, and explain disposition terms without reference to occult powers.
|
|
From:
Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954], II.3)
|
|
A reaction:
Mumford quotes this at the start of his book on dispositions, as his agenda. I suspect that the 'occult' aspect crept in because dispositions were based on powers, and the dominant view was that these were the immediate work of God.
|
18749
|
Goodman argued that the confirmation relation can never be formalised [Goodman, by Horsten/Pettigrew]
|
|
Full Idea:
Goodman constructed arguments that purported to show that a satisfactory syntactic analysis of the confirmation relation can never be found. In response, philosophers of science tried to model it in probabilistic terms.
|
|
From:
report of Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 4
|
|
A reaction:
I take this idea to say that Bayesianism was developed in response to the grue problem. This is an interesting light on 'grue', which never bothered me much. The point is it scuppered formal attempts to model induction.
|
4794
|
We don't use laws to make predictions, we call things laws if we make predictions with them [Goodman]
|
|
Full Idea:
Rather than a sentence being used for prediction because it is a law, it is called a law because it is used for prediction.
|
|
From:
Nelson Goodman (Fact, Fiction and Forecast (4th ed) [1954], p.21), quoted by Stathis Psillos - Causation and Explanation §5.4
|
|
A reaction:
This smacks of dodgy pragmatism, and sounds deeply wrong. The perception of a law has to be prior to making the prediction. Why do we make the prediction, if we haven't spotted a law. Goodman is mesmerised by language instead of reality.
|