17 ideas
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. |
11021 | Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read] |
Full Idea: Prior dislike the holism inherent in the claim that the meaning of a logical connective was determined by the inference patterns into which it validly fitted. ...His notorious example of 'tonk' (A → A-tonk-B → B) was a reductio of the view. | |
From: report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Stephen Read - Thinking About Logic Ch.8 | |
A reaction: [The view being attacked was attributed to Gentzen] |
13836 | Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking] |
Full Idea: Prior intended 'tonk' (a connective which leads to absurdity) as a criticism of the very idea of introducing or defining logical connectives by rules of inference. | |
From: report of Arthur N. Prior (The Runabout Inference Ticket [1960], §09) by Ian Hacking - What is Logic? |
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. |
20921 | How can we state relativism of sweet and sour, if they have no determinate nature? [Theophrastus] |
Full Idea: How could what is bitter for us be sweet and sour for others, if there is not some determinate nature for them? | |
From: Theophrastus (On the Senses [c.321 BCE], 70) | |
A reaction: The remark is aimed at Democritus. This is part of the general question of how you can even talk about relativism, without attaching stable meanings to the concepts employed. |
22189 | Why abandon a theory if you don't have a better one? [Gorham] |
Full Idea: There is no sense in abandoning a successful theory if you have nothing to replace it with. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 2) | |
A reaction: This is also a problem for infererence to the best explanation. What to do if your best explanation is not very good? The simple message is do not rush to dump a theory when faced with an anomaly. |
22190 | If a theory is more informative it is less probable [Gorham] |
Full Idea: Popper's theory implies that more informative theories seem to be less probable. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 3) | |
A reaction: [On p.75 Gorham replies to this objection] The point is that to be more testable they must be more detailed. He's not wrong. Theories are meant to be general, so they sweep up the details. But they need precise generalities and specifics. |
22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
Full Idea: Is Newton's theory simpler than Einstein's, since there is only one relation of simultaneity in absolute time, or is Einstein's simpler because it dispenses with absolute time altogether? | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: A nice question, to which a good scientist might be willing to offer an answer. Since simultaneity is crucial but the existence of time is not, I would vote for Newton as the simpler. |
22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
Full Idea: Structural Realists say that modern science achieves a true or 'truer' account of the world only with respect to its mathematical structure rather than its intrinsic qualities or nature. The structure carries over to new theories. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: At first glance I am unconvinced that when an old theory is replaced it neverthess contains some sort of 'mathematical structure' which endures and is worth preserving. No doubt Worrall, French and co have examples. |
22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
Full Idea: Structural Realists must show that it is the mathematical aspects of the theories, not their content, that account for their success ….and that their structure and content can be clearly separated. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Their approach certainly seems to rely on mathematical types of science, so it presumably fits biology, geology and even astronomy less well. |
22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
Full Idea: The main difficulty with instrumentalism is its implausible account ot the meaning of theoretical claims and concepts. Most scientists take them to be straightforward attempts to describe the world. Most say they are useful because they are accurate. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Instrumentalism is seen as a Pragmatist view, and Dewey is cited. |
22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
Full Idea: The strangeness of interpreting theories as mere tools for organising present experience is brought out clearly in sciences like cosmology and paleontology, which largely concern events in the remote past or future. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: Not conclusive. An anti-realist has to interpret those sciences in terms of the current observations that are available. |
22193 | Consilience makes the component sciences more likely [Gorham] |
Full Idea: The more unification and integration is found among the modern sciences, the less likely it seems it will have all been a dream. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: I believe this strongly. Ancient theories which were complex, wide ranging and false do not impress me. This is part of my coherence view of justification. |
22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |
Full Idea: Aristotelian physics assumed that celestial motion is naturally circular and eternal while terrestrial motion is naturally toward the center of the earth and final. | |
From: Geoffrey Gorham (Philosophy of Science [2009], 4) | |
A reaction: The overthrow of this by Galileo and then Newton may have been the most dramatic revolution of the new science. It opened up the possibility of universal laws of physics. |
5990 | Theophrastus doubted whether nature could be explained teleologically [Theophrastus, by Gottschalk] |
Full Idea: Theophrastus questioned Aristotle's teaching on the extent to which teleological explanations could be applied to the natural world. | |
From: report of Theophrastus (On Metaphysics (frags) [c.320 BCE]) by H.B. Gottschalk - Aristotelianism | |
A reaction: It is interesting to see that Aristotle's own immediate successor had doubts about teleology. We usually assume that the ancients were teleological, and this was rejected in the seventeenth century (e.g. Idea 4826). |
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? |