27 ideas
| 5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
| Full Idea: Anaximander was the first to produce a philosophical book (later conventionally titled 'On Nature'), if not the first to produce a book at all. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by István Bodnár - Anaximander | |
| A reaction: Wow! Presumably there were Egyptian 'books', but this still sounds like a stupendous claim to fame. |
| 1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
| Full Idea: Something which is established in the centre and has equality in relation to the extremes has no more reason to move up than it has down or to the sides (so the earth is stationary) | |
| From: report of Anaximander (fragments/reports [c.570 BCE], A26) by Aristotle - On the Heavens 295b11 |
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| Full Idea: Modal logic is not an extensional language. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8) | |
| A reaction: [I record this for investigation. Possible worlds seem to contain objects] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one. |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to? |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
| Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
| From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
| A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
| 14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
| Full Idea: Anaximander discovers the contradictory character of our world: it perishes from its own qualities. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by Friedrich Nietzsche - Unpublished Notebooks 1872-74 19 [239] | |
| A reaction: A lovely gloss on Anaximander, though I am not sure that I understand what Nietzsche means. |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
| 12790 | Generalisations must be invariant to explain anything [Leuridan] |
| Full Idea: A generalisation is explanatory if and only if it is invariant. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §4) | |
| A reaction: [He cites Jim Woodward 2003] I dislike the idea that generalisations and regularities explain anything at all, but this rule sounds like a bare minimum for being taken seriously in the space of explanations. |
| 12789 | Biological functions are explained by disposition, or by causal role [Leuridan] |
| Full Idea: The main alternative to the dispositional theory of biological functions (which confer a survival-enhancing propensity) is the etiological theory (effects are functions if they play a role in the causal history of that very component). | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: [Bigelow/Pargetter 1987 for the first, Mitchell 2003 for the second] The second one sounds a bit circular, but on the whole a I prefer causal explanations to dispositional explanations. |
| 14388 | Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan] |
| Full Idea: Nothing can count as a mechanism unless it produces some macro-level regular behaviour. To produce macro-level regular behaviour, it has to rely on micro-level regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5) | |
| A reaction: This is the core of Leuridan's argument that regularities are more basic than mechanisms. It doesn't follow, though, that the more basic a thing is the more explanatory work it can do. I say mechanisms explain more than low-level regularities do. |
| 12787 | Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan] |
| Full Idea: To model a mechanism one must incorporate pragmatic laws. ...As valuable as the concept of mechanism and mechanistic explanation are, they cannot replace regularities nor undermine their relevance for scientific explanation. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: [See Idea 12786 for 'pragmatic laws'] I just don't see how the observation of a regularity is any sort of explanation. I just take a regularity to be something interesting which needs to be explained. |
| 14384 | We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan] |
| Full Idea: Summary: mechanisms depend on regularities, there may be regularities without mechanisms, models of mechanisms must incorporate pragmatic laws, and pragmatic laws do not depend epistemologically on mechanistic models. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: See Idea 14382 for 'pragmatic' laws. I'm quite keen on mechanisms, so this is an arrow close to the heart, but at this point I say that my ultimate allegiance is to powers, not to mechanisms. |
| 14386 | Mechanisms are ontologically dependent on regularities [Leuridan] |
| Full Idea: Mechanisms are ontologically dependent on the existence of regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: This seems to be the Humean rearguard action in favour of the regularity account of laws. Wrong, but a nice paper. This point shows why only powers (despite their vagueness!) are the only candidate for the bottom level of explanation. |
| 14389 | There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan] |
| Full Idea: I see nothing metaphysically wrong in an infinite ontological regress of mechanisms and regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5) | |
| A reaction: This is a pretty unusual view, and I can't accept it. My revulsion at this regress is precisely the reason why I believe in powers, as the bottom level of explanation. |
| 14387 | Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan] |
| Full Idea: The dispositional theory of biological functions is not unquestioned. The main alternative is the etiological theory: a component's effect is a function of that component if it has played an essential role in the causal history of its existence. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: [He cites S.D. Mitchell 2003] Presumably this account is meant to fit into a theory of evolution in biology. The obvious problem is where something comes into existence for one reason, and then acquires a new function (such as piano-playing). |
| 13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
| Full Idea: Those thinkers are in error who postulate ...a single matter, for this cannot exist without some 'perceptible contrariety': this Boundless, which they identify with the 'original real', must be either light or heavy, either hot or cold. | |
| From: comment on Anaximander (fragments/reports [c.570 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 329a10 | |
| A reaction: A dubious objection, I would say. If there has to be a contrasting cold thing to any hot thing, what happens when the cold thing is removed? |
| 404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
| Full Idea: The non-limited is the original material of existing things; their source is also that to which they return after destruction, according to necessity; they give justice and make reparation to each other for injustice, according to the arrangement of Time. | |
| From: Anaximander (fragments/reports [c.570 BCE], B1), quoted by Simplicius - On Aristotle's 'Physics' 24.13- | |
| A reaction: Simplicius is quoting Theophrastus |
| 1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
| Full Idea: Anaximander said that the first principle and element of existing things was the boundless; it was he who originally introduced this name for the first principle. | |
| From: report of Anaximander (fragments/reports [c.570 BCE], A09) by Simplicius - On Aristotle's 'Physics' 9.24.14- | |
| A reaction: Simplicius is quoting Theophrastus |
| 405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
| Full Idea: The essential nature, whatever it is, of the non-limited is everlasting and ageless. | |
| From: Anaximander (fragments/reports [c.570 BCE], B2), quoted by (who?) - where? |
| 14382 | Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan] |
| Full Idea: A generalization is a 'pragmatic law' if it allows of prediction, explanation and manipulation, even if it fails to satisfy the traditional criteria. To this end, it should describe a stable regularity, but not necessarily a universal and necessary one. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: I am tempted to say of this that all laws are pragmatic, given that it is rather hard to know whether reality is stable. The universal laws consist of saying that IF reality stays stable in certain ways, certain outcomes will ensue necessarily. |
| 14385 | Strict regularities are rarely discovered in life sciences [Leuridan] |
| Full Idea: Strict regularities are rarely if ever discovered in the life sciences. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §2) | |
| A reaction: This is elementary once it is pointed out, but too much philosophy have science has aimed at the model provided by the equations of fundamental physics. Science is a broad church, to employ an entertaining metaphor. |
| 14383 | A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan] |
| Full Idea: By 'law of nature' or 'natural law' I mean a generalization describing a regularity, not some metaphysical entity that produces or is responsible for that regularity. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1 n1) | |
| A reaction: I take the second version to be a relic of a religious world view, and having no place in a naturalistic metaphysic. The regularity view is then the only player in the field, and the question is, can we do more? Can't we explain regularities? |
| 1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |
| Full Idea: The parts of all things are susceptible to change, but the whole is unchangeable. | |
| From: report of Anaximander (fragments/reports [c.570 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.An.2 |