Combining Texts

All the ideas for 'works', 'Possible Worlds and Necessary A Posteriori' and 'Paradoxes of the Infinite'

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


8 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
An aggregate in which order does not matter I call a 'set' [Bolzano]
     Full Idea: An aggregate whose basic conception renders the arrangement of its members a matter of indifference, and whose permutation therefore produces no essential difference, I call a 'set'.
     From: Bernard Bolzano (Paradoxes of the Infinite [1846], §4), quoted by William W. Tait - Frege versus Cantor and Dedekind IX
     A reaction: The idea of 'sets' was emerging before Cantor formalised it, and clarified it by thinking about infinite sets. Nowadays we also have 'ordered' sets, which rather contradicts Bolzano, and we also expect the cardinality to be determinate.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
A truly infinite quantity does not need to be a variable [Bolzano]
     Full Idea: A truly infinite quantity (for example, the length of a straight line, unbounded in either direction) does not by any means need to be a variable.
     From: Bernard Bolzano (Paradoxes of the Infinite [1846]), quoted by Brian Clegg - Infinity: Quest to Think the Unthinkable §10
     A reaction: This is an important idea, followed up by Cantor, which relegated to the sidelines the view of infinity as simply something that could increase without limit. Personally I like the old view, but there is something mathematically stable about infinity.
9. Objects / D. Essence of Objects / 9. Essence and Properties
How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson]
     Full Idea: On a friendly reading of Quine, there is nothing to make the difference between a table's being contingently plastic and its being essentially plastic.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 5)
     A reaction: This is, of course, the dreaded modern usage of 'essential' to just mean 'necessary' and nothing more. In my view, there may be a big problem with knowing whether a problem is necessary, but knowing whether it is essential is much easier.
An x is essentially F if it is F in every possible world in which it appears [Jackson]
     Full Idea: On the possible world's account, x's being essentially F is nothing more nor less than x's being F in every world in which it appears.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 6)
     A reaction: There you go - 'true in every possible world' is the definition of metaphysical necessity, not the definition of essence. Either get back to Aristotle, or stop (forever!) talking about 'essence'!
9. Objects / D. Essence of Objects / 15. Against Essentialism
Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson]
     Full Idea: The unfriendly response to Quine's objection to essentialism is that it conflates the de re and the de dicto. The friendly response is that behind that conflation is a real epistemological problem for essentialism.
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1)
     A reaction: He cites Richard Cartwright 1968 for the friendly response. The epistemological question is how we can know the essentialness of an essence.
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson]
     Full Idea: If something is offered as a candidate necessary a posteriori truth, how could we show that it is necessary, in the face of the fact that it takes investigation to show that it is true, and so, in some sense, it might have turned out to be false?
     From: Frank Jackson (Possible Worlds and Necessary A Posteriori [2010], 1)
     A reaction: This is the topic of his paper, which he compares with how we can know that essences are essential.
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
Philosophers are the forefathers of heretics [Tertullian]
     Full Idea: Philosophers are the forefathers of heretics.
     From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
I believe because it is absurd [Tertullian]
     Full Idea: I believe because it is absurd ('Credo quia absurdum est').
     From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2
     A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though.