Combining Philosophers

All the ideas for Adolph Rami, Catherine Z. Elgin and Thomas Mautner

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


54 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Linguistic philosophy approaches problems by attending to actual linguistic usage [Mautner]
     Full Idea: Linguistic philosophy gives careful attention to actual linguistic usage as a method of dealing with problems of philosophy, resulting in either their solution or dissolution.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.318)
     A reaction: This approach is now deeply discredited and unfashionable, and, I think (on the whole), rightly so. Philosophy should aim a little higher in (say) epistemology than merely describing how people use words like 'know' and 'believe' and 'justify'.
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytic philosophy studies the unimportant, and sharpens tools instead of using them [Mautner]
     Full Idea: Critics of analytic philosophers accuse them of excessive attention to relatively unimportant matters, and of being more interested in sharpening tools than in using them.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.111)
     A reaction: The last part is a nice comment. Both criticisms seem to me to contain some justice, but recently things have improved (notably in the new attention paid by analytical philosophy to metaphysics). In morality analytic philosophy seems superior.
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
The 'hermeneutic circle' says parts and wholes are interdependent, and so cannot be interpreted [Mautner]
     Full Idea: The 'hermeneutic circle' consists in the fact that an interpretation of part of a text requires a prior understanding of the whole, and the interpretation of the whole requires a prior understanding of its parts.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.247)
     A reaction: This strikes me as a benign circle, solved the way Aristotle solves the good man/good action circle. You make a start somewhere, like a child learning to speak, and work your way into the circle. Not really a problem.
2. Reason / A. Nature of Reason / 6. Coherence
How can multiple statements, none of which is tenable, conjoin to yield a tenable conclusion? [Elgin]
     Full Idea: How can multiple statements, none of which is tenable, conjoin to yield a tenable conclusion? How can their relation to other less than tenable enhance their tenability?
     From: Catherine Z. Elgin (Non-foundationalist epistemology [2005], p.157)
     A reaction: Her example is witnesses to a crime. Bayes Theorem appears to deal with individual items. "The thief had green hair" becomes more likely with multiple testimony. This is a very persuasive first step towards justification as coherence.
Statements that are consistent, cotenable and supportive are roughly true [Elgin]
     Full Idea: The best explanation of coherence (where the components of a coherent account must be mutually consistent, cotenable and supportive) is that the account is at least roughly true.
     From: Catherine Z. Elgin (Non-foundationalist epistemology [2005], p.158)
     A reaction: Note that she is NOT employing a coherence account of truth (which I take to be utterly wrong). It is notoriously difficult to define coherence. If the components must be 'tenable', they have epistemic status apart from their role in coherence.
2. Reason / D. Definition / 4. Real Definition
'Real' definitions give the essential properties of things under a concept [Mautner]
     Full Idea: A 'real definition' (as opposed to a linguistic one) is a statement which gives the essential properties of the things to which a given concept applies.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: This is often seen as old-fashioned, Aristotelian, and impossible to achieve, but I like it and aspire to it. One can hardly be precise about which properties are 'essential' to something, but there are clear cases. Your 'gold' had better not be brass.
2. Reason / D. Definition / 7. Contextual Definition
'Contextual definitions' replace whole statements, not just expressions [Mautner]
     Full Idea: Usually in a definition the definiens (definition) can replace the definiendum (expression defined), but in a 'contextual definition' only the whole statement containing the definiens can replace the whole statement containing the definiendum.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These definitions are crucial to Frege's enterprise in the 'Grundlagen'. Logicians always want to achieve definition with a single neat operation, but in ordinary language we talk around a definition, giving a variety of possibilities (as in teaching).
2. Reason / D. Definition / 9. Recursive Definition
Recursive definition defines each instance from a previous instance [Mautner]
     Full Idea: An example of a recursive definition is 'y is an ancestor of x' is defined as 'y is a parent of x, or y is a parent of an ancestor of x'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: From this example I guess that 'ancestor' means 'friend'. Or have I misunderstood? I think we need to define 'grand-parent' as well, and then offer the definition of 'ancestor' with the words 'and so on...'. Essentially, it is mathematical induction.
2. Reason / D. Definition / 10. Stipulative Definition
A stipulative definition lays down that an expression is to have a certain meaning [Mautner]
     Full Idea: A stipulative definition lays down that a given linguistic expression is to have a certain meaning; this is why they cannot be said to be correct or incorrect.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These are uncontroversial when they are explicitly made in writing by a single person. The tricky case is where they are implicitly made in conversation by a community. After a century or two these look like facts, their origin having been lost.
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions point to an object which an expression denotes [Mautner]
     Full Idea: Ostensive definitions explain what an expression means by pointing to an object, action, event, etc. denoted by the expression.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These will need some context. If I define 'red' simply by pointing to a red square, you might conclude that 'red' means square. If I point to five varied red objects, you have to do the work of spotting the common ingredient. I can't mention 'colour'.
2. Reason / F. Fallacies / 5. Fallacy of Composition
The fallacy of composition is the assumption that what is true of the parts is true of the whole [Mautner]
     Full Idea: The fallacy of composition is an inference relying on the invalid principle that whatever is true of every part is also true of the whole; thus, we cannot assume that because the members of a committee are rational, that the committee as a whole is.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.102)
     A reaction: This is a very common and very significant fallacy, which is perpetrated by major philosophers like Aristotle (Idea 31), unlike most of the other informal fallacies.
3. Truth / B. Truthmakers / 1. For Truthmakers
There are five problems which the truth-maker theory might solve [Rami]
     Full Idea: It is claimed that truth-makers explain universals, or ontological commitment, or commitment to realism, or to the correspondence theory of truth, or to falsify behaviourism or phenomenalism.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04)
     A reaction: [compressed] This expands the view that truth-making is based on its explanatory power, rather than on its intuitive correctness. I take the theory to presuppose realism. I don't believe in universals. It marginalises correspondence. Commitment is good!
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
     Full Idea: The two strategies for justifying the truth-maker principle are that it has an explanatory role (for certain philosophical problems and theses), or that it captures the best philosophical intuition of the situation.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04)
     A reaction: I would go for 'intuitive', but not in the sense of a pure intuition, but with 'intuitive' as a shorthand for overall coherence. To me the appeal of truth-maker is its place in a naturalistic view of reality. I love explanation, but not here.
3. Truth / B. Truthmakers / 2. Truthmaker Relation
The truth-making relation can be one-to-one, or many-to-many [Rami]
     Full Idea: The truth-making relation can be one-to-one, or many-many. In the latter case, different truths may have the same truth-maker, and one truth may have different truth-makers.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: 'There is at least one cat' obviously has many possible truth-makers. Many statements will be made true by the mere existence of a particular cat (such as 'there is an animal in the room' and 'there is a cat in the room'). Many-many wins?
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
     Full Idea: The main full-blooded truth-maker principle is that x is true iff there is a y that is its truth-maker. This implies the principles that if x is true x has a truth-maker, and the principle that if x has a truth-maker then x is true.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 03)
     A reaction: [compressed] Rami calls the second principle 'maximalism' and the third principle 'purism'. To reject maximalism is to hold a more restricted version of truth-makers. That is, the claim is that lots of truths have truth-makers.
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Most theorists say that truth-makers necessitate their truths [Rami]
     Full Idea: Most truth-maker theorists regard the necessitation of a truth by a truth-maker as a necessary condition of truth-making.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 07)
     A reaction: It seems to me that reality is crammed full of potential truth-makers, but not crammed full of truths. If there is no thinking in the universe, then there are no truths. If that is false, then what sort of weird beast is a 'truth'?
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami]
     Full Idea: Truthmaker anti-monism holds the view that there are truth-makers of different kinds. For example, objects, facts, tropes or events can all be regarded as truthmakers. Objects seem right for existential truths but not others, so anti-monism seems best.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: Presumably we need to identify the different types of truth (analytic, synthetic, general, particular...), and only then ask what truth-makers there are for the different types. To presuppose one type of truthmaker would be crazy.
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami]
     Full Idea: As truth-makers, some theorists only accept states of affairs, some only accept individuals and states of affairs, and some only accept individuals and particular properties.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 06)
     A reaction: It seems to me rash to opt for one of these. Truths come in wide-ranging and subtly different types, and the truth-makers probably have a similar range. Any one of these theories will almost certainly quickly succumb to a counterexample.
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
     Full Idea: The thesis that 'truth supervenes on being' (with or without possible worlds) offers only a necessary condition for the truth of contingent propositions, whereas the standard truth-maker theory offers necessary and sufficient conditions.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09)
     A reaction: The point, I suppose, is that the change in being might be irrelevant to the proposition in question, so any old change in being will not ensure a change in the truth of the proposition. Again we ask - but what is this truth about?
'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
     Full Idea: The important advantage of 'truth supervenes on being' is that it can be applied to positive and negative contingent truths, without postulating any entities that are responsible for the truth of negative truths.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09)
     A reaction: [For this reason, Lewis favours a possible worlds version of the theory] I fear that it solves that problem by making the truth-maker theory so broad-brush that it not longer says very much, apart from committing it to naturalism.
3. Truth / B. Truthmakers / 7. Making Modal Truths
Maybe a truth-maker also works for the entailments of the given truth [Rami]
     Full Idea: The 'entailment principle' for truth-makers says that if x is a truth-maker for y, and y entails z, then x is a truth-maker for z.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 08)
     A reaction: I think the correct locution is that 'x is a potential truth-maker for z' (should anyone every formulate z, which in most cases they never will, since the entailments of y are probably infinite). Merricks would ask 'but are y and z about the same thing?'.
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
     Full Idea: Most truth-maker theorists are internalists about the truth-maker relation. ...But the correspondence theory makes truth an external relation to some portion of reality. So a truth-maker internalist should not claim to be a narrow correspondence theorist.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: [wording rearranged] Like many of Rami's distinctions in this article, this feels simplistic. Sharp distinctions can only be made using sharp vocabulary, and there isn't much of that around in philosophy!
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theories assume that truth is a representation relation [Rami]
     Full Idea: One guiding intuition concerning a correspondence theory of truth says that the relation that accounts for the truth of a truth-bearer is some kind of representation relation.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: I unfashionably cling on to some sort of correspondence theory. The paradigm case is of a non-linguistic animal which forms correct or incorrect views about its environment. Truth is a relation, not a property. I see the truth in a bad representation.
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationist truth is an infinitely disjunctive property [Rami]
     Full Idea: According to the moderate deflationist truth is an infinitely disjunctive property.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 10)
     A reaction: [He cites Horwich 1998] That is, I presume, that truth is embodied in an infinity of propositions of the form '"p" is true iff p'.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
     Full Idea: There are good reasons for the truth-maker theorist to reject the converse Barcan formula.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], note 16)
     A reaction: In the text (p.15) Rami cites the inference from 'necessarily everything exists' to 'everything exists necessarily'. [See Williamson 1999]
4. Formal Logic / E. Nonclassical Logics / 4. Fuzzy Logic
Fuzzy logic is based on the notion that there can be membership of a set to some degree [Mautner]
     Full Idea: Fuzzy logic is based upon fuzzy set-theory, in which the simple notion of membership of a set is replaced by a notion of membership to some degree.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.214)
     A reaction: The idea that something could be to some degree a 'heap of sand' sounds plausible, but Williamson and Sorensen claim that the vagueness is all in us (i.e. it is epistemological), and not in the world. This will scupper fuzzy logic.
5. Theory of Logic / B. Logical Consequence / 6. Entailment
Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner]
     Full Idea: Entailment is the modern word saying that p logically follows from q. Its simplest definition is that you cannot have both p and not-q, but this has the problem that if p is impossible it will entail every possible proposition, which seems unacceptable.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.169)
     A reaction: The word 'entail' was introduced by G.E. Moore in 1920, in preference to 'imply'. It seems clear that we need terms for (say) active implication (q must be true if p is true) and passive implication (p must be false if q is false).
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
Strict implication says false propositions imply everything, and everything implies true propositions [Mautner]
     Full Idea: Strict implication [not(p and not-q)] carries the paradoxes that a false proposition (p) implies any proposition (q), and a true proposition (q) is materially implied by any proposition (p).
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270)
     A reaction: This seems to show that we have two drastically different notions of implication; one (the logician's) is boring and is defined by a truth table; the other (the ordinary interesting one) says if you have one truth you can deduce a second.
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner]
     Full Idea: 'Material implication' is a term introduced by Russell which is defined as 'the conjunction of p and not-q is false', but carries a strong implication that p implies q, and so there must be some kind of connection between them, which is misleading.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270)
     A reaction: Mautner says statements of the form 'if p then q' are better called 'conditionals' than 'material implications'. Clearly there is a need for more precise terminology here, as the underlying concepts seem simple enough.
A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner]
     Full Idea: 'Implying' is different from 'inferring', because a person who infers draws the conclusion, but a person who implies leaves it to the audience to draw the conclusion.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.279)
     A reaction: I had always taken it just that the speaker does the implying and the audience does the inferring. Of course a speaker may not know what he or she is implying, but an audience must be aware of what it is inferring.
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner]
     Full Idea: Vagueness is of great philosophical interest because it seems to be inconsistent with the view that every proposition is true or false.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.585)
     A reaction: This would explain why Williamson and Sorensen are keen to argue that vagueness is an epistemological (rather than ontological) problem. In ordinary English we are happy to say that p is 'sort of true' or 'fairly true'.
5. Theory of Logic / G. Quantification / 1. Quantification
Quantifiers turn an open sentence into one to which a truth-value can be assigned [Mautner]
     Full Idea: In formal logic, quantifiers are operators that turn an open sentence into a sentence to which a truth-value can be assigned.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.464)
     A reaction: The standard quantifiers are 'all' and 'at least one'. The controversy is whether quantifiers actually assert existence, or whether (as McGinn says) they merely specify the subject matter of the sentence. I prefer the latter.
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
     Full Idea: An internal relation is 'existential' if x and y relate in that way whenever they both exist. An internal relation is 'qualitative' if x and y relate in that way whenever they have certain intrinsic properties.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: [compressed - Rami likes to write these things in fashionable quasi-algebra, but I have a strong prejudice in this database for expressing ideas in English; call me old-fashioned] The distinction strikes me as simplistic. I would involve dispositions.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The extremes of essentialism are that all properties are essential, or only very trivial ones [Rami]
     Full Idea: It would be natural to label one extreme view 'maximal essentialism' - that all of an object's properties are essential - and the other extreme 'minimal' - that only trivial properties such as self-identity of being either F or not-F are essential.
     From: Adolph Rami (Essential vs Accidental Properties [2008])
     A reaction: Personally I don't accept the trivial ones as being in any way describable as 'properties'. The maximal view destroys any useful notion of essence. Leibniz is a minority holder of the maximal view. I would defend a middle way.
9. Objects / D. Essence of Objects / 3. Individual Essences
An 'individual essence' is possessed uniquely by a particular object [Rami]
     Full Idea: An 'individual essence' is a property that in addition to being essential is also unique to the object, in the sense that it is not possible that something distinct from that object possesses that property.
     From: Adolph Rami (Essential vs Accidental Properties [2008], §5)
     A reaction: She cites a 'haecceity' (or mere bare identity) as a trivial example of an individual essence.
9. Objects / D. Essence of Objects / 5. Essence as Kind
'Sortal essentialism' says being a particular kind is what is essential [Rami]
     Full Idea: According to 'sortal essentialism', an object could not have been of a radically different kind than it in fact is.
     From: Adolph Rami (Essential vs Accidental Properties [2008], §4)
     A reaction: This strikes me as thoroughly wrong. Things belong in kinds because of their properties. Could you remove all the contingent features of a tiger, leaving it as merely 'a tiger', despite being totally unrecognisable?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Unlosable properties are not the same as essential properties [Rami]
     Full Idea: It is easy to confuse the notion of an essential property that a thing could not lack, with a property it could not lose. My having spent Christmas 2007 in Tennessee is a non-essential property I could not lose.
     From: Adolph Rami (Essential vs Accidental Properties [2008], §1)
     A reaction: The idea that having spent Christmas in Tennessee is a property I find quite bewildering. Is my not having spent my Christmas in Tennessee one of my properties? I suspect that real unlosable properties are essential ones.
10. Modality / A. Necessity / 3. Types of Necessity
Physical possibility is part of metaphysical possibility which is part of logical possibility [Rami]
     Full Idea: The usual view is that 'physical possibilities' are a natural subset of the 'metaphysical possibilities', which in turn are a subset of the 'logical possibilities'.
     From: Adolph Rami (Essential vs Accidental Properties [2008], §1)
     A reaction: [She cites Fine 2002 for an opposing view] I prefer 'natural' to 'physical', leaving it open where the borders of the natural lie. I take 'metaphysical' possibility to be 'in all naturally possible worlds'. So is a round square a logical possibility?
10. Modality / B. Possibility / 2. Epistemic possibility
If it is possible 'for all I know' then it is 'epistemically possible' [Rami]
     Full Idea: There is 'epistemic possibility' when it is 'for all I know'. That is, P is epistemically possible for agent A just in case P is consistent with what A knows.
     From: Adolph Rami (Essential vs Accidental Properties [2008], §1)
     A reaction: Two problems: maybe 'we' know, and A knows we know, but A doesn't know. And maybe someone knows, but we are not sure about that, which seems to introduce a modal element into the knowing. If someone knows it's impossible, it's impossible.
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactuals presuppose a belief (or a fact) that the condition is false [Mautner]
     Full Idea: A conditional is called counterfactual because its use seems to presuppose that the user believes its antecedent to be false. Some insist that the antecedent must actually be false.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: I am inclined to favour the stricter second version. "If I am on Earth then I have weight" hardly sounds counterfactual. However, in "If there is a God then I will be saved" it is not clear whether it is counterfactual, so it had better be included.
Counterfactuals are not true, they are merely valid [Mautner]
     Full Idea: One view of counterfactuals says they are not true, but are merely valid.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: This makes counterfactuals a branch of logic rather than of metaphysics. I find the metaphysical view more exciting as they are part of speculation and are beyond the capacity of computers (which I suspect they are).
Counterfactuals are true if in every world close to actual where p is the case, q is also the case [Mautner]
     Full Idea: Another view of counterfactuals (Lewis, Pollock, Stalnaker) is that they are true if at every possible world at which it is the case that p, and which is otherwise as similar as possible to the actual world, it is also the case that q.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: This seems a good way if putting if, like Lewis, you actually believe in the reality of possible worlds, because then you are saying a counterfactual is made true by a set of facts. Otherwise it is not clear what the truth-maker is here.
Counterfactuals say 'If it had been, or were, p, then it would be q' [Mautner]
     Full Idea: A counterfactual conditional (or 'counterfactual') is a proposition or sentence of the form 'If it had been the case that p, then it would have been the case that q', or 'If it were the case that p, then it would be the case that q'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: The first statement refers to the past, but the second (a subjunctive) refers to any situation at any time. We know more about inferences that we could have made in the past than we do about what is inferable at absolutely any time.
Maybe counterfactuals are only true if they contain valid inference from premisses [Mautner]
     Full Idea: One view of counterfactuals (Chisholm, Goodman, Rescher) is that they are only true if there is a valid logical inference from p and some other propositions of certain kinds (controversial) to q.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.115)
     A reaction: The aspiration that counterfactual claims should reduce to pure logic sounds a bit hopeful to me. Logic is precise, but assertions about how things would be is speculative and imaginative.
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Essentialism is often identified with belief in 'de re' necessary truths [Mautner]
     Full Idea: Many writers identify essentialism with the belief in 'de re' necessary truths
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.179)
     A reaction: I like essentialism, but I cautious about this. If I accept that I have an essential personal identity as I write this, but that it could change over time, the same principle might apply to other natural essences.
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
Fallibilism is the view that all knowledge-claims are provisional [Mautner]
     Full Idea: Fallibilism is the view, proposed by Peirce, and found in Reichenbach, Popper, Quine etc that all knowledge-claims are provisional and in principle revisable, or that the possibility of error is ever-present.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.194)
     A reaction: I think of this as footnote to all thought which reads "Note 1: but you never quite know". Personally I would call myself a fallibilist, and am surprise at anyone who doesn't. The point is that this does not negate 'knowledge'. I am fairly sure 2+3=5.
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
'Sense-data' arrived in 1910, but it denotes ideas in Locke, Berkeley and Hume [Mautner]
     Full Idea: The term 'sense-data' gained currency around 1910, through writings of Moore and Russell, but it seems to denote at least some of the things referred to as 'ideas of sense' (Locke), or 'ideas' and 'sensible qualities' (Berkeley), or 'impressions' (Hume).
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.518)
     A reaction: See also Hobbes in Idea 2356 for an even earlier version. It looks as if the concept of sense-data is almost unavoidable for empiricists, and yet most modern empiricists have rejected them. You still have to give an account of perceptual illusions.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Coherence is a justification if truth is its best explanation (not skill in creating fiction) [Elgin]
     Full Idea: The best explanation of the coherence of 'Middlemarch' lies in the novelist's craft. Coherence conduces to epistemic acceptability only when the best explanation of the coherence of a constellation of claims is that they are (at least roughly) true.
     From: Catherine Z. Elgin (Non-foundationalist epistemology [2005], p.160)
     A reaction: Yes. This combines my favourite inference to the best explanation (the favourite tool of us realists) with coherence as justification, where coherence can, crucially, have a social dimension. I begin to think this is the correct account of justification.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Observing lots of green x can confirm 'all x are green' or 'all x are grue', where 'grue' is arbitrary [Mautner, by PG]
     Full Idea: Observing green emeralds can confirm 'all emeralds are green' or 'all emeralds are grue', where 'grue' is an arbitrary predicate meaning 'green until t and then blue'. Thus predictions are arbitrary, depending on how the property is described.
     From: report of Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.225) by PG - Db (ideas)
     A reaction: This increasingly strikes me as the sort of sceptical nonsense that is concocted by philosophers who are enthralled to language instead of reality. It does draw attention to an expectation of stability in induction, both in language and in nature.
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
'All x are y' is equivalent to 'all non-y are non-x', so observing paper is white confirms 'ravens are black' [Mautner, by PG]
     Full Idea: If observing a white sheet of paper confirms that 'all non-black things are non-ravens', and that is logically equivalent to 'all ravens are black' (which it is), then the latter proposition is confirmed by irrelevant observations.
     From: report of Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.105) by PG - Db (ideas)
     A reaction: This seems to me more significant than the 'grue' paradox. If some observations can be totally irrelevant (except to God?), then some observations are much more relevant than others, so relevance is a crucial aspect of induction.
19. Language / C. Assigning Meanings / 9. Indexical Semantics
The references of indexicals ('there', 'now', 'I') depend on the circumstances of utterance [Mautner]
     Full Idea: Indexicals are expressions whose references depend on the circumstances of utterance, such as 'here', 'now', 'last month' 'I', 'you'. It was introduced by Peirce; Reichenbach called them 'token-reflexive', Russell 'ego-centric particulars'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.272)
     A reaction: Peirce's terminology seems best. They obviously create great problems for any theory of reference which is rather theoretical and linguistic, such as by the use of descriptions. You can't understand 'Look at that!' without practical awareness.
20. Action / C. Motives for Action / 5. Action Dilemmas / b. Double Effect
Double effect is the distinction between what is foreseen and what is intended [Mautner]
     Full Idea: The doctrine of double effect is that there is a moral distinction between what is foreseen by an agent as a likely result of an action, and what is intended.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.150)
     A reaction: Abortion for a pregnancy threatening the mother's life. What always intrigues me is the effects which you didn't foresee because you couldn't be bothered to think about them. How much obligation do you have to try to foresee events?
Double effect acts need goodness, unintended evil, good not caused by evil, and outweighing [Mautner]
     Full Idea: It is suggested the double effect act requires 1) the act is good, 2) the bad effect is not intended, and is avoided if possible, 3) the bad effect doesn't cause the good result, 4) the good must outweigh the bad side effect.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.151)
     A reaction: It is suggested that these won't work for permissibility of an action, but they might be appropriate for blameworthiness. Personally I am rather impressed by the four-part framework here, whatever nitpicking objections others may have found.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
'Essentialism' is opposed to existentialism, and claims there is a human nature [Mautner]
     Full Idea: In philosophical anthropology, the view that there is a human nature or essence is called 'essentialism'. It became current in 1946 as a contrast to Sartre's existentialist view.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.179)
     A reaction: Being a fan of Aristotle, I incline towards the older view, but you cannot get away from the fact that the human brain has similarities to a Universal Turing Machine, and diverse cultures produce very different individuals.