20 ideas
| 19115 | You can 'rebut' an argument's conclusion, or 'undercut' its premises [Antonelli] |
| Full Idea: A 'rebut' of an argument establishes that its conclusion is not the case. An 'undercut' of the argument shows that the premises do not support that conclusion. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 3.2) |
| 19119 | We infer that other objects are like some exceptional object, if they share some of its properties [Antonelli] |
| Full Idea: The exceptional status of an object with respect to some default is more likely to spread to other objects if they share properties with that object that may play a role in explaining the exceptional status. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 4) | |
| A reaction: This is an example of the sort of rational behaviour we exhibit, and which a 'real life' logic would somehow need to capture. I would suggest the essentialist logic designed by Kit Fine as a first port of call. |
| 19111 | Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli] |
| Full Idea: Most defeasible reasoning is externally dynamic, affected by the addition of further premises. But there is also an internal (or 'diachronic') dynamic, when further analysis reveals more about the given premises. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 1) |
| 19114 | Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli] |
| Full Idea: There is much discussion of whether Floating Conclusions should be derived, given that they were derived from two arguments which conflict with one another. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 2.3) |
| 19113 | Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli] |
| Full Idea: In the Weakest Link Principle, an argument is preferred to another conflicting argument if its weakest defeasible link is stronger than the weakest defeasible link in the conflicting argument. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 2.1) | |
| A reaction: [He cites John Pollock 1991] This sounds like the elementary principle applied when choosing a rope by which to hang a large weight above your head. It gets non-monotonic logic off the ground - if you know how to evaluate 'weakest'. |
| 19116 | Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening [Antonelli] |
| Full Idea: Conservative core of non-monotonic logic:Reflexivity (p proves p), Cut (if p proves q, it proves their joint implications), Cautious Monotonicity, Left Logical Equivalence (equivalences have same consequences), Right Weakening (non-m preserves classical). | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 3.5.1) | |
| A reaction: [Highly compressed, and without symbols] |
| 19117 | We can rank a formula by the level of surprise if it were to hold [Antonelli] |
| Full Idea: We can think of an 'ordinal ranking function' κ([φ)] as the level of surprise we would face were φ to hold, up to maximal surprise. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 3.5.2) | |
| A reaction: This suggests that Bayes's Theorem might be relevant to non-monotonic logic. This suggests that registering surprise would need to be an important feature of robot behaviour. |
| 19118 | People don't actually use classical logic, but may actually use non-monotonic logic [Antonelli] |
| Full Idea: Test subjects seem to perform very poorly in various reasoning tests (Wason Selection, Suppression Task), suggesting logic has a subordinate role, but this may be using classical logic, where non-monotonic logics would be more appropriate. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 4) | |
| A reaction: Fred Sommers presents his Term Logic (based on Aristotle) as closer to how people actually reason. It is certainly crazy to infer that most people's everyday reasoning is irrational. Induction is highly rational; it's just not deductive. |
| 19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
| Full Idea: In classical logic, Monotony follows immediately from the nature of the relation |=, for Γ |= φ holds precisely when φ is true on every interpretation on which all sentences in Γ are true. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 1) | |
| A reaction: That is, semantic consequence (|=) is defined in terms of a sentence (φ) always being true if some other bunch of sentences (Γ) are true. Hence the addition of further sentences to Γ will make no difference - which is Monotony. |
| 19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |
| Full Idea: Basic Monotony: something stays proved if further premises are added. Cautious Monotony: the addition of something which has been proved makes no difference. Rational Monotony: it stays proved as long as the addition's negation hasn't been proved. | |
| From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 1) | |
| A reaction: [A compressed and non-symbolic summary] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 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. |