Combining Texts

All the ideas for 'Conditionals', 'Structuralism' and 'Significance of the Kripkean Nec A Posteriori'

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


12 ideas

1. Philosophy / C. History of Philosophy / 5. Modern Philosophy / c. Modern philosophy mid-period
Analytic philosophy loved the necessary a priori analytic, linguistic modality, and rigour [Soames]
     Full Idea: The golden age of analytic philosophy (mid 20th c) was when necessary, a priori and analytic were one, all possibility was linguistic possibility, and the linguistic turn gave philosophy a respectable subject matter (language), and precision and rigour.
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.166)
     A reaction: Gently sarcastic, because Soames is part of the team who have put a bomb under this view, and quite right too. Personally I think the biggest enemy in all of this lot is not 'language' but 'rigour'. A will-o-the-wisp philosophers dream of.
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
If philosophy is analysis of meaning, available to all competent speakers, what's left for philosophers? [Soames]
     Full Idea: If all of philosophy is the analysis of meaning, and meaning is fundamentally transparent to competent speakers, there is little room for philosophically significant explanations and theories, since they will be necessary or a priori, or both.
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.186)
     A reaction: He cites the later Wittgenstein as having fallen into this trap. I suppose any area of life can have its specialists, but I take Shakespeare to be a greater master of English than any philosopher I have ever read.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman]
     Full Idea: With developments in modern mathematics, structuralist ideas have become commonplace. We study 'abstract structures', having relations without regard to the objects. As Hilbert famously said, items of furniture would do.
     From: Geoffrey Hellman (Structuralism [2007], §1)
     A reaction: Hilbert is known as a Formalist, which suggests that modern Structuralism is a refined and more naturalist version of the rather austere formalist view. Presumably the sofa can't stand for six, so a structural definition of numbers is needed.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman]
     Full Idea: There is the tantalizing possibility that perhaps mathematical objects 'have no nature' at all, beyond their 'structural role'.
     From: Geoffrey Hellman (Structuralism [2007], §1)
     A reaction: This would fit with a number being a function rather than an object. We are interested in what cars do, not the bolts that hold them together? But the ontology of mathematics is quite separate from how you do mathematics.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Kripkean essential properties and relations are necessary, in all genuinely possible worlds [Soames]
     Full Idea: By (Kripkean) 'essential' properties and relations I mean simply properties and relations that hold necessarily of objects (in all genuinely possible world-states in which the objects exist).
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.168 n5)
     A reaction: This is the standard modern view of essences which I find so unsatisfactory. Kit Fine has helped to take us back to the proper Aristotelian view, where 'necessary' and 'essential' actually have different meanings. Note the inclusion of relations.
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
     Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required.
     From: Dorothy Edgington (Conditionals [2001], 17.2.1)
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
There are many different conditional mental states, and different conditional speech acts [Edgington]
     Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc.
     From: Dorothy Edgington (Conditionals [2001], 17.3.4)
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
     Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'?
     From: Dorothy Edgington (Conditionals [2001], 17.1)
     A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional.
'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
     Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B).
     From: Dorothy Edgington (Conditionals [2001], 17.1)
     A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true.
10. Modality / C. Sources of Modality / 3. Necessity by Convention
A key achievement of Kripke is showing that important modalities are not linguistic in source [Soames]
     Full Idea: None of Kripke's many achievements is more important than his breaking the spell of the linguistic as the source of philosophically important modalities.
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.186)
     A reaction: Put like that, Kripke may have had the single most important thought of modern times. I take good philosophy to be exactly the same as good scientific theorising, in that it all arises out of the nature of reality (and I include logic in that).
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Kripkean possible worlds are abstract maximal states in which the real world could have been [Soames]
     Full Idea: For the Kripkean possible states of the world are not alternate concrete universes, but abstract objects. Metaphysically possible world-states are maximally complete ways the real concrete universe could have been.
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.167)
     A reaction: This is probably clearer about the Kripkean view than Kripke ever is, but then that is part of Soames's mission. It sounds like the right way to conceive possible worlds. At least there is some commitment there, rather than instrumentalism about them.
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Two-dimensionalism reinstates descriptivism, and reconnects necessity and apriority to analyticity [Soames]
     Full Idea: Two-dimensionalism is a fundamentally anti-Kripkean attempt to reinstate descriptivism about names and natural kind terms, to reconnect necessity and apriority to analyticity, and return philosophy to analytic paradigms of its golden age.
     From: Scott Soames (Significance of the Kripkean Nec A Posteriori [2006], p.183)
     A reaction: I presume this is right, and it is so frustrating that you need Soames to spell it out, when Chalmers is much more low-key. Philosophers hate telling you what their real game is. Why is that?