Combining Texts

All the ideas for 'later work', 'Mathematics: Form and Function' and 'Semantic Necessity'

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


10 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 / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]
     Full Idea: We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC.
     From: Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics
     A reaction: Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30).
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]
     Full Idea: It is customary in logic to take a theory to be a set of sentences closed under logical consequence, whereas it is common in discussions of theories of truth to take a theory to be an axiomatized theory.
     From: Kit Fine (Semantic Necessity [2010], n8)
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A]
     Full Idea: Fine's paper argues that the notion of semantic necessity has a role to play in understanding the nature and content of semantics comparable to the role of metaphysical necessity in metaphysics.
     From: report of Kit Fine (Semantic Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2
19. Language / C. Assigning Meanings / 2. Semantics
Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
     Full Idea: On one view, a semantics for a given language is taken to be an assignment of semantic values to its expressions; according to the other, a semantics is taken to be a theory of truth for that language.
     From: Kit Fine (Semantic Necessity [2010], Intro)
     A reaction: The first is Frege, the second Tarski via Davidson, says Fine. Fine argues against these as the correct alternatives, and says the distinction prevents us understanding what is really going on. He votes for semantics as giving 'semantic requirements'.
Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
     Full Idea: Semantics should be conceived as a body of semantic requirements or facts - and not as a body of semantic truths, or as an assignment of semantic values.
     From: Kit Fine (Semantic Necessity [2010], 5)
     A reaction: The 'truths' view is Tarski, and the 'values' view is Frege. You'll have to read the Fine paper to grasp his subtle claim.
19. Language / C. Assigning Meanings / 7. Extensional Semantics
Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K]
     Full Idea: What distinguishes the referential position in semantics from Fregeanism is that it makes use of de re semantic facts, in which it is required of an object itself that it enter into certain semantic requirements.
     From: Kit Fine (Semantic Necessity [2010], 5)
     A reaction: I have a repugnance to any sort of semantics that involves the objects themselves, even when dealing with proper names. If I talk of 'Napoleon', no small Frenchman is to be found anywhere in my sentences.
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K]
     Full Idea: The source of the Quinean scepticism about analytic and synthetic is, first, scepticism over whether we can factor truth into a semantic and a factual component, and (second) if we can, is the factual component ever null?
     From: Kit Fine (Semantic Necessity [2010], 1)
     A reaction: You certainly can't grasp 'bachelors are unmarried men' if you haven't grasped the full Woosterian truth about men and marriage. But I could interdefine four meaningless words, so that you could employ them in analytic sentences.
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?