14 ideas
| 6021 | It is only when we say a proposition that we speak truly or falsely [Sext.Empiricus] |
| Full Idea: It is only when we say a proposition that we speak truly or falsely. | |
| From: Sextus Empiricus (Against the Professors (six books) [c.180], 8.74) | |
| A reaction: This makes assertions truth-bearers, rather than propositions. But a proposition can be true or false if it is stamped with a date and/or place. "Shakespeare was born in Stratford on 23rd April 1664". No one needs to assert that. |
| 6020 | 'Man is a rational mortal animal' is equivalent to 'if something is a man, that thing is a rational mortal animal' [Sext.Empiricus] |
| Full Idea: Definitions are identical to universal propositions in meaning, and only differ in syntax, for whoever says 'Man is a rational mortal animal' says the same thing in meaning as whoever says 'If something is a man, that thing is a rational mortal animal'. | |
| From: Sextus Empiricus (Against the Professors (six books) [c.180], 11.8) | |
| A reaction: How strikingly like Bertrand Russell's interest and solutions. Sextus shows a straightforward interest in logical form, of a kind we associate with the twentieth century. Did Sextus Empiricus invent quantification? |
| 15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
| Full Idea: Maybe peaceful co-existence between absolute logical necessity and absolute metaphysical necessity can be secured, ..and absolute necessity is their union. ...However, a truth would then qualify as absolutely necessary in two quite different ways. | |
| From: Bob Hale (Absolute Necessities [1996], 4) | |
| A reaction: Hale is addressing a really big question for metaphysic (absolute necessity) which others avoid. In the end he votes for rejecting 'metaphysical' necessity. I am tempted to vote for rejecting logical necessity (as being relative). 'Absolute' is an ideal. |
| 8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
| Full Idea: It might be metaphysically necessary that p but logically possible that not-p, so that metaphysical necessity is not, after all, absolute. | |
| From: Bob Hale (Absolute Necessities [1996]), quoted by E.J. Lowe - The Possibility of Metaphysics 1.5 | |
| A reaction: Lowe presents this as dilemma, but it sounds fine to me. Flying pigs etc. have no apparent logical problems, but I can't conceive of a possible world where pigs like ours fly in a world like ours. Earthbound pigs may be metaphysically necessary. |
| 15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
| Full Idea: One type of necessity may be said to be 'stronger' than another when the first always entails the second, but not conversely. This will obtain only if the possibility of the first is weaker than the possibility of the second. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: Thus we would normally say that if something is logically necessary (a very strong claim) then it will have to be naturally necessary. If something is naturally possible, then clearly it will have to be logically possible. Sounds OK. |
| 15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
| Full Idea: Necessity is 'relative' if a claim of φ-necessary that p just claims that it is a logical consequence of some statements Φ that p. We have a 'strong' version if we add that the statements in Φ are all true, and a 'weak' version if not. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: I'm not sure about 'logical' consequence here. It may be necessary that a thing be a certain way in order to qualify for some category (which would be 'relative'), but that seems like 'sortal' necessity rather than logical. |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| Full Idea: Friends of metaphysical necessity would want to hold that when it is metaphysically necessary that p, there is no good sense of 'possible' (except, perhaps, an epistemic one) in which it is possible that not-p. | |
| From: Bob Hale (Absolute Necessities [1996], 2) | |
| A reaction: We might want to say which possible worlds this refers to (and presumably it won't just be in the actual world). The normal claim would refer to all possible worlds. Adding a '...provided that' clause moves it from absolute to relative necessity. |
| 15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
| Full Idea: 'Broadly' logical necessities are propositions whose truth derives entirely from the concepts involved in them (together, of course, with relevant structure). | |
| From: Bob Hale (Absolute Necessities [1996], 3) | |
| A reaction: Is the 'logical' part of this necessity bestowed by the concepts, or by the 'structure' (which I take to be a logical structure)? |
| 15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
| Full Idea: The logical necessities can be taken to be the propositions which are true in virtue of the nature of all logical concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.10) | |
| A reaction: This is part of his story of essences giving rise to necessities. His proposal sounds narrow, but logical concepts may have the highest degree of generality which it is possible to have. It must be how the concepts connect that causes the necessities. |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| Full Idea: Conceptual necessities can be taken to be propositions which are true in virtue of the nature of all concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.9) | |
| A reaction: Fine endorse essences for these concepts. Could we then come up with a new concept which contradicted all the others, and destroyed the necessity? Yes, presumably. Presumably witchcraft and astrology are full of 'conceptual necessities'. |
| 6026 | How can you investigate without some preconception of your object? [Sext.Empiricus] |
| Full Idea: A preconception and conception must precede every object of investigation, for how can anyone even investigate without some conception of the object of investigation? | |
| From: Sextus Empiricus (Against the Professors (six books) [c.180], 8.331a) | |
| A reaction: The Duhem-Quine thesis about the 'theory-ladenness of observation' is just a revival of some routine ancient scepticism. As well as a conceptual scheme to accommodate the observation, there must also be some motivation for the investigation. |
| 6032 | Right actions, once done, are those with a reasonable justification [Sext.Empiricus] |
| Full Idea: Right action is whatever, once it has been done, has a reasonable justification. | |
| From: Sextus Empiricus (Against the Professors (six books) [c.180], 7.158) | |
| A reaction: Why does he add 'once it has been done'? Wouldn't a proposed action be right if it had a reasonable justification? This grows out of the classical and Stoic emphasis on reason in ethics, and leads towards Scanlon's Contractualism. |
| 1517 | The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature' [Sext.Empiricus] |
| Full Idea: The tektraktys (1+2+3+4=10) is the 'fount of ever-flowing nature', because nature is a harmony of three concords (4th,5th and octave), and these ratios (4:3, 3:2, and 2:1) are found in the tektraktys. | |
| From: Sextus Empiricus (Against the Professors (six books) [c.180], 7.95) |
| 15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
| Full Idea: In Poincaré's view, we try to construct a language within which the brute facts of experience are expressed as comprehensively and as elegantly as possible. The job of science is the forging of a language precisely suited to that purpose. | |
| From: report of Henri Poincaré (The Value of Science [1906], Pt III) by Rom Harré - Laws of Nature 2 | |
| A reaction: I'm often struck by how obscure and difficult our accounts of self-evident facts can be. Chairs are easy, and the metaphysics of chairs is hideous. Why is that? I'm a robust realist, but I like Poincaré's idea. He permits facts. |