5 ideas
18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
Full Idea: Chihara proposes to replace all sets by reference to the open sentences that define them. | |
From: report of Charles Chihara (Ontology and the Vicious Circle Principle [1973]) by David Bostock - Philosophy of Mathematics 9.B.4 | |
A reaction: This depends on predicativism, because that stipulates the definitions will be available (cos if it ain't definable it ain't there). Chihara went on to define the open sentences in terms of the possibility of uttering them. Cf. propositional functions. |
16669 | Everything that exists is either a being, or some mode of a being [Malebranche] |
Full Idea: It is absolutely necessary that everything in the world be either a being or a mode [manière] of a being. | |
From: Nicolas Malebranche (The Search After Truth [1675], III.2.8.ii), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.4 |
10558 | 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. |
10557 | 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. |
12726 | In a true cause we see a necessary connection [Malebranche] |
Full Idea: A true cause is one in which the mind perceives a necessary connection between the cause and its effect. | |
From: Nicolas Malebranche (The Search After Truth [1675], 1.649 (450)), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 5 | |
A reaction: Presumably Hume was ignorant of 'true' causes, since he says he never saw this connection. But then is the perception done by the mind, or by the senses? |