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? |
9220 | Lewis must specify that all possibilities are in his worlds, making the whole thing circular [Shalkowski, by Sider] |
Full Idea: If purple cows are simply absent from Lewis's multiverse, then certain correct propositions turn out to be impossible. Lewis must require a world for every possibility. But then it is circular, as the multiverse needs modal notions to characterize it. | |
From: report of Scott Shalkowski (Ontological Ground of Alethic Modality [1994], 3.9) by Theodore Sider - Reductive Theories of Modality 3.9 | |
A reaction: [Inversely, a world containing a round square would make that possible] This sounds very nice, though Sider rejects it (p.197). I've never seen how you could define possibility using the concept of 'possible' worlds. |
22817 | Citizenship involves a group of mutually supporting rights, which create community and equality [Miller,D] |
Full Idea: The idea of citizenship is that rights support each other. Protective and welfare rights provide a basis for a political role. This underpins a sense of membership, and an obligation to provide welfare. Rights confer equal status and self-respect. | |
From: David Miller (Community and Citizenship [1989], 3) | |
A reaction: A helpful eludation of what a richer concept of citizenship than mere membership might look like. Communitarians have a different concept of rights from that of liberals. |
22816 | Socialists reject nationality as a false source of identity [Miller,D] |
Full Idea: The socialist tradition has been overwhelmingly hostile to nationality as a source of identity, usually regarding it merely as an artificially created impediment to the brotherhood of man. | |
From: David Miller (Community and Citizenship [1989], 2) | |
A reaction: I have some sympathy with this, especially when nationalism is expressed in terms of enemies, but the question of what community a person can plausibly identify with is difficult. We start in hunter gather tribes of several hundred. |