7 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? |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 3158 | Theories of intentionality presuppose rationality, so can't explain it [Dennett] |
| Full Idea: Intentional theory is vacuous as psychology because it presupposes and does not explain rationality or intelligence. | |
| From: Daniel C. Dennett (Brainstorms:Essays on Mind and Psychology [1978], p.15?) | |
| A reaction: Virtually every philosophical theory seems to founder because it presupposes something like the thing it is meant to explain. I agree that 'intentionality' is a slightly airy concept that would probably reduce to something better. |
| 3159 | Beliefs and desires aren't real; they are prediction techniques [Dennett] |
| Full Idea: Intentional systems don't really have beliefs and desires, but one can explain and predict their behaviour by ascribing beliefs and desires to them. This strategy is pragmatic, not right or wrong. | |
| From: Daniel C. Dennett (Brainstorms:Essays on Mind and Psychology [1978], p.7?) | |
| A reaction: If the ascription of beliefs and desires explains behaviour, then that is good grounds for thinking they might be real features of the brain, and even if that is not so, they are real enough as abstractions from brain events, like the 'economic climate'. |