102 ideas
| 15010 | Your metaphysics is 'cheating' if your ontology won't support the beliefs you accept [Sider] |
| Full Idea: Ontological 'cheaters' are those ne'er-do-well metaphysicians (such as presentists, phenomenalists, or solipsists) who refuse to countenance a sufficiently robust conception of the fundamental to underwrite the truths they accept. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.4) | |
| A reaction: Presentists are placed in rather insalubrious company here, The notion of 'cheaters' is nice, and I associate it with Australian philosophy, and the reason that was admired by David Lewis. |
| 14977 | Metaphysics is not about what exists or is true or essential; it is about the structure of reality [Sider] |
| Full Idea: Metaphysics, at bottom, is about the fundamental structure of reality. Not about what's necessarily true. Not about what properties are essential. Not about conceptual analysis. Not about what there is. Structure. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01) | |
| A reaction: The opening words of his book. I take them to be absolutely correct, and to articulate the new orthodoxy about metaphysics which has emerged since about 1995. He expands this as being about patterns, categories and joints. |
| 14994 | Extreme doubts about metaphysics also threaten to undermine the science of unobservables [Sider] |
| Full Idea: The most extreme critics of metaphysics base their critique on sweeping views about language (logical positivism), or knowledge (empiricism), ...but this notoriously threatens the science of unobservables as much as it threatens metaphysics. | |
| From: Theodore Sider (Writing the Book of the World [2011], 05.1) | |
| A reaction: These criticisms also threaten speculative physics (even about what is possibly observable). |
| 15003 | It seems unlikely that the way we speak will give insights into the universe [Sider] |
| Full Idea: It has always seemed odd that insight into the fundamental workings of the universe should be gained by reflection on how we think and speak. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.8) | |
| A reaction: A nice expression of what should by now be obvious to all philosophers - that analysis of language is not going to reveal very much. It is merely clearing the undergrowth so that we can go somewhere. |
| 14986 | Conceptual analysts trust particular intuitions much more than general ones [Sider] |
| Full Idea: Conceptual analysts generally regard intuitive judgements about particular cases as being far more diagnostic than intuitive judgements about general principles. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.4 n7) | |
| A reaction: Since I take the aim to be the building up an accurate picture about general truths, it would be daft to just leap to our intuitions about those general truths. Equally you can't cut intuition out of the picture (pace Ladyman). |
| 15015 | It seems possible for a correct definition to be factually incorrect, as in defining 'contact' [Sider] |
| Full Idea: Arguably, 'there is absolutely no space between two objects in contact' is false, but definitional of 'contact'. ...We need a word for true definitional sentences. I propose: 'analytic'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.8) |
| 14981 | Philosophical concepts are rarely defined, and are not understood by means of definitions [Sider] |
| Full Idea: Philosophical concepts of interest are rarely reductively defined; still more rarely does our understanding of such concepts rest on definitions. ...(We generally understand concepts to the extent that we know what role they play in thinking). | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.1) | |
| A reaction: I'm not sure that I agree with this. I suspect that Sider has the notion of definition in mind that is influenced by lexicography. Aristotle's concept of definition I take to be lengthy and expansive, and that is very relevant to philosophy. |
| 14992 | We don't care about plain truth, but truth in joint-carving terms [Sider] |
| Full Idea: What we care about is truth in joint-carving terms, not just truth. | |
| From: Theodore Sider (Writing the Book of the World [2011], 04.5) | |
| A reaction: The thought is that it matters what conceptual scheme is used to express the truth (the 'ideology'). Truths can be true but uninformative or unexplanatory. |
| 15012 | Orthodox truthmaker theories make entities fundamental, but that is poor for explanation [Sider] |
| Full Idea: According to the entrenched truthmaker theorist, the fundamental facts consist just of facts citing the existence of entities. It's hard to see how all the complexity we experience could possibly be explained from that sparse basis. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.5) | |
| A reaction: This may be the 'entrenched' truthmaker view, but it is not clear why there could not be more complicated fundamental truthmakers, with structure as well as entities. And powers. |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 15023 | The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider] |
| Full Idea: If we accept the Barcan and converse Barcan schemas, this leads to surprising ontological consequences. Wittgenstein might have fathered something, so, by the Barcan schema, there is something that Wittgenstein might have fathered. | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.9) | |
| A reaction: [He cites Tim Williamson for this line of thought] I was liking the Barcan picture, by now I am backing away fast. They cannot be serious! |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 15004 | 'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider] |
| Full Idea: An object is 'gunky' if each of its parts has further proper parts; thus gunk involves infinite descent in the part-whole relation. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.11.2) |
| 14984 | Which should be primitive in mereology - part, or overlap? [Sider] |
| Full Idea: Should our fundamental theory of part and whole take 'part' or 'overlap' as primitive? | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.3) |
| 14980 | There is a real issue over what is the 'correct' logic [Sider] |
| Full Idea: Certain debates over the 'correct' logic are genuine, and not linguistic or conceptual. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01.3) | |
| A reaction: It is rather hard to give arguments in favour of this view, but I am pleased to have the authority of Sider with me. |
| 15000 | 'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider] |
| Full Idea: I cannot legislate-true 'It is raining' and I cannot legislate true 'It is not raining', so if I cannot legislate either true then I cannot legislate-true the disjunction 'it is raining or it is not raining'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: This strikes me as a very simple and very persuasive argument against the idea that logic is a mere convention. I take disjunction to be an abstract summary of how the world works. Sider seems sympathetic. |
| 15020 | Classical logic is good for mathematics and science, but less good for natural language [Sider] |
| Full Idea: Despite its brilliant success in mathematics and fundamental science, classical logic applies uneasily to natural language. | |
| From: Theodore Sider (Writing the Book of the World [2011], 10.6) | |
| A reaction: He gives examples of the conditional, and debates over the meaning of 'and', 'or' and 'not', and also names and quantifiers. Many modern philosophical problems result from this conflict. |
| 15029 | Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider] |
| Full Idea: The simplest modal account is that logical consequence is just necessary consequence; another modal account says that logical consequences are modal consequences that involve only logical words essentially. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.3) | |
| A reaction: [He cites Quine's 'Carnap and Logical Truth' for the second idea] Sider is asserting that Humeans like him dislike modality, and hence need a nonmodal account of logical consequence. |
| 15019 | Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider] |
| Full Idea: Some say that logical constants are those expressions that are defined by their proof-theoretic roles, others that they are the expressions whose semantic values are permutation-invariant, and still others that they are the topic-neutral expressions. | |
| From: Theodore Sider (Writing the Book of the World [2011], 10.3) | |
| A reaction: [He cites MacFarlane 2005 as giving a survey of this] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 15001 | 'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider] |
| Full Idea: 'Tonk' is stipulated by Prior to stand for a meaning that obeys the elimination and introduction rules; but there simply is no such meaning; 'tonk' cannot be interpreted so as to obey the rules. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: 'Tonk' thus seems to present a problem for so-called 'natural' deduction, if the natural deduction consists of nothing more than obey elimination and introduction rules. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 3942 | I do not believe in the existence of anything, if I see no reason to believe it [Berkeley] |
| Full Idea: It is to me a sufficient reason not to believe the existence of anything, if I see no reason for believing it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.205) | |
| A reaction: This may just be a reasonable application of Ockham's Razor, but I fear that Berkeley painted himself into corner by demanding too many 'reasons' for everything. |
| 3952 | I know that nothing inconsistent can exist [Berkeley] |
| Full Idea: I know that nothing inconsistent can exist. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.224) | |
| A reaction: Fine, but the problem is to assess with confidence what is inconsistent. Human imagination seems to be the test for existence. But what else can we do? |
| 15017 | Supervenience is a modal connection [Sider] |
| Full Idea: Supervenience is just a kind of modal connection. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.10) | |
| A reaction: It says what would happen, as well as what does. This is big for Sider because he rejects modality as a feature of actuality. I think the world is crammed full of modal facts, so supervenience should be a handy tool for me. |
| 15008 | Is fundamentality in whole propositions (and holistic), or in concepts (and atomic)? [Sider] |
| Full Idea: The locus of fundamentality for a Finean is the whole proposition, whereas for me it is the proposition-part. Fundamentality is holistic for the Finean, atomistic for me. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.3) | |
| A reaction: This is because Kit Fine has pushed fundamentality into a relation (grounding), rather than into the particular entities involved (if I understand Sider's reading of him aright). My first intuition is to side with Sider. I'm on Sider's side... |
| 15013 | Tables and chairs have fundamental existence, but not fundamental natures [Sider] |
| Full Idea: The existence of tables and chairs is just as fundamental as the existence of electrons (in contrast, perhaps, with smirks and shadows, which do not exist fundamentally). However, tables and chairs have nonfundamental natures. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.7) | |
| A reaction: This seems to be a good clarification, and to me the 'nature' of something points towards its essence. However, I suppose he refers here to the place of something in a dependence hierarchy. But then, why does it have that place? What power? |
| 15014 | Unlike things, stuff obeys unrestricted composition and mereological essentialism [Sider] |
| Full Idea: Stuff obeys unrestricted composition and mereological essentialism, whereas things do not. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.6.2) | |
| A reaction: [He cites Markosian 2004] |
| 15009 | We must distinguish 'concrete' from 'abstract' and necessary states of affairs. [Sider] |
| Full Idea: The truthmaker theorist's 'concrete' states of affairs must be distinguished from necessarily existing 'abstract' states of affairs. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.4) | |
| A reaction: [He cites Plantinga's 'Nature of Necessity' for the second one; I presume the first one is Armstrong] |
| 14983 | Accept the ontology of your best theory - and also that it carves nature at the joints [Sider] |
| Full Idea: We can add to the Quinean advice to believe the ontology of your best theory that you should also regard the ideology of your best theory as carving at the joints. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.3) | |
| A reaction: I've never liked the original Quinean formulation, but this is much better. I just take my ontological commitments to reside in me, not in whatever theory I am currently employing. I may be dubious about my own theory. |
| 14978 | A property is intrinsic if an object alone in the world can instantiate it [Sider] |
| Full Idea: Chisholm and Kim proposed a modal notion of an 'intrinsic' property - that a property is intrinsic if and only if it is possibly instantiated by an object that is alone in the world. | |
| From: Theodore Sider (Writing the Book of the World [2011], 01.2) | |
| A reaction: [He cites Chisholm 1976:127 and Kim 1982:59-60] Sider then gives a counterexample from David Lewis (Idea 14979). |
| 14995 | Predicates can be 'sparse' if there is a universal, or if there is a natural property or relation [Sider] |
| Full Idea: For Armstrong a predicate is sparse when there exists a corresponding universal; for Lewis, a predicate is sparse when there exists a corresponding natural property or relation. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06) | |
| A reaction: I like 'sparse' properties, but have no sympathy with Armstrong, and am cautious about Lewis. I like Shoemaker's account, which makes properties even sparser. 'Abundant' so-called properties are my pet hate. They are 'predicates'! |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 3959 | There is no other substance, in a strict sense, than spirit [Berkeley] |
| Full Idea: There is no other substance, in a strict sense, than spirit. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.257) | |
| A reaction: A nice clear statement of idealism. Why is he so confident of making this assertion. Note the addition, though, of 'in a strict' sense. He is presenting an epistemological claim as if it was an ontological one. |
| 15026 | Essence (even if nonmodal) is not fundamental in metaphysics [Sider] |
| Full Idea: We should not regard nonmodal essence as being metaphysically basic: fundamental theories need essence no more than they need modality. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) | |
| A reaction: He is discussing Kit Fine, and notes that Fine offers a nonmodal view of essence, but still doesn't make it fundamental. I am a fan of essences, but making them fundamental in metaphysics seems unlikely. |
| 3946 | A thing is shown to be impossible if a contradiction is demonstrated within its definition [Berkeley] |
| Full Idea: A thing is shown to be impossible when a repugnancy is demonstrated between the ideas comprehended in its definition. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.214) | |
| A reaction: The problem is always that imagination is needed to see the 'repugnancy', and that is relative and limited. |
| 15030 | Humeans say that we decide what is necessary [Sider] |
| Full Idea: The spirit of Humeanism is that necessity is not a realm to be discovered. We draw the lines around what is necessary. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.3) | |
| A reaction: I disagree, but it is hard to argue the point. My intuitions are that the obvious necessities of logic and mathematics reflect the way nature has to be. The deepest necessities are patterns (about which God has no choice). |
| 15031 | Modal terms in English are entirely contextual, with no modality outside the language [Sider] |
| Full Idea: English modals are context-dependent through and through; there is no stable 'outer modality'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.7) | |
| A reaction: Sider has been doing so well up to here. To me this is swallowing the bait of linguistic approaches to philosophy which he has fought so hard to avoid. |
| 15027 | If truths are necessary 'by convention', that seems to make them contingent [Sider] |
| Full Idea: If □φ says that φ is true by convention, then □φ would apparently turn out to be contingent, since statements about what conventions we adopt are not themselves true by convention. The main axioms of S4 and S5 would be false. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) |
| 15028 | Conventionalism doesn't seem to apply to examples of the necessary a posteriori [Sider] |
| Full Idea: Conventionalism is apparently inapplicable to Kripke's and Putnam's examples of the necessary a posteriori (and, relatedly, to de re modality). | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.1) | |
| A reaction: [Sidelle 1989 discusses this] |
| 15033 | Humeans says mathematics and logic are necessary because that is how our concept of necessity works [Sider] |
| Full Idea: Why are logical (or mathematical, or analytic...) truths necessary? The Humean's answer is that this is just how our concept of necessity works. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.11) | |
| A reaction: This is why I (unlike Sider) am not a Humean. If we agreed that 'necessary' meant 'whatever is decreed by the Pope', that would so obviously not be necessary that we would have to start searching nature for true necessities. |
| 15025 | The world does not contain necessity and possibility - merely how things are [Sider] |
| Full Idea: At bottom, the world is an amodal place. Necessity and possibility do not carve at the joints; ultimate reality is not 'full of threats and promises' (Goodman). The book of the world says how things are, not how they must or might be. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12) | |
| A reaction: Nice to see this expressed so clearly. I find it much easier to disagree with as a result. At first blush I would say that if you haven't noticed that the world is full of threats and promises, you should wake up and smell the coffee. Actuality is active. |
| 3958 | Since our ideas vary when the real things are said to be unchanged, they cannot be true copies [Berkeley] |
| Full Idea: As our ideas are perpetually varied, without any change in the supposed real things, it necessarily follows that they cannot all be true copies of them. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.239) | |
| A reaction: This seems a good objection to any direct or naïve realist view. Colours get darker as the sun goes down, and objects become blurred as they recede into the distance. |
| 3943 | If existence is perceived directly, by which sense; if indirectly, how is it inferred from direct perception? [Berkeley] |
| Full Idea: Either you perceive the being of matter immediately, or mediately; if immediately, pray inform me by which of the senses you perceive it; if mediately, let me know by what reasonings it is inferred from those things which you perceive immediately. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.208) | |
| A reaction: A problem for strong empiricists, and he is right that existence can't be directly perceived, but it seems a good explanation (for which some reason can be shown), and supports a more rationalist view. |
| 3931 | Sensible objects are just sets of sensible qualities [Berkeley] |
| Full Idea: Sensible things are nothing else but so many sensible qualities. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.154) | |
| A reaction: As it stands this is phenomenalism, but Berkeley eventually votes for idealism. He should acknowledge possible sensations which aren't actually experienced. |
| 5192 | Berkeley did not deny material things; he merely said they must be defined through sensations [Berkeley, by Ayer] |
| Full Idea: Berkeley did not (as we are commonly told) deny the reality of material things. ..What Berkeley discovered was that material things must be defined in terms of sense-contents. | |
| From: report of George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.J. Ayer - Language,Truth and Logic Ch.2 | |
| A reaction: This seems to be a rather debatable attempt to claim that Berkeley was a phenomenalist (like Ayer), rather than an idealist. Try ideas 3942, 3944, 3945, 3957, 3959 in this database. |
| 5174 | Berkeley needed a phenomenalist account of the self, as well as of material things [Ayer on Berkeley] |
| Full Idea: The considerations which make it necessary, as Berkeley saw, to give a phenomenalist account of material things, make it necessary also, as Berkeley did not see, to give a phenomenalist account of the self. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.J. Ayer - Language,Truth and Logic Ch.7 | |
| A reaction: Phenomenalism involves 'possible' experiences as well as actual ones. That could add up to quite a rich and stable account of the self, as opposed to Hume's notorious introspection, which only saw an actual shifting 'bundle' of experience. |
| 1103 | 'To be is to be perceived' is a simple confusion of experience with its objects [Russell on Berkeley] |
| Full Idea: Berkeley thinks 'to be is to be perceived', and only God provides continuity. He has simply confused the experience of perception with the thing being perceived. Ideas have content. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by Bertrand Russell - Problems of Philosophy |
| 6403 | For Berkelely, reality is ideas and a community of minds, including God's [Berkeley, by Grayling] |
| Full Idea: Berkeley's thesis is that reality ultimately consists of a community of minds and their ideas; one of the minds (God) is infinite, and causes most of the ideas. | |
| From: report of George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: I think Russell nicely pinpoints what is wrong with Berekely, which is that he confuses ideas with their contents. If I think about my garden, the garden is real (probably), which is the content, and they idea is just a way of thinking. |
| 3936 | Time is measured by the succession of ideas in our minds [Berkeley] |
| Full Idea: Time is measured by the succession of ideas in our minds. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.172) | |
| A reaction: But we distinguish between subjective time (which flies when you are having fun), and objective time, judged from observation of clocks and nature. |
| 3930 | There is no such thing as 'material substance' [Berkeley] |
| Full Idea: That there is no such thing as what philosophers call 'material substance', I am seriously persuaded. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.150) | |
| A reaction: I'm sorry, but I can't do with this. It confuses epistemology with ontology. Ontology is a matter of judgement; epistemology is the evidence on which we base it. We know sensations; personally I judge that there are material substances. What about you? |
| 3939 | I conceive a tree in my mind, but I cannot prove that its existence can be conceived outside a mind [Berkeley] |
| Full Idea: I may conceive in my own thoughts the idea of a tree, but that is all. And this is far from proving that I can conceive it existing out of the minds of all spirits. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.184) | |
| A reaction: If Berkeley has based a world view on this point, then his mistake is to require a 'proof'. Aristotle explained why you can't prove everything (not to mention Gödel). |
| 3945 | There is nothing in nature which needs the concept of matter to explain it [Berkeley] |
| Full Idea: I challenge you to show me that thing in nature which needs matter to explain or account for it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.212) | |
| A reaction: I disagree. Physics is a good theory for explaining why we have perceptions. Failing that there is not even a glimmer of an explanation of our experiences. |
| 3947 | Perceptions are ideas, and ideas exist in the mind, so objects only exist in the mind [Berkeley] |
| Full Idea: Wood, fire, water, flesh, iron, are things that I know, and only known because I perceive them by my senses; these are immediately perceived, and so are ideas; ideas cannot exist without the mind; their existence consists therefore in being perceived. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.220) | |
| A reaction: This makes no distinction between an idea and its content. Berkeley fails to grasp the weird concept of intentionality. Trees aren't in my head, just because I think about them! |
| 3933 | Primary qualities (such as shape, solidity, mass) are held to really exist, unlike secondary qualities [Berkeley] |
| Full Idea: Sensible qualities are by philosophers divided into primary and secondary; the former are extension, figure, solidity, gravity, motion and rest, which exist really in bodies. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.169) | |
| A reaction: A crucial distinction, which anti-realists such as Berkeley end up denying. I think it is a good distinction, and philosophers should fight to preserve it. |
| 3934 | A mite would see its own foot as large, though we would see it as tiny [Berkeley] |
| Full Idea: A mite must be supposed to see his own foot as a body of some considerable dimension, though they appear to you scarcely discernible. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.170) | |
| A reaction: Berkeley is confused. Hot is secondary, but temperature is primary. Bigness is secondary, size primay. Midgets and tall people don't disagree over the size of a table. |
| 3935 | The apparent size of an object varies with its distance away, so that can't be a property of the object [Berkeley] |
| Full Idea: As we approach to or recede from an object, the visible extension varies, being at one distance ten or a hundred times greater than at another; doth it not follow that it is not really inherent in the object? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.171) | |
| A reaction: Berkeley is confused, because he is too literally empirical. Qualities are not self-evidently primary or secondary, but are judged so after comparisons (e.g. with testimony, or with the other senses). |
| 3937 | 'Solidity' is either not a sensible quality at all, or it is clearly relative to our senses [Berkeley] |
| Full Idea: By 'solidity' either you do not mean any sensible quality, and so it is beside our enquiry; or if you do, it must be hardness or resistance, which are plainly relative to our senses. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.173) | |
| A reaction: Berkeley fails to recognise that a quality can have primary and secondary aspects (hot/high temperature). He is right that primary qualities are not directly perceived. They are judgements. |
| 3940 | Distance is not directly perceived by sight [Berkeley] |
| Full Idea: Distance is not properly and immediately perceived by sight. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.186) | |
| A reaction: Interestingly, if secondary qualities are not strictly perceptions of the object, and primary qualities are not directly perceived, then we don't seem to perceive anything at all. Perhaps we should drop the concept of 'perception'? |
| 3957 | Immediate objects of perception, which some treat as appearances, I treat as the real things themselves [Berkeley] |
| Full Idea: Those immediate objects of perception, which, according to you, are only appearances of things, I take to be the real things themselves. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.237) | |
| A reaction: If that is a judgement, which it seems to be, it is a strange one. Realists offer a much better explanation of perceptions. |
| 3953 | Real things and imaginary or dreamed things differ because the latter are much fainter [Berkeley] |
| Full Idea: The difference between real things, and chimeras formed by the imagination, or the visions of a dream, is that the latter are faint and indistinct. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.225) | |
| A reaction: In Hume this becomes 'impressions' and 'ideas'. It does raise the question of WHY some ideas are not as faint as others. |
| 3938 | Geometry is originally perceived by senses, and so is not purely intellectual [Berkeley] |
| Full Idea: Figures and extension, being originally perceived by sense, do not belong to pure intellect. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.176) | |
| A reaction: Is the square root of 169 less 'pure' in my mind if I learn it from laying out bricks instead of by thinking about numbers? Confusion of how you learn with what you learn? |
| 3944 | It is possible that we could perceive everything as we do now, but nothing actually existed. [Berkeley] |
| Full Idea: We might perceive all things just as we do now, though there was no matter in the world. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.209) | |
| A reaction: An old Greek argument. Now we have an explanation of experience, but we wouldn't if nothing existed. Which doesn't prove that anything exists. Is some explanation always preferable to none? Cf. religion. |
| 3932 | A hot hand and a cold hand will have different experiences in the same tepid water [Berkeley] |
| Full Idea: Suppose now one of your hands hot, and the other cold, and that they are both at once put into the same vessel of water, in an intermediate state; will not the water seem cold to one hand, and warm to the other? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.158) | |
| A reaction: A nice clear example of how some relativism must be acknowledged. It feels hot, but what is its temperature in degrees C? |
| 14988 | A theory which doesn't fit nature is unexplanatory, even if it is true [Sider] |
| Full Idea: 'Theories' based on bizarre, non-joint-carving classifications are unexplanatory even when true. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.1) | |
| A reaction: This nicely pinpoints why I take explanation to be central to whole metaphysical enterprise. |
| 14982 | If I used Ramsey sentences to eliminate fundamentality from my theory, that would be a real loss [Sider] |
| Full Idea: If the entire theory of this book were replaced by its Ramsey sentence, omitting all mention of fundamentality, something would seem to be lost. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.2 n2) | |
| A reaction: It is a moot point whether Ramsey sentences actually eliminate anything from the ontology, but trying to wriggle out of ontological commitment looks a rather sad route to follow. |
| 14989 | Problem predicates in induction don't reflect the structure of nature [Sider] |
| Full Idea: 'Is nonblack', 'is a nonraven', and 'grue' fail to carve at the joints. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.3) | |
| A reaction: A lot more than this needs to said, but this remark encapsulates why I find most of these paradoxes of induction uninteresting. They are all the creations of logicians, rather than of scientists. |
| 14997 | Two applications of 'grue' do not guarantee a similarity between two things [Sider] |
| Full Idea: The applicability of 'grue' to each of a pair of particulars does not guarantee the similarity of those particulars. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.2) | |
| A reaction: Grue is not a colour but a behaviour. If two things are 'mercurial' or 'erratic', will that ensure a similarity at any given moment? |
| 14990 | Bayes produces weird results if the prior probabilities are bizarre [Sider] |
| Full Idea: In the Bayesian approach, bizarre prior probability distributions will result in bizarre responses to evidence. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.3) | |
| A reaction: This is exactly what you find when people with weird beliefs encounter ridiculous evidence for things. It doesn't invalidate the formula, but just says rubbish in rubbish out. |
| 15005 | Explanations must cite generalisations [Sider] |
| Full Idea: Explanations must cite generalisations. | |
| From: Theodore Sider (Writing the Book of the World [2011], 07.13) | |
| A reaction: I'm uneasy about this. Presumably some events have a unique explanation - a unique mechanism, perhaps. Language is inescapably general in its nature - which I take to be Aristotle's reason for agreeing the Sider. [Sider adds mechanisms on p.159] |
| 15011 | If the ultimate explanation is a list of entities, no laws, patterns or mechanisms can be cited [Sider] |
| Full Idea: Ultimate explanations always terminate in the citation of entities; but since a mere list of entities is so unstructured, these 'explanations' cannot be systematized with detailed general laws, patterns, or mechanisms. | |
| From: Theodore Sider (Writing the Book of the World [2011], 08.5) | |
| A reaction: We just need to distinguish between ultimate ontology and ultimate explanations. I think explanations peter out at the point where we descend below the mechanisms. Patterns or laws don't explain on their own. Causal mechanisms are the thing. |
| 3948 | Experience tells me that other minds exist independently from my own [Berkeley] |
| Full Idea: It is plain that other minds have an existence exterior to my mind, since I find them by experience to be independent of it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.220) | |
| A reaction: This is a surprising claim from Berkeley. If trees only exist through their experience in my mind, why don't other minds exist in the same way? |
| 15018 | Intentionality is too superficial to appear in the catalogue of ultimate physics [Sider] |
| Full Idea: One day the physicists will complete the catalogue of ultimate and irreducible properties of things. When they do, the like of spin, charm and charge will perhaps appear on the list. But aboutness sure won't; intentionality simply doesn't go that deep. | |
| From: Theodore Sider (Writing the Book of the World [2011], 4 Intro) | |
| A reaction: Fodor's project is to give a reductive, and perhaps eliminative, account of intentionality of mind, while leaving open what one might do with the phenomenological aspects. Personally I don't think they will appear on the list either. |
| 3941 | How can that which is unthinking be a cause of thought? [Berkeley] |
| Full Idea: How can that which is unthinking be a cause of thought? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.203) | |
| A reaction: Presumably, though, he thinks that thought can cause 'that which is unthinking' to move'. He likes one half of the interaction problem (which supports dualism), but avoids the other half. |
| 5374 | Berkeley probably used 'idea' to mean both the act of apprehension and the thing apprehended [Russell on Berkeley] |
| Full Idea: Berkeley seems to have confused the colour of the thing apprehended with the act of apprehension; probably either of these would have been called an 'idea' be Berkeley. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by Bertrand Russell - Problems of Philosophy | |
| A reaction: If we are saying that Berkeley's error was entirely verbal, there is a chicken-and-egg problem. He was an idealist, so he wouldn't have thought that there were two separate concepts behind the word 'idea'. Russell merely asserts that there are. |
| 14999 | Prior to conventions, not all green things were green? [Sider] |
| Full Idea: It is absurd to say that 'before we introduced our conventions, not all green things were green'. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: Well… Different cultures label the colours of the rainbow differently, and many of them omit orange. I suspect the blue/green borderline has shifted. |
| 14998 | Conventions are contingent and analytic truths are necessary, so that isn't their explanation [Sider] |
| Full Idea: To suggest that analytic truths make statements about linguistic conventions is a nonstarter; statements about linguistic conventions are contingent, whereas the statements made by typical analytic sentences are necessary. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: That 'anything yellow is extended' is not just a convention should be fairly obvious, and it is obviously necessary. But we can say that bachelors are necessarily unmarried men - given the current convention. |
| 15016 | Analyticity has lost its traditional role, which relied on truth by convention [Sider] |
| Full Idea: Nothing can fully play the role traditionally associated with analyticity, for much of that traditional role presupposed the doctrine of truth by convention. | |
| From: Theodore Sider (Writing the Book of the World [2011], 09.8) | |
| A reaction: Sider rejects Quine's attack on analyticity, but accepts his critique of truth by convention. |
| 3954 | Immorality is not in the action, but in the deviation of the will from moral law [Berkeley] |
| Full Idea: Sin or moral turpitude doth not consist in the outward physical action or motion, but in the internal deviation of the will from the laws of reason and religion. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.227) | |
| A reaction: A Kantian view (that the only good thing is a good will). It is a very empiricist (and anti-Greek) view to deny that actions have any intrinsic value. |
| 14985 | The notion of law doesn't seem to enhance physical theories [Sider] |
| Full Idea: Adding the notion of law to physical theory doesn't seem to enhance its explanatory power. | |
| From: Theodore Sider (Writing the Book of the World [2011], 02.4) | |
| A reaction: I agree with his scepticism about laws, although Sider offers it as part of his scepticism about modal facts being included in explanations of actuality. Personally I like dispositions, but not laws. See the ideas of Stephen Mumford. |
| 14987 | Many of the key theories of modern physics do not appear to be 'laws' [Sider] |
| Full Idea: That spacetime is 4D Lorentzian manifold, that the universe began with a singularity, and in a state of low entropy, are all central to physics, but it is a stretch to call them 'laws'. ...It has been argued that there are no laws of biology. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.1) |
| 14991 | Space has real betweenness and congruence structure (though it is not the Euclidean concepts) [Sider] |
| Full Idea: In metaphysics, space is intrinsically structured; the genuine betweenness and congruence relations are privileged in a way that Euclidean-betweenness and Euclidean-congruence are not. | |
| From: Theodore Sider (Writing the Book of the World [2011], 03.4) | |
| A reaction: I note that Einstein requires space to be 'curved', which implies that it is a substance with properties. |
| 15021 | The central question in the philosophy of time is: How alike are time and space? [Sider] |
| Full Idea: The central question in the philosophy of time is: How alike are time and space? | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.1) |
| 15024 | The spotlight theorists accepts eternal time, but with a spotlight of the present moving across it [Sider] |
| Full Idea: The spotlight theorist accepts the block universe, but also something in addition: a joint-carving monadic property of presentness, which is possessed by just one moment of time, and which 'moves', to be possessed by later and later times. | |
| From: Theodore Sider (Writing the Book of the World [2011], 11.9) | |
| A reaction: This seems better than the merely detached eternalist view, which seems to ignore the key phenomenon. I just can't comprehend any theory which makes the future as real as the past. |
| 3950 | There must be a God, because all sensible things must be perceived by him [Berkeley] |
| Full Idea: I immediately and necessarily conclude the being of a God, because all sensible things must be perceived by him. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.198) | |
| A reaction: Daft. This contradicts Berkeley's whole empiricist position, that existence depends on known experience. Who knows whether God is thinking about trees? |
| 3951 | There must be a God, because I and my ideas are not independent [Berkeley] |
| Full Idea: From the dependency I find in myself and my ideas, I do by an act of reason necessarily infer the existence of a God. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.222) | |
| A reaction: No. Hume answered this, by showing how big abstract ideas are built up from experience. This is a future bishop's wish-fulfilment. |
| 3949 | It has been proved that creation is the workmanship of God, from its beauty and usefulness [Berkeley] |
| Full Idea: Divines and philosophers have proved beyond all controversy, from the beauty and usefulness of the several parts of creation, that it was the workmanship of God. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.198) | |
| A reaction: Not convincing. Beauty is probably a sublimation of sexual desire (or an echo of the human mind in the external world, in music), and utility is relative to homo sapiens, I presume. |
| 3956 | People are responsible because they have limited power, though this ultimately derives from God [Berkeley] |
| Full Idea: Thinking rational beings, in the production of motions, have the use of limited powers, ultimately derived from God, but immediately under the direction of their own wills, which is sufficient to entitle them to all the guilt of their own actions. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.228) | |
| A reaction: An episcopal evasion. A classic attempt to have cake and eat it. Either God is in charge or he isn't. |
| 3955 | If sin is not just physical, we don't consider God the origin of sin because he causes physical events [Berkeley] |
| Full Idea: If sin doth not consist of purely physical actions, the making God a cause of all such actions, is not making him the author of sin. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.227) | |
| A reaction: An equivocation. If responsibility resides in consciousness, God is presumably conscious, and we can judge the events he causes. |