15 ideas
| 19053 | Logic would be more natural if negation only referred to predicates [Dummett] |
| Full Idea: A better proposal for a formal logic closer to natural language would be one that had a negation-operator only for (simple) predicates. | |
| From: Michael Dummett (Presupposition [1960], p.27) | |
| A reaction: Dummett observes that classical formal logic was never intended to be close to natural language. Term logic does have that aim, but the meta-question is whether that end is desirable, and why. |
| 19052 | Natural language 'not' doesn't apply to sentences [Dummett] |
| Full Idea: Natural language does not possess a sentential negation-operator. | |
| From: Michael Dummett (Presupposition [1960], p.27) | |
| A reaction: This is a criticism of Strawson, who criticises logic for not following natural language, but does it himself with negation. In the question of how language and logic connect, this idea seems important. Term Logic aims to get closer to natural language. |
| 21339 | We want the ontology of relations, not just a formal way of specifying them [Heil] |
| Full Idea: A satisfying account of relations must be ontologically serious. This means refusing to rest content with abstract specifications of relations as sets of ordered n-tuples. | |
| From: John Heil (Relations [2009], Intro) | |
| A reaction: A set of ordered entities would give the extension of a relation, which wouldn't, among other things, explain co-extensive relations (if all the people to my left were also taller than me). Heil's is a general cry from the heart about formal philosophy. |
| 21349 | Two people are indirectly related by height; the direct relation is internal, between properties [Heil] |
| Full Idea: If Simmias is taller than Socrates, they are indirectly related; they are related via their possession of properties that are themselves directly - and internally - related. Hence relational truths are made true by non-relational features of the world. | |
| From: John Heil (Relations [2009], 'Founding') | |
| A reaction: This seems to be a strategy for reducing external relations to internal relations, which are intrinsic to objects, which thus reduces the ontology. Heil is not endorsing it, but cites Kit Fine 2000. The germ of this idea is in Plato. |
| 21340 | Maybe all the other features of the world can be reduced to relations [Heil] |
| Full Idea: A striking idea is that relations are ontologically primary: monadic, non-relational features of the world are constituted by relations. A view of this kind is defended by Peirce, and contemporary 'structural realists' like Ladyman. | |
| From: John Heil (Relations [2009], 'Relational') | |
| A reaction: I can't make sense of this proposal, which seems to offer relations with no relata. What is a relation? What is it made of? How do you individuate two instances of a relations, without reference to the relata? |
| 21348 | In the case of 5 and 6, their relational truthmaker is just the numbers [Heil] |
| Full Idea: We might say that the truthmakers for 'six is greater than five' are six and five themselves. On this view, truthmakers for one class of relational truths are non-relational features of the world. | |
| From: John Heil (Relations [2009], 'Founding') | |
| A reaction: That seems to be a good way of expressing the existence of an internal relation. |
| 21351 | Truthmaking is a clear example of an internal relation [Heil] |
| Full Idea: Truthmaking is a paradigmatic internal relation: if you have a truthbearer, a representation, and you have the world as the truthbearer represents it as being, you have truthmaking, you have the truthbearer's being true. | |
| From: John Heil (Relations [2009], 'Causal') | |
| A reaction: It is nice to have an example of an internal relation other than numbers, and closer to the concrete world. Is the relation between the world and facts about the world the same thing, or another example? |
| 21344 | If R internally relates a and b, and you have a and b, you thereby have R [Heil] |
| Full Idea: A simple way to think about internal relations is: if R internally relates a and b, then, if you have a and b, you thereby have R. If you have six and you have five, you thereby have six's being greater than five. | |
| From: John Heil (Relations [2009], 'External') | |
| A reaction: This seems to work a lot better for abstracta than for physical objects, where I am struggling to think of a parallel example. Parenthood? Temporal relations between things? Acorn and oak? |
| 21350 | If properties are powers, then causal relations are internal relations [Heil] |
| Full Idea: On the conception that properties are powers, it is no longer obvious that causal relations are external relations. Given the powers - all the powers in play - you have the manifestations. | |
| From: John Heil (Relations [2009], 'Causal') | |
| A reaction: This also delivers on a plate the necessity felt to be in causal relations, because the relation is inevitable once you are given the relata. But can you have an accidental (rather than essential) internal relation? Not in the case of numbers. |
| 21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
| Full Idea: While coherence may lack the positive role many have assigned to it, ...incoherence plays an important negative role in our enquiries. | |
| From: Erik J. Olsson (Against Coherence [2005], 10.1) | |
| A reaction: [He cites Peirce as the main source for this idea] We can hardly by deeply impressed by incoherence if we have no sense of coherence. Incoherence is just one of many markers for theory failure. Missing the target, bad concepts... |
| 21514 | Coherence is the capacity to answer objections [Olsson] |
| Full Idea: According to Lehrer, coherence should be understood in terms of the capacity to answer objections. | |
| From: Erik J. Olsson (Against Coherence [2005], 9) | |
| A reaction: [Keith Lehrer 1990] We can connect this with the Greek requirement of being able to give an account [logos], which is the hallmark of understanding. I take coherence to be the best method of achieving understanding. Any understanding meets Lehrer's test. |
| 21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
| Full Idea: Far from guaranteeing a high likelihood of truth by itself, testimonial agreement can apparently do so only if the circumstances are favourable as regards independence, prior probability, and individual credibility. | |
| From: Erik J. Olsson (Against Coherence [2005], 1) | |
| A reaction: This is Olson's main thesis. His targets are C.I.Lewis and Bonjour, who hoped that a mere consensus of evidence would increase verisimilitude. I don't see a problem for coherence in general, since his favourable circumstances are part of it. |
| 21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
| Full Idea: An enquirer who is fortunate enough to have at his or her disposal fully reliable information sources has no use for coherence, the need for which arises only in the context of less than fully reliable informations sources. | |
| From: Erik J. Olsson (Against Coherence [2005], 2.6.2) | |
| A reaction: I take this to be entirely false. How do you assess reliability? 'I've seen it with my own eyes'. Why trust your eyes? In what visibility conditions do you begin to doubt your eyes? Why do rational people mistrust their intuitions? |
| 21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
| Full Idea: The Input Objection says a pure coherence theory would seem to allow that a system of beliefs be justified in spite of being utterly out of contact with the world it purports to describe, so long as it is, to a sufficient extent, coherent. | |
| From: Erik J. Olsson (Against Coherence [2005], 4.1) | |
| A reaction: Olson seems impressed by this objection, but I don't see how a system could be coherently about the world if it had no known contact with the world. Olson seems to ignore meta-coherence, which evaluates the status of the system being studied. |
| 21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
| Full Idea: Any non-trivial extension of a belief system is less probable than the original system, but there are extensions that are more coherent than the original system. Hence more coherence does not imply a higher probability. | |
| From: Erik J. Olsson (Against Coherence [2005], 6.4) | |
| A reaction: [Olson cites Klein and Warfield 1994; compressed] The example rightly says the extension could have high internal coherence, but not whether the extension is coherent with the system being extended. |