18 ideas
| 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) |
| 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. |
| 7401 | Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck] |
| Full Idea: Galileo argued that there is no such thing as heat (and hence also as colour) in the external world, so there is no reason to conclude from colour-blindness that we cannot know the truth about the world. | |
| From: report of Galileo Galilei (Il Saggiatore ('The Assayer') [1623]) by Richard Tuck - Hobbes Ch.1 | |
| A reaction: This key idea, taken up by Gassendi, Descartes and Locke, seems to me to be one of the most important (and, in retrospect, rather obvious) facts ever worked out by the human mind. Why does anyone still doubt it? |
| 5454 | Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo] |
| Full Idea: I think tastes, odours, colours, and so on are mere names as far as the objects are concerned, and only reside in consciousness. Hence if the living creature were removed, all these qualities would be wiped away and annihilated. | |
| From: Galileo Galilei (Il Saggiatore ('The Assayer') [1623]), quoted by Brian Ellis - The Philosophy of Nature: new essentialism Ch.3 | |
| A reaction: A nice bold assertion of the primary/secondary distinction from the first great scientist. I agree, and to disagree (and hence side with Berkeley and Hume) is to head for metaphsical and epistemological confusion. |
| 16560 | Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver] |
| Full Idea: The modern idea of explaining with mechanisms became current in the 17th century when Galileo articulated a geometrico-mechanical form of explanation based on Archimedes' simple machines. This became the 'mechanical philosophy'. | |
| From: report of Galileo Galilei (Il Saggiatore ('The Assayer') [1623]) by Machamer,P/Darden,L/Craver,C - Thinking About Mechanisms 5.2 | |
| A reaction: So is Archimedes the source? I would say that mechanical explanation is just commonsense, and is predominant in all human thinking, even in tiny infants. |
| 20400 | Intentions either succeed or fail, so external evidence for them is always irrelevant [Wimsatt/Beardsley, by Davies,S] |
| Full Idea: Wimsatt and Beardsley claimed that either the intention succeeded, so one does not need to look outside the work for its meaning, or the intention failed, so external evidence does not help. | |
| From: report of W Wimsatt/W Beardsley (The Intentional Fallacy [1946]) by Stephen Davies - The Philosophy of Art (2nd ed) 5.3 | |
| A reaction: Actually, the external evidence may tell you much more clearly and accurately what the intention was than the work itself does. The best example may be the title of the work, which is presumably outside the work. |
| 7266 | The author's intentions are irrelevant to the judgement of a work's success [Wimsatt/Beardsley] |
| Full Idea: The design or intention of the author is neither available nor desirable as a standard for judging the success of a work of literary art. | |
| From: W Wimsatt/W Beardsley (The Intentional Fallacy [1946], §I) | |
| A reaction: This famous proposal may have been misunderstood. Note that it is a comment about judging the work, not about understanding it. The idea allows for a work being much more successful than the author's humble intentions (e.g. Pepys). |
| 7267 | Poetry, unlike messages, can be successful without communicating intentions [Wimsatt/Beardsley] |
| Full Idea: Poetry differs from practical messages, which are successful if and only if we correctly infer the intention. | |
| From: W Wimsatt/W Beardsley (The Intentional Fallacy [1946], §I) | |
| A reaction: I am not convinced by this claim. It is plausible that a work does much more than it intends (Astaire said he danced "to make a buck"), but it is rather odd to rate very highly a work of which you have missed the point. |
| 7268 | The thoughts of a poem should be imputed to the dramatic speaker, and hardly at all to the poet [Wimsatt/Beardsley] |
| Full Idea: We ought to impute the thoughts and attitudes of the poem immediately to the dramatic speaker, and if to the author at all, only by an act of biographical inference. | |
| From: W Wimsatt/W Beardsley (The Intentional Fallacy [1946], §I) | |
| A reaction: Wrong. If in Browning's "My Last Duchess" (say), we only inferred the mind of the speaker (and his Duchess), and took no interest in Browning's view of things, we would miss the point. We might end up respecting the Duke, which would be daft. |
| 7269 | The intentional fallacy is a romantic one [Wimsatt/Beardsley] |
| Full Idea: The intentional fallacy is a romantic one. | |
| From: W Wimsatt/W Beardsley (The Intentional Fallacy [1946], §II) | |
| A reaction: Wrong. Even with those most famous of anonymous artists, the architects and carvers of medieval cathedrals, without some discernment of the purpose you won't get it. The Taj Mahal is a love letter, not a potential ice cream parlour. |
| 7271 | Biography can reveal meanings and dramatic character, as well as possible intentions [Wimsatt/Beardsley] |
| Full Idea: The use of biographical evidence need not involve intentionalism, because while it may be evidence of what the author intended, it may also be evidence of the meaning of his words and the dramatic character of his utterance. | |
| From: W Wimsatt/W Beardsley (The Intentional Fallacy [1946], §IV) | |
| A reaction: I am very keen to penetrate the author's intentions, but I have always be doubtful about the use of biography as a means to achieve this. Most of the effort to infer intentions must come from a study of the work itself, not introductions, letters etc. |
| 3645 | To understand the universe mathematics is essential [Galileo] |
| Full Idea: The great book of the universe cannot be understood unless one can understand the language in which it is written - the language of mathematics. | |
| From: Galileo Galilei (Il Saggiatore ('The Assayer') [1623], VI.232) | |
| A reaction: Nice, though one might say that humans created the language of maths to help them discuss the patterns they perceived in nature. Maybe what is special is order, and all order can be described mathematically. |
| 19673 | Galileo mathematised movement, and revealed its invariable component - acceleration [Galileo, by Meillassoux] |
| Full Idea: Galileo conceives of movement in mathematical terms. ...In doing so, he uncovered, beyond the variations of position and speed, the mathematical invariant of movement - that is to say, acceleration. | |
| From: report of Galileo Galilei (Two Chief World Systems [1632]) by Quentin Meillassoux - After Finitude; the necessity of contingency 5 | |
| A reaction: That is a very nice advert for the mathematical physics which replaced the Aristotelian substantial forms. ...And yet, is acceleration some deep fact about nature, or a concept which is only needed if you insist on being mathematical? |