10 ideas
| 13407 | All worthwhile philosophy is synthetic theorizing, evaluated by experience [Papineau] |
| Full Idea: I would say that all worthwhile philosophy consists of synthetic theorizing, evaluated against experience. | |
| From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §1) | |
| A reaction: This is the view that philosophy is just science at a high level of abstraction, and he explicitly rejects 'conceptual analysis' as a fruitful activity. I need to take a stance on this one, but find I am in a state of paralysis. Welcome to philosophy... |
| 16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
| Full Idea: The Barcan Formula and its converse gives expression to the most straightforward way of combining modal operators with classical quantification. | |
| From: Ori Simchen (The Barcan Formula and Metaphysics [2013], §1) |
| 16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
| Full Idea: The Barcan Formulas are a threat to 'actualism' in modal metaphysics, which seems regrettable since the Formulas are validated by standard modal logics, but clash with the plausible and attractive actualist view (that there are no merely possible things). | |
| From: Ori Simchen (The Barcan Formula and Metaphysics [2013], §1) | |
| A reaction: He notes that the Barcan Formulas 'appear to require quantification over possibilia'. So are you prepared to accept the 'possible elephant in your kitchen'? Conceptually yes, but actually no, I would have thought. So possibilia are conceptual. |
| 16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
| Full Idea: In accordance with the Barcan Formula we assume that if it is possible that Wittgenstein should have had a child, then something or other is possibly Wittgentein's child. | |
| From: Ori Simchen (The Barcan Formula and Metaphysics [2013], §5) | |
| A reaction: Put like this it sounds unpersuasive. What is the something or other? Someone else's child? A dustbin? A bare particular? Wittgenstein's child? If it was the last one, how could it be Wittgenstein's child while only possibly being that thing? |
| 13409 | Our best theories may commit us to mathematical abstracta, but that doesn't justify the commitment [Papineau] |
| Full Idea: Our empirically best-supported theories may commit us to certain abstract mathematical entities, but this does not necessarily mean that this is what justifies our commitment. That we are committed doesn't explain why we should be. | |
| From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §4) | |
| A reaction: A nice point. It is only a slightly gormless scientism which would say that we have to accept whatever scientists demand. Who's in charge here - scientists, mathematicians or philosophers? Don't answer that... |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| Full Idea: Serious Actualism is the view that in possible circumstances in which something does not exist there are no facts about it of any kind, including its very non-existence | |
| From: Ori Simchen (The Barcan Formula and Metaphysics [2013], §1 n4) | |
| A reaction: He suggests that the Converse Barcan Formula implies this view. It sounds comparable to the view of Presentism about time, that no future or past truthmakers exist right now. If a new square table were to exist, it would have four corners. |
| 13406 | A priori knowledge is analytic - the structure of our concepts - and hence unimportant [Papineau] |
| Full Idea: I am a fully paid up-naturalist, but I see no reason to deny that a priori knowledge is possible. My view is that a priori knowledge is unimportant (esp to philosophy). If there is a priori knowledge, it is analytic, true by the structure of our concepts. | |
| From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §1) | |
| A reaction: It is one thing to say it is the structure of our concepts, and another to infer that it is unimportant. I take the structure of our concepts to be a shadow cast by the structure of the world. E.g. the structure of numbers reveals the world. |
| 13408 | Intuition and thought-experiments embody substantial information about the world [Papineau] |
| Full Idea: Naturalists can allow for thought-experiments in philosophy. Intuitions play an important role, but only because they embody substantial information about the world. | |
| From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §3) | |
| A reaction: In this sense, intuitions are just memories which are too complex for us to articulate. They are not the intuitions of 'pure reason'. It is hard to connect the intuitive spotting of a proof with memories of the physical world. |
| 13410 | Verificationism about concepts means you can't deny a theory, because you can't have the concept [Papineau] |
| Full Idea: Verificationism about concepts implies that thinkers will not share concepts with adherents of theories they reject. Those who reject the phlogiston theory will not possess the same concept as adherents, so cannot say 'there is no phlogiston'. | |
| From: David Papineau (Philosophical Insignificance of A Priori Knowledge [2010], §6) | |
| A reaction: The point seems to be more general - that it is hard to see how you can have a concept of anything which doesn't actually exist, if the concept is meant to rest on some sort of empirical verification. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |