Combining Texts

All the ideas for 'fragments/reports', 'The Philosophy of Mathematics' and 'From Metaphysics to Ethics'

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


36 ideas

1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Serious metaphysics cares about entailment between sentences [Jackson]
     Full Idea: Serious metaphysics is committed to views about which sentences entail which other sentences.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.1)
     A reaction: This does not say that metaphysics is only about entailment, or (even worse) only about sentences. Put another way: if we wish to be wise, we must study the implications of our beliefs. Yes.
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Conceptual analysis studies whether one story is made true by another story [Jackson]
     Full Idea: Conceptual analysis is the very business of addressing when and whether a story told in one vocabulary is made true by one told in some allegedly more fundamental vocabulary.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.2)
     A reaction: This is a view of linguistic analysis as focusing on entailments rather than on usage or truth conditions. If philosophy is the attempt to acquire a totally consistent set of beliefs (a plausible view), then Jackson is right.
Intuitions about possibilities are basic to conceptual analysis [Jackson]
     Full Idea: Intuitions about possibilities are the bread and butter of conceptual analysis.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: Hence the centrality of the debate over conceivability and possibility. Which seems to reduce to the relationship between 'intuition' and 'imagination'. Imagination is a very weak guide to what is possible, and intuition is very uncertain....
Conceptual analysis is needed to establish that metaphysical reductions respect original meanings [Jackson, by Schroeter]
     Full Idea: On the empiricist view of meaning, the relevance of conceptual analysis to metaphysics is that it establishes that a putative reduction respects the original meaning of the target expression.
     From: report of Frank Jackson (From Metaphysics to Ethics [1998], p.28) by Laura Schroeter - Two-Dimensional Semantics 2.2.4
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Something can only have a place in a preferred account of things if it is entailed by the account [Jackson]
     Full Idea: The one and only way of having a place in an account told in some set of preferred terms is by being entailed by that account - a view I will refer to as the entry by entailment thesis.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.1)
     A reaction: How do we distinguish between the original account, which seems to be just accepted, and the additions which accrue because they are entailed by it? Why does this club distinguish members from guests?
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
Truth supervenes on being [Jackson]
     Full Idea: Truth supervenes on being.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: A nice slogan for those of us who find the word 'truth' to be meaningful.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett]
     Full Idea: ZF set theory is a first-order axiomatization. Variables range over sets, there are no second-order variables, and primitive predicates are just 'equals' and 'member of'. The axiom of extensionality says sets with the same members are identical.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 7)
     A reaction: If the eleven members of the cricket team are the same as the eleven members of the hockey team, is the cricket team the same as the hockey team? Our cricket team is better than our hockey team, so different predicates apply to them.
The main alternative to ZF is one which includes looser classes as well as sets [Dummett]
     Full Idea: The main alternative to ZF is two-sorted theories, with some variables ranging over classes. Classes have more generous existence assumptions: there is a universal class, containing all sets, and a class containing all ordinals. Classes are not members.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 7.1.1)
     A reaction: My intuition is to prefer strict systems when it comes to logical theories. The whole point is precision. Otherwise we could just think about things, and skip all this difficult symbolic stuff.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett]
     Full Idea: It must not be concluded from the rejection of excluded middle that intuitionistic logic operates with three values: true, false, and neither true nor false. It does not make use of true and false, but only with a construction being a proof.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 8.1)
     A reaction: This just sounds like verificationism to me, with all its problems. It seems to make speculative statements meaningless, which can't be right. Realism has lots of propositions which are assumed to be true or false, but also unknowable.
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett]
     Full Idea: First-order logic is distinguished by generalizations (quantification) only over objects: second-order logic admits generalizations or quantification over properties or kinds of objects, and over relations between them, and functions defined over them.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1)
     A reaction: Second-order logic was introduced by Frege, but is (interestingly) rejected by Quine, because of the ontological commitments involved. I remain unconvinced that quantification entails ontological commitment, so I'm happy.
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Logical truths and inference are characterized either syntactically or semantically [Dummett]
     Full Idea: There are two ways of characterizing logical truths and correct inference. Proof-theoretic or syntactic characterizations, if the formalization admits of proof or derivation; and model-theoretic or semantic versions, being true in all interpretations.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1)
     A reaction: Dummett calls this distinction 'fundamental'. The second one involves truth, and hence meaning, where the first one just responds to rules. ..But how can you have a notion of correctly following a rule, without a notion of truth?
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett]
     Full Idea: It can be argued that the notion of ordinal numbers is more fundamental than that of cardinals. To count objects, we must count them in sequence. ..The theory of ordinals forms the substratum of Cantor's theory of cardinals.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 5)
     A reaction: Depends what you mean by 'fundamental'. I would take cardinality to be psychologically prior ('that is a lot of sheep'). You can't order people by height without first acquiring some people with differing heights. I vote for cardinals.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett]
     Full Idea: The number 4 cannot be characterized solely by its position in a system, because it has different positions in the system of natural numbers and that of the positive whole numbers, whereas these systems have the very same structure.
     From: Michael Dummett (The Philosophy of Mathematics [1998], 6.1)
     A reaction: Dummett seems to think this is fairly decisive against structuralism. There is also the structure of the real numbers. We will solve this by saying that the wholes are abstracted from the naturals, which are abstracted from the reals. Job done.
7. Existence / C. Structure of Existence / 2. Reduction
Smooth reductions preserve high-level laws in the lower level [Jackson]
     Full Idea: In a 'smooth' reduction the laws of the reduced theory (thermodynamics of gases) are pretty much preserved in (and isomorphic with) the corresponding laws in the reducing theory (molecular or kinetic theory of gases).
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: Are the 'laws' of weather (e.g. linking humidity, temperature and pressure to rainfall) preserved at the level of physics? One might say that they are not preserved, but they are not lost either (they just fade away). Contradictions would be worrying.
7. Existence / D. Theories of Reality / 10. Vagueness / b. Vagueness of reality
Baldness is just hair distribution, but the former is indeterminate, unlike the latter [Jackson]
     Full Idea: Baldness is a much more indeterminate matter than is hair distribution, nevetheless baldness is nothing over and above hair distribution.
     From: Frank Jackson (From Metaphysics to Ethics [1998], p.22)
     A reaction: This seems to support Williamson's view that there is no vagueness in nature, and that 'vague' is an entirely epistemological concept.
8. Modes of Existence / B. Properties / 1. Nature of Properties
Redness is a property, but only as a presentation to normal humans [Jackson]
     Full Idea: We typically count things as red just if they have a property that interacts with normal human beings to make the object look red in such a way that their so looking counts as a presentation of the property to normal humans.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.4)
     A reaction: This is Jackson's careful statement of the 'Australian' primary property view of colours. He is trying to make red a real property of objects, but personally I take the mention of 'normal' humans as a huge danger sign. Nice try, but no. See Idea 5456.
10. Modality / A. Necessity / 3. Types of Necessity
We should not multiply senses of necessity beyond necessity [Jackson]
     Full Idea: We should not multiply senses of necessity beyond necessity.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: It would be nice if there was just one sense of necessity, with the multiplication arising from the different ways in which necessities arise. In chess, checkmate is a necessity which rests on contingencies. Absolute necessities seem different.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Mathematical sentences are a problem in a possible-worlds framework [Jackson]
     Full Idea: There is notoriously a problem about what to say concerning mathematical sentences within the possible-worlds framework.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3 n25)
     A reaction: Presumably this concerns possible axioms and their combinations.
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds could be concrete, abstract, universals, sentences, or properties [Jackson]
     Full Idea: Possible worlds might be concrete (Lewis), or abstract (Stalnaker), or structured universals (Forrest), or collections of sentences (Jeffrey), or mere combinations of properties and relations (Armstrong).
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.1)
     A reaction: A helpful summary. I don't like concrete, or collections of sentences. Whatever they are, they had better be 'possible', so not any old collection or idea will do.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
Long arithmetic calculations show the a priori can be fallible [Jackson]
     Full Idea: We know that being fallible and being a priori can co-exist - the results of long numerical additions are well-known examples.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.2)
     A reaction: I see this realisation as a good example of progress in philosophy. Russell, who says self-evidence comes in degrees, deserves major credit. It is the key idea that once again makes rationalism respectable.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / a. Qualities in perception
We examine objects to determine colour; we do not introspect [Jackson]
     Full Idea: We examine objects to determine their colour; we do not introspect.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: Interesting, but the theory of secondary qualities did not arise from experience, but from a theory about what is actually going on. Compare pain appearing to be in your foot.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
In physicalism, the psychological depends on the physical, not the other way around [Jackson]
     Full Idea: Physicalism is associated with various asymmetry doctrines, most famously with the idea that the psychological depends in some sense on the physical, and not the other way around.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.1)
     A reaction: Sounds okay to me. Shadows depend on objects, and not the other way round. It might suggest properties depending on substances (or bare particulars), but I prefer the dependence of processes on mechanisms (waterfalls on liquid water).
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
Is the dependence of the psychological on the physical a priori or a posteriori? [Jackson]
     Full Idea: Should the necessary passage from the physical account of the world to the psychological one that physicalists are committed to, be placed in the a posteriori or the a priori basket?
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: That is, is 'the physical entails the mental' empirical or a priori? See Idea 3989. If we can at least dream of substance dualism, it is hard to see how it could be fully a priori. I think I prefer to see it as an inductive explanation.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
If different states can fulfil the same role, the converse must also be possible [Jackson]
     Full Idea: It would be strange if having learnt the lesson of multiple realisability that the same role may be filled by different states, we turned around and insisted that the converse - different roles filled by the same state - is impossible.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.4 n3)
     A reaction: Good. The world is full of creatures who seem to enjoy the smell of decay etc. Some people (not me) like horror films. The separation of qualia and role leaves type-type physicalism as a possibility. Survival needs similar roles, not similar qualia.
18. Thought / A. Modes of Thought / 4. Folk Psychology
Folk psychology covers input, internal role, and output [Jackson]
     Full Idea: Folk psychology has a tripartite nature, with input clauses, internal role clauses, and output clauses.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: Interesting, particularly that folk psychology refers to internal roles, or attempts to explain what is going on inside the 'black box'. The folk have collectively worked out a standard flow diagram for human thought.
18. Thought / C. Content / 1. Content
Egocentric or de se content seems to be irreducibly so [Jackson]
     Full Idea: I have been convinced by arguments (e.g. of Perry, Castaņeda and Lewis) that egocentric or de se content is irreducibly so.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.1)
     A reaction: This is associated with the use of indexicals (like 'I' and 'now') in language. Quine disagrees, and should not be written off. Any theory of content, concepts, meaning etc. must clearly taken account of such subjective language.
18. Thought / C. Content / 5. Twin Earth
Keep distinct the essential properties of water, and application conditions for the word 'water' [Jackson]
     Full Idea: My guess is that objectors to the deflationary account of the Twin Earth parable are confusing the essential properties of water with the question of what is essential for being water.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: That is, we must distinguish between the actual ontology of water's properties and the conditions under which we (in our society) apply the word 'water'. Interesting. The latter issue, though, might push us back towards internalism...
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
Analysis is finding necessary and sufficient conditions by studying possible cases [Jackson]
     Full Idea: Conceptual analysis is sometimes understood as the business of finding necessary and sufficient conditions by the method of possible cases.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: Some (e.g. Stich) reject this, but it seems to me undeniable that the procedure can be very illuminating, even if it is never totally successful. Jackson prefers to see analysis as the study of entailments between stories about the world.
19. Language / C. Assigning Meanings / 3. Predicates
Successful predication supervenes on nature [Jackson]
     Full Idea: Successful predication supervenes on nature.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: A nice slogan, but it is in danger of being a tautology. If I say x and y 'are my favourites/are interesting', is that 'successful' predication? Is 'Juliet is the sun' unsuccessful?
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
I can understand "He has a beard", without identifying 'he', and hence the truth conditions [Jackson]
     Full Idea: If I hear someone say "He has a beard", and I don't know whether it is Jackson, Jones, or someone else, I don't know which proposition is being expressed in the sense of not knowing the conditions under which what is said is true.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.3)
     A reaction: This is the neatest and simplest problem I have encountered for Davidson's truth-conditions account of meaning. However, we probably just say that we understand the sense but not the reference. The strict-and-literal but not contextual meaning.
20. Action / C. Motives for Action / 5. Action Dilemmas / c. Omissions
Folk morality does not clearly distinguish between doing and allowing [Jackson]
     Full Idea: We have, it seems to me, currently no clear sense of the place and rationale of the distinction between doing and allowing in folk morality.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: Does this mean that philosophers should endeavour to appear on television in order to improve folk morality, so that Jackson, back at the ranch, can then infer the meanings of moral terms from the new improved version?
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
Moral functionalism says moral terms get their meaning from their role in folk morality [Jackson]
     Full Idea: Moral functionalism is the view that the meanings of moral terms are given by their place in the network of input, internal clauses, and output that makes up folk psychology.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: Jackson considers this enough to support a cognitivist view of morality. In assuming that there is something stable called 'folk morality' he seems to be ignoring questions about cultural relativism.
Which are prior - thin concepts like right, good, ought; or thick concepts like kindness, equity etc.? [Jackson]
     Full Idea: 'Centralists' (e.g. Bernard Williams) say thin ethical concepts (right, good, ought) are conceptually fundamental; 'non-centralists' (e.g. Susan Hurley) say that such concepts are not conceptually prior to kindness, equity and the like.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: My immediate intuition is to side with Susan Hurley, since morality grows out of immediate relationships, not out of intellectual principles and theoretical generalisations. This would go with particularist views of virtue theory.
25. Social Practice / F. Life Issues / 3. Abortion
It is hard to justify the huge difference in our judgements of abortion and infanticide [Jackson]
     Full Idea: We allow that abortion is permissible in many circumstances, but infanticide is hardly ever permissible, and yet it is hard to justify this disparity in moral judgement in the sense of finding the relevant difference.
     From: Frank Jackson (From Metaphysics to Ethics [1998], Ch.5)
     A reaction: The implications of this are tough to face. A foetus is (maybe) just not as important as a new-born babe - and so a new-born babe is of less importance than a five-year old. Birth is (or was) a hugely dangerous hurdle to be cleared.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.