55 ideas
| 22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
| Full Idea: Frege's 1879 logic transformed philosophy because it greatly expanded logic's reach - what thought can achieve unaided - and hence compelled a re-examination of everything previously said about the grounds of thought when logic gives out. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 Intro | |
| A reaction: I loved the gloss on logic as 'what thought can achieve unaided'. I largely see logic in terms of what is mechanically computable. |
| 8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
| Full Idea: Frege disagree that logic should merely describe the laws of thought - how people actually did reason. Logic is essentially normative, not descriptive. We want the one logic which successfully tracks the truth. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Jennifer Fisher - On the Philosophy of Logic 1.III | |
| A reaction: This explains Frege's sustained attack on psychologism, and it also explains we he ended up as a platonist about logic - because he wanted its laws to be valid independently of human thinking. A step too far, perhaps. Brains are truth machines. |
| 4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
| Full Idea: A distinction of subject and predicate finds no place in my way of representing a judgement. | |
| From: Gottlob Frege (Begriffsschrift [1879], §03) | |
| A reaction: Perhaps this sentence could be taken as the beginning of modern analytical philosophy. The old view doesn't seem to me entirely redundant - merely replaced by a much more detailed analysis of what makes a 'subject' and what makes a 'predicate'. |
| 17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
| Full Idea: 'All A's are B's' meant for Frege that the concept A implies the concept B, or that to be A implies also to be B. Moreover this applies to arbitrary x which happens to be A. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michal Walicki - Introduction to Mathematical Logic History D.2 | |
| A reaction: This seems to hit the renate/cordate problem. If all creatures with hearts also have kidneys, does that mean that being enhearted logically implies being kidneyfied? If all chimps are hairy, is that a logical requirement? Is inclusion implication? |
| 7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
| Full Idea: Frege distinguished between asserting a proposition and expressing it, and he introduced the judgement stroke (a small vertical line, assertion) and the content stroke (a long horizontal line, expression) to represent them. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.3 | |
| A reaction: There are also strokes for conditional and denial. |
| 16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
| Full Idea: Since in view of the boundless multitude of laws that can be enunciated we cannot list them all, we cannot achieve completeness except by searching out those that, by their power, contain all of them. | |
| From: Gottlob Frege (Begriffsschrift [1879], §13) | |
| A reaction: He refers to these laws in the previous sentence as the 'core'. His talk of 'power' is music to my ears, since it implies a direction of explanation. Burge says the power is that of defining other concepts. |
| 7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
| Full Idea: By 1879 Frege had discovered an algorithm, a mechanical proof procedure, that embraces what is today standard 'second order logic'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Hilary Putnam - Reason, Truth and History Ch.5 | |
| A reaction: Note that Frege did more than introduce quantifiers, and the logic of predicates. |
| 7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
| Full Idea: Frege's regimentation is based on the view of the simplest sort of statement as having, not subject/predicate form (as in Aristotle), but function/argument form. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This looks like being a crucial move into the modern world, where one piece of information is taken in and dealt with, as in computer procedures. Have educated people reorganised their minds along Fregean lines? |
| 9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
| Full Idea: The contribution of the quantifier to the truth conditions of sentences of which it is a part cannot be adequately explained if it is treated as other than a second-level predicate (for instance, if it is viewed as name). | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: They suggest that this makes it something like a 'property of properties'. With this account it becomes plausible to think of numbers as quantifiers (since they do, after all, specify quantities). |
| 9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
| Full Idea: For Frege the variable ranges over all objects. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by William W. Tait - Frege versus Cantor and Dedekind XII | |
| A reaction: The point is that Frege had not yet seen the necessity to define the domain of quantification, and this leads him into various difficulties. |
| 10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
| Full Idea: For Frege there is no need to specify the domain of the individual variables, which is taken as the totality of all objects. This contrasts with the standard notion of an interpretation, which demands that we first fix the domain. | |
| From: comment on Gottlob Frege (Begriffsschrift [1879]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 | |
| A reaction: What intrigues me is how domains of quantification shift according to context in ordinary usage, even in mid-sentence. I ought to go through every idea in this database, specifying its domain of quantification. Any volunteers? |
| 7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
| Full Idea: In order to express generality, Frege introduced quantifier notation. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege | |
| A reaction: This is the birth of predicate logic, beloved of analytical philosophers (but of no apparent interest to phenomenalists, deconstructionists, existentialists?). Generality is what you get from induction (which is, of course, problematic). |
| 7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
| Full Idea: Frege treated 'everything' as basic, and suggested ways of recasting propositions containing other quantifiers so that this was the only one remaining. He recast 'something' as 'at least one thing', and defined this in terms of 'everything' and 'not'. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Gregory McCullogh - The Game of the Name 1.6 | |
| A reaction: Extreme parsimony seems highly desirable in logic as well as ontology, but it can lead to frustrations, especially over the crucial question of the existence of things quantified over. See Idea 6068. |
| 13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
| Full Idea: Frege's formal definition of derivability is perhaps the first investigation in general proof theory. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Dag Prawitz - Gentzen's Analysis of First-Order Proofs 2 n2 | |
| A reaction: In 'On General Proof Theory §1' Prawitz says "proof theory originated with Hilbert" in 1900. Presumably Frege offered a theory, and then Hilbert saw it as a general project. |
| 13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
| Full Idea: Frege's work supplied a set of axioms for logic itself, at least partly because it was a well-known way of presenting the foundations in other disciplines, especially mathematics, but it does not nowadays strike us as natural for logic. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by David Kaplan - Dthat 5.1 | |
| A reaction: What Bostock has in mind is the so-called 'natural' deduction systems, which base logic on rules of entailment, rather than on a set of truths. The axiomatic approach uses a set of truths, plus the idea of possible contradictions. |
| 17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
| Full Idea: Frege's account of the ancestral has made it possible, in effect, to define the natural numbers as entities for which induction holds. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Crispin Wright - Frege's Concept of Numbers as Objects 4.xix | |
| A reaction: This is the opposite of the approach in the Peano Axioms, where induction is used to define the natural numbers. |
| 10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
| Full Idea: Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1 | |
| A reaction: The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119) |
| 11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
| Full Idea: When Kant said that existence was not a property, what he meant was, according to Frege, that existence is not a first-order property - it is not a property of individuals but a property of properties, that the property has an instance. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Stephen Read - Thinking About Logic Ch.5 |
| 20043 | Evolutionary explanations look to the past or the group, not to the individual [Stout,R] |
| Full Idea: In evolutionary explanations you may explain a population trait in terms of what it is for the sake of an individual, or explain it in terms of what it was for the sake of in earlier generations, but never in terms of what the trait is for the sake of. | |
| From: Rowland Stout (Action [2005], 2 'Functions') | |
| A reaction: So my ears are for the sake of my ability to hear, but that does not explain why I have ears. Should we say there is 'impersonal teleology' here, but no 'personal teleology'? Interesting. |
| 20058 | Not all explanation is causal. We don't explain a painting's beauty, or the irrationality of root-2, that way [Stout,R] |
| Full Idea: Not all explanation is causal. Explaining the beauty of a painting is not explaining why something happened. or why a move in chess is illegal, or why the square root of two is not a rational number. | |
| From: Rowland Stout (Action [2005], 5 'Argument') | |
| A reaction: It is surely plausible that the illegality of the chess move is caused (or 'determined', as I prefer to say) by the laws created for chess. The painting example seems right, though; what determined its configuration (think Pollock!) does not explain it. |
| 22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
| Full Idea: Frege's account was top-down, not bottom-up: he aimed to decompose and discern function-argument structure in already existing sentences, not to explain how those sentences acquired their meanings in the first place. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 03 'Func' | |
| A reaction: This goes with the holistic account of meaning, which leads to Quine's gavagai and Kuhn's obfuscation of science. I recommend compositionality for everthing. |
| 20035 | Philosophy of action studies the nature of agency, and of deliberate actions [Stout,R] |
| Full Idea: The philosophy of action is concerned with the nature of agency: what it is to be a full-blown agent, and what it is to realise one's agency in acting deliberately on things. | |
| From: Rowland Stout (Action [2005], 1 'Being') | |
| A reaction: 'Full-blown' invites the question of whether there could be a higher level of agency, beyond the capacity of human beings. Perhaps AI should design a theoretical machine that taps into those higher levels, if we can conceive of them. Meta-coherence! |
| 20084 | Agency is causal processes that are sensitive to justification [Stout,R] |
| Full Idea: My conclusion is that wherever you can identify causal processes that are sensitive to the recommendations of systems of justification, there you have found agency. | |
| From: Rowland Stout (Action [2005], 9b 'Conclusion') | |
| A reaction: [the last paragraph of his book] Justification seems an awfully grand notion for a bee pollinating a flower, and I don't see human action as profoundly different. A reason might be a bad justification, but it might not even aspire to be a justification. |
| 20061 | Mental states and actions need to be separate, if one is to cause the other [Stout,R] |
| Full Idea: If psychological states and action results cannot be identified independently of one another, then it does not make sense to describe one as causing the other. | |
| From: Rowland Stout (Action [2005], 5 'Conclusion') | |
| A reaction: This summarises a widely cited unease about the causal theory of action. Any account in action theory will need to separate out some components and explain their interrelation. Otherwise actions are primitives, and we can walk away. |
| 20079 | Are actions bodily movements, or a sequence of intention-movement-result? [Stout,R] |
| Full Idea: Are actions identical with bodily movements? Or are they identical with sequences of things starting inside the agent's mind with their intentions, going through their body movements and finishing with the external results being achieved? | |
| From: Rowland Stout (Action [2005], 9 'What is action') | |
| A reaction: If bodily movements are crucial, this presumably eliminates speech acts. Speech or writing may involve some movement, but the movement is almost irrelevant to the nature of the action. Telepathy would do equally well. |
| 20080 | If one action leads to another, does it cause it, or is it part of it? [Stout,R] |
| Full Idea: When we do one action 'by' doing another, either the first action causes the process of the second, or the first action is part of the process of the second | |
| From: Rowland Stout (Action [2005], 9 'What is by') | |
| A reaction: Stout says the second view is preferable, because pressing a switch does not cause my action of turning on the light (though it does cause the light to come on). |
| 20059 | I do actions, but not events, so actions are not events [Stout,R] |
| Full Idea: I do not do an event; I do an action; so actions are not events. | |
| From: Rowland Stout (Action [2005], 5 'Are actions') | |
| A reaction: Sounds conclusive, but it places a lot of weight on the concepts of 'I' and 'do', which leaves room for some discussion. This point is opposed to the causal theory of action, because causation concerns events. |
| 20081 | Bicycle riding is not just bodily movement - you also have to be on the bicycle [Stout,R] |
| Full Idea: You do not ride a bicycle just by moving your body in a certain way. You have to be on the bicycle to move in the right sort of way | |
| From: Rowland Stout (Action [2005], 9 'Are body') | |
| A reaction: My favourite philosophical ideas are simple and conclusive. He also observes that walking involves the ground being walked on. In complex actions 'feedback' with the environment is involved. |
| 20044 | The rationalistic approach says actions are intentional when subject to justification [Stout,R] |
| Full Idea: The rationalistic approach to agency says that what characterises intentional action is that it is subject to justification. | |
| From: Rowland Stout (Action [2005], 2 'Conclusion') | |
| A reaction: [Anscombe is the chief articulator of this view] This seems to incorporate action into an entirely intellectual and even moral framework. |
| 20039 | The causal theory says that actions are intentional when intention (or belief-desire) causes the act [Stout,R] |
| Full Idea: The causal theory of action asserts that what characterises intentional action is the agent's intentions, or perhaps their beliefs and desires, causing their behaviour in the appropriate way. | |
| From: Rowland Stout (Action [2005], 1 'Outline') | |
| A reaction: The agent's intentions are either sui generis (see Bratman), or reducible to beliefs and desires (as in Hume). The classic problem for the causal theory is said to be 'deviant causal chains'. |
| 20047 | Deciding what to do usually involves consulting the world, not our own minds [Stout,R] |
| Full Idea: In the vast majority of actions you need to look outwards to work out what you should do. An exam invigilator should consult the clock to design when to end the exam, not her state of mind. | |
| From: Rowland Stout (Action [2005], 3 'The belief-') | |
| A reaction: Stout defends externalist intentions. I remain unconvinced. It is no good looking at a clock if you don't form a belief about what it says, and the belief is obviously closer than the clock to the action. Intellectual virtue requires checking the facts. |
| 20065 | Should we study intentions in their own right, or only as part of intentional action? [Stout,R] |
| Full Idea: Should we try to understand what it is to have an intention in terms of what it is to act intentionally, or should we try to understand what it is to have an intention independently of what it is to act intentionally? | |
| From: Rowland Stout (Action [2005], 7 'Acting') | |
| A reaction: Since you can have an intention to act, and yet fail to act, it seems possible to isolate intentions, but not to say a lot about them. Intention may be different prior to actions, and during actions. Early Davidson offered the derived view. |
| 20067 | You can have incompatible desires, but your intentions really ought to be consistent [Stout,R] |
| Full Idea: Intentions are unlike desires. You can simultaneously desire two things that you know are incompatible. But when you form intentions you are embarking on a course of action, and there is a much stronger requirement of consistency. | |
| From: Rowland Stout (Action [2005], 7 'Relationship') | |
| A reaction: I'm not sure why anyone would identify intentions with desires. I would quite like to visit Japan, but have no current intention of doing so. I assume that the belief-plus-desire theory doesn't deny that an uninteresting intention is also needed. |
| 20078 | The normativity of intentions would be obvious if they were internal promises [Stout,R] |
| Full Idea: One way to incorporate this [normative] feature of intentions would be to treat them like internal promises. | |
| From: Rowland Stout (Action [2005], 8 'Intention') | |
| A reaction: Interesting. The concept of a promise is obviously closely linked to an intention. If you tell your companion exactly where you intend your golf ball to land, you can thereby be held accountable, in a manner resembling a promise (but not a promise). |
| 20036 | Intentional agency is seen in internal precursors of action, and in external reasons for the act [Stout,R] |
| Full Idea: It is plausible that we find something characteristic of intentional agency when we look inward to the mental precursors of actions, and also when we look outward, to the sensitivity of action to what the environment gives us reasons to do. | |
| From: Rowland Stout (Action [2005], 1 'How') | |
| A reaction: This is Stout staking a claim for his partly externalist view of agency. I warm less and less to the various forms of externalism. How often does the environment 'give us reasons' to do things? How can we act, without internalising those reasons? |
| 20066 | Speech needs sustained intentions, but not prior intentions [Stout,R] |
| Full Idea: The intentional action of including the word 'big' in a sentence does not require a prior intention to say it. What is required is that you say it with the intention of saying it. | |
| From: Rowland Stout (Action [2005], 7 'Relationship') | |
| A reaction: This seems right, but makes it a lot harder to say what an intention is, and to separate it out for inspection. You can't speak a good English sentence while withdrawing the intention involved. |
| 20073 | Bratman has to treat shared intentions as interrelated individual intentions [Stout,R] |
| Full Idea: Bratman has to construe what we think of as shared intentions as not literally involving shared intentions, but as involving interrelating of individual intentions. | |
| From: Rowland Stout (Action [2005], 7 'Conclusion') | |
| A reaction: Stout rejects this, for an account based on adaptability of behaviour. To me, naturalism and sparse ontology favour Bratman (1984) . I like my idea that shared intentions are conditional individual intentions. If the group refuses, I drop the intention. |
| 20069 | A request to pass the salt shares an intention that the request be passed on [Stout,R] |
| Full Idea: When one person says to another 'please pass the salt', and the other engages with this utterance and understands it, they share the intention that this request is passed from the first person to the second. | |
| From: Rowland Stout (Action [2005], 7 'Shared') | |
| A reaction: Simple and intriguing. We form an intention, and then ask someone else to take over our intention. When the second person takes over the intention, I give up the intention to acquire the salt, because it is on its way. It's political. |
| 20070 | An individual cannot express the intention that a group do something like moving a piano [Stout,R] |
| Full Idea: It is unnatural to describe an individual as intending that the group do something together. ...What could possibly express my intention that we move the piano upstairs? | |
| From: Rowland Stout (Action [2005], 7 'Shared') | |
| A reaction: Two possible answers: it makes sense if I have great authority within the group. 'I'm going to move the piano - you take that end'. Or, such expressions are implicitly conditional - 'I intend to move the piano (if you will also intend it)'. |
| 20071 | An intention is a goal to which behaviour is adapted, for an individual or for a group [Stout,R] |
| Full Idea: An individual intention is a goal to which an individual's behaviour adapts. A shared intention is a goal to which a group of people's behaviour collectively adapts. | |
| From: Rowland Stout (Action [2005], 7 'Shared') | |
| A reaction: This is part of Stout's externalist approach to actions. One would have thought that an intention was a state of mind, not a goal in the world. The individual's goal can be psychological, but a group's goal has to be an abstraction. |
| 20038 | If the action of walking is just an act of will, then movement of the legs seems irrelevant [Stout,R] |
| Full Idea: If volitionism identifies the action with an act of will, this has the unpalatable consequence (for a Cartesian dualist) that walking does not happen in the material world. It would be the same act of walking if you had no legs, or no body at all. | |
| From: Rowland Stout (Action [2005], 1 'Volitionism') | |
| A reaction: Is this attacking a caricature version of volitionism? Descartes would hardly subscribe to the view that no legs are needed for walking. If my legs spasmodically move without an act of will, we typically deny that this is an action. |
| 20050 | Most philosophers see causation as by an event or state in the agent, rather than the whole agent [Stout,R] |
| Full Idea: Most philosophers are uneasy with understanding the causal aspect of actions in terms of an 'agent' making something happen. They prefer to think of some event in the agent, or state of the agent, making something happen. | |
| From: Rowland Stout (Action [2005], 4 'The causal') | |
| A reaction: There is a bit of a regress if you ask what caused the event or state of affairs. It is tempting to stop the buck at the whole agent, or else carry the reduction on down to neurons, physics and the outside world. |
| 20052 | If you don't mention an agent, you aren't talking about action [Stout,R] |
| Full Idea: Once you lose the agent from an account of action it stops being an account of action at all. | |
| From: Rowland Stout (Action [2005], 4 'Agent') | |
| A reaction: [he refers to Richard Taylor 1966] This could be correct without implying that agents offer a unique mode of causation. The concept of 'agent' is reducible. |
| 20077 | If you can judge one act as best, then do another, this supports an inward-looking view of agency [Stout,R] |
| Full Idea: Weakness of will is a threat to the outward-looking approach to agency. It seems you can hold one thing to be the thing to do, and at the same time do something else. Many regard this as a decisive reason to follow a more inward-looking approach. | |
| From: Rowland Stout (Action [2005], 8 'Weakness') | |
| A reaction: It hadn't struck me before that weakness of will is a tool for developing an accurate account of what is involved in normal agency. Some facts that guide action are internal to the agent, such as greed for sugary cakes. |
| 20049 | Maybe your emotions arise from you motivations, rather than being their cause [Stout,R] |
| Full Idea: Instead of assuming that your motivation depends on your emotional state, we might say that your emotional state depends on how you are motivated to act. | |
| From: Rowland Stout (Action [2005], 3 'Emotions') | |
| A reaction: [He says this move is made by Kant, Thomas Nagel and McDowell] Stout favours the view that it is external facts which mainly give rise to actions, and presumably these facts are intrinsically motivating, prior to any emotions. I don't disagree. |
| 20046 | For an ascetic a powerful desire for something is a reason not to implement it [Stout,R] |
| Full Idea: If wanting something most were the same as having the most powerful feelings about it, then as an ascetic (rejecting what you most powerfully desire), your wanting most to eat a bun would be your reason for not eating the bun. | |
| From: Rowland Stout (Action [2005], 3 'The belief-') | |
| A reaction: This sounds like reason overruling desire, but the asceticism can always be characterised as a meta-desire. |
| 20060 | Beliefs, desires and intentions are not events, so can't figure in causal relations [Stout,R] |
| Full Idea: Beliefs, desires and intentions are states of mind rather than events, but events are the only things that figure in causal relations. | |
| From: Rowland Stout (Action [2005], 5 'Do beliefs') | |
| A reaction: This is exactly why we have the concept of 'the will' - because it is a mental state to which we attribute active causal powers. We then have to explain how this 'will' is related to the other mental states (which presume motivate or drive it?). |
| 20055 | A standard view says that the explanation of an action is showing its rational justification [Stout,R] |
| Full Idea: The idea running through the work of Aristotle, Kant, Anscombe and Davidson is that explanation of action involves justifying that action or making it rationally intelligible. | |
| From: Rowland Stout (Action [2005], 5 'Psychological') | |
| A reaction: Stout goes on to say that instead you could give the 'rationalisation' of the action, which is psychological facts which explain the action, without justifying it. The earlier view may seem a little optimistic and intellectualist. |
| 20056 | In order to be causal, an agent's reasons must be internalised as psychological states [Stout,R] |
| Full Idea: It is widely accepted that to get involved in the causal process of acting an agent's reasons must be internalised as psychological states. | |
| From: Rowland Stout (Action [2005], 5 'Psychological') | |
| A reaction: This doesn't say whether the 'psychological states' have to be fully conscious. That seems unlikely, given the speed with which we perform some sequences of actions, such as when driving a car, or playing a musical instrument. |
| 20053 | An action is only yours if you produce it, rather than some state or event within you [Stout,R] |
| Full Idea: For action to be properly yours it must be you who is the causal originator of the action, rather than some state or event within you. | |
| From: Rowland Stout (Action [2005], 4 'Agent') | |
| A reaction: [He invokes Chisholm 1966] The idea here is that we require not only 'agent causation', but that the concept of agent must include free will. It seems right we ought to know whether or not an action is 'mine'. Nothing too fancy is needed for this! |
| 20048 | There may be a justification relative to a person's view, and yet no absolute justification [Stout,R] |
| Full Idea: In a relativistic notion of justification, in a particular system, there is a reason for a vandal to smash public property, even though, using an absolute conception of justification, there is no reason for him to do so. | |
| From: Rowland Stout (Action [2005], 3 'The difference') | |
| A reaction: I suppose Kantians would say that the aim of morality is to make your personal (relative) justification coincide with what seems to be the absolute justification. |
| 20068 | Describing a death as a side-effect rather than a goal may just be good public relations [Stout,R] |
| Full Idea: The real signficance of the doctrine of double effect can be public relations. You can put a better spin on an action by describing a death as an unfortunate collateral consequence, rather than as a goal of the action | |
| From: Rowland Stout (Action [2005], 7 'Doctrine') | |
| A reaction: The problem is that it the principle is usually invoked in situations where it is not clear where some bad effect is intended, and it is very easy to lie in such situations. In football, we can never quite decide whether a dangerous tackle was intended. |
| 20543 | 'Social justice' is a confused idea, and inequalities need no justification [Hayek, by Swift] |
| Full Idea: Hayek thinks the whole idea of social justice involves a philosophical mistake, so that inequality doesn't really need justification in the first place. | |
| From: report of F.A. Hayek (The Mirage of Social Justice [1976]) by Adam Swift - Political Philosophy (3rd ed) 1 'Conc' | |
| A reaction: It is certainly hard to justify the claim that the state of nature involves equality, making its disturbance in need of justification. But surely inequalities in government policy (such as differential income tax) need justification? |
| 20083 | Aristotelian causation involves potentiality inputs into processes (rather than a pair of events) [Stout,R] |
| Full Idea: In the Aristotelian approach to causation (unlike the Humean approach, involving separate events), A might cause B by being an input into some process (realisation of potentiality) that results in B. | |
| From: Rowland Stout (Action [2005], 9 'Trying') | |
| A reaction: Stout relies quite heavily on this view for his account of human action. I like processes, so am sympathetic to this view. If there are two separate events, it is not surprising that Hume could find nothing to bridge the gap between them. |
| 7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |
| Full Idea: On Frege's logical analysis, the predicate 'exists' is actually a natural language expression for a quantifier. | |
| From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.8 | |
| A reaction: However see Idea 6067, for McGinn's alternative view of quantifiers. In the normal conventions of predicate logic it may be that existence is treated as a quantifier, but that is not the same as saying that existence just IS a quantifier. |