9 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? |
| 14633 | How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson] |
| Full Idea: On a friendly reading of Quine, there is nothing to make the difference between a table's being contingently plastic and its being essentially plastic. | |
| From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 5) | |
| A reaction: This is, of course, the dreaded modern usage of 'essential' to just mean 'necessary' and nothing more. In my view, there may be a big problem with knowing whether a problem is necessary, but knowing whether it is essential is much easier. |
| 14635 | An x is essentially F if it is F in every possible world in which it appears [Jackson] |
| Full Idea: On the possible world's account, x's being essentially F is nothing more nor less than x's being F in every world in which it appears. | |
| From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 6) | |
| A reaction: There you go - 'true in every possible world' is the definition of metaphysical necessity, not the definition of essence. Either get back to Aristotle, or stop (forever!) talking about 'essence'! |
| 14632 | Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson] |
| Full Idea: The unfriendly response to Quine's objection to essentialism is that it conflates the de re and the de dicto. The friendly response is that behind that conflation is a real epistemological problem for essentialism. | |
| From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1) | |
| A reaction: He cites Richard Cartwright 1968 for the friendly response. The epistemological question is how we can know the essentialness of an essence. |
| 14631 | How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson] |
| Full Idea: If something is offered as a candidate necessary a posteriori truth, how could we show that it is necessary, in the face of the fact that it takes investigation to show that it is true, and so, in some sense, it might have turned out to be false? | |
| From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1) | |
| A reaction: This is the topic of his paper, which he compares with how we can know that essences are essential. |
| 5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
| Full Idea: The soul, when it has partaken of intelligence and reason and concord, is not merely a work but also a part of god and has come to be not by his agency but both from him as source and out of his substance. | |
| From: Plutarch (67: Platonic Questions [c.85], II.1001) | |
| A reaction: A most intriguing shift of view from earlier concepts of the psuché. How did this come about? This man is a pagan. The history is in the evolution of Platonism. See 'The Middle Platonists' by John Dillon. Davidson is also very impressed by reason. |