22 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 |
18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
Full Idea: Natural language includes connectives that are not truth-functional. In order for 'p because q' to be true, both p and q have to be true, but knowing the simpler sentences are true doesn't determine whether the larger sentence is true. | |
From: Vann McGee (Logical Consequence [2014], 2) |
18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
Full Idea: To get any advantage from moving to second-order logic, we need to assign to second-order variables a role different from merely ranging over collections made up of things the first-order variables range over. | |
From: Vann McGee (Logical Consequence [2014], 7) | |
A reaction: Thus it is exciting if they range over genuine properties, but not so exciting if you merely characterise those properties as sets of first-order objects. This idea leads into a discussion of plural quantification. |
18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
Full Idea: We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory. |
18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
Full Idea: Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words. | |
From: Vann McGee (Logical Consequence [2014], 4) | |
A reaction: A helpful link between logical truths and analytic truths, which had not struck me before. |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish. | |
From: Vann McGee (Logical Consequence [2014], 5) | |
A reaction: [He cites Quine 1935] |
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
From: Vann McGee (Logical Consequence [2014], 7) | |
A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
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. |
16078 | Clay is intrinsically and atomically the same as statue (and that lacks 'modal properties') [Rudder Baker] |
Full Idea: Arguments for statue being the clay are: that the clay is intrinsically like the statue, that the clay has the same atoms as the statue', that objects don't have modal properties such as being necessarily F, and the reference of 'property' changes. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], II) | |
A reaction: [my summary of the arguments she identifies - see text for details] Rudder Baker attempts to refute all four of these arguments, in defence of constitution as different from identity. |
16077 | The clay is not a statue - it borrows that property from the statue it constitutes [Rudder Baker] |
Full Idea: I argue that a lump of clay borrows the property of being a statue from the statue. The lump is a statue because, and only because, there is something that the lump constitutes that is a statue. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], n9) | |
A reaction: It is skating on very thin metaphysical ice to introduce the concept of 'borrowing' a property. I've spent the last ten minutes trying to 'borrow' some properties, but without luck. |
16080 | Is it possible for two things that are identical to become two separate things? [Rudder Baker] |
Full Idea: A strong intuition shared by many philosophers is that some things that are in fact identical might not have been identical. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
A reaction: This flies in the face of the Kripkean view that if Hesperus=Phosphorus then the identity is necessary. I don't think I have an intuition that some given thing might have been two things - indeed the thought seems totally weird. Amoeba? Statue/clay? |
16076 | Constitution is not identity, as consideration of essential predicates shows [Rudder Baker] |
Full Idea: I want to resuscitate an essentialist argument against the view that constitution is identity, of the form 'x is essentially F, y is not essentially F, so x is not y'. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], Intro) | |
A reaction: The point is that x might be essentially F and y only accidentally F. Thus a statue is essentially so, but a lump if clay is not essentially a statue. Another case where 'necessary' would do instead of 'essentially'. |
16081 | The constitution view gives a unified account of the relation of persons/bodies, statues/bronze etc [Rudder Baker] |
Full Idea: Constitution-without-identity is superior to constitution-as-identity in that it provides a unified view of the relation between persons and bodies, statues and pieces of bronze, and so on. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
A reaction: I have a problem with the intrinsic dualism of this whole picture. Clay needs shape, statues need matter - there aren't two 'things' here which have a 'relation'. |
16082 | Statues essentially have relational properties lacked by lumps [Rudder Baker] |
Full Idea: The statue has relational properties which the lump of clay does not have essentially. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], V) | |
A reaction: She has in mind relations to the community of artistic life. I don't think this is convincing. Is something only a statue if it is validated by an artistic community? That sounds like relative identity, which she doesn't like. |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
Full Idea: If our linguistic conventions entitle us to assert a sentence, they thereby make it true, because of the maxim that 'truth is the norm of assertion'. | |
From: Vann McGee (Logical Consequence [2014], 8) | |
A reaction: You could only really deny that maxim if you had no belief at all in truth, but then you can assert anything you like (with full entitlement). Maybe you can assert anything you like as long as it doesn't upset anyone? Etc. |
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 |