18 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. |
| 22817 | Citizenship involves a group of mutually supporting rights, which create community and equality [Miller,D] |
| Full Idea: The idea of citizenship is that rights support each other. Protective and welfare rights provide a basis for a political role. This underpins a sense of membership, and an obligation to provide welfare. Rights confer equal status and self-respect. | |
| From: David Miller (Community and Citizenship [1989], 3) | |
| A reaction: A helpful eludation of what a richer concept of citizenship than mere membership might look like. Communitarians have a different concept of rights from that of liberals. |
| 22816 | Socialists reject nationality as a false source of identity [Miller,D] |
| Full Idea: The socialist tradition has been overwhelmingly hostile to nationality as a source of identity, usually regarding it merely as an artificially created impediment to the brotherhood of man. | |
| From: David Miller (Community and Citizenship [1989], 2) | |
| A reaction: I have some sympathy with this, especially when nationalism is expressed in terms of enemies, but the question of what community a person can plausibly identify with is difficult. We start in hunter gather tribes of several hundred. |
| 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? |
| 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 |
| 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 |