Combining Texts

All the ideas for 'The Nature of Necessity', 'The Language of Thought' and 'The Theory of Objects'

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


11 ideas

4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra]
     Full Idea: Meinong has recently been credited with inspiring 'free logic': a logic without existence assumptions.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by George / Van Evra - The Rise of Modern Logic 8
     A reaction: This would appear to be a bold escape from the quandries concerning the existential implications of quantifiers. I immediately find it very appealing. It seems to spell disaster for the Quinean program of deducing ontology from language.
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend]
     Full Idea: Meinong (and Priest) leave room for impossible objects (like a mountain made entirely of gold), and even contradictory objects (such as a round square). This would have a property, of 'being a contradictory object'.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8
     A reaction: This view is only possible with a rather lax view of properties. Personally I don't take 'being a pencil' to be a property of a pencil. It might be safer to just say that 'round squares' are possible linguistic subjects of predication.
9. Objects / A. Existence of Objects / 3. Objects in Thought
There are objects of which it is true that there are no such objects [Meinong]
     Full Idea: There are objects of which it is true that there are no such objects.
     From: Alexius Meinong (The Theory of Objects [1904]), quoted by Peter van Inwagen - Existence,Ontological Commitment and Fictions p.131
     A reaction: Van Inwagen say this idea is 'infamous', but Meinong is undergoing a revival, and commitment to non-existent objects may be the best explanation of some ways of talking.
Meinong says an object need not exist, but must only have properties [Meinong, by Friend]
     Full Idea: Meinong distinguished between 'existing objects' and 'subsisting objects', and being an object does not imply existence, but only 'having properties'.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8
     A reaction: Meinong is treated as a joke (thanks to Russell), but this is good. "Father Christmas does not exist, but he has a red coat". He'd better have some sort of existy aspect if he is going to have a property. So he's 'an object'. 'Insubstantial'?
9. Objects / A. Existence of Objects / 4. Impossible objects
Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan]
     Full Idea: Meinong insisted (à la Anselm) that any possible object of thought - even a self-contradictory one - has being of a sort even though only a few such things are so lucky as to exist in reality as well.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by William Lycan - Philosophy of Language Ch.1
     A reaction: ['This idea gave Russell fits' says Lycan]. In the English-speaking world this is virtually the only idea for which Meinong is remembered. Russell (Idea 5409) was happy for some things to merely 'subsist' as well as others which could 'exist'.
The objects of knowledge are far more numerous than objects which exist [Meinong]
     Full Idea: The totality of what exists, including what has existed and what will exist, is infinitely small in comparison with the totality of Objects of knowledge.
     From: Alexius Meinong (The Theory of Objects [1904]), quoted by William Lycan - The Trouble with Possible Worlds 01
     A reaction: This is rather profound, but the word 'object' doesn't help. I would say 'What we know concerns far more than what merely exists'.
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong]
     Full Idea: Plantinga rejects other possible worlds, but adds to our world an uncountable multitude of sets of propositions, each set a way that the world might have been, but is in fact not. (Roughly, for each Lewis world, Plantinga has such a set).
     From: report of Alvin Plantinga (The Nature of Necessity [1974]) by David M. Armstrong - Truth and Truthmakers 07.2
     A reaction: To me it seems as ontologically extravagant to postulate unexpressed propositions as to postulate concrete possible worlds. I think the best line is that there is just the actual world, with the possibilities implied in its dispositions.
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]
     Full Idea: Plantinga says for an individual to exist with certain properties in some possible world is simply for it to be true that, had that possible world obtained, that individual would have existed with those properties.
     From: report of Alvin Plantinga (The Nature of Necessity [1974]) by Penelope Mackie - How Things Might Have Been 5.1
     A reaction: This is intended to dissolve the problem of transworld identity, and is certainly a flat rejection of counterparts. I take the point to be that the individual is the key element in defining the possible world, so can't possibly be different.
18. Thought / B. Mechanics of Thought / 4. Language of Thought
Since the language of thought is the same for all, it must be something like logical form [Fodor, by Devlin]
     Full Idea: Fodor and Jackendorff argue that since the internal language of thought, or conceptual structure, has to be more or less the same for all people, of whatever language, it will surely be something like logical form.
     From: report of Jerry A. Fodor (The Language of Thought [1975]) by Keith Devlin - Goodbye Descartes Ch.8
     A reaction: The discovery (by, e.g., Frege and Russell) that there is something called 'logical form', which we can track down and represent in precise and fairly unambiguous symbolism, may be one of the greatest of all human discoveries. Perhaps.
18. Thought / D. Concepts / 2. Origin of Concepts / c. Nativist concepts
If concept-learning is hypothesis-testing, that needs innate concepts to get started [Fodor, by Margolis/Laurence]
     Full Idea: Fodor argues that virtually all lexical concepts are innate, because most models of learning treat concept-learning as hypothesis testing, but that invariably employs the very concept to be learned.
     From: report of Jerry A. Fodor (The Language of Thought [1975]) by E Margolis/S Laurence - Concepts 3.3
     A reaction: The obvious response is to reject the theory which gave rise to this difficulty. I take concept formation to be a fairly mechanical and barely conscious response to environment, not a process of fully rational and conscious hypothesising.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]
     Full Idea: Plantinga reformulates Malcolm's argument thus: 1) There is a possible world in which there exists a being with maximal greatness, 2) A being has maximal greatness in a world only if it exists in every world.
     From: report of Alvin Plantinga (The Nature of Necessity [1974], p.213) by Brian Davies - Introduction to the Philosophy of Religion 4 'b Descartes'
     A reaction: This is only Plantinga's starting point, which says nothing about the nature of God, but only that this 'great' being exists in all worlds. I would like to know why it is a 'being' rather than a 'thing'. Malcolm says if it is possible it is necessary.