22 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. |
| 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. |
| 12790 | Generalisations must be invariant to explain anything [Leuridan] |
| Full Idea: A generalisation is explanatory if and only if it is invariant. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §4) | |
| A reaction: [He cites Jim Woodward 2003] I dislike the idea that generalisations and regularities explain anything at all, but this rule sounds like a bare minimum for being taken seriously in the space of explanations. |
| 12789 | Biological functions are explained by disposition, or by causal role [Leuridan] |
| Full Idea: The main alternative to the dispositional theory of biological functions (which confer a survival-enhancing propensity) is the etiological theory (effects are functions if they play a role in the causal history of that very component). | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: [Bigelow/Pargetter 1987 for the first, Mitchell 2003 for the second] The second one sounds a bit circular, but on the whole a I prefer causal explanations to dispositional explanations. |
| 14388 | Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan] |
| Full Idea: Nothing can count as a mechanism unless it produces some macro-level regular behaviour. To produce macro-level regular behaviour, it has to rely on micro-level regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5) | |
| A reaction: This is the core of Leuridan's argument that regularities are more basic than mechanisms. It doesn't follow, though, that the more basic a thing is the more explanatory work it can do. I say mechanisms explain more than low-level regularities do. |
| 14386 | Mechanisms are ontologically dependent on regularities [Leuridan] |
| Full Idea: Mechanisms are ontologically dependent on the existence of regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: This seems to be the Humean rearguard action in favour of the regularity account of laws. Wrong, but a nice paper. This point shows why only powers (despite their vagueness!) are the only candidate for the bottom level of explanation. |
| 12787 | Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan] |
| Full Idea: To model a mechanism one must incorporate pragmatic laws. ...As valuable as the concept of mechanism and mechanistic explanation are, they cannot replace regularities nor undermine their relevance for scientific explanation. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: [See Idea 12786 for 'pragmatic laws'] I just don't see how the observation of a regularity is any sort of explanation. I just take a regularity to be something interesting which needs to be explained. |
| 14384 | We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan] |
| Full Idea: Summary: mechanisms depend on regularities, there may be regularities without mechanisms, models of mechanisms must incorporate pragmatic laws, and pragmatic laws do not depend epistemologically on mechanistic models. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: See Idea 14382 for 'pragmatic' laws. I'm quite keen on mechanisms, so this is an arrow close to the heart, but at this point I say that my ultimate allegiance is to powers, not to mechanisms. |
| 14389 | There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan] |
| Full Idea: I see nothing metaphysically wrong in an infinite ontological regress of mechanisms and regularities. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §5) | |
| A reaction: This is a pretty unusual view, and I can't accept it. My revulsion at this regress is precisely the reason why I believe in powers, as the bottom level of explanation. |
| 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. |
| 14387 | Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan] |
| Full Idea: The dispositional theory of biological functions is not unquestioned. The main alternative is the etiological theory: a component's effect is a function of that component if it has played an essential role in the causal history of its existence. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §3) | |
| A reaction: [He cites S.D. Mitchell 2003] Presumably this account is meant to fit into a theory of evolution in biology. The obvious problem is where something comes into existence for one reason, and then acquires a new function (such as piano-playing). |
| 14382 | Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan] |
| Full Idea: A generalization is a 'pragmatic law' if it allows of prediction, explanation and manipulation, even if it fails to satisfy the traditional criteria. To this end, it should describe a stable regularity, but not necessarily a universal and necessary one. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1) | |
| A reaction: I am tempted to say of this that all laws are pragmatic, given that it is rather hard to know whether reality is stable. The universal laws consist of saying that IF reality stays stable in certain ways, certain outcomes will ensue necessarily. |
| 14385 | Strict regularities are rarely discovered in life sciences [Leuridan] |
| Full Idea: Strict regularities are rarely if ever discovered in the life sciences. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §2) | |
| A reaction: This is elementary once it is pointed out, but too much philosophy have science has aimed at the model provided by the equations of fundamental physics. Science is a broad church, to employ an entertaining metaphor. |
| 14383 | A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan] |
| Full Idea: By 'law of nature' or 'natural law' I mean a generalization describing a regularity, not some metaphysical entity that produces or is responsible for that regularity. | |
| From: Bert Leuridan (Can Mechanisms Replace Laws of Nature? [2010], §1 n1) | |
| A reaction: I take the second version to be a relic of a religious world view, and having no place in a naturalistic metaphysic. The regularity view is then the only player in the field, and the question is, can we do more? Can't we explain regularities? |