19 ideas
| 5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
| Full Idea: Perhaps the modern view is best expressed as saying that "water" has no definition at all, at least in the traditional sense, and is a proper name of a specific substance. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: This assumes that proper names have no definitions, though I am not clear how we can grasp the name 'Aristotle' without some association of properties (human, for example) to go with it. We need a definition of 'definition'. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
| Full Idea: We can refer to Thales by using the name "Thales" even though perhaps the only description we can supply is false of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: It is not clear what we would be referring to if all of our descriptions (even 'Greek philosopher') were false. If an archaeologist finds just a scrap of stone with a name written on it, that is hardly a sufficient basis for successful reference. |
| 5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
| Full Idea: The traditional theory of proper names entails that at least some combination of the things ordinarily believed of Aristotle are necessarily true of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: Searle endorses this traditional theory. Kripke and co. tried to dismiss it, but you can't. If all descriptions of Aristotle turned out to be false (it was actually the name of a Persian statue), our modern references would have been unsuccessful. |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 13931 | By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger] |
| Full Idea: The Aristotelian method of working form aporia allows one to use as starting points not only what is said by 'the many', but also what is said by 'the wise', including philosophers. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 1 n2) | |
| A reaction: [She mentions Nussbaum 1986:ch 7 for the opposing view] I like this thought a lot. Aristotle's democratic respect for widespread views can be a bit puzzling sometimes. |
| 13925 | Ontology disputes rest on more basic explanation disputes [Haslanger] |
| Full Idea: Disputes over ontology derive from more fundamental disputes over forms of explanation. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 1) | |
| A reaction: It immediately strikes me that Haslanger has stolen my master idea, but unfortunately the dating suggests that she has priority. The tricky part is to combine this view with realism. |
| 13924 | The persistence of objects seems to be needed if the past is to explain the present [Haslanger] |
| Full Idea: The notion that things persist through change is deeply embedded in ideas we have about explanation, and in particular, in the idea that the present is constrained by the past. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 1) | |
| A reaction: I take this to be both an important and an attractive idea. Deniers of persistence (4D-ists) will presumably have some ability to explain the present, but it is the idea of the present being 'constrained' by the past which is a challenge. |
| 13930 | Persistence makes change and its products intelligible [Haslanger] |
| Full Idea: Persistence offers intelligibility: the possibility of understanding a change, and of understanding the products of it. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 8) | |
| A reaction: I think this is exactly right, and it is a powerful idea with wide implications for metaphysics. Haslanger claims that an understanding of 'substance' is needed, which leads towards my defence of essentialism. |
| 13927 | We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger] |
| Full Idea: If the world of time-slices is to be explicable, then it must be possible to provide explanations of change understood as a continual generation and destruction of these 'momentary entities'. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 7) | |
| A reaction: While fans of time-slices can offer some sort of explanation, in the process of explaining a 'worm', there don't seem to be the sort of causal chains that we traditionally rely on. Maybe there are no explanations of anything? |
| 13928 | If the things which exist prior to now are totally distinct, they need not have existed [Haslanger] |
| Full Idea: How is the case in which A exists prior to B, but is distinct from B, different (especially from B's point of view) from the case in which nothing exists prior to B? | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 7) | |
| A reaction: I sympathise with her view, but this isn't persuasive. For A substitute 'Sally's mother' and for B substitute 'Sally'. A 4D-ist could bite the bullet and say that, indeed, previous parts of my 'worm' need not have existed. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 13929 | Natural explanations give the causal interconnections [Haslanger] |
| Full Idea: Natural explanations work by showing the systematic causal interconnections between things. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 7) | |
| A reaction: On the whole I love this sort of idea, but I am wondering if this one prevents mathematical or logical explanations from being natural. |
| 13926 | Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger] |
| Full Idea: I am not resting my ontology on a simple 'argument to the best explanation'. ..What I want to say is that there are general demands on a kind of explanation, in particular, natural explanation, which require that there are persisting things. | |
| From: Sally Haslanger (Persistence, Change and Explanation [1989], 5) | |
| A reaction: This is a really nice idea - that best explanation is not just about specific cases, but also about best foundations for explanations in general, which brings in our metaphysics. I defend the role of essences in these best explanations. |
| 5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
| Full Idea: The conjunction of properties associated with a term such as "lemon" is often called the intension of the term "lemon". | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §II) | |
| A reaction: The extension of "lemon" is the set of all lemons. At last, a clear explanation of the word 'intension'! The debate becomes clear - over whether the terms of a language are used in reference to ideas of properties (and substances?), or to external items. |