|
14182
|
If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read]
|
|
Full Idea:
In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence.
|
|
From:
Stephen Read (Formal and Material Consequence [1994], 'Reduct')
|
|
A reaction:
I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine.
|
|
14184
|
In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read]
|
|
Full Idea:
A puzzle about modus ponens is that the major premise is either false or unnecessary: A, If A then B / so B. If the major premise is true, then B follows from A, so the major premise is redundant. So it is false or not needed, and contributes nothing.
|
|
From:
Stephen Read (Formal and Material Consequence [1994], 'Repres')
|
|
A reaction:
Not sure which is the 'major premise' here, but it seems to be saying that the 'if A then B' is redundant. If I say 'it's raining so the grass is wet', it seems pointless to slip in the middle the remark that rain implies wet grass. Good point.
|
|
14186
|
Logical connectives contain no information, but just record combination relations between facts [Read]
|
|
Full Idea:
The logical connectives are useful for bundling information, that B follows from A, or that one of A or B is true. ..They import no information of their own, but serve to record combinations of other facts.
|
|
From:
Stephen Read (Formal and Material Consequence [1994], 'Repres')
|
|
A reaction:
Anyone who suggests a link between logic and 'facts' gets my vote, so this sounds a promising idea. However, logical truths have a high degree of generality, which seems somehow above the 'facts'.
|
|
12191
|
Counterfactuals are true if logical or natural laws imply the consequence [Goodman, by McFetridge]
|
|
Full Idea:
Goodman's central idea was: 'If that match had been scratched, it would have lighted' is true if there are suitable truths from which, with the antecedent, the consequent can be inferred by means of a logical, or more typically natural, law.
|
|
From:
report of Nelson Goodman (The Problem of Counterfactual Conditionals [1947]) by Ian McFetridge - Logical Necessity: Some Issues §4
|
|
A reaction:
Goodman then discusses the problem of identifying the natural laws, and identifying the suitable truths. I'm inclined to think counterfactuals are vaguer than that; they are plausible if coherent reasons can be offered for the inference.
|
|
20014
|
Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall]
|
|
Full Idea:
There are different levels of action, including at least: unconscious and/or involuntary behaviour, purposeful or goal-directed activity, intentional action, and the autonomous acts or actions of self-consciously active human agents.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 1)
|
|
A reaction:
The fourth class is obviously designed to distinguish us from the other animals. It immediately strikes me as very optimistic to distinguish four (at least) clear categories, but you have to start somewhere.
|
|
20019
|
Maybe bodily movements are not actions, but only part of an agent's action of moving [Wilson/Schpall]
|
|
Full Idea:
Some say that the movement's of agent's body are never actions. It is only the agent's direct moving of, say, his leg that constitutes a physical action; the leg movement is merely caused by and/or incorporated as part of the act of moving.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 1.2)
|
|
A reaction:
[they cite Jennifer Hornsby 1980] It seems normal to deny a twitch the accolade of an 'action', so I suppose that is right. Does the continual movement of my tongue count as action? Only if I bring it under control? Does it matter? Only in forensics.
|
|
20021
|
Is the action the arm movement, the whole causal process, or just the trying to do it? [Wilson/Schpall]
|
|
Full Idea:
Some philosophers have favored the overt arm movement the agent performs, some favor the extended causal process he initiates, and some prefer the relevant event of trying that precedes and 'generates' the rest.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 1.2)
|
|
A reaction:
[Davidson argues for the second, Hornsby for the third] There seems no way to settle this, and a compromise looks best. Mere movement won't do, and mere trying won't do, and whole processes get out of control.
|
|
20022
|
To be intentional, an action must succeed in the manner in which it was planned [Wilson/Schpall]
|
|
Full Idea:
If someone fires a bullet to kill someone, misses, and dislodges hornets that sting him to death, this implies that an intentional action must include succeeding in a manner according to the original plan.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 2)
|
|
A reaction:
[their example, compressed] This resembles Gettier's problem cases for knowledge. If the shooter deliberately and maliciously brought down the hornet's nest, that would be intentional murder. Sounds right.
|
|
20023
|
If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall]
|
|
Full Idea:
If someone enters the lottery with the bizarre belief that they can control who wins, and then wins it, that suggest that intentional actions must not depend on sheer luck, but needs competent exercise of the relevant skill.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 2)
|
|
A reaction:
A nice companion to Idea 20022, which show that a mere intention is not sufficient to motivate and explain an action.
|
|
20025
|
We might intend two ways to acting, knowing only one of them can succeed [Wilson/Schpall]
|
|
Full Idea:
If an agent tries to do something by two different means, only one of which can succeed, then the behaviour is rational, even though one of them is an attempt to do an action which cannot succeed.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 2)
|
|
A reaction:
[a concise account of a laborious account of an example from Bratman 1984, 1987] Bratman uses this to challenge the 'Simple View', that intention leads straightforwardly to action.
|
|
20031
|
On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall]
|
|
Full Idea:
On the simple desire-belief model, an intention is a combination of desire-belief states, and an action is intentional in virtue of standing in the appropriate relation to these simpler terms.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 4)
|
|
A reaction:
This is the traditional view found in Hume, and is probably endemic to folk psychology. They cite Bratman 1987 as the main opponent of the view.
|
|
20028
|
Groups may act for reasons held by none of the members, so maybe groups are agents [Wilson/Schpall]
|
|
Full Idea:
Rational group action may involve a 'collectivising of reasons', with participants acting in ways that are not rationally recommended from the individual viewpoint. This suggests that groups can be rational, intentional agents.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 2)
|
|
A reaction:
[Pettit 2003] is the source for this. Gilbert says individuals can have joint commitment; Pettit says the group can be an independent agent. The matter of shared intentions is interesting, but there is no need for the ontology to go berserk.
|
|
20027
|
If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall]
|
|
Full Idea:
An account of mutual obligation to do something may require that we give up reductive individualist accounts of shared activity and posit a primitive notion of 'joint commitment'.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 2)
|
|
A reaction:
[attributed to Margaret Gilbert 2000] If 'we' are trying to do something, that seems to give an externalist picture of intentions, rather like all the other externalisms floating around these days. I don't buy any of it, me.
|
|
20018
|
Strong Cognitivism implies a mode of 'practical' knowledge, not based on observation [Wilson/Schpall]
|
|
Full Idea:
Strong Cognitivists say intentions/beliefs are not based on observation or evidence, and are causally reliable in leading to appropriate actions, so this is a mode of 'practical' knowledge that has not been derived from observation.
|
|
From:
Wilson,G/Schpall,S (Action [2012], 1.1)
|
|
A reaction:
[compressed - Stanford unnecessarily verbose!] I see no mention in this discussion of 'hoping' that your action will turn out OK. We are usually right to hope, but it would be foolish to say that when we reach for the salt we know we won't knock it over.
|