24 ideas
| 3972 | Truth and objectivity depend on a community of speakers to interpret what they mean [Davidson] |
| Full Idea: The basis on which the concepts of truth and objectivity depend for application is a community of understanding, agreement among speakers on how each is to be understood. | |
| From: Donald Davidson (Davidson on himself [1994], p.233) | |
| A reaction: Obviously all understanding is, in practice, an interpretation by a community, but that isn't what 'truth' means. We mean 'true independently of any community'. |
| 3969 | There are no ultimate standards of rationality, since we only assess others by our own standard [Davidson] |
| Full Idea: It makes no sense to speak of comparing or agreeing on ultimate standards of rationality, since it is our own standards in each case to which we must turn in interpreting others. This is not a failure of objectivity, but where 'questions come to an end'. | |
| From: Donald Davidson (Davidson on himself [1994], p.232) | |
| A reaction: This seems wrong, given the commitment to truth and charity in interpretation. He could have said the same about perception, but I doubt if he would. |
| 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. |
| 15453 | The main rivals to universals are resemblance or natural-class nominalism, or sparse trope theory [Lewis] |
| Full Idea: The leading rivals to a theory of universals are resemblance or natural-class nominalism, or sparse trope theory. | |
| From: David Lewis (Comment on Armstrong and Forrest [1986], p.110) | |
| A reaction: If that is the complete menu, I choose resemblance nominalism. All discussion of properties in terms of classes is wildly misguided (because properties come first). Why not 'natural' tropes? |
| 15452 | We could not uphold a truthmaker for 'Fa' without structures [Lewis] |
| Full Idea: We could not, without structures, uphold the principle that every truth has a truthmaker. If Fa is true, the truthmaker is not F, not a, nor both together; not their mereological sum; not a set-theoretic construction. These would exist just the same. | |
| From: David Lewis (Comment on Armstrong and Forrest [1986], p.109) | |
| A reaction: This point ought to trouble Lewis, as well as Armstrong and Forrest. If we assert 'Fa', we must (in any theory) have some idea of what unites them, as well as of their separate existence. It must a fact about 'a', not a fact about 'F'. |
| 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. |
| 3960 | There are no such things as minds, but people have mental properties [Davidson] |
| Full Idea: There are no such things as minds, but people have mental properties. | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: I think this is right. It fits with Searle's notion of consciousness as a property, like the liquidity of water. I don't panic if I think "I have no mind, but I have extraordinary properties". |
| 3964 | If the mind is an anomaly, this makes reduction of the mental to the physical impossible [Davidson] |
| Full Idea: If there are no strict psychophysical laws, this rules out reductionism, either by definition of mental predicates in physical terms, or by way of bridging laws. | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: But it is by no means clear that there are no psycho-physical laws. How could this be known a priori? |
| 3961 | Obviously all mental events are causally related to physical events [Davidson] |
| Full Idea: All mental events are causally related to physical events. ..This seems obvious. | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: All mental events are physically caused. Some bodily physical events result from mental events. Probably all mental events have some effect of other mental events (all of which are in some sense physical). |
| 3963 | There are no strict psychophysical laws connecting mental and physical events [Davidson] |
| Full Idea: There are no strict psychophysical laws (that is, laws connecting mental events under their mental descriptions with physical events under their physical descriptions). | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: This is clearly open to question. It may be just that no human mind could ever grasp such laws, given their probable complexity. |
| 3965 | Mental entities do not add to the physical furniture of the world [Davidson] |
| Full Idea: Mental entities do not add to the physical furniture of the world. | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: This seems to me clearly true, however we propose to characterise mental events. |
| 3966 | The correct conclusion is ontological monism combined with conceptual dualism [Davidson] |
| Full Idea: My basic premises lead to the conclusion of ontological monism coupled with conceptual dualism (like Spinoza, except that he denied mental causation). | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: 'Conceptual dualism' implies no real difference, but 'property dualism' is better, suggesting different properties when viewed from different angles. |
| 3967 | Absence of all rationality would be absence of thought [Davidson] |
| Full Idea: To imagine a totally irrational animal is to imagine an animal without thought. | |
| From: Donald Davidson (Davidson on himself [1994], p.232) | |
| A reaction: This wouldn't be so clear without the theory of evolution, which suggests that only the finders of truth last long enough to breed. |
| 3974 | Our meanings are partly fixed by events of which we may be ignorant [Davidson] |
| Full Idea: What we mean by what we say is partly fixed by events of which we may be ignorant. | |
| From: Donald Davidson (Davidson on himself [1994], p.235) | |
| A reaction: There is 'strict and literal meaning', which is fixed by the words, even if I don't know what I am saying. But 'speaker's meaning' is surely a pure matter of a state of mind? |
| 3968 | Propositions explain nothing without an explanation of how sentences manage to name them [Davidson] |
| Full Idea: The idea of a proposition is unhelpful, until it is explained how exactly the words in the contained sentence manage to name or describe a proposition (which even Frege failed to achieve). | |
| From: Donald Davidson (Davidson on himself [1994], p.232) | |
| A reaction: It seems obvious to me that there are brain events best labelled as propositions, even if their fit with language is puzzling. |
| 3970 | Thought is only fully developed if we communicate with others [Davidson] |
| Full Idea: We would have no fully-fledge thoughts if we were not in communication with others. | |
| From: Donald Davidson (Davidson on himself [1994], p.233) | |
| A reaction: This seems a plausible empirical observation, though I would doubt any a priori proof of it. If animals could speak, they would become intellectuals? |
| 3971 | There is simply no alternative to the 'principle of charity' in interpreting what others do [Davidson] |
| Full Idea: The 'principle of charity' is a misleading term, since there is no alternative if we want to make sense of the attitudes and actions of the agents around us. | |
| From: Donald Davidson (Davidson on himself [1994], p.233) | |
| A reaction: I suppose so, but only with a background of evolutionary theory. I would necessarily assume charity if a robot spoke to me. |
| 3973 | Without a teacher, the concept of 'getting things right or wrong' is meaningless [Davidson] |
| Full Idea: Without a 'teacher', nothing would give content to the idea that there is a difference between getting things right and getting them wrong. | |
| From: Donald Davidson (Davidson on himself [1994], p.234) | |
| A reaction: Seems right. A group of speculators with no one in the role of 'teacher' would seem to be paralysed with uncertain (except where judgements are very obvious). |
| 3962 | Cause and effect relations between events must follow strict laws [Davidson] |
| Full Idea: If two events are related as cause and effect, there is a strict law under which they may be subsumed. | |
| From: Donald Davidson (Davidson on himself [1994], p.231) | |
| A reaction: Davidson admits that this is open to challenge (though Hume and Kant supported it). It does seem to be central to our understanding of nature. |