6 ideas
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
Full Idea: If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference. | |
From: James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro | |
A reaction: Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable. |
3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |
Full Idea: Ned Block proposes a machine (a 'blockhead') which could pass the Turing Test just by looking up responses in a vast look-up table. | |
From: report of Ned Block (works [1984]) by Georges Rey - Contemporary Philosophy of Mind 5.3 | |
A reaction: Once you suspected you were talking to a blockhead, I think you could catch it out in a Turing Test. How can the lookup table keep up to date with immediate experience? Ask it about your new poem. |
9086 | The idea of abstract objects is not ontological; it comes from the epistemological idea of abstraction [Plantinga] |
Full Idea: The notion of an abstract object comes from the notion of abstraction; it is in origin an epistemological rather than an ontological category. | |
From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.232) | |
A reaction: Etymology doesn't prove anything. However, if you define abstract objects as not existing in space or time, you must recognise that this may only be because that is how humans imaginatively created them in the first place. |
9087 | Theists may see abstract objects as really divine thoughts [Plantinga] |
Full Idea: Theists may find attractive a view popular among medieval philosophers from Augustine on: that abstract objects are really divine thoughts. More exactly, propositions are divine thoughts, properties divine concepts, and sets divine collections. | |
From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.233) | |
A reaction: Hm. I pass this on because we should be aware that there is a theological history to discussions of abstract objects, and some people have vested interests in keeping them outside of the natural world. Aren't properties natural? Does God gerrymander sets? |
9085 | If propositions are concrete they don't have to exist, and so they can't be necessary truths [Plantinga] |
Full Idea: Someone who believes propositions are concrete cannot agree that some propositions are necessary. For propositions are contingent beings, and could have failed to exist. But if they fail to exist, then they fail to be true. | |
From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.230) | |
A reaction: [compressed] He implies the actual existence of an infinity of trivial, boring or ridiculous necessary truths. I suspect that he is just confusing a thought with its content. Or we might just treat necessary propositions as hypothetical. |
9084 | Propositions can't just be in brains, because 'there are no human beings' might be true [Plantinga] |
Full Idea: If propositions are brain inscriptions, then if there had been no human beings there would have been no propositions. But then 'there are no human beings' would have been true, so there would have been at least one truth (and thus one proposition). | |
From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.229) | |
A reaction: This would make 'there are no x's' true for any value of x apart from actual objects, which implies an infinity of propositions. Does Plantinga really believe that these all exist? He may be confusing propositions with facts. |