Combining Texts

All the ideas for 'The Runabout Inference Ticket', 'Letters to Leibniz' and 'later work'

unexpand these ideas     |    start again     |     specify just one area for these texts


8 ideas

1. Philosophy / H. Continental Philosophy / 6. Deconstruction
Derrida came to believe in the undeconstructability of justice, which cannot be relativised [Derrida, by Critchley]
     Full Idea: In Derrida's later work we find him moving explicitly towards a belief in the undeconstructability of justice, as he puts it, which is an overarching value that cannot be relativised.
     From: report of Jacques Derrida (later work [1980]) by Simon Critchley - Interview with Baggini and Stangroom p.191
     A reaction: A nice corrective to the standard Anglo-Saxon assumption that Derrida is an extreme (and stupid) relativist. The notion of 'undeconstructability' is nice, just as Descartes found an idea that resisted the blasts of scepticism.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
No one can conceive of a possible substance, apart from those which God has created [Arnauld]
     Full Idea: I am much mistaken if there is anyone who dares to say that he can conceive of a purely possible substance, …for although one talks so much of them, one never conceives them except according to the notion of those which God has created.
     From: Antoine Arnauld (Letters to Leibniz [1686], 1686.05.13), quoted by David Wiggins - Sameness and Substance 4.2
     A reaction: This idea cashes out in the 'necessitism' of Tim Williamson, and views on the Barcan formulae in modal logic.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
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.
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.
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]
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?
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
A community must consist of singular persons, with nothing in common [Derrida, by Glendinning]
     Full Idea: In Derrida's modal reversal (where the only possible forgiveness is forgiving the unforgivable), the only possible community is the impossible community, which is a 'community of singularities' without anything in common.
     From: report of Jacques Derrida (later work [1980]) by Simon Glendinning - Derrida: A Very Short Introduction 7
     A reaction: Since this seems to go beyond multiculturalism, I can only see it as hyper-liberalism - that isolated individuals have an absolute status. Sounds like Nozick, but Derrida saw himself as a non-Marxist left-winger.
Can there be democratic friendship without us all becoming identical? [Derrida, by Glendinning]
     Full Idea: The question is whether it is possible to think of a politics of democratic friendship that could free itself from the terrifying threat of homogenization.
     From: report of Jacques Derrida (later work [1980]) by Simon Glendinning - Derrida: A Very Short Introduction 7
     A reaction: Being terrified of people becoming all the same links Derrida to existentialist individualism. Is he just a linguistic existentialist, trying to free us from the tyranny of linguistic uniformity?