Combining Philosophers

All the ideas for Anaxarchus, Edmund Husserl and Alvin Plantinga

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


89 ideas

1. Philosophy / H. Continental Philosophy / 2. Phenomenology
If phenomenology is deprived of the synthetic a priori, it is reduced to literature [Benardete,JA on Husserl]
     Full Idea: Sternly envisaged by Husserl as a scientific discipline, phenomenology, on being stripped of the synthetic a priori by the logical positivists, ends up in Sartre as a largely literary undertaking.
     From: comment on Edmund Husserl (works [1898]) by José A. Benardete - Metaphysics: the logical approach Ch.18
Phenomenology is the science of essences - necessary universal structures for art, representation etc. [Husserl, by Polt]
     Full Idea: For Husserl, phenomenology must seek the essential aspects of phenomena - necessary, universal structures, such as the essence of art or the essence of representation. He sought a science of these essences.
     From: report of Edmund Husserl (Logical Investigations [1900]) by Richard Polt - Heidegger: an introduction 2 'Dilthey'
Bracketing subtracts entailments about external reality from beliefs [Husserl, by Putnam]
     Full Idea: In effect, the device of bracketing subtracts entailments from the ordinary belief locution (the entailments that refer to what is external to the thinker's mind).
     From: report of Edmund Husserl (Logical Investigations [1900]) by Hilary Putnam - Reason, Truth and History Ch.2
     A reaction: This seems to leave phenomenology as pure introspection, or as a phenomenalist description of sense-data. It is also a refusal to explain anything. That sounds quite appealing, like Keats's 'negative capability'.
Phenomenology aims to describe experience directly, rather than by its origins or causes [Husserl, by Mautner]
     Full Idea: Phenomenology, in Husserl, is an attempt to describe our experience directly, as it is, separately from its origins and development, independently of the causal explanations that historians, sociologists or psychologists might give.
     From: report of Edmund Husserl (Logical Investigations [1900]) by Thomas Mautner - Penguin Dictionary of Philosophy p.421
     A reaction: In this simple definition the concept sounds very like the modern popular use of the word 'deconstruction', though that is applied more commonly to cultural artifacts than to actual sense experience.
Phenomenology studies different types of correlation between consciousness and its objects [Husserl, by Bernet]
     Full Idea: Husserl's phenomenology is the science of the intentional correlation of acts of consciousness with their objects and it studies the ways in which different kinds of objects involve different kinds of correlation with different kinds of acts.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.198
     A reaction: I notice he uncritically accepts Husserl's description of it as a 'science'. My naive question is how you would distinguish one kind of 'correlation' from another.
Phenomenology needs absolute reflection, without presuppositions [Husserl]
     Full Idea: Phenomenology demands the most perfect freedom from presuppositions and, concerning itself, an absolute reflective insight.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], III.1.063), quoted by Victor Velarde-Mayol - On Husserl 3.1
     A reaction: As an outsider, I would have thought that the whole weight of modern continental philosophy is entirely opposed to the aspiration to think without presuppositions.
There can only be a science of fluctuating consciousness if it focuses on stable essences [Husserl, by Bernet]
     Full Idea: How can there be a science of a Heraclitean flux of acts of consciousness? Husserl answers that this is possible only if these acts are described in respect of their invariant or essential structure. This is an 'eidetic' scence of 'pure' psychology.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.199
     A reaction: This is his phenomenology in 1913, which Bernet describes as 'static'. Husserl later introduced time with his 'genetic' version of phenomenology, looking at the sources of experience (and then at history). Essentialism seems to be intuitive.
Phenomenology aims to validate objects, on the basis of intentional intuitive experience [Husserl, by Bernet]
     Full Idea: Husserl's goal is to account for the validity, the 'being-true', of objects on the basis of the way in which they are given or constituted. ...Experiences more suitable for guaranteeing objects are those which both intend and intuitively apprehend them.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.199
     A reaction: [compressed] In the light of previous scepticism and idealism, the project sounds a bit optimistic. If there is a gulf between mind and world it can only be bridged by 'reaching out' from both sides. This is a mind-sided attempt.
Husserl saw transcendental phenomenology as idealist, in its construction of objects [Husserl, by Bernet]
     Full Idea: Phenomeonology is 'transcendental' in describing the correlation between phenomena and intentional objects, to show how their meaning and validity are constructed. Husserl gave this process an idealist interpretation (which Heidegger criticised).
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.200
     A reaction: [compressed] If the actions which produce our concepts of objects all take place 'behind' phenomenal consciousness, then it is hard to avoid sliding into some sort of idealism. It encourages direct realism about perception.
Start philosophising with no preconceptions, from the intuitively non-theoretical self-given [Husserl]
     Full Idea: Where other philosophers ...start from unclarified, ungrounded preconceptions, we start out from that which antedates all standpoints: from the totality of the intuitively self-given which is prior to any theorising reflexion.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.020)
     A reaction: This is the great aim of Phenomenology, which is obviously inspired by Hegel's similar desire to start from nothing. Hegel starts from a concept ('nothing'), but Husserl starts from raw experience. I suspect both approaches are idle dreams.
Epoché or 'bracketing' is refraining from judgement, even when some truths are certain [Husserl]
     Full Idea: In relation to every thesis we can use this peculiar epoché (the phenomenon of 'bracketing' or 'disconnecting'), a certain refraining from judgment which is compatible with the unshaken and unshakable because self-evidencing conviction of Truth.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.1.031)
     A reaction: This is the crucial first step of Phenomenology. It seems to me that it is best described as 'methodological scepticism'. People actually practise it all the time, while they focus on some experience, while trying to forget preconceptions.
'Bracketing' means no judgements at all about spatio-temporal existence [Husserl]
     Full Idea: I use the 'phenomenological' epoché, which completely bars me from using any judgment that concerns spatio-temporal existence.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.1.032)
     A reaction: This makes bracketing (or epoché) into a sort of voluntary idealism. Put like that, it is hard to see what benefits it could bring. I am, you will notice, a pretty thorough sceptic about the project of phenomenology. What has it taught us?
After everything is bracketed, consciousness still has a unique being of its own [Husserl]
     Full Idea: We fix our eyes steadily upon the sphere of Consciousness and study what it is that we find immanent in it. ...Consciousness in itself has a being of its own which in its absolute uniqueness of nature remains unaffected by disconnection.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.033)
     A reaction: 'Disconnection' is his 'bracketing'. He makes it sound obvious, but Schopenhauer entirely disagrees with him, and I have no idea how to arbitrate. I struggle to grasp consciousness once nature has been bracketed, but have little luck. Is it Da-sein?
Phenomenology describes consciousness, in the light of pure experiences [Husserl]
     Full Idea: Phenomenology is a pure descriptive discipline which studies the whole field of pure transcendental consciousness in the light of pure intuition.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.4.059)
     A reaction: When he uses the word 'pure' three times in a sentence, each applied to a different thing, you begin to wonder precisely what it means. Strictly speaking, I would probably only apply 'pure' to abstracta, and never to experiences or reality.115
2. Reason / D. Definition / 13. Against Definition
The use of mathematical-style definitions in philosophy is fruitless and harmful [Husserl]
     Full Idea: Definition cannot take the same form in philosophy as it does in mathematics; the imitation of mathematical procedure is invariably in this respect not only unfruitful, but perverse and most harmful in its consequences.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], Intro)
     A reaction: A hundred years of analytic philosophy has entirely ignored this warning. My heart has always sunk when I read '=def...' in a philosophy article (which is usually American). The illusion of rigour.
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]
     Full Idea: Husserl maintained that because most logicians have not studied the connection between logic and the world, logic did not achieve its status of purity. Even more, their logic implicitly presupposed a world.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.1
     A reaction: The point here is that the bracketing of phenomenology, to reach an understanding with no presuppositions, is impossible if you don't realise what your are presupposing. I think the logic/world relationship is badly neglected, thanks to Frege.
Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]
     Full Idea: The phenomenological logic grounds logical notions in subjective acts of experience.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929], p.183) by Victor Velarde-Mayol - On Husserl 4.5.1
     A reaction: I'll approach this with great caution, but this is a line of thought that appeals to me. The core assumptions of logic do not arise ex nihilo.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Maybe proper names involve essentialism [Plantinga]
     Full Idea: Perhaps the notion of a proper name itself involves essentialism.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.43)
     A reaction: This is just before Kripke's announcement of 'rigid designation', which seems to have relaunched modern essentialism. The thought is that you can't name something, if you don't have a stable notion of what is (and isn't) being named.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga]
     Full Idea: Can't I name all the real numbers in the interval (0,1) at once? Couldn't I name them all 'Charley', for example?
     From: Alvin Plantinga (De Re and De Dicto [1969], p.40)
     A reaction: Plantinga is nervous about such a sweeping move, but can't think of an objection. This addresses a big problem, I think - that you are supposed to accept the real numbers when we cannot possibly name them all.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / l. Zero
0 is not a number, as it answers 'how many?' negatively [Husserl, by Dummett]
     Full Idea: Husserl contends that 0 is not a number, on the grounds that 'nought' is a negative answer to the question 'how many?'.
     From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.144) by Michael Dummett - Frege philosophy of mathematics Ch.8
     A reaction: I seem to be in a tiny minority in thinking that Husserl may have a good point. One apple is different from one orange, but no apples are the same as no oranges. That makes 0 a very peculiar number. See Idea 9838.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Multiplicity in general is just one and one and one, etc. [Husserl]
     Full Idea: Multiplicity in general is no more than something and something and something, etc.; ..or more briefly, one and one and one, etc.
     From: Edmund Husserl (Philosophy of Arithmetic [1894], p.85), quoted by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic'
     A reaction: Frege goes on to attack this idea fairly convincingly. It seems obvious that it is hard to say that you have seventeen items, if the only numberical concept in your possession is 'one'. How would you distinguish 17 from 16? What makes the ones 'multiple'?
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
Husserl said counting is more basic than Frege's one-one correspondence [Husserl, by Heck]
     Full Idea: Husserl famously argued that one should not explain number in terms of equinumerosity (or one-one correspondence), but should explain equinumerosity in terms of sameness of number, which should be characterised in terms of counting.
     From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: [Heck admits he hasn't read the Husserl] I'm very sympathetic to Husserl, though nearly all modern thinking favours Frege. Counting connects numbers to their roots in the world. Mathematicians seem oblivious of such things.
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]
     Full Idea: Pure mathematics is the science of the relations between any object whatever (relation of whole to part, relation of equality, property, unity etc.). In this sense, pure mathematics is seen by Husserl as formal ontology.
     From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.2
     A reaction: I would expect most modern analytic philosophers to agree with this. Modern mathematics (e.g. category theory) seems to have moved beyond this stage, but I still like this idea.
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
Necessary beings (numbers, properties, sets, propositions, states of affairs, God) exist in all possible worlds [Plantinga]
     Full Idea: A 'necessary being' is one that exists in every possible world; and only some objects - numbers, properties, pure sets, propositions, states of affairs, God - have this distinction.
     From: Alvin Plantinga (Actualism and Possible Worlds [1976], 2)
     A reaction: This a very odd list, though it is fairly orthodox among philosophers trained in modern modal logic. At the very least it looks rather parochial to me.
Our goal is to reveal a new hidden region of Being [Husserl]
     Full Idea: We could refer to our goal as the winning of a new region of Being, the distinctive character of which has not yet been defined.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.033)
     A reaction: The obvious fruit of this idea, I would think, is Heidegger's concept of Da-sein, which claims to be a distinctively human region of Being. I'm not sure I can cope with the claim that Being itself (a very broad-brush term) has hidden regions.
7. Existence / A. Nature of Existence / 3. Being / h. Dasein (being human)
As a thing and its perception are separated, two modes of Being emerge [Husserl]
     Full Idea: We are left with the transcendence of the thing over against the perception of it, ...and thus a basic and essential difference arises between Being as Experience and Being as Thing.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.042)
     A reaction: I'm thinking that this is not just the germ of Heidegger's concept of Da-sein, but it actually IS his concept, without the label. Husserl had said that he hoped to reveal a new region of Being.
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
Husserl sees the ego as a monad, unifying presence, sense and intentional acts [Husserl, by Velarde-Mayol]
     Full Idea: Husserl's notion of monad expresses a complete inegration of every intentional presence into its sense, and every sense into the intentional acts, ....and finally every intentional act is integrated into the ego.
     From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.6.2
     A reaction: No, I don't understand that either, but it makes good sense to employ the concept of a 'monad' into the concept of the ego, if you think it embodies perfect unity. That was a main motivation for Leibniz to employ the word.
7. Existence / D. Theories of Reality / 3. Reality
The World is all experiencable objects [Husserl]
     Full Idea: The World is the totality of objects that can be known through experience.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.001)
     A reaction: I think this is the 'Nature' which has to be 'bracketed', when pursuing Phenomenology. It sounds like anti-realist empiricism, which has no place for unobservables.
7. Existence / D. Theories of Reality / 4. Anti-realism
Absolute reality is an absurdity [Husserl]
     Full Idea: An absolute reality is just as valid as a round square.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.3.055)
     A reaction: Husserl distances himself from 'Berkeleyian' idealism, but his discussion keeps flirting with, perhaps in some sort of have-your-cake-and-eat-it Hegelian way. Perhaps it is close to Dummett's Anti-Realism.
9. Objects / A. Existence of Objects / 4. Impossible objects
Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker]
     Full Idea: Plantinga proposes surrogates for nonexistent things - individual essences that are themselves necessary existents and that correspond one-to-one with all the 'things' that might exist.
     From: report of Alvin Plantinga (World and Essence [1970]) by Robert C. Stalnaker - Mere Possibilities 1
     A reaction: There are an awful lot of competing concepts of essence flying around these days. This one seems to require some abstract 'third realm' (or worse) in which these essences can exist, awaiting the arrival of thinkers. Not for me.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
The 'identity criteria' of a name are a group of essential and established facts [Plantinga]
     Full Idea: What we might call 'identity criteria' associated with a name such as 'Aristotle' are what the users of the name regard as essential and established facts about him.
     From: Alvin Plantinga (World and Essence [1970], I)
     A reaction: The problem here is that identifying something is superficial, whereas essences run deep. Plantinga is, in fact, talking about Lockean 'nominal essence' (and seems unaware of the fact, and never mentions the Lockean real/nominal distinction).
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Surely self-identity is essential to Socrates? [Plantinga]
     Full Idea: If anything is essential to Socrates, surely self-identity is.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.37)
     A reaction: This is the modern move of Plantinga and Adams, to make 'is identical with Socrates' the one property which assures the identity of Socrates (his 'haecceity'). My view is that self-identity is not a property. Plantinga wonders about that on p.44.
'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga]
     Full Idea: Surely it is true of Socrates that he is Socrates and he is identical with Socrates. If these are true of him, then 'being Socrates' and 'being identical with Socrates' characterize him; they are among his properties or attributes.
     From: Alvin Plantinga (World and Essence [1970], II)
     A reaction: As far as I can see (if you insist on accepting self-identity as meaningful) the most you get here is that these are predicates that can attach to Socrates. If you identify predicates with properties you are in deep metaphysical trouble.
A snowball's haecceity is the property of being identical with itself [Plantinga, by Westerhoff]
     Full Idea: Plantinga assumes that being identical with that snowball names a property which is that snowball's haecceity.
     From: report of Alvin Plantinga (De Essentia [1979]) by Jan Westerhoff - Ontological Categories §52
     A reaction: Only a philosopher would suggest such a bizarre way of establishing the unique individuality of a given snowball. You could hardly keep track of the snowball with just that criterion. How do you decide whether something has Plantinga's property?
9. Objects / D. Essence of Objects / 1. Essences of Objects
Socrates is a contingent being, but his essence is not; without Socrates, his essence is unexemplified [Plantinga]
     Full Idea: Socrates is a contingent being; his essence, however, is not. Properties, like propositions and possible worlds, are necessary beings. If Socrates had not existed, his essence would have been unexemplified, but not non-existent.
     From: Alvin Plantinga (Actualism and Possible Worlds [1976], 4)
     A reaction: This is a distinctive Plantinga view, of which I can make little sense. I take it that Socrates used to have an essence. Being dead, the essence no longer exists, but when we talk about Socrates it is largely this essence to which we refer. OK?
9. Objects / D. Essence of Objects / 2. Types of Essence
Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga]
     Full Idea: Does Socrates have, in addition to his essential properties, an 'essence' or 'haecceity' - a property essential to him that entails each of his essential properties and that nothing distinct from him has in the world?
     From: Alvin Plantinga (World and Essence [1970], II)
     A reaction: Plantinga says yes, and offers 'Socrateity' (borrowed from Boethius) as his candidate. This is a very odd use of the word 'essence'. I take an essence to be a complex set of fundamental properties. I am also puzzled by his use of the word 'entails'.
9. Objects / D. Essence of Objects / 5. Essence as Kind
The sense of anything contingent has a purely apprehensible essence or Eidos [Husserl]
     Full Idea: It belongs to the sense of anything contingent to have an essence and therefore an Eidos which can be apprehended purely.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.002), quoted by Victor Velarde-Mayol - On Husserl 3.2.2
     A reaction: This is the quirky idea that we can know necessary categorial essences a priori, even if the category is currently empty. Crops us in Lowe. Husserl says grasping the corresponding individuals must be possible. Third Man question.
9. Objects / D. Essence of Objects / 9. Essence and Properties
Imagine an object's properties varying; the ones that won't vary are the essential ones [Husserl, by Vaidya]
     Full Idea: Husserl's 'eidetic variation' implies that we can judge the essential properties of an object by varying the properties of the object in imagination, and seeing which vary and which do not.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Anand Vaidya - Understanding and Essence 'Knowledge'
     A reaction: The problem with this is that there are trivial or highly general necessary properties which are obviously not essential to the thing. Vaidya says [822] you can't perform the experiment without prior knowledge of the essence.
An object has a property essentially if it couldn't conceivably have lacked it [Plantinga]
     Full Idea: An object has a property essentially just in case it couldn't conceivably have lacked that property.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.35)
     A reaction: Making it depend on what we can conceive seems a bit dubious, for someone committed to real essences. The key issue is how narrowly or broadly you interpret the word 'property'. The word 'object' needs a bit of thought, too!
Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga]
     Full Idea: Let us call properties that enjoy the distinction of being instantiated by every object in every possible world 'trivially essential properties'.
     From: Alvin Plantinga (World and Essence [1970], I)
     A reaction: These would appear to be trivially 'necessary' rather than 'essential'. This continual need for the qualifier 'trivial' shows that they are not talking about proper essences.
X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga]
     Full Idea: Socrates has P essentially if he has P in every world, or has it in every world in which he exists, or - most plausible of all - has P in the actual world and has its complement [non-P] in no world.
     From: Alvin Plantinga (World and Essence [1970], Intro)
     A reaction: These strike me as mere necessary properties, which are not the same thing at all. Essences give rise to the other properties, but Plantinga offers nothing to do the job (and especially not 'Socrateity'!). Essences must explain, say I!
If a property is ever essential, can it only ever be an essential property? [Plantinga]
     Full Idea: Is it the case that any property had essentially by anything is had essentially by everything that has it?
     From: Alvin Plantinga (World and Essence [1970], III)
     A reaction: Plantinga says it is not true, but the only example he can give is Socrates having the property of 'being Socrates or Greek'. I take it to be universally false. There are not two types of property here. Properties sometimes play an essential role.
Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga]
     Full Idea: E is an essence if and only if (a) 'has E essentially' is instantiated in some world or other, and (b) for any world W and property P, E entails 'has P in W' or 'does not have P in W'.
     From: Alvin Plantinga (World and Essence [1970], IV)
     A reaction: 'Entail' strikes me as a very odd word when you are talking about the structure of the physical world (or are we??). Why would a unique self-identity (his candidate for essence) do the necessary entailing?
9. Objects / F. Identity among Objects / 5. Self-Identity
Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga]
     Full Idea: Is there any reason to suppose that 'being identical with Socrates' names a property? Well, is there any reason to suppose that it does not? I cannot think of any, nor have I heard any that are at all impressive.
     From: Alvin Plantinga (World and Essence [1970], II)
     A reaction: Is there any reason to think that a planet somewhere is entirely under the control of white mice? Extraordinary. No wonder Plantinga believes in God and the Ontological Argument, as well as the existence of 'Socrateity' etc.
10. Modality / A. Necessity / 4. De re / De dicto modality
Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga]
     Full Idea: Some statements predicate modality of another statement (modality 'de dicto'); but others predicate of an object the necessary or essential possession of a property; these latter express modality 'de re'.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.26)
     A reaction: The distinction seems to originate in Aquinas, concerning whether God knows the future (or, how he knows the future). 'De dicto' is straightforward, but possibly the result of convention. 'De re' is controversial, and implies deep metaphysics.
'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga]
     Full Idea: Aquinas says if a 'de dicto' statement is true, the 'de re' version may be false. The opposite also applies: 'What I am thinking of [17] is essentially prime' is true, but 'The proposition "what I am thinking of is prime" is necessarily true' is false.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.27)
     A reaction: In his examples the first is 'de re' (about the number), and the second is 'de dicto' (about that proposition).
Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga]
     Full Idea: To explain the 'de re' via the 'de dicto' is to provide a rule enabling us to find, for each de re proposition, an equivalent de dicto proposition.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.41)
     A reaction: Many 'de dicto' paraphrases will change the modality of a 'de re' statement, so the challenge is to find the right equivalent version. Plantinga takes up this challenge. The 'de dicto' statement says the object has the property, and must have it.
'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga]
     Full Idea: The idea of modality 'de re' is no more (although no less) obscure that the idea of modality 'de dicto'; for I think we can see that any statement of the former type is logically equivalent to some statement of the latter.
     From: Alvin Plantinga (World and Essence [1970], Intro)
     A reaction: If two things are logically equivalent, that doesn't ensure that they are equally clear! Personally I am on the side of de re modality.
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga]
     Full Idea: We easily understand Kafka's story about the man who wakes up to discover that he now has the body of a beetle; and in fact the state of affairs depicted is entirely possible. I can imagine being an alligator, so Socrates could have had an alligator body.
     From: Alvin Plantinga (World and Essence [1970], III)
     A reaction: This really is going the whole hog with accepting whatever is conceivable as being possible. I take this to be shocking nonsense, and it greatly reduces Plantinga in my esteem, despite his displays of intelligence and erudition.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga]
     Full Idea: To say than x has a property in a possible world is simply to say that x would have had the property if that world had been actual.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I)
     A reaction: Plantinga tries to defuse all the problems with identity across possible worlds, by hanging on to subjunctive verbs and modal modifiers. The point, though, was to explain these, or at least to try to give their logical form.
Possible worlds clarify possibility, propositions, properties, sets, counterfacts, time, determinism etc. [Plantinga]
     Full Idea: The idea of possible worlds has delivered insights on logical possibility (de dicto and de re), propositions, properties and sets, counterfactuals, time and temporal relations, causal determinism, the ontological argument, and the problem of evil.
     From: Alvin Plantinga (Actualism and Possible Worlds [1976], Intro)
     A reaction: This date (1976) seems to be the high-water mark for enthusiasm about possible worlds. I suppose if we just stick to 'insights' rather than 'answers' then the big claim might still be acceptable. Which problems are created by possible worlds?
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.
Plantinga's actualism is nominal, because he fills actuality with possibilia [Stalnaker on Plantinga]
     Full Idea: Plantinga's critics worry that the metaphysics is actualist in name only, since it is achieved only by populating the actual world with entities whose nature is explained in terms of merely possible things that would exemplify them if anything did.
     From: comment on Alvin Plantinga (Actualism and Possible Worlds [1976]) by Robert C. Stalnaker - Mere Possibilities 4.4
     A reaction: Plantinga seems a long way from the usual motivation for actualism, which is probably sceptical empiricism, and building a system on what is smack in front of you. Possibilities have to be true, though. That's why you need dispositions in actuality.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
A possible world is a maximal possible state of affairs [Plantinga]
     Full Idea: A possible world is just a maximal possible state of affairs.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I)
     A reaction: The key point here is that Plantinga includes the word 'possible' in his definition. Possibility defines the worlds, and so worlds cannot be used on their own to define possibility.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
What Socrates could have been, and could have become, are different? [Plantinga]
     Full Idea: Is there a difference between what Socrates could have been, and what he could have become?
     From: Alvin Plantinga (De Re and De Dicto [1969], p.44)
     A reaction: That is, I take it, 1) how different might he have been in the past, given how he is now?, and 2) how different might he have been in the past, and now, if he had permanently diverged from how he is now? 1) has tight constraints on it.
If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga]
     Full Idea: If the Socrates of the actual world has snubnosedness but Socrates-in-W does not, this is surely inconsistent with the Indiscernibility of Identicals, a principle than which none sounder can be conceived.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I)
     A reaction: However, we allow Socrates to differ over time while remaining the same Socrates, so some similar approach should apply here. In both cases we need some notion of what is essential to Socrates. But what unites aged 3 with aged 70?
It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga]
     Full Idea: We may say it makes no sense to say that Socrates exists at a world, if there is in principle no way of identifying him. ...But this is confused. To suppose Agnew was a precocious baby, we needn't be able to pick him from a gallery of babies.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I)
     A reaction: This seems a good point, and yet we have a space-time line joining adult Agnew with baby Agnew, and no such causal link is available between persons in different possible worlds. What would be the criterion in each case?
If individuals can only exist in one world, then they can never lack any of their properties [Plantinga]
     Full Idea: The Theory of Worldbound Individuals contends that no object exists in more than one possible world; this implies the outrageous view that - taking properties in the broadest sense - no object could have lacked any property that it in fact has.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II)
     A reaction: Leibniz is the best known exponent of this 'outrageous view', though Plantinga shows that Lewis may be seen in the same light, since only counterparts are found in possible worlds, not the real thing. The Theory does seem wrong.
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.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga]
     Full Idea: While Socrates has no counterparts that lack self-identity, he does have counterparts that lack identity-with-Socrates. He alone has that - the property, that is, of being identical with the object that in fact instantiates Socrateity.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II)
     A reaction: I am never persuaded by arguments which rest on such dubious pseudo-properties. Whether or not a counterpart of Socrates has any sort of identity with Socrates cannot be prejudged, as it would beg the question.
Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga]
     Full Idea: It makes no sense to say I could have been someone else, yet Counterpart Theory implies not merely that I could have been distinct from myself, but that I would have been distinct from myself had things gone differently in even the most miniscule detail.
     From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II)
     A reaction: A counterpart doesn't appear to be 'me being distinct from myself'. We have to combine counterparts over possible worlds with perdurance over time. I am a 'worm' of time-slices. Anything not in that worm is not strictly me.
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
The physical given, unlike the mental given, could be non-existing [Husserl]
     Full Idea: Anything physical which is given in person can be non-existing, no mental process which is given in person can be non-existing.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.046), quoted by Victor Velarde-Mayol - On Husserl 3.3.5
     A reaction: This endorsement of Descartes shows how strong the influence of the Cogito remained in later continental philosophy. Phenomenology is a footnote to Descartes.
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
Husserl says we have intellectual intuitions (of categories), as well as of the senses [Husserl, by Velarde-Mayol]
     Full Idea: The novelty of Husserl is to describe that we have intellectual intuitions, intuitions of categories as we have intuitions of sense objects.
     From: report of Edmund Husserl (Logical Investigations [1900], II.VI.24) by Victor Velarde-Mayol - On Husserl 2.4.4
     A reaction: This is 'intuitions' in Kant's sense, of something like direct apprehensions. This idea is an axiom of phenomenology, because all mental life must be bracketed, and not just the sense experience part.
Feelings of self-evidence (and necessity) are just the inventions of theory [Husserl]
     Full Idea: So-called feelings of self-evidence, of intellectual necessity, and however they may otherwise be called, are just theoretically invented feelings.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.021)
     A reaction: This seems to be a dismissal of the a priori necessary on the grounds that it is 'theory-laden' - which is why it has to be bracketed in order to do phenomenology.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Direct 'seeing' by consciousness is the ultimate rational legitimation [Husserl]
     Full Idea: Immediate 'seeing', not merely sensuous, experiential seeing, but seeing in the universal sense as an originally presenting consciousness of any kind whatsoever, is the ultimate legitimising source of all rational assertions.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.019), quoted by Victor Velarde-Mayol - On Husserl 3.3.5
     A reaction: Husserl is (I gather from this) a classic rationalist. Just like Descartes' judgement of the molten wax.
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
The phenomena of memory are given in the present, but as being past [Husserl, by Bernet]
     Full Idea: In Husserl's phenomenology, the intentional object of a memory is the object of a past experience, which is intuitively given to me in the present, not, however, as being present but as being past.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.203
     A reaction: I certainly don't have to assess my mental events, and judge which are past, which are now, and which are future imaginings. I suppose Fodor would say they are memories because we find them in the memory-box. How else could it work?
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Maybe a reliable justification must come from a process working with its 'proper function' [Plantinga, by Pollock/Cruz]
     Full Idea: A modified version of reliabilism proposes that a belief is justified in case it is the product of a process that is working according to its 'proper function' in the environment for which it is appropriate.
     From: report of Alvin Plantinga (Warrant and Proper Function [1993]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §1.5.4
     A reaction: Something might infallibly indicate something without that being its proper function (e.g. 'Red sky at night/ Shepherds' delight'). An inaccurate clock is fulfilling its proper function (telling the time), but not very well.
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
     Full Idea: Anaxarchus said that he was not even sure that he knew nothing.
     From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Natural science has become great by just ignoring ancient scepticism [Husserl]
     Full Idea: Natural science has grown to greatness by pushing ruthlessly aside the rank growth of ancient skepticism and renouncing the attempt to conquer it.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.026)
     A reaction: This may be because scepticism is boring, or it may be because science 'brackets' scepticism, leaving philosophers to worry about it.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
We know another's mind via bodily expression, while also knowing it is inaccessible [Husserl, by Bernet]
     Full Idea: Another person's consciousness is given to me through the expressive stratum of her body, which gives me access to her experience while making me realise that it is inaccessible to me. Empathy is a presentation of what is absent.
     From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.203
     A reaction: This is the phenomenological approach to the problem of other minds, by examining the raw experience of encountering another person. It is true that we seem to both know and not know another person's mind when we encounter them.
Husserl's monads (egos) communicate, through acts of empathy. [Husserl, by Velarde-Mayol]
     Full Idea: For Husserl monads have windows because they communicate with each other. The windows of the monads are the acts of empathy.
     From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.7.5
     A reaction: Leibniz said his monads (which include minds) have 'no windows'. The mere existence of empathy (or mirror neurons, as we would say) is hardly sufficient to defeat solipsism.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
Pure consciousness is a sealed off system of actual Being [Husserl]
     Full Idea: Consciousness, considered in its 'purity', must be reckoned as a self-contained system of Being, a system of actual Being, into which nothing can penetrate, and from which nothing can escape.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.3.049)
     A reaction: Recorded without comment, to show that among phenomenologists there is a way of thinking about consciousness which is a long way from analytic discussions of the topic.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Husserl identifies a positive mental act of unification, and a negative mental act for differences [Husserl, by Frege]
     Full Idea: Husserl identifies a 'unitary mental act' where several contents are connected or related to one another, and also a difference-relation where two contents are related to one another by a negative judgement.
     From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.73-74) by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic' p.322
     A reaction: Frege is setting this up ready for a fairly vicious attack. Where Hume has a faculty for spotting resemblances, it is not implausible that we should also be hard-wired to spot differences. 'You look different; have you changed your hair style?'
16. Persons / B. Nature of the Self / 4. Presupposition of Self
The psychological ego is worldly, and the pure ego follows transcendental reduction [Husserl, by Velarde-Mayol]
     Full Idea: Husserl distinguishes two sorts of egos or subjects of experience, the psychological ego and the pure ego. The psychological ego is a reality of the world, and the pure ego is a result of transcendental reduction.
     From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.6.1
     A reaction: The sounds like embracing both the Cartesian and the Kantian egos. This is obviously the source of Sartre's interesting early book on the self. 'Transcendental reduction' is his bracketing or epoché.
16. Persons / C. Self-Awareness / 2. Knowing the Self
We never meet the Ego, as part of experience, or as left over from experience [Husserl]
     Full Idea: We never stumble across the pure Ego as an experience within the flux of manifold experiences which survives as transcendental residuum; nor do we meet it as a constitutive bit of experience appearing with the experience of which it is an integral part.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.4.057)
     A reaction: It seems that he agrees with David Hume. Sartre's 'Transcendence of the Ego' follows up this idea. However, Husserl goes on to assert the 'necessity' of the permanent Ego, which sounds like Kant's view.
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
We clarify concepts (e.g. numbers) by determining their psychological origin [Husserl, by Velarde-Mayol]
     Full Idea: Husserl said that the clarification of any concept is made by determining its psychological origin. He is concerned with the psychological origins of the operation of calculating cardinal numbers.
     From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Victor Velarde-Mayol - On Husserl 2.2
     A reaction: This may not be the same as the 'psychologism' that Frege so despised, because Husserl is offering a clarification, rather than the intrinsic nature of number concepts. It is not a theory of the origin of numbers.
18. Thought / E. Abstraction / 1. Abstract Thought
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.
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?
18. Thought / E. Abstraction / 8. Abstractionism Critique
Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl]
     Full Idea: Husserl substitutes his account of the process of concept-formation for a delineation of the concept. It is above all in making this substitution that psychologism is objectionable (and Frege opposed it so vehemently).
     From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.2
     A reaction: While this is a powerful point which is a modern orthodoxy, it hardly excludes a study of concept-formation from being of great interest for other reasons. It may not appeal to logicians, but it is crucial part of the metaphysics of nature.
Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl]
     Full Idea: Husserl saw that abstracted units, though featureless, must in some way retain their distinctness, some shadowy remnant of their objects. So he wanted to correlate like-numbered sets, not just register their identity, but then abstractionism fails.
     From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.12
     A reaction: Abstractionism is held to be between the devil and the deep blue sea, of depending on units which are identifiable, when they are defined as devoid of all individuality. We seem forced to say that the only distinction between them is countability.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
Plantinga has domains of sets of essences, variables denoting essences, and predicates as functions [Plantinga, by Stalnaker]
     Full Idea: The domains in Plantinga's interpretation of Kripke's semantics are sets of essences, and the values of variables are essences. The values of predicates have to be functions from possible worlds to essences.
     From: report of Alvin Plantinga (Actualism and Possible Worlds [1976]) by Robert C. Stalnaker - Mere Possibilities 4.4
     A reaction: I begin to think this is quite nice, as long as one doesn't take the commitment to the essences too seriously. For 'essence' read 'minimal identity'? But I take essences to be more than minimal, so use identities (which Kripke does?).
Plantinga's essences have their own properties - so will have essences, giving a hierarchy [Stalnaker on Plantinga]
     Full Idea: For Plantinga, essences are entities in their own right and will have properties different from what instantiates them. Hence he will need individual essences of individual essences, distinct from the essences. I see no way to avoid a hierarchy of them.
     From: comment on Alvin Plantinga (Actualism and Possible Worlds [1976]) by Robert C. Stalnaker - Mere Possibilities 4.4
     A reaction: This sounds devastating for Plantinga, but it is a challenge for traditional Aristotelians. Only a logician suffers from a hierarchy, but a scientist might have to live with an essence, which contains a super-essence.
19. Language / D. Propositions / 1. Propositions
Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga]
     Full Idea: Are there two sorts of thing, propositions and states of affairs, or only one? I am inclined to the former view on the ground that propositions have a property, truth or falsehood, not had by states of affairs.
     From: Alvin Plantinga (Actualism and Possible Worlds [1976], 1)
     A reaction: Might a proposition be nothing more than an assertion that a state of affairs obtains? It would then pass his test. The idea that a proposition is a complex of facts in the external world ('Russellian' propositions?) quite baffles me.
19. Language / D. Propositions / 3. Concrete Propositions
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.
19. Language / D. Propositions / 4. Mental Propositions
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.
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
Only facts follow from facts [Husserl]
     Full Idea: From facts follow always nothing but facts.
     From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.008)
     A reaction: I presume objective possibilities follow from facts, so this doesn't sound strictly correct. I sounds like a nice slogan for those desiring to keep facts separate from values. [on p.53 he comments on fact/value]
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.
29. Religion / D. Religious Issues / 3. Problem of Evil / b. Human Evil
Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG]
     Full Idea: Moral evil may be acceptable to a benevolent God because it is the only way to allow genuine free will, which may have a supreme value in creation (even if we are unsure what it is).
     From: report of Alvin Plantinga (Free Will Defence [1965], Pref.) by PG - Db (ideas)
29. Religion / D. Religious Issues / 3. Problem of Evil / d. Natural Evil
It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG]
     Full Idea: Physical evil (e.g. earthquakes) may be attributable to a fallen angel (Satan), who is the enemy of God, and this is enough to retain the idea that God is omnipotent and benevolent, and yet evil exists.
     From: report of Alvin Plantinga (Free Will Defence [1965], III) by PG - Db (ideas)