25 ideas
17596 | Coherence problems have positive and negative restraints; solutions maximise constraint satisfaction [Thagard] |
Full Idea: A coherence problem is a set of elements connected by positive and negative restraints, and a solution consists of partitioning the elements into two sets (accepted and rejected) in a way that maximises satisfaction of the constraints. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.42) | |
A reaction: I'm enthusiastic about this, as it begins to clarify the central activity of epistemology, which is the quest for best explanations. |
17597 | Coherence is explanatory, deductive, conceptual, analogical, perceptual, and deliberative [Thagard] |
Full Idea: I propose that there are six main kinds of coherence: explanatory, deductive, conceptual, analogical, perceptual, and deliberative. ...Epistemic coherence is a combination of the first five kinds, and ethics adds the sixth. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.43) | |
A reaction: Wonderful. Someone is getting to grips with the concept of coherence, instead of just whingeing about how vague it is. |
17598 | Explanatory coherence needs symmetry,explanation,analogy,data priority, contradiction,competition,acceptance [Thagard] |
Full Idea: Informally, a theory of explanatory coherence has the principles of symmetry, explanation, analogy, data priority, contradiction, competition and acceptance. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.44) | |
A reaction: [Thagard give a concise summary of his theory here] Again Thagard makes a wonderful contribution in an area where most thinkers are pessimistic about making any progress. His principles are very plausible. |
17602 | Verisimilitude comes from including more phenomena, and revealing what underlies [Thagard] |
Full Idea: A scientific theory is progressively approximating the truth if it increases its explanatory coherence by broadening to more phenomena and deepening by investigating layers of mechanisms. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
7630 | Ryle's dichotomy between knowing how and knowing that is too simplistic [Maund] |
Full Idea: There is a convincing claim that we need to leave behind Ryle's dichotomy between knowing how and knowing that as being too simplistic. | |
From: Barry Maund (Perception [2003], Ch. 2) | |
A reaction: [John Campbell is mentioned as source of this idea] I find this proposal immediately appealing. I was taught that riding a bicycle shows the division, as hardly anyone knows the theory, but I am sure children need some propositional information. |
7632 | Perception is sensation-then-concept, or direct-concepts, or sensation-saturated-in-concepts [Maund] |
Full Idea: Three forms of (cognitive) direct realism are: two stages - non-conceptual sensory experience, then a non-sensory conceptual state; directly acquiring non-sensuous conceptual states; and sensuous states saturated with concepts. | |
From: Barry Maund (Perception [2003], Ch. 3) | |
A reaction: [First: Reid, Dretske, Evans, Sellars. Second: Armstrong, Heil, Pitcher, Clark. Third: Kant, McDowell, Strawson, McGinn, Searle]. I find the first one plausible, because of the ambiguity in language, and because unusual experiences separate them. |
7635 | Sense-data have an epistemological purpose (foundations) and a metaphysical purpose (explanation) [Maund] |
Full Idea: Sense-data have an epistemological purpose (to serve as foundations on which the edifice of knowledge is to be constructed), and a metaphysical purpose (to provide an accurate account of the phenomenology of perceptual experience). | |
From: Barry Maund (Perception [2003], Ch. 6) | |
A reaction: This is very important, because there is a real danger (e.g. in Russell) that the epistemological convenience of sense-data for giving reliability in knowledge means that we are too quick in making the assumption that they actually exist. |
7638 | One thesis says we are not aware of qualia, but only of objects and their qualities [Maund] |
Full Idea: The representationalist/intentionalist thesis about perception is that we are not aware of the intrinsic qualities of experience in normal perception; we are instead aware of those objects and their qualities that are specified in the content. | |
From: Barry Maund (Perception [2003], Ch. 9) | |
A reaction: If secondary qualities are in the mind, not in objects, how come people always thought they were in objects? Answer: because this thesis is right? The primary mode of the mind is projected outwards, though we can introspect about colours. [Dretske] |
7642 | The Myth of the Given claims that thought is rationally supported by non-conceptual experiences [Maund] |
Full Idea: The so-called 'myth of the given' is the view that conceptual content can be rationally supported by experiences construed as states with non-conceptual content. | |
From: Barry Maund (Perception [2003], Ch.10) | |
A reaction: The myth is attacked by Sellars and McDowell, the latter claiming that concepts must be embedded in the experiences. Maybe only realism is required to make the Given work. The experiences are definitely of something, and off we go... |
7640 | Mountains are adverbial modifications of the earth, but still have object-characteristics [Maund] |
Full Idea: Metaphysically, mountains are only adverbial modifications of the Earth's belt. They have no existence independent of being part of the earth. Yet for all that, they have some rather strong 'object'-characteristics. | |
From: Barry Maund (Perception [2003], Ch.10) | |
A reaction: The point being that you don't give up all the advantages of a sense-data view if you switch to adverbialism. I'm not convinced by the analogy, but we can only be aware of adverbial qualities if they have causal powers. |
7641 | Adverbialism tries to avoid sense-data and preserve direct realism [Maund] |
Full Idea: The two primary motivations of the adverbialist analysis are thought to be to avoid commitment to sensory particulars such as sense-data, and to allow us to hold on to a version of direct realism. | |
From: Barry Maund (Perception [2003], Ch.10) | |
A reaction: Maund says that the adverbialist's fears about indirect/representative theories are unfounded. My feeling is that neither account will do the job properly once we get a better account of consciousness. Maybe adverbialism is only for secondary qualities. |
17601 | Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard] |
Full Idea: Both rationalists (who start with a priori truths and make deductions) and empiricists (starting with indubitable sense data and what follows) would guarantee truth, but neither even begins to account for scientific knowledge. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) | |
A reaction: Thagard's answer, and mine, is inference to the best explanation, but goes beyond both the a priori truths and the perceptions. |
17600 | Bayesian inference is forced to rely on approximations [Thagard] |
Full Idea: It is well known that the general problem with Bayesian inference is that it is computationally intractable, so the algorithms used for computing posterior probabilities have to be approximations. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) | |
A reaction: Thagard makes this sound devastating, but then concedes that all theories have to rely on approximations, so I haven't quite grasped this idea. He gives references. |
17064 | 1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart] |
Full Idea: 1: Coherence and incoherence are symmetrical between pairs of propositions. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 1) by J.J.C. Smart - Explanation - Opening Address p.04 |
17065 | 2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart] |
Full Idea: 2: If a set of propositions explains a further proposition, then each proposition in the set coheres with that proposition, and propositions in the set cohere pairwise with one another. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 2) by J.J.C. Smart - Explanation - Opening Address p.04 |
17066 | 3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart] |
Full Idea: 3: If two analogous propositions separately explain different ones of a further pair of analogous propositions, then the first pair cohere with one another, and so do the second (explananda) pair. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 3) by J.J.C. Smart - Explanation - Opening Address p.04 |
17067 | 4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart] |
Full Idea: 4: Observation reports (for coherence) have a degree of acceptability on their own. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 4) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: Thagard makes this an axiom, but Smart rejects that and says there is no reason why observation reports should not also be accepted because of their coherence (with our views about our senses etc.). I agree with Smart. |
17068 | 5: Contradictory propositions incohere [Thagard, by Smart] |
Full Idea: 5: Contradictory propositions incohere. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 5) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: This has to be a minimal axiom for coherence, but coherence is always taken to be more than mere logical consistency. Mutual relevance is the first step. At least there must be no category mistakes. |
17069 | 6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart] |
Full Idea: 6: Acceptability of a proposition in a system depends on its coherence with the propositions in that system. | |
From: report of Paul Thagard (Explanatory Coherence [1989], 6) by J.J.C. Smart - Explanation - Opening Address p.04 | |
A reaction: Thagard tried to build an AI system for coherent explanations, but I would say he has no chance with these six axioms, because they never grasp the nettle of what 'coherence' means. You first need rules for how things relate. What things are comparable? |
17599 | The best theory has the highest subjective (Bayesian) probability? [Thagard] |
Full Idea: On the Bayesian view, the best theory is the one with the highest subjective probability, given the evidence as calculated by Bayes's theorem. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) |
7637 | Thought content is either satisfaction conditions, or exercise of concepts [Maund, by PG] |
Full Idea: The content of thought can either be expressed as satisfaction conditions (e.g. truth-conditions for beliefs), or as the exercise of at least two concepts. | |
From: report of Barry Maund (Perception [2003], Ch. 8) by PG - Db (ideas) | |
A reaction: I think I favour the first view, because not all conjunctions of concepts would count as thoughts (e.g. rhubarb-plus-contradiction). A bunch of concepts becomes a thought when it connects in some way to reality? |