Combining Philosophers

All the ideas for Wilson,G/Schpall,S, Oliver,A/Smiley,T and Amphis

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


26 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The empty set is something, not nothing! [Oliver/Smiley]
     Full Idea: Some authors need to be told loud and clear: if there is an empty set, it is something, not nothing.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2)
     A reaction: I'm inclined to think of a null set as a pair of brackets, so maybe that puts it into a metalanguage.
The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
     Full Idea: The empty set is usually derived via Zermelo's axiom of separation. But the axiom of separation is conditional: it requires the existence of a set in order to generate others as subsets of it. The original set has to come from the axiom of infinity.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2)
     A reaction: They charge that this leads to circularity, as Infinity depends on the empty set.
We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
     Full Idea: The empty set is said to be useful to express non-existence, but saying 'there are no Us', or ¬∃xUx are no less concise, and certainly less roundabout.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2)
Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley]
     Full Idea: Suppose we introduce Ω not as a term standing for a supposed empty set, but as a paradigm of an empty term, not standing for anything.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2)
     A reaction: This proposal, which they go on to explore, seems to mean that Ω (i.e. the traditional empty set symbol) is no longer part of set theory but is part of semantics.
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
     Full Idea: Thomason says with no unit sets we couldn't call {1,2}∩{2,3} a set - but so what? Why shouldn't the intersection be the number 2? However, we then have to distinguish three different cases of intersection (common subset or member, or disjoint).
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 2.2)
5. Theory of Logic / G. Quantification / 6. Plural Quantification
If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
     Full Idea: A 'singularist', who refers to objects one at a time, must resort to the language of sets in order to replace plural reference to members ('Henry VIII's wives') by singular reference to a set ('the set of Henry VIII's wives').
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro)
     A reaction: A simple and illuminating point about the motivation for plural reference. Null sets and singletons give me the creeps, so I would personally prefer to avoid set theory when dealing with ontology.
We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
     Full Idea: Plurals earn their keep in set theory, to answer Skolem's remark that 'in order to treat of 'sets', we must begin with 'domains' that are constituted in a certain way'. We can speak in the plural of 'the objects', not a 'domain' of objects.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro)
     A reaction: [Skolem 1922:291 in van Heijenoort] Zermelo has said that the domain cannot be a set, because every set belongs to it.
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley]
     Full Idea: Logical truths should be true no matter what exists, so true even if nothing exists. The classical predicate calculus, however, makes it logically true that something exists.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
     Full Idea: If mathematics was purely concerned with mathematical objects, there would be no room for applied mathematics.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1)
     A reaction: Love it! Of course, they are using 'objects' in the rather Fregean sense of genuine abstract entities. I don't see why fictionalism shouldn't allow maths to be wholly 'pure', although we have invented fictions which actually have application.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
     Full Idea: Identifying numbers with sets may mean one of three quite different things: 1) the sets represent the numbers, or ii) they are the numbers, or iii) they replace the numbers.
     From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.2)
     A reaction: Option one sounds the most plausible to me. I will take numbers to be patterns embedded in nature, and sets are one way of presenting them in shorthand form, in order to bring out what is repeated.
20. Action / A. Definition of Action / 1. Action Theory
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.
20. Action / A. Definition of Action / 4. Action as Movement
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.
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.
20. Action / B. Preliminaries of Action / 1. Intention to Act / a. Nature of intentions
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.
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.
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.
20. Action / B. Preliminaries of Action / 1. Intention to Act / c. Reducing intentions
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.
20. Action / B. Preliminaries of Action / 1. Intention to Act / d. Group intentions
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.
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.
20. Action / C. Motives for Action / 2. Acting on Beliefs / b. Action cognitivism
Strong Cognitivism identifies an intention to act with a belief [Wilson/Schpall]
     Full Idea: A Strong Cognitivist is someone who identifies an intention with a certain pertinent belief about what she is doing or about to do.
     From: Wilson,G/Schpall,S (Action [2012], 1.1)
     A reaction: (Sarah Paul 2009 makes this distinction) The belief, if so, seems to be as much counterfactual as factual. Hope seems to come into it, which isn't exactly a belief.
Weak Cognitivism says intentions are only partly constituted by a belief [Wilson/Schpall]
     Full Idea: A Weak Cognitivist holds that intentions are partly constituted by, but are not identical with, relevant beliefs about the action. Grice (1971) said an intention is willing an action, combined with a belief that this will lead to the action.
     From: Wilson,G/Schpall,S (Action [2012], 1.1)
     A reaction: [compressed] I didn't find Strong Cognitivism appealing, but it seems hard to argue with some form of the weak version.
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.
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall]
     Full Idea: Some have maintained that we explain why an agent acted as he did when we explicate how the agent's normative reasons rendered the action intelligible in his eyes.
     From: Wilson,G/Schpall,S (Action [2012], Intro)
     A reaction: Modern psychology is moving against this, by showing how hidden biases can predominate over conscious reasons (as in Kahnemann's work). I would say this mode of explanation works better for highly educated people (but you can chuckle at that).
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
It is generally assumed that reason explanations are causal [Wilson/Schpall]
     Full Idea: The view that reason explanations are somehow causal explanations remains the dominant position.
     From: Wilson,G/Schpall,S (Action [2012], Intro)
     A reaction: I suspect that this is only because no philosopher has a better idea, and the whole issue is being slowly outflanked by psychology.
Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall]
     Full Idea: Most causalists allow that reason explanations are teleological, but say that such purposive explanations are analysable causally, where the primary reasons for the act are the guiding causes of the act.
     From: Wilson,G/Schpall,S (Action [2012], 3)
     A reaction: The authors observe that it is hard to adjudicate on this matter, and that the concept of the 'cause' of an action is unclear.
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
I can form no notion of what the good is [Amphis]
     Full Idea: What the good is I no more can form a notion of, than of the good of Plato.
     From: Amphis (comedies (frags) [c.350 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 03.1.22
     A reaction: It was evidently a running joke in the ancient world that no one could define Plato's Form of the Good. He was said to have written a book on it, now lost.