48 ideas
6887 | 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'. |
6881 | 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. |
5439 | 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. |
9959 | '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. |
9961 | '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). |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
Full Idea: On Zermelo's view, predicative definitions are not only indispensable to mathematics, but they are unobjectionable since they do not create the objects they define, but merely distinguish them from other objects. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Shaughan Lavine - Understanding the Infinite V.1 | |
A reaction: This seems to have an underlying platonism, that there are hitherto undefined 'objects' lying around awaiting the honour of being defined. Hm. |
9958 | 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. |
9960 | 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. |
9957 | 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'. |
6219 | 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. |
6888 | 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. |
17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
Full Idea: Starting from set theory as it is historically given ...we must, on the one hand, restrict these principles sufficiently to exclude as contradiction and, on the other, take them sufficiently wide to retain all that is valuable in this theory. | |
From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro) | |
A reaction: Maddy calls this the one-step-back-from-disaster rule of thumb. Zermelo explicitly mentions the 'Russell antinomy' that blocked Frege's approach to sets. |
17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
Full Idea: Set theory is that branch whose task is to investigate mathematically the fundamental notions 'number', 'order', and 'function', taking them in their pristine, simple form, and to develop thereby the logical foundations of all of arithmetic and analysis. | |
From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro) | |
A reaction: At this point Zermelo seems to be a logicist. Right from the start set theory was meant to be foundational to mathematics, and not just a study of the logic of collections. |
10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
Full Idea: Zermelo-Fraenkel axioms: Existence (at least one set); Extension (same elements, same set); Specification (a condition creates a new set); Pairing (two sets make a set); Unions; Powers (all subsets make a set); Infinity (set of successors); Choice | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
Full Idea: Zermelo proposed his listed of assumptions (including the controversial Axiom of Choice) in 1908, in order to secure his controversial proof of Cantor's claim that ' we can always bring any well-defined set into the form of a well-ordered set'. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1 | |
A reaction: This is interesting because it sometimes looks as if axiom systems are just a way of tidying things up. Presumably it is essential to get people to accept the axioms in their own right, the 'old-fashioned' approach that they be self-evident. |
17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
Full Idea: I intend to show how the entire theory created by Cantor and Dedekind can be reduced to a few definitions and seven principles, or axioms, which appear to be mutually independent. | |
From: Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908], Intro) | |
A reaction: The number of axioms crept up to nine or ten in subsequent years. The point of axioms is maximum reduction and independence from one another. He says nothing about self-evidence (though Boolos claimed a degree of that). |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
Full Idea: Zermelo's Pairing Axiom superseded (in 1930) his original 1908 Axiom of Elementary Sets. Like Union, its only justification seems to rest on 'limitations of size' and on the 'iterative conception'. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.3 | |
A reaction: Maddy says of this and Union, that they seem fairly obvious, but that their justification is of prime importance, if we are to understand what the axioms should be. |
13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
Full Idea: Zermelo used a weak form of the Axiom of Foundation to block Russell's paradox in 1906, but in 1908 felt that the form of his Separation Axiom was enough by itself, and left the earlier axiom off his published list. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.2 | |
A reaction: Foundation turns out to be fairly controversial. Barwise actually proposes Anti-Foundation as an axiom. Foundation seems to be the rock upon which the iterative view of sets is built. Foundation blocks infinite descending chains of sets, and circularity. |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
Full Idea: Zermelo assumes that not every predicate has an extension but rather that given a set we may separate out from it those of its members satisfying the predicate. This is called 'separation' (Aussonderung). | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by William D. Hart - The Evolution of Logic 3 |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
Full Idea: The most characteristic Zermelo axiom is Separation, guided by a new rule of thumb: 'one step back from disaster' - principles of set generation should be as strong as possible short of contradiction. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.4 | |
A reaction: Why is there an underlying assumption that we must have as many sets as possible? We are then tempted to abolish axioms like Foundation, so that we can have even more sets! |
6877 | 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). |
6880 | 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. |
6879 | '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. |
6878 | 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. |
6889 | 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'. |
6890 | 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. |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
Full Idea: In Zermelo's set theory, the Burali-Forti Paradox becomes a proof that there is no set of all ordinals (so 'is an ordinal' has no extension). | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by William D. Hart - The Evolution of Logic 3 |
18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
Full Idea: For Zermelo the successor of n is {n} (rather than Von Neumann's successor, which is n U {n}). | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Naturalism in Mathematics I.2 n8 | |
A reaction: I could ask some naive questions about the comparison of these two, but I am too shy about revealing my ignorance. |
13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
Full Idea: Zermelo was a reductionist, and believed that theorems purportedly about numbers (cardinal or ordinal) are really about sets, and since Von Neumann's definitions of ordinals and cardinals as sets, this has become common doctrine. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Penelope Maddy - Believing the Axioms I §1.8 | |
A reaction: Frege has a more sophisticated take on this approach. It may just be an updating of the Greek idea that arithmetic is about treating many things as a unit. A set bestows an identity on a group, and that is all that is needed. |
9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
Full Idea: In Zermelo's set-theoretic definition of number, 2 is a member of 3, but not a member of 4; in Von Neumann's definition every number is a member of every larger number. This means they have two different structures. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by James Robert Brown - Philosophy of Mathematics Ch. 4 | |
A reaction: This refers back to the dilemma highlighted by Benacerraf, which was supposed to be the motivation for structuralism. My intuition says that the best answer is that they are both wrong. In a pattern, the nodes aren't 'members' of one another. |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
Full Idea: Individuals and objects have a real essence, or constitution of nature, from which all their qualities flow: but this essence our faculties do not comprehend. They are therefore incapable of definition. | |
From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
A reaction: Aha - he's one of us! I prefer the phrase 'essential nature' of an object, which is understood, I think, by everyone. I especially like the last bit, directed at those who mistakenly think that Aristotle identified the essence with the definition. |
6886 | 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). |
6882 | 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. |
6885 | 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. |
6884 | 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. |
6883 | 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. |
5449 | 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. |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
Full Idea: Reid pointed out how easily conceivable mathematical and geometric impossibilities are. | |
From: report of Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], IV.III) by George Molnar - Powers 11.3 | |
A reaction: The defence would be that you have to really really conceive them, and the only way the impossible can be conceived is by blurring it at the crucial point, or by claiming to conceive more than you actually can |
6898 | 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. |
6452 | '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. |
4783 | 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. |
4782 | '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. |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
Full Idea: An individual is expressed by a proper name, or by a general word joined to distinguishing circumstances; if unknown, it may be pointed out to the senses; when beyond the reach of the senses it may be picked out by an imperfect but true description. | |
From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
A reaction: [compressed] If Putnam, Kripke and Donnellan had read this paragraph they could have save themselves a lot of work! I take reference to be the activity of speakers and writers, and these are the main tools of the trade. |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |
Full Idea: The meaning of a word (such as 'felony') is the thing conceived; and that meaning is the conception affixed to it by those who best understand the language. | |
From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
A reaction: He means legal experts. This is precisely that same as Putnam's account of the meaning of 'elm tree'. His discussion here of reference is the earliest I have encountered, and it is good common sense (for which Reid is famous). |
6899 | 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. |
6896 | 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? |
6897 | 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. |
5452 | '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. |