Combining Texts

All the ideas for 'Letters to Antoine Arnauld', 'Deriving Kripkean Claims with Abstract Objects' and 'works'

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


4 ideas

6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
It is possible that an omnipotent God might make one and two fail to equal three [Descartes]
     Full Idea: Since every basic truth depends on God's omnipotence, I would not dare to say that God cannot make it....that one and two should not be three.
     From: René Descartes (Letters to Antoine Arnauld [1645]), quoted by A.W. Moore - The Evolution of Modern Metaphysics 01.3
     A reaction: An unusual view. Most people would say that if Descartes can doubt something that simple, he should also doubt his reasons for believing in God's existence.
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Abstract objects are actually constituted by the properties by which we conceive them [Zalta]
     Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea.
     From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2)
     A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea.
18. Thought / E. Abstraction / 2. Abstracta by Selection
Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta]
     Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F.
     From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2)
     A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English.
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
The state should kill blasphemous heretics [Erasmus]
     Full Idea: It is necessary for the preservation of the state to kill heretics that are blasphemous and seditious.
     From: Desiderius Erasmus (works [1506]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2
     A reaction: He was much more tolerant of heretics who kept quiet.