14 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. |
| 4988 | Folk psychology may not be reducible, but that doesn't make it false [Kirk,R on Churchland,PM] |
| Full Idea: It may well be that completed neuroscience will not include a reduction of folk psychology, but why should that be a reason to regard it as false? It would only be a reason if irreducibility entailed that they could not possibly both be true. | |
| From: comment on Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981]) by Robert Kirk - Mind and Body §3.9 | |
| A reaction: If all our behaviour had been explained by a future neuro-science, this might not falsify folk psychology, but it would totally marginalise it. It is still possible that dewdrops are placed on leaves by fairies, but this is no longer a hot theory. |
| 4987 | Eliminative materialism says folk psychology will be replaced, not reduced [Churchland,PM] |
| Full Idea: Eliminative materialism says our common-sense conception of psychological phenomena is a radically false theory, so defective that both the principles and the ontology of that theory will eventually be displaced (rather than reduced). | |
| From: Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981], Intro) | |
| A reaction: It is hard to see what you could replace the idea of a 'belief' with in ordinary conversation. We may reduce beliefs to neuronal phenomena, but we can't drop the vocabulary of the macro-phenomena. The physics of weather doesn't eliminate 'storms'. |
| 12163 | Literary meaning emerges in comparisons, and tradition shows which comparisons are relevant [Scruton] |
| Full Idea: We must discover the meanings that emerge when works of literature are experience in relation to each other. ...The importance of tradition is that it denotes - ideally, at least - the class of relevant comparisons. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.27) | |
| A reaction: This is a nice attempt to explain why we all agree that a thorough education in an art is an essential prerequisite for good taste. Some people (e.g. among the young) seem to have natural good taste. How does that happen? |
| 12162 | In literature, word replacement changes literary meaning [Scruton] |
| Full Idea: In literary contexts semantically equivalent words cannot replace each other without loss of literary meaning. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.25) | |
| A reaction: The notion of 'literary meaning' is not a standard one, and is questionable whether 'meaning' is the right word, given that a shift in word in a poem is as much to do with sound as with connotations. |
| 12159 | Without intentions we can't perceive sculpture, but that is not the whole story [Scruton] |
| Full Idea: A person for whom it made no difference whether a sculpture was carved by wind and rain or by human hand would be unable to interpret or perceive sculptures - even though the interpretation of sculpture is not the reading of an intention. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.15) | |
| A reaction: Scruton compares it to the role of intention in language, where there is objective meaning, even though intention is basic to speech. |
| 12160 | In aesthetic interest, even what is true is treated as though it were not [Scruton] |
| Full Idea: In aesthetic interest, even what is true is treated as though it were not. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.18) | |
| A reaction: A nice aphorism. I always feel uncomfortable reading novels about real people, although the historical Macbeth doesn't bother me much. Novels are too close to reality. Macbeth didn't speak blank verse. |
| 12161 | We can be objective about conventions, but love of art is needed to understand its traditions [Scruton] |
| Full Idea: An historian can elucidate convention while having no feeling for the art that exploits it; whereas an understanding of tradition is reserved for those with the critical insight which comes from the love of art, both past and present. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.24) | |
| A reaction: This aesthetic observation is obviously close to Scruton's well-known conservatism in politics. I am doubtful whether the notion of 'tradition' can stand up to close examination, though we all know roughly what he means. |