29 ideas
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| Full Idea: Consistency is a modal notion: a set of propositions is consistent iff all the members of the set could be true together. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: This shows why Kantian ethics, for example, needs a metaphysical underpinning. Maybe Kant should have believed in the reality of Leibnizian possible worlds? An account of reason requires an account of necessity and possibility. |
| 19740 | A very hungry man cannot choose between equidistant piles of food [Aristotle] |
| Full Idea: The man who, though exceedingly hungry and thirsty, and both equally, yet being equidistant from food and drink, is therefore bound to stay where he is. | |
| From: Aristotle (On the Heavens [c.336 BCE], 296b33) | |
| A reaction: This is, of course, Buridan's famous Ass, but this quotation has the advantage of precedence, and also of being expressed in an original quotation (which does not exist for Buridan). |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| Full Idea: First-order predicate language has four connectives, two quantifiers, variables, predicates, equality, names, and brackets. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Look up the reference for the details! The spirit of logic is seen in this basic framework, and the main interest is in the ontological commitment of the items on the list. The list is either known a priori, or it is merely conventional. |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| Full Idea: First-order predicate calculus is an extensional logic, while quantified modal logic is intensional (which has grave problems of interpretation, according to Quine). | |
| From: Joseph Melia (Modality [2003], Ch.3) | |
| A reaction: The battle is over ontology. Quine wants the ontology to stick with the values of the variables (i.e. the items in the real world that are quantified over in the extension). The rival view arises from attempts to explain necessity and counterfactuals. |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| Full Idea: Permitting quantification into predicate position and adding second-order variables leads to second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Often expressed by saying that we now quantify over predicates and relations, rather than just objects. Depends on your metaphysical commitments. |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| Full Idea: In first-order predicate calculus validity is defined thus: an argument is valid iff every model that makes the premises of the argument true also makes the conclusion of the argument true. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: See Melia Ch. 2 for an explanation of a 'model'. Traditional views of validity tend to say that if the premises are true the conclusion has to be true (necessarily), but this introduces the modal term 'necessarily', which is controversial. |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| Full Idea: Some philosophers think that any fact can be captured in a language containing only names and predicates. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: The problem case Melia is discussing is modal facts, such as 'x is possible'. It is hard to see how 'possible' could be an ordinary predicate, but then McGinn claims that 'existence' is, and that there are some predicates with unusual characters. |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| Full Idea: Some philosophers say that modal facts cannot be expressed either by name/predicate language, or by first-order predicate calculus, or even by second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: If 'possible' were a predicate, none of this paraphernalia would be needed. If possible worlds are accepted, then the quantifiers of first-order predicate calculus will do the job. If neither of these will do, there seems to be a problem. |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| Full Idea: If the Identity of Indiscernibles is referring to qualitative properties, such as 'being red' or 'having mass', it is contentious; if it is referring to non-qualitative properties, such as 'member of set s' or 'brother of a', it is true but trivial. | |
| From: Joseph Melia (Modality [2003], Ch.3 n 11) | |
| A reaction: I would say 'false' rather than 'contentious'. No one has ever offered a way of distinguishing two electrons, but that doesn't mean there is just one (very busy) electron. The problem is that 'indiscernible' is only an epistemological concept. |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| Full Idea: We may have fairly firm beliefs as to whether or not P is necessary, but many of us find ourselves at a complete loss when wondering whether or not P is necessarily necessary. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: I think it is questions like this which are pushing philosophy back towards some sort of rationalism. See Idea 3651, for example. A regress of necessities would be mad, so necessity must be taken as self-evident (in itself, though maybe not to us). |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| Full Idea: In cases of 'de re' modality, it is a particular thing that has the property essentially or accidentally; where the modality attaches to the proposition, it is 'de dicto' - it is the whole truth that all bachelors are unmarried that is necessary. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: This seems to me one of the most important distinctions in metaphysics (as practised by analytical philosophers, who like distinctions). The first type leads off into the ontology, the second type veers towards epistemology. |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| Full Idea: Sometimes we want to count the ways in which something is possible, or say that there are many ways in which a certain thing is possible. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This is a basic fact about talk of 'possibility'. It is not an all-or-nothing property of a situation. There can be 'faint' possibilities of things. The proximity of some possible worlds, especially those sharing our natural laws, is one answer. |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| Full Idea: In modal logic the concepts of necessity and counterfactuals are not interdefinable, so the language needs two primitives to represent them, but with the machinery of possible worlds they are defined by what is the case in all worlds, or close worlds. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: If your motivation is to reduce ontology to the barest of minimums (which it was for David Lewis) then it is paradoxical that the existence of possible worlds may be the way to achieve it. I doubt, though, whether a commitment to their reality is needed. |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| Full Idea: The central idea in possible worlds semantics is that the modal operators are treated as quantifiers. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: It seems an essential requirement of metaphysics that an account be given of possibility and necessity, and it is also a good dream to keep the ontology simple. Commitment to possible worlds is the bizarre outcome of this dream. |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| Full Idea: It has proved difficult to justify possible worlds semantics without accepting possible worlds. Without a secure metaphysical underpinning, the results in logic are in danger of having nothing more than a formal significance. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This makes nicely clear why Lewis's controversial modal realism has to be taken seriously. It appears that the key problem is truth, because that is needed to define validity, but you can't have truth without some sort of metaphysics. |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| Full Idea: One can be a realist about possible worlds without adopting Lewis's extreme views; they might be abstract or mathematical entities; they might be sets of propositions or maximal uninstantiated properties; they might be like books or pictures. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: My intuition is that once you go down the road of realism about possible worlds, Lewis's full concrete realism looks at least as attractive as any of these options. You can discuss the 'average man' in an economic theory without realism. |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| Full Idea: Propositions are true at possible worlds in much the same way as they are true at books: by being implied by the book. | |
| From: Joseph Melia (Modality [2003], Ch.7) | |
| A reaction: An intriguing way to introduce the view that possible worlds should be seen as like books. The truth-makers of propositions about the actual world are items in it, but the truth-makers in novels (say) are the conditions of the whole work as united. |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| Full Idea: Many philosophers now concede that it is rational to accept a proposition not because we can directly verify it but because it is supported by considerations of simplicity, theoretical utility, explanatory power and/or intuitive plausibility. | |
| From: Joseph Melia (Modality [2003], Ch.5) | |
| A reaction: This suggests how the weakness of logical positivism may have led us to the concept of epistemic virtues (such as those listed), which are, of course, largely a matter of community consensus, just as the moral virtues are. |
| 398 | Each thing that has a function is for the sake of that function [Aristotle] |
| Full Idea: Each thing that has a function is for the sake of that function. | |
| From: Aristotle (On the Heavens [c.336 BCE], 286a08) | |
| A reaction: This is the central idea of Aristotle's Ethics. Did it originate with Plato, or Socrates, the young pupil Aristotle? I suspect the strong influence of Aristotle on later Plato. A major idea. Functions link the facts to life. |
| 394 | An unworn sandal is in vain, but nothing in nature is in vain [Aristotle] |
| Full Idea: We say of a sandal which is not worn that it is in vain; God and nature, however, do nothing in vain. | |
| From: Aristotle (On the Heavens [c.336 BCE], 271a33) |
| 396 | There has to be some goal, and not just movement to infinity [Aristotle] |
| Full Idea: There has to be some goal, and not just movement to infinity. | |
| From: Aristotle (On the Heavens [c.336 BCE], 277a26) |
| 16102 | Aether moves in circles and is imperishable; the four elements perish, and move in straight lines [Aristotle, by Gill,ML] |
| Full Idea: For Aristotle, aether and the four sublunary elements obey different physical laws. Aether moves naturally in a circle and, unlike its lower counterparts, is not a source of perishability. The four sublunary elements move naturally in straight lines. | |
| From: report of Aristotle (On the Heavens [c.336 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.2 | |
| A reaction: I think it is anachronistic for Gill to talk of 'obeying' and 'laws'. She should have said that they have different 'natures'. We can be amused by Greek errors, until we stare hard at the problems they were trying to solve. |
| 17463 | An element is what bodies are analysed into, and won't itself divide into something else [Aristotle] |
| Full Idea: An element is a body into which other bodies may be analyzed, present in them potentially or in actuality (which of these is still disputable), and not itself divisible into bodies different in form. That is what all men mean by element. | |
| From: Aristotle (On the Heavens [c.336 BCE], 302a05), quoted by Weisberg/Needham/Hendry - Philosophy of Chemistry 1.1 | |
| A reaction: This is the classic definition of an element, which endured for a long time, and has been replaced by an 'actual components' view. Obviously analysis nowadays goes well beyond the atoms. |
| 399 | If the more you raise some earth the faster it moves, why does the whole earth not move? [Aristotle] |
| Full Idea: If you raise some earth and release it, it moves and won't stay put, and the more you raise it the faster it moves, so why does the whole earth not move? | |
| From: Aristotle (On the Heavens [c.336 BCE], 294a12) |
| 20918 | Void is a kind of place, so it can't explain place [Aristotle] |
| Full Idea: It is absurd to explain place by the void, as though this latter were not itself some kind of place. | |
| From: Aristotle (On the Heavens [c.336 BCE], 309b24) | |
| A reaction: Presumably this is aimed at Democritus. |
| 402 | The Earth must be spherical, because it casts a convex shadow on the moon [Aristotle] |
| Full Idea: A lunar eclipse always has a convex dividing line, so, if it is eclipsed by the interposition of the earth, the circumference of the earth, being spherical, is responsible for the shape. | |
| From: Aristotle (On the Heavens [c.336 BCE], 297b29) |
| 403 | The earth must be round and of limited size, because moving north or south makes different stars visible [Aristotle] |
| Full Idea: Clearly the earth is round and not of great size, because when we move north or south we find that very different stars are visible. | |
| From: Aristotle (On the Heavens [c.336 BCE], 297b30) |
| 1498 | Everyone agrees that the world had a beginning, but thinkers disagree over whether it will end [Aristotle] |
| Full Idea: All thinkers agree that the world had a beginning, but some claim that, having come into existence, it is everlasting. | |
| From: Aristotle (On the Heavens [c.336 BCE], 279b12) |
| 395 | It seems possible that there exists a limited number of other worlds apart from this one [Aristotle] |
| Full Idea: One might indeed be puzzled whether, just as the world about us exists, nothing prevents there being others as well, certainly more than one, though not an unlimited number | |
| From: Aristotle (On the Heavens [c.336 BCE], 274a26) |