107 ideas
13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
Full Idea: We are all post-Kantians, ...because Kant set an agenda for philosophy that we are still working through. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: Hart says that the main agenda is set by Kant's desire to defend the principle of sufficient reason against Hume's attack on causation. I would take it more generally to be the assessment of metaphysics, and of a priori knowledge. |
13477 | The problems are the monuments of philosophy [Hart,WD] |
Full Idea: The real monuments of philosophy are its problems. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: Presumably he means '....rather than its solutions'. No other subject would be very happy with that sort of claim. Compare Idea 8243. A complaint against analytic philosophy is that it has achieved no consensus at all. |
13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
Full Idea: By now, no education in abstract pursuits is adequate without some familiarity with sets. | |
From: William D. Hart (The Evolution of Logic [2010], 10) | |
A reaction: A heart-sinking observation for those who aspire to study metaphysics and modality. The question is, what will count as 'some' familiarity? Are only professional logicians now allowed to be proper philosophers? |
14227 | We could refer to tables as 'xs that are arranged tablewise' [Inwagen] |
Full Idea: We could paraphrase 'some chairs are heavier than some tables' as 'there are xs that are arranged chairwise and there are ys that are arranged tablewise and the xs are heavier than the ys'. | |
From: Peter van Inwagen (Material Beings [1990], 11) | |
A reaction: Liggins notes that this involves plural quantification. Being 'arranged tablewise' has become a rather notorious locution in modern ontology. We still have to retain identity, to pick out the xs. |
13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
Full Idea: It is an ancient and honourable view that truth is correspondence to fact; Tarski showed us how to do without facts here. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: This is a very interesting spin on Tarski, who certainly seems to endorse the correspondence theory, even while apparently inventing a new 'semantic' theory of truth. It is controversial how far Tarski's theory really is a 'correspondence' theory. |
13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
Full Idea: We explain truth for sentences in terms of satisfaction of formulae. The crux here is that for a sentence, either all sequences satisfy it or none do (with no middle ground). For formulae, some sequences may satisfy it and others not. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: This is the hardest part of Tarski's theory of truth to grasp. |
13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
Full Idea: In any first-order language, there are infinitely many T-sentences. Since definitions should be finite, the agglomeration of all the T-sentences is not a definition of truth. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: This may be a warning shot aimed at Davidson's extensive use of Tarski's formal account in his own views on meaning in natural language. |
13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
Full Idea: A 'conditional proof' licenses inferences to a conditional from a deduction of its consequent from its antecedent. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: That is, a proof can be enshrined in an arrow. |
13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
Full Idea: When a quantifier is attached to a variable, as in '∃(y)....', then it should be read as 'There exists an individual, call it y, such that....'. One should not read it as 'There exists a y such that...', which would attach predicate to quantifier. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: The point is to make clear that in classical logic the predicates attach to the objects, and not to some formal component like a quantifier. |
13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
Full Idea: It is set theory, and more specifically the theory of relations, that articulates order. | |
From: William D. Hart (The Evolution of Logic [2010]) | |
A reaction: It would seem that we mainly need set theory in order to talk accurately about order, and about infinity. The two come together in the study of the ordinal numbers. |
13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
Full Idea: The theory of types is a thing of the past. There is now nothing to choose between ZFC and NBG (Neumann-Bernays-Gödel). NF (Quine's) is a more specialized taste, but is a place to look if you want the universe. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
Full Idea: ∈ relates across layers (Plato is a member of his unit set and the set of people), while ⊆ relates within layers (the singleton of Plato is a subset of the set of people). This distinction only became clear in the 19th century. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: Getting these two clear may be the most important distinction needed to understand how set theory works. |
13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
Full Idea: Without the empty set, disjoint sets would have no intersection, and we could not form a∩b without checking that a and b meet. This is an example of the utility of the empty set. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: A novice might plausibly ask why there should be an intersection for every pair of sets, if they have nothing in common except for containing this little puff of nothingness. But then what do novices know? |
13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
Full Idea: In the second half of the twentieth century there emerged the opinion that foundation is the heart of the way to do set theory. | |
From: William D. Hart (The Evolution of Logic [2010], 3) | |
A reaction: It is foundation which is the central axiom of the iterative conception of sets, where each level of sets is built on previous levels, and they are all 'well-founded'. |
13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
Full Idea: The usual statement of Foundation is that any nonempty set has a member disjoint from it. This phrasing is ordinal-free and closer to the primitives of ZFC. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
Full Idea: When a set is finite, we can prove it has a choice function (∀x x∈A → f(x)∈A), but we need an axiom when A is infinite and the members opaque. From infinite shoes we can pick a left one, but from socks we need the axiom of choice. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: The socks example in from Russell 1919:126. |
13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
Full Idea: It follows from the Axiom of Choice that every set can be well-ordered. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: For 'well-ordered' see Idea 13460. Every set can be ordered with a least member. |
13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
Full Idea: It has been said (by Burt Dreben) that the only reason set theorists do not generally buy the view that V = L is that it would put them out of business by settling their open questions. | |
From: William D. Hart (The Evolution of Logic [2010], 10) | |
A reaction: Hart says V=L breaks with the interative conception of sets at level ω+1, which is countable is the constructible view, but has continuum many in the cumulative (iterative) hierarch. The constructible V=L view is anti-platonist. |
13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
Full Idea: 'Comprehension' is the assumption that every predicate has an extension. Naïve set theory is the theory whose axioms are extensionality and comprehension, and comprehension is thought to be its naivety. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: This doesn't, of course, mean that there couldn't be a more modest version of comprehension. The notorious difficulty come with the discovery of self-referring predicates which can't possibly have extensions. |
13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
Full Idea: That the iterative sets suffice for most of ZFC does not show they are necessary, nor is it evident that the set of operations has no fixed points (as 0 is a fixed point for square-of), and no infinitely descending chains (like negative integers). | |
From: William D. Hart (The Evolution of Logic [2010], 3) | |
A reaction: People don't seem to worry that they aren't 'necessary', and further measures are possible to block infinitely descending chains. |
13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
Full Idea: We say that a binary relation R 'partially orders' a field A just in case R is irreflexive (so that nothing bears R to itself) and transitive. When the set is {a,b}, its subsets {a} and {b} are incomparable in a partial ordering. | |
From: William D. Hart (The Evolution of Logic [2010], 1) |
13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
Full Idea: A partial ordering is a 'total ordering' just in case any two members of its field are comparable, that is, either a is R to b, or b is R to a, or a is b. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: See Idea 13457 for 'partial ordering'. The three conditions are known as the 'trichotomy' condition. |
13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
Full Idea: One of the glories of Von Neumann's theory of numbers is to define α < β to mean that α ∈ β. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
Full Idea: A total order 'well-orders' its field just in case any nonempty subset B of its field has an R-least member, that is, there is a b in B such that for any a in B different from b, b bears R to a. So less-than well-orders natural numbers, but not integers. | |
From: William D. Hart (The Evolution of Logic [2010], 1) | |
A reaction: The natural numbers have a starting point, but the integers are infinite in both directions. In plain English, an order is 'well-ordered' if there is a starting point. |
13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
Full Idea: Some have claimed that sets should be rethought in terms of still more basic things, categories. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: [He cites F.William Lawvere 1966] It appears to the the context of foundations for mathematics that he has in mind. |
10662 | Mereology is 'nihilistic' (just atoms) or 'universal' (no restrictions on what is 'whole') [Inwagen, by Varzi] |
Full Idea: Van Ingwagen writes of 'mereological nihilism' (that only mereological atoms exist) and of 'mereological universalism' (adhering to the principle of Unrestricted Composition). | |
From: report of Peter van Inwagen (Material Beings [1990], p.72-) by Achille Varzi - Mereology 4.3 | |
A reaction: They both look mereologically nihilistic to me, in comparison with an account that builds on 'natural' wholes and their parts. You can only be 'unrestricted' if you view the 'wholes' in your vast ontology as pretty meaningless (as Lewis does, Idea 10660). |
17587 | The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen] |
Full Idea: I think the validity of the 'Law' of Excluded Middle depends on the assumption that every proposition is definitely true or definitely false. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: I think this is confused. He cites vagueness as the problem, but that is a problem for Bivalence. If excluded middle is read as 'true or not-true', that leaves the meaning of 'not-true' open, and never mentions the bivalent 'false'. |
17558 | Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen] |
Full Idea: Explanations in terms of syntax do not satisfactorily distinguish true variables from dummy or schematic letters. Identifying variables with pronouns, however, provides a genuine explanation of what variables are. | |
From: Peter van Inwagen (Material Beings [1990], 02) | |
A reaction: I like this because it shows that our ordinary thought and speech use variables all the time ('I've forgotten something - what was it?'). He says syntax is fine for maths, but not for ordinary understanding. |
13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
Full Idea: All the main set theories deny that there is a set of which everything is a member. No interpretation has a domain with everything in it. So the universal quantifier never gets to mean everything all at once; 'all' does not mean all. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: Could you have an 'uncompleted' universal set, in the spirit of uncompleted infinities? In ordinary English we can talk about 'absolutely everything' - we just can't define a set of everything. Must we 'define' our domain? |
13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
Full Idea: Models are ways the world might be from a first-order point of view. | |
From: William D. Hart (The Evolution of Logic [2010], 9) |
13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
Full Idea: Modern model theory investigates which set theoretic structures are models for which collections of sentences. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: So first you must choose your set theory (see Idea 13497). Then you presumably look at how to formalise sentences, and then look at the really tricky ones, many of which will involve various degrees of infinity. |
13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
Full Idea: There is no developed methematics of models for second-order theories, so for the most part, model theory is about models for first-order theories. | |
From: William D. Hart (The Evolution of Logic [2010], 9) |
13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
Full Idea: The beginning of modern model theory was when Morley proved Los's Conjecture in 1962 - that a complete theory in a countable language categorical in one uncountable cardinal is categorical in all. | |
From: William D. Hart (The Evolution of Logic [2010], 9) |
13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
Full Idea: First-order logic is 'compact', which means that any logical consequence of a set (finite or infinite) of first-order sentences is a logical consequence of a finite subset of those sentences. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
Full Idea: Berry's Paradox: by the least number principle 'the least number denoted by no description of fewer than 79 letters' exists, but we just referred to it using a description of 77 letters. | |
From: William D. Hart (The Evolution of Logic [2010], 3) | |
A reaction: I struggle with this. If I refer to 'an object to which no human being could possibly refer', have I just referred to something? Graham Priest likes this sort of idea. |
13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
Full Idea: The Burali-Forti Paradox was a crisis for Cantor's theory of ordinal numbers. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
Full Idea: In effect, the machinery introduced to solve the liar can always be rejigged to yield another version the liar. | |
From: William D. Hart (The Evolution of Logic [2010], 4) | |
A reaction: [He cites Hans Herzberger 1980-81] The machinery is Tarski's device of only talking about sentences of a language by using a 'metalanguage'. |
17583 | There are no heaps [Inwagen] |
Full Idea: Fortunately ....there are no heaps. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: This is the nihilist view of (inorganic) physical objects. If a wild view solves all sorts of problems, one should take it serious. It is why I take reductive physicalism about the mind seriously. (Well, it's true, actually) |
13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
Full Idea: We can show (using the axiom of choice) that the less-than relation, <, well-orders the ordinals, ...and that it partially orders the ordinals, ...and that it totally orders the ordinals. | |
From: William D. Hart (The Evolution of Logic [2010], 1) |
13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
Full Idea: Since we can map the transfinite ordinals one-one into the infinite cardinals, there are at least as many infinite cardinals as transfinite ordinals. | |
From: William D. Hart (The Evolution of Logic [2010], 1) |
13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
Full Idea: The axiom of infinity with separation yields a least limit ordinal, which is called ω. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
Full Idea: It is easier to generalize von Neumann's finite ordinals into the transfinite. All Zermelo's nonzero finite ordinals are singletons, but if ω were a singleton it is hard to see how if could fail to be the successor of its member and so not a limit. | |
From: William D. Hart (The Evolution of Logic [2010], 3) |
13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
Full Idea: The real numbers were not isolated from geometry until the arithmetization of analysis during the nineteenth century. | |
From: William D. Hart (The Evolution of Logic [2010], 1) |
13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
Full Idea: Mathematical induction is a way to establish truths about the infinity of natural numbers by a finite proof. | |
From: William D. Hart (The Evolution of Logic [2010], 5) | |
A reaction: If there are truths about infinities, it is very tempting to infer that the infinities must therefore 'exist'. A nice, and large, question in philosophy is whether there can be truths without corresponding implications of existence. |
13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
Full Idea: There is a familiar comparison between Euclid (unique parallel) and 'spherical' geometry (no parallel) and 'saddle' geometry (several parallels). | |
From: William D. Hart (The Evolution of Logic [2010], 2) |
13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
Full Idea: The thesis that no existence proposition is analytic is one of the few constants in philosophical consciences, but there are many existence claims in mathematics, such as the infinity of primes, five regular solids, and certain undecidable propositions. | |
From: William D. Hart (The Evolution of Logic [2010], 2) |
13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
Full Idea: Jespersen calls a noun a mass word when it has no plural, does not take numerical adjectives, and does not take 'fewer'. | |
From: William D. Hart (The Evolution of Logic [2010], 3) | |
A reaction: Jespersen was a great linguistics expert. |
17578 | I reject talk of 'stuff', and treat it in terms of particles [Inwagen] |
Full Idea: I have a great deal of difficulty with an ontology that includes 'stuffs' in addition to things. ...I prefer to replace talk of sameness of matter with talk of sameness of particles. | |
From: Peter van Inwagen (Material Beings [1990], 14) | |
A reaction: Van Inwagen is wedded to the idea that reality is composed of 'simples' - even if physicists seem now to talk of 'fields' as much as they do about objects in the fields. Has philosophy yet caught up with Maxwell? |
17582 | Singular terms can be vague, because they can contain predicates, which can be vague [Inwagen] |
Full Idea: Since singular terms can contain predicates, and since vague predicates are common, vague singular terms are common. For 'the tallest man that Sally knows' there are lots of men for whom it is unclear whether Sally knows them. | |
From: Peter van Inwagen (Material Beings [1990], 17) |
4913 | Brain lesions can erase whole categories of perception, suggesting they are hard-wired [Carter,R] |
Full Idea: The discovery that a single brain lesion can erase all knowledge of man-made artefacts, or all knowledge of animals, suggests that these categories somehow hard-wired into the brain - that we all have a set of 'memory pigeonholes'. | |
From: Rita Carter (Mapping the Mind [1998], p.190) | |
A reaction: Presumably something can become 'hard-wired' through experience, rather than from birth. The whole idea of 'hard-wired' seems misleading about the brain. What matters is that the brain physically constructs categories. |
17556 | Material objects are in space and time, move, have a surface and mass, and are made of some stuff [Inwagen] |
Full Idea: A thing is a material object if it occupies space and endures through time and can move about in space (literally move, unlike a shadow or wave or reflection) and has a surface and has a mass and is made of a certain stuff or stuffs. | |
From: Peter van Inwagen (Material Beings [1990], 01) | |
A reaction: It is not at all clear what electrons (which must count for him as 'simples') are made of. |
8264 | Maybe table-shaped particles exist, but not tables [Inwagen, by Lowe] |
Full Idea: Van Ingwagen holds that although table-shaped collections of particles exist, tables do not. | |
From: report of Peter van Inwagen (Material Beings [1990], Ch.13) by E.J. Lowe - The Possibility of Metaphysics 2.3 | |
A reaction: I find this idea appealing. See the ideas of Trenton Merricks. When you get down to micro-level, it is hard to individuate a table among the force fields, and hard to distinguish a table from a smashed or burnt table. An ontology without objects? |
17565 | Nihilism says composition between single things is impossible [Inwagen] |
Full Idea: Nihilism about objects says there is a Y such that the Xs compose it if and only if there is only one of the Xs. | |
From: Peter van Inwagen (Material Beings [1990], 08) | |
A reaction: He says that Unger, the best known 'nihilist' about objects, believes a different version - claiming there are composites, but they never make up the ordinary objects we talk about. |
14228 | If there are no tables, but tables are things arranged tablewise, the denial of tables is a contradiction [Liggins on Inwagen] |
Full Idea: Van Inwagen says 'there are no tables', and 'there are tables' means 'there are some things arranged tablewise'. Presumably 'there are no tables' negates the latter claim, saying no things are arranged tablewise. But he should think that is false. | |
From: comment on Peter van Inwagen (Material Beings [1990], 10) by David Liggins - Nihilism without Self-Contradiction 3 | |
A reaction: Liggins's nice paper shows that Van Inwagen is in a potential state of contradiction when he starts saying that there are no tables, but that there are things arranged tablewise, and that they amount to tables. Liggins offers him an escape. |
14468 | Actions by artefacts and natural bodies are disguised cooperations, so we don't need them [Inwagen] |
Full Idea: All the activities apparently carried out by shelves and stars and other artefacts and natural bodies can be understood as disguised cooperative activities. And, therefore, we are not forced to grant existence to any artefacts or natural bodies. | |
From: Peter van Inwagen (Material Beings [1990], 12) | |
A reaction: In 'the crowd tore her to pieces' are we forced to accept the existence of a crowd? We can't say 'Jack tore her to pieces' and 'Jill tore her to pieces'. If a plural quantification is unavoidable, we have to accept the plurality. Perhaps. |
17571 | Every physical thing is either a living organism or a simple [Inwagen] |
Full Idea: The thesis about composition and parthood that I am advocating has far-reaching ontological consequences: that every physical thing is either a living organism or a simple. | |
From: Peter van Inwagen (Material Beings [1990], 10) | |
A reaction: A 'simple' is a placeholder for anything considered to be a fundamental unit of existence (such as an electron or a quark). This amazingly sharp distinction strikes me as utterly implausible. There is too much in the middle ground. |
17562 | The statue and lump seem to share parts, but the statue is not part of the lump [Inwagen] |
Full Idea: Those who believe that the statue is distinct from the lump should concede that whatever shares a part with the statue shares a part with the lump but deny that the statue is a part of the lump. | |
From: Peter van Inwagen (Material Beings [1990], 05) | |
A reaction: Standard mereology says if they share all their parts then they are the same thing, so it is hard to explain how they are 'distinct'. The distinction is only modal - that they could be separated (by squashing, or by part substitution). |
17574 | If you knead clay you make an infinite series of objects, but they are rearrangements, not creations [Inwagen] |
Full Idea: If you can make a (random) gollyswoggle by accident by kneading clay, then you must be causing the generation and corruption of a series of objects of infinitesimal duration. ...We have not augmented the furniture of the world but only rearranged it. | |
From: Peter van Inwagen (Material Beings [1990], 13) | |
A reaction: Van Inwagen's final conclusion is a bit crazy, but I am in sympathy with his general scepticism about what sorts of things definitively constitute 'objects'. He overrates simples, and he overrates lives. |
17531 | I assume matter is particulate, made up of 'simples' [Inwagen] |
Full Idea: I assume in this book that matter is ultimately particulate. Every material being is composed of things that have no proper parts: 'elementary particles' or 'mereological atoms' or 'metaphysical simples'. | |
From: Peter van Inwagen (Material Beings [1990], Pref) | |
A reaction: It may be that modern physics doesn't support this, if 'fields' is the best term for what is fundamental. Best to treat his book as hypothetical - IF there are just simples, proceed as follows. |
17560 | If contact causes composition, do two colliding balls briefly make one object? [Inwagen] |
Full Idea: If composition just requires contact, if I cause the cue ball to rebound from the eight ball, do I thereby create a short-lived object shaped like two slightly flattened spheres in contact? | |
From: Peter van Inwagen (Material Beings [1990], 03) | |
A reaction: [compressed] |
17561 | If bricks compose a house, that is at least one thing, but it might be many things [Inwagen] |
Full Idea: If composition just requires contact, that tells us that the bricks of a house compose at least one thing; it does not tell us that they also compose at most one thing. | |
From: Peter van Inwagen (Material Beings [1990], 04) |
17566 | I think parthood involves causation, and not just a reasonably stable spatial relationship [Inwagen] |
Full Idea: I propose that parthood essentially involves causation. Too many philosophers have supposed that objects compose something when and only when they stand in some (more or less stable) spatial relationship to one another. | |
From: Peter van Inwagen (Material Beings [1990], 09) | |
A reaction: I have to say that I like this, even though it comes from a thinker who is close to nihilism about ordinary non-living objects. He goes on to say that only a 'life' provides the right sort of causal relationship. |
14230 | We can deny whole objects but accept parts, by referring to them as plurals within things [Inwagen, by Liggins] |
Full Idea: Van Inwagen's claim that nothing has parts causes incredulity. ..But the problem is not with endorsing the sentence 'Some things have parts'; it is with interpreting this sentence by means of singular resources rather than plural ones. | |
From: report of Peter van Inwagen (Material Beings [1990], 7) by David Liggins - Nihilism without Self-Contradiction | |
A reaction: Van Inwagen notoriously denies the existence of normal physical objects. Liggins shows that modern formal plural quantification gives a better way of presenting his theory, by accepting tables and parts of tables as plurals of basic entities. |
17557 | Special Composition Question: when is a thing part of something? [Inwagen] |
Full Idea: The Special Composition Question asks, In what circumstances is a thing a (proper) part of something? | |
From: Peter van Inwagen (Material Beings [1990], 02) | |
A reaction: [He qualifies this formulation as 'misleading'] It's a really nice basic question for the metaphysics of objects. |
17564 | The essence of a star includes the released binding energy which keeps it from collapse [Inwagen] |
Full Idea: I think it is part of the essence of a star that the radiation pressures that oppose the star's tendency to gravitational collapse has its source in the release of no-longer-needed nuclear binding energy when colliding nuclei fuse in the star's hot core. | |
From: Peter van Inwagen (Material Beings [1990], 07) | |
A reaction: A perfect example of giving the essence of something as the bottom level of its explanation. This even comes from someone who doesn't really believe in stars! |
17575 | The persistence of artifacts always covertly involves intelligent beings [Inwagen] |
Full Idea: Statements that are apparently about the persistence of artifacts make covert reference to the dispositions of intelligent beings to maintain certain arrangements of matter. | |
From: Peter van Inwagen (Material Beings [1990], 13) | |
A reaction: If you build a self-sustaining windmill that pumps water, that seems to have an identity of its own, apart from the intentions of whoever makes it and repairs it. The function of an artefact is not just the function we want it to have. |
17577 | When an electron 'leaps' to another orbit, is the new one the same electron? [Inwagen] |
Full Idea: Is the 'new' electron in the lower orbit the one that was in the higher orbit? Physics, as far as I can tell, has nothing to say about this. | |
From: Peter van Inwagen (Material Beings [1990], 14) | |
A reaction: I suspect that physicists would say that philosophers are worrying about such questions because they haven't grasped the new conceptual scheme that emerged in 1926. The poor mutts insist on hanging on to 'objects'. |
17589 | If you reject transitivity of vague identity, there is no Ship of Theseus problem [Inwagen] |
Full Idea: If you have rejected the Principle of the Transitivity of (vague) Identity, it is hard to see how the problem of the Ship of Theseus could arise. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: I think this may well be the best solution to the whole problem |
17588 | We should talk of the transitivity of 'identity', and of 'definite identity' [Inwagen] |
Full Idea: In some contexts, the principle of 'the transitivity of identity' should be called 'the transitivity of definite identity'. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: He is making room for a person to retain identity despite having changed. Applause from me. |
17572 | Actuality proves possibility, but that doesn't explain how it is possible [Inwagen] |
Full Idea: A proof of actuality is a proof of possibility, but that does not invariably explain the possibility whose existence it demonstrates, for we may know that a certain thing is actual (and hence possible) but have no explanation of how it could be possible. | |
From: Peter van Inwagen (Material Beings [1990], 12) | |
A reaction: I like this, because my project is to see all of philosophy in terms of explanation rather than of description. |
17579 | Counterparts reduce counterfactual identity to problems about similarity relations [Inwagen] |
Full Idea: Counterpart Theory essentially reduces all problems about counterfactual identity to problems about choosing appropriate similarity relations. That is, Counterpart Theory essentially eliminates problems of counterfactual identity as such. | |
From: Peter van Inwagen (Material Beings [1990], 14) |
17590 | A merely possible object clearly isn't there, so that is a defective notion [Inwagen] |
Full Idea: The notion of a merely possible object is an even more defective notion than the notion of a borderline object; after all, a merely possible object is an object that definitely isn't there. | |
From: Peter van Inwagen (Material Beings [1990], 19) |
17591 | Merely possible objects must be consistent properties, or haecceities [Inwagen] |
Full Idea: Talk of merely possible objects may be redeemed in either maximally consistent sets of properties or in haecceities. | |
From: Peter van Inwagen (Material Beings [1990], 19) |
13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
Full Idea: The conception of Frege is that self-evidence is an intrinsic property of the basic truths, rules, and thoughts expressed by definitions. | |
From: William D. Hart (The Evolution of Logic [2010], p.350) | |
A reaction: The problem is always that what appears to be self-evident may turn out to be wrong. Presumably the effort of arriving at a definition ought to clarify and support the self-evident ingredient. |
13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
Full Idea: In the case of the parallels postulate, Euclid's fifth axiom (the whole is greater than the part), and comprehension, saying was believing for a while, but what was said was false. This should make a shrewd philosopher sceptical about a priori knowledge. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: Euclid's fifth is challenged by infinite numbers, and comprehension is challenged by Russell's paradox. I can't see a defender of the a priori being greatly worried about these cases. No one ever said we would be right - in doing arithmetic, for example. |
4910 | Sense organs don't discriminate; they reduce various inputs to the same electrical pulses [Carter,R] |
Full Idea: Despite their variety, each sense organ translates its stimulus into electrical pulses; rather than discriminating one type of input from another, the sense organs actually make them more alike. | |
From: Rita Carter (Mapping the Mind [1998], p.174) | |
A reaction: An illuminating observation, which modern 'naïve realists' should bear in mind. Secondary qualities are entirely unrelated to the nature of the input, and are merely 'what the brain decides to make of it'. Discrimination is in our neurons. |
4911 | The recognition sequence is: classify, name, locate, associate, feel [Carter,R, by PG] |
Full Idea: The sequence of events in the brain for perceptual recognition is first identifying a rough class for the object, then a name, then a location, then some associations, and finally an emotion. | |
From: report of Rita Carter (Mapping the Mind [1998], p.181) by PG - Db (ideas) | |
A reaction: This seems to be one of those places where neuro-science trumps philosophy. You can't argue with empirical research, so philosophical theories had better adapt themselves to this sequence. The big modern discovery is the place of emotion in recognition. |
4919 | There seems to be no dividing line between a memory and a thought [Carter,R] |
Full Idea: It has become clear from research that there is no clear dividing line between a memory and a thought. | |
From: Rita Carter (Mapping the Mind [1998], p.308) | |
A reaction: This always struck me as an obvious criticism of Descartes, when he claimed that memory was not an essential part of the 'thinking thing'. How can you think or understand without memory of the different phases of your thoughts? No memory, no mind! |
4908 | No one knows if animals are conscious [Carter,R] |
Full Idea: No one knows if animals are conscious. | |
From: Rita Carter (Mapping the Mind [1998], p.155) | |
A reaction: This is a report from the front line of brain research, and should be born in mind when over-confident people make pronouncements about this topic. It strikes me as important to grasp that animals MIGHT not be conscious. |
4904 | Proper brains appear at seven weeks, and neonates have as many neurons as adults do [Carter,R] |
Full Idea: The main sections of the brain, including the cerebral cortex, are visible within seven weeks of conception, and by the time the child is born the brain contains as many neurons - about 100 billion - as it will have as an adult. | |
From: Rita Carter (Mapping the Mind [1998], p. 17) | |
A reaction: Of interest in the abortion debate, and also in thinking about personal identity. However, it seems clear that the number of connections, rather than neurons, is what really matters. A small infant may well lack personal identity. |
4902 | Pain doesn't have one brain location, but is linked to attention and emotion [Carter,R] |
Full Idea: Scans show there is no such thing as a pain centre; pain springs mainly from the activation of areas associated with attention and emotion. | |
From: Rita Carter (Mapping the Mind [1998], p. 12) | |
A reaction: Most brain research points to the complex multi-layered nature of experiences that were traditionally considered simple. We can be distracted from a pain, and an enormous number of factors can affect our degree of dislike of a given pain. |
4915 | In primates, brain size correlates closely with size of social group [Carter,R] |
Full Idea: Brain size in primates is closely associated with the size of the social group in which the animal lives. | |
From: Rita Carter (Mapping the Mind [1998], p.257) | |
A reaction: Intriguing. Humans can have huge social groups because of language, which suggests a chicken-or-egg question. Language, intelligence and size of social group must have expanded together in humans. |
4917 | Consciousness involves awareness, perception, self-awareness, attention and reflection [Carter,R] |
Full Idea: Awareness, perception, self-awareness, attention and reflection are all separate components of consciousness, and the quality of our experience varies according to which and how many of them are present. | |
From: Rita Carter (Mapping the Mind [1998], p.300) | |
A reaction: Philosophers like to emphasise 'qualia' and 'intentionality'. This remark slices the cake differently. 'Attention' is interesting, dividing consciousness into two areas, with some experience fading away into the darkness. Hume denied self-awareness. |
4916 | There is enormous evidence that consciousness arises in the frontal lobes of the brain [Carter,R] |
Full Idea: A huge volume of evidence suggests that consciousness emerges from the activity of the cerebral cortex, and in particular from the frontal lobes. | |
From: Rita Carter (Mapping the Mind [1998], p.298) | |
A reaction: Dualists must face up to this, and even many physicalists have a rather vague notion about the location of awareness, but we are clearly homing in very precise physical substances which have consciousness as a feature. |
4905 | Normal babies seem to have overlapping sense experiences [Carter,R] |
Full Idea: Connections in a baby's brain probably give the infant the experience of 'seeing' sounds and 'hearing' colours - which occasionally continues into adulthood, where it is known as 'synaesthesia'. | |
From: Rita Carter (Mapping the Mind [1998], p. 19) | |
A reaction: A fact to remember when discussing secondary qualities, and the relativism involved in the way we perceive the world. If you have done your philosophy right, you shouldn't be surprised by this discovery. |
4918 | In blindsight V1 (normal vision) is inactive, but V5 (movement) lights up [Carter,R] |
Full Idea: Scans show that a sub-section of the visual cortex called V5 - the area that registers movement - lights up during blindsight, even though V1 - the primary sensory area that is essential for normal sight - is not active. | |
From: Rita Carter (Mapping the Mind [1998], p.307) | |
A reaction: The whole point of blindsight is to make us realise that vision involves not one module, but a whole team of them. The inference is that V1 involves consciousness, but other areas of the visual cortex don't. |
4912 | Out-of-body experiences may be due to temporary loss of proprioception [Carter,R] |
Full Idea: Out-of-body experiences may be due to temporary loss of proprioception. | |
From: Rita Carter (Mapping the Mind [1998], p.187) | |
A reaction: This is only a speculation, but it is an effect which can be caused by brain injury, and dualists should face the possibility that this evidence (prized by many dualists) can have a physical explanation. |
4903 | Scans of brains doing similar tasks produce very similar patterns of activation [Carter,R] |
Full Idea: The pattern of brain activation during, say, a word retrieval task is usually similar enough among the dozen or so participants who typically take part in such studies for their scans to be overlaid and still show a clear pattern. | |
From: Rita Carter (Mapping the Mind [1998], p. 17) | |
A reaction: This doesn't surprise me, though it could be interpreted as supporting type-type identity, or as supporting functionalism. Armstrong and Lewis endorse a sort of reductive functionalism which would fit this observation. |
4920 | Thinking takes place on the upper side of the prefrontal cortex [Carter,R] |
Full Idea: The nuts and bolts of thinking - holding ideas in mind and manipulating them - takes place on the upper side of the prefrontal cortex. | |
From: Rita Carter (Mapping the Mind [1998], p.312) | |
A reaction: Keep this firmly in view! Imagine that the skull is transparent, and brain activity moves in waves of colour. Dualism would, in those circumstances, never have even occurred to anyone. |
4906 | Babies show highly emotional brain events, but may well be unaware of them [Carter,R] |
Full Idea: Babies show emotion dramatically, but the areas of the brain that in adults are linked to the conscious experience of emotions are not active in newborn babies. Such emotions may therefore be unconscious. | |
From: Rita Carter (Mapping the Mind [1998], p. 19) | |
A reaction: Traditionally, 'unconscious emotion' is a contradiction, but I think we should accept this new evidence and rethink the nature of mind. Not only might emotion be non-conscious, but we should even consider that rational thinking could be too. |
4909 | The only way we can control our emotions is by manipulating the outside world that influences them [Carter,R] |
Full Idea: We try to manipulate our emotions all the time, but all we are doing is arranging the outside world so it triggers certain emotions - we cannot control our reactions directly. | |
From: Rita Carter (Mapping the Mind [1998], p.155) | |
A reaction: This seems to me to throw a very illuminating light on a huge amount of human behaviour, such as going to the cinema or listening to music. The romantic movement encouraged direct internal manipulation. Compare sex fantasies with viewing pornography. |
4914 | A frog will starve to death surrounded by dead flies [Carter,R] |
Full Idea: A frog will starve to death surrounded by dead flies. | |
From: Rita Carter (Mapping the Mind [1998], p.195) | |
A reaction: A nice warning against assuming that rationality is operating when a frog feels hungry and 'decides' to have lunch. We should take comfort from the fact that humans are NOT this stupid, and philosophers should try to accurately describe our gift. |
13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
Full Idea: A Fregean concept is a function that assigns to each object a truth value. So instead of the colour green, the concept GREEN assigns truth to each green thing, but falsity to anything else. | |
From: William D. Hart (The Evolution of Logic [2010], 2) | |
A reaction: This would seem to immediately hit the renate/cordate problem, if there was a world in which all and only the green things happened to be square. How could Frege then distinguish the green from the square? Compare Idea 8245. |
4907 | The 'locus coeruleus' is one of several candidates for the brain's 'pleasure centre' [Carter,R] |
Full Idea: Noradrenaline is an excitatory chemical that induces physical and mental arousal and heightens mood. Production is centred in an area of the brain called the locus coeruleus, which is one of several candidates for the brain's 'pleasure' centre. | |
From: Rita Carter (Mapping the Mind [1998], p. 30) | |
A reaction: It seems to me very morally desirable that people understand facts of this kind, so that they can be more objective about pleasure. Pleasure is one cog in the machine that makes a person, not the essence of human life. |
17563 | The strong force pulls, but also pushes apart if nucleons get too close together [Inwagen] |
Full Idea: The strong force doesn't always pull nucleons together, but pushes them apart if they get too close. | |
From: Peter van Inwagen (Material Beings [1990], 07) | |
A reaction: Philosophers tend to learn their physics from other philosophers. But that's because philosophers are brilliant at picking out the interesting parts of physics, and skipping the boring stuff. |
17559 | Is one atom a piece of gold, or is a sizable group of atoms required? [Inwagen] |
Full Idea: A physicist once told me that of course a gold atom was a piece of gold, and a physical chemist has assured me that the smallest possible piece of gold would have to be composed of sixteen or seventeen atoms. | |
From: Peter van Inwagen (Material Beings [1990], 01) | |
A reaction: The issue is at what point all the properties that we normally begin to associate with gold begin to appear. One water molecule can hardly have a degree of viscosity or liquidity. |
17584 | Some events are only borderline cases of lives [Inwagen] |
Full Idea: There are events of which it is neither definitely true nor definitely false that those events are lives. I do not see how we can deny this. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: Very frustrating, since this is my main objection to Van Inwagen's distinction between unified lives and mere collections of simples. Some boundaries are real enough, despite their vagueness, and others indicate that there is no real distinction. |
17586 | At the lower level, life trails off into mere molecular interaction [Inwagen] |
Full Idea: The lives of the lower links of the Great Chain of Being trail off into vague, temporary episodes of molecular interaction. | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: His case involves conceding all sorts of vagueness to life, but asserting the utter distinctness of the full blown cases of more elaborate life. I don't really concede the distinction. |
17567 | A flame is like a life, but not nearly so well individuated [Inwagen] |
Full Idea: A flame, though it is a self-maintaining event, does not seem to be nearly so well individuated as a life. | |
From: Peter van Inwagen (Material Beings [1990], 09) | |
A reaction: This is to counter the standard problem that if you attempt to define 'life', fire turns out to tick nearly all the same boxes. The concept of 'individuated' often strikes me as unsatisfactory. How does a bonfire fail to be individuated? |
17568 | A tumour may spread a sort of life, but it is not a life, or an organism [Inwagen] |
Full Idea: A tumour is not an organism (or a parasite) and there is no self-regulating event that is its life. It does not fill one space, but is a locus within which a certain sort of thing is happening: the spreading of a certain sort of (mass-term) life. | |
From: Peter van Inwagen (Material Beings [1990], 09) |
17569 | Unlike waves, lives are 'jealous'; it is almost impossible for them to overlap [Inwagen] |
Full Idea: A wave is not a 'jealous' event. Lives, however, are jealous. It cannot be that the activities of the Xs constitute at one and the same time two lives. Only in certain special cases can two lives overlap. | |
From: Peter van Inwagen (Material Beings [1990], 09) |
17580 | One's mental and other life is centred on the brain, unlike any other part of the body [Inwagen] |
Full Idea: One's life - not simply one's mental life - is centered in the activity of the simples that virtually compose one's brain in a way in which it is not centered in the activity of any of the other simples that compose one. | |
From: Peter van Inwagen (Material Beings [1990], 15) | |
A reaction: This justifies the common view that 'one follows one's brain'. I take that to mean that my brain embodies my essence. I would read 'centered on' as 'explains'. |
17576 | If God were to 'reassemble' my atoms of ten years ago, the result would certainly not be me [Inwagen] |
Full Idea: If God were to 'reassemble' the atoms that composed me ten years ago, the resulting organism would certainly not be me. | |
From: Peter van Inwagen (Material Beings [1990], 13) | |
A reaction: What is obvious to Van Inwagen is not obvious to me. He thinks lives are special. Such examples just leave us bewildered about what counts as 'the same', because our concept of sameness wasn't designed to deal with such cases. |
17585 | Life is vague at both ends, but could it be totally vague? [Inwagen] |
Full Idea: Individual human lives are infected with vagueness at both ends. ...But could there be a 'borderline life'? | |
From: Peter van Inwagen (Material Beings [1990], 18) | |
A reaction: Van Inwagen says (p.239) that there may be wholly vague lives, though it would suit his case better if there were not. |
17570 | The chemical reactions in a human life involve about sixteen elements [Inwagen] |
Full Idea: There are sixteen or so chemical elements involved in those chemical reactions that collectively constitute the life of a human being. | |
From: Peter van Inwagen (Material Beings [1990], 09) |
17581 | Being part of an organism's life is a matter of degree, and vague [Inwagen] |
Full Idea: Being caught up in the life of an organism is, like being rich or being tall, a matter of degree, and is in that sense a vague condition. | |
From: Peter van Inwagen (Material Beings [1990], 17) | |
A reaction: Van Inwagen is trying to cover himself, given that he makes a sharp distinction between living organisms, which are unified objects, and everything else, which isn't. There may be a vague centre to a 'life', as well as vague boundaries. |
17573 | There is no reason to think that mere existence is a valuable thing [Inwagen] |
Full Idea: There is no reason to suppose - whatever Saint Anselm and Descartes may have thought - that mere existence is a valuable thing. | |
From: Peter van Inwagen (Material Beings [1990], 12) | |
A reaction: This is one of the simplest and most powerful objections to the Ontological Argument. God's existence may be of great value, but the existence of Hitler wasn't. |